Course Description:  An introduction to modern symbolic logic, focusing on translation, semantics and syntax for propositional and predicate logic.  You will learn to translate natural language into the language of logic and vice versa, and study key concepts such as validity, consistency, proof, soundness and completeness.

 

Logic

Instructor: David Barnett
    www.davidjamesbar.net
    barnettd@union.edu

Syllabus


Logic syllabus Winter 2013.pdf

Textbook


The Logic Book, 5th Edition
by Merrie Bergmann, James Moor, and Jack Nelson

Additional readings


    Readings page

Problem Set Solutions


    Logic Book Solutions, Ch 1.pdf
    Logic Book Solutions, Ch 2.pdf
    Logic Book Solutions, Ch 3.pdf
    Logic Book Solutions, Ch 5.pdf
    Logic Book Solutions, Ch 7.pdf
    Logic Book Solutions, Ch 8.pdf

Supplemental Sessions

W 8pm, Humanities 115

Office Hours

David Barnett:
MWF 3pm - 4pm
Lamont House 204

Jasmine Roth:
Th 9-10pm
Humanities 010

Logic on the Web


David Velleman’s interactive workbook, blogic 

Jose Zalabardo’s online problems

logic gates videos
http://www.davidjamesbar.net/About/David_James_Barnett_-_Philosophy.htmlmailto:barnettd@union.eduMain_Page_files/Logic%20syllabus%20Winter%202013.pdfhttp://ical.me.com/davidjamesbarnett/Logichttp://ical.me.com/davidjamesbarnett/Logichttp://ical.me.com/davidjamesbarnett/Logichttp://ical.me.com/davidjamesbarnett/LogicReadings/Readings.htmlMain_Page_files/Logic%20Book%20Solutions,%20Ch%201.pdfMain_Page_files/Logic%20Book%20Solutions,%20Ch%202.pdfMain_Page_files/Logic%20Book%20Solutions,%20Ch%203.pdfMain_Page_files/Logic%20Book%20Solutions,%20Ch%205.pdfMain_Page_files/Logic%20Book%20Solutions,%20Ch%207.pdfMain_Page_files/Logic%20Book%20Solutions,%20Ch%208.pdfhttp://www.nyu.edu/classes/velleman/blogic/Logic/http://www.nyu.edu/classes/velleman/blogic/Logic/http://www.ucl.ac.uk/~uctyjlz/IntroLogic.htmhttp://www.ucl.ac.uk/~uctyjlz/IntroLogic.htmhttp://www.youtube.com/results?search_query=logic+gates&search_type=&aq=fMain_Page_files/syllabus%20fall%2008.pdfshapeimage_2_link_0shapeimage_2_link_1shapeimage_2_link_2shapeimage_2_link_3shapeimage_2_link_4shapeimage_2_link_5shapeimage_2_link_6shapeimage_2_link_7shapeimage_2_link_8shapeimage_2_link_9shapeimage_2_link_10shapeimage_2_link_11shapeimage_2_link_12shapeimage_2_link_13shapeimage_2_link_14shapeimage_2_link_15shapeimage_2_link_16shapeimage_2_link_17shapeimage_2_link_18
<!--BeginHTMLData--><!-- Site Meter -->
<script type="text/javascript" src="http://s33.sitemeter.com/js/counter.js?site=s33djb281">
</script>
<noscript>
<a href="http://s33.sitemeter.com/stats.asp?site=s33djb281" target="_top">
<img src="http://s33.sitemeter.com/meter.asp?site=s33djb281" alt="Site Meter" border="0"/></a>
</noscript>
<!-- Copyright (c)2006 Site Meter -->