2023-02-10 05:09:16 +00:00
<!DOCTYPE html>
2023-02-10 04:02:50 +00:00
< html >
< head >
< title >
2023-02-10 22:45:16 +00:00
MATH-4140: Intermediate Logic
2023-02-10 04:02:50 +00:00
< / title >
2023-02-10 22:45:16 +00:00
< meta property = "og:title" content = "MATH-4140: Intermediate Logic" >
2023-03-15 14:27:52 +00:00
< meta property = "og:description" content = "This course is a continuation of PHIL 2140 , covering basic metatheory of logic (including formal syntax and semantics, model theory, and soundness and completeness of proof systems), applications of logic (including automated theorem proving, deductive problem solving, and the axiomatization of various branches of mathematics), and alternative systems of logic (including sequent systems, diagrammatic logic, and modal logic)." >
2023-02-10 04:31:43 +00:00
< link rel = "stylesheet" href = "../css/common.css" >
< link rel = "stylesheet" href = "../css/coursedisplay.css" >
2023-04-04 22:26:01 +00:00
< link rel = "stylesheet" href = "../css/themes.css" >
2023-02-17 02:21:36 +00:00
< link rel = "shortcut icon" href = "../favicon/quatalogIcon.png" >
< link rel = "icon" href = "../favicon/favicon.ico" >
< link rel = "apple-touch-icon" sizes = "180x180" href = "../favicon/apple-touch-icon.png" >
< link rel = "icon" type = "image/png" sizes = "32x32" href = "../favicon/favicon-32x32.png" >
< link rel = "icon" type = "image/png" sizes = "16x16" href = "../favicon/favicon-16x16.png" >
< link rel = "manifest" href = "../favicon/site.webmanifest" >
2023-02-11 00:01:14 +00:00
< script src = "../js/fuse.js" > < / script >
< script src = "../js/search_helper.js" > < / script >
2023-02-10 04:02:50 +00:00
< / head >
< body class = "search_plugin_added" >
< div id = "qlog-header" >
2023-02-10 05:09:16 +00:00
< a id = "qlog-wordmark" href = "../" > < svg > < use href = "../images/quatalogHWordmark.svg#QuatalogHWordmark" > < / use > < / svg > < / a >
2023-02-11 01:18:44 +00:00
< form onsubmit = "search_helper(event)" >
2023-02-10 21:00:10 +00:00
< input type = "text" id = "search" class = "header-search" placeholder = "Search..." >
< / form >
2023-02-10 04:02:50 +00:00
< / div >
< div id = "cd-flex" >
< div id = "course-info-container" >
< h1 id = "name" >
Intermediate Logic
< / h1 >
< h2 id = "code" >
MATH-4140
< / h2 >
< p >
2023-03-15 14:27:52 +00:00
This course is a continuation of PHIL 2140 , covering basic metatheory of logic (including formal syntax and semantics, model theory, and soundness and completeness of proof systems), applications of logic (including automated theorem proving, deductive problem solving, and the axiomatization of various branches of mathematics), and alternative systems of logic (including sequent systems, diagrammatic logic, and modal logic).
2023-02-10 04:02:50 +00:00
< / p >
< div id = "cattrs-container" >
< span id = "credits-pill" class = "attr-pill" >
4 credits
< / span >
< / div >
< div id = "crosslist-container" >
< div id = "crosslist-title" class = "rel-info-title" >
Cross-listed with:
< / div >
< div id = crosslist-classes" class = "rel-info-courses" >
2023-07-27 23:06:35 +00:00
< a class = "course-pill" href = "CSCI-4968" > CSCI-4968 Topics in CSCI< / a >
< a class = "course-pill" href = "MATH-4961" > MATH-4961 Topics in MATH< / a >
2023-03-14 02:11:09 +00:00
< a class = "course-pill" href = "PHIL-4140" > PHIL-4140 Intermediate Logic< / a >
2023-07-27 23:06:35 +00:00
< a class = "course-pill" href = "PHIL-4961" > PHIL-4961 Topics in PHIL< / a >
2023-02-10 04:02:50 +00:00
< / div >
< / div >
< div id = "prereq-container" class = "rel-info-container" >
< div id = "prereq-title" class = "rel-info-title" >
Prereqs:
< / div >
< div id = "prereq-classes" class = "rel-info-courses" >
< span class = "none-rect" >
none
< / span >
< / div >
< / div >
< / div >
< div id = "past-container" >
2023-02-10 05:09:16 +00:00
< h1 id = "past-title" >
2023-02-10 04:02:50 +00:00
Past Term Data
< / h2 >
2023-02-10 04:31:43 +00:00
< input type = "radio" id = "simple-view-input" name = "view-select" value = "simple" checked = "checked" >
< input type = "radio" id = "detail-view-input" name = "view-select" value = "detailed" >
2023-02-10 04:02:50 +00:00
< div id = "opt-container" >
< div id = "key-panel" >
< div id = "yes-code" class = "key-code" >
< span class = "code-icon" id = "yes-code-icon" >
2023-02-10 05:09:16 +00:00
< svg > < use href = "../icons.svg#circle-check" > < / use > < / svg >
2023-02-10 04:02:50 +00:00
< / span >
Offered
< / div >
< div id = "no-code" class = "key-code" >
< span class = "code-icon" id = "no-code-icon" >
2023-02-10 05:09:16 +00:00
< svg > < use href = "../icons.svg#circle-no" > < / use > < / svg >
2023-02-10 04:02:50 +00:00
< / span >
Not Offered
< / div >
< div id = "diff-code" class = "key-code" >
< span class = "code-icon" id = "diff-code-icon" >
2023-02-10 05:09:16 +00:00
< svg > < use href = "../icons.svg#circle-question" > < / use > < / svg >
2023-02-10 04:02:50 +00:00
< / span >
Offered as Cross-Listing Only
< / div >
< div id = "nil-code" class = "key-code" >
< span class = "code-icon" id = "nil-code-icon" >
2023-02-10 05:09:16 +00:00
< svg > < use href = "../icons.svg#circle-empty" > < / use > < / svg >
2023-02-10 04:02:50 +00:00
< / span >
No Term Data
< / div >
< / div >
< div id = "control-panel" >
< label for = "simple-view-input" id = "simple-view-label" class = "view-option-label" >
< span class = "view-icon" id = "simple-view-icon" >
2023-02-10 05:09:16 +00:00
< span class = "view-icon-selected" > < svg > < use href = "../icons.svg#circle-dot" > < / use > < / svg > < / span >
< span class = "view-icon-unselected" > < svg > < use href = "../icons.svg#circle-empty" > < / use > < / svg > < / span >
2023-02-10 04:02:50 +00:00
< / span >
Simple View
< / label >
< label for = "detail-view-input" id = "detail-view-label" class = "view-option-label" >
< span class = "view-icon" id = "detail-view-icon" >
2023-02-10 05:09:16 +00:00
< span class = "view-icon-selected" > < svg > < use href = "../icons.svg#circle-dot" > < / use > < / svg > < / span >
< span class = "view-icon-unselected" > < svg > < use href = "../icons.svg#circle-empty" > < / use > < / svg > < / span >
2023-02-10 04:02:50 +00:00
< / span >
Detailed View
< / label >
< / div >
< / div >
2023-02-10 21:00:10 +00:00
< table id = "years-table" >
2023-02-10 04:02:50 +00:00
< thead >
< tr >
< th > < / th >
< th class = "spring season-label" > Spring< / th >
< th class = "summer season-label" colspan = "2" > Summer< / th >
< th class = "fall season-label" > Fall< / th >
< / tr >
< tr >
< th colspan = "2" > < / th >
< th class = "summer2 midsum-label" > (Session 1)< / th >
< th class = "summer3 midsum-label" > (Session 2)< / th >
< th > < / th >
< / tr >
< / thead >
< tbody >
< tr >
< th class = "year" > 2023< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-15 22:09:11 +00:00
< td colspan = "2" class = "term summer not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=202309&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-03-07 02:44:18 +00:00
< / span >
< ul class = "prof-list" >
< li > Selmer Bringsjord< / li >
< / ul >
< span class = "course-capacity" >
2023-08-08 19:17:11 +00:00
Seats Taken: 30/100
2023-03-07 02:44:18 +00:00
< / span >
< / div >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2022< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=202201&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-02-10 04:02:50 +00:00
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 15/15
< / span >
< / div >
< / td >
2023-03-07 02:44:18 +00:00
< td colspan = "2" class = "term summer not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
< td class = "term fall offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=202209&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-02-10 04:02:50 +00:00
< / span >
< ul class = "prof-list" >
< li > Selmer Bringsjord< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 37/150
< / span >
< / div >
< / td >
< / tr >
< tr >
< th class = "year" > 2021< / th >
2023-03-07 02:44:18 +00:00
< td class = "term spring not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-03-07 02:44:18 +00:00
< td colspan = "2" class = "term summer not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2020< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=202001&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-02-10 04:02:50 +00:00
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 7/6
< / span >
< / div >
< / td >
2023-03-07 02:44:18 +00:00
< td colspan = "2" class = "term summer not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2019< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2018< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201801&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-02-10 04:02:50 +00:00
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 4/12
< / span >
< / div >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2017< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2016< / th >
< td class = "term spring offered" >
< div class = "view-container detail-view-container" >
< span class = "term-course-info" >
2023-04-05 18:33:00 +00:00
< a href = "https://sis.rpi.edu/rss/bwckctlg.p_disp_listcrse?term_in=201601&subj_in=MATH&crse_in=4140&schd_in=" > Intermediate Logic (4c)< / a >
2023-02-10 04:02:50 +00:00
< / span >
< ul class = "prof-list" >
< li > Bram Van Heuveln< / li >
< / ul >
< span class = "course-capacity" >
Seats Taken: 11/10
< / span >
< / div >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2015< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2014< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2013< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2012< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2011< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2010< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term summer2 offered-diff-code" >
< / td >
< td class = "term summer3 not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2009< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2008< / th >
2023-02-12 00:51:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2007< / th >
2023-02-22 04:39:06 +00:00
< td class = "term spring offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-22 04:39:06 +00:00
< td colspan = "2" class = "term summer not-offered" >
2023-02-10 04:02:50 +00:00
< / td >
2023-02-12 00:51:06 +00:00
< td class = "term fall offered-diff-code" >
2023-02-10 04:02:50 +00:00
< / td >
< / tr >
2023-02-22 04:39:06 +00:00
< tr >
< th class = "year" > 2006< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2005< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered-diff-code" >
2023-02-22 04:39:06 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2004< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2003< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered-diff-code" >
2023-02-22 04:39:06 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2002< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 2001< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
2023-03-07 02:44:18 +00:00
< td class = "term fall offered-diff-code" >
2023-02-22 04:39:06 +00:00
< / td >
< / tr >
< tr >
< th class = "year" > 2000< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall offered-diff-code" >
< / td >
< / tr >
< tr >
< th class = "year" > 1999< / th >
< td class = "term spring offered-diff-code" >
< / td >
< td class = "term summer2 not-offered" >
< / td >
< td class = "term summer3 offered-diff-code" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
< tr >
< th class = "year" > 1998< / th >
< td class = "term spring unscheduled" >
< / td >
< td colspan = "2" class = "term summer not-offered" >
< / td >
< td class = "term fall not-offered" >
< / td >
< / tr >
2023-02-10 04:02:50 +00:00
< / tbody >
< / table >
< / div >
< / div >
< / body >
< / html >
