The CIM Courses system will be down temporarily undergoing routine maintenance.
Oct 17, 2014 by Amanda McLaughlin (alm113)
PHIL 6221 : Advanced Logic
Fri, 17 Oct 2014 08:50:04 GMT
Wed, 08 Oct 2014 16:34:10 GMT
Catalog Pages referencing this course
Columbian College of Arts and Sciences
Long Course Title
Short Course Title
Number of Credits
Default Grading Method
For graduate students only
Repeatable for Credit?
Good formal training in logic - propositional logic: natural deduction, tables and trees; first-order logic: language (translation from English), trees and natural deduction; some limitative results, eg, decidability, compactness, completeness, Lovenheim-Skolem properties, soundness, etc.
Frequency of Offering
Are there Course Equivalents?
Are Fees Applicable?
Explanation and Description of Fees
Are Additional Resources Required?
Explanation of Additional Resources
Justification for Additional Resources
Describe any Sources of Additional Funding
Intensive reading of a difficult text in an advanced logical system or a series of logical systems. Focus on analyzing reasoning under partial information, using the formal system to analyze fallacies of reasoning and analyzing quantum phenomena using the formal system.
Uploaded a Course Syllabus
PHIL 6221 Advanced Logic.doc
Explanation of how the course differs from similar GW courses
This course differs from PHIL 6223 Philosophy of Logic in that we look at a formal technical system and learn proficiency in learning that formal system to help us reason in or about a particular topic. There is very little emphasis on asking philosophical questions about the formal system.
Course will be offered on demand in fall or spring, as part of new MA in Philosophy. New course description approved by professor.
Course description and learning outcomes have been added to the syllabus and re-submitted for approval.
Revisions made to course syllabus, per request.
Course Reviewer Comments
Tue, 22 Jul 2014 19:37:31 GMT
Rollback: to change course description on syllabus too.
Wed, 30 Jul 2014 12:26:07 GMT
Rollback: No learning objectives
Thu, 04 Sep 2014 16:19:19 GMT
Rollback: For the revised syllabus.