Preview Workflow

The CIM Courses system will be down temporarily undergoing routine maintenance.

Viewing: PHIL 6221 : Advanced Logic

Last approved: Fri, 17 Oct 2014 08:50:04 GMT

Last edit: Wed, 08 Oct 2014 16:34:10 GMT

Catalog Pages referencing this course
Columbian College of Arts and Sciences
Philosophy (PHIL)
Advanced Logic
Advanced Logic
Fall 2015
Course Type
Default Grading Method
Letter Grade
For graduate students only

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.
Friend, Michele
Frequency of Offering

Term(s) Offered

Are there Course Equivalents?
Fee Type


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
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 Attribute

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.
gweiss (Tue, 22 Jul 2014 19:37:31 GMT): Rollback: to change course description on syllabus too.
palumboj (Wed, 30 Jul 2014 12:26:07 GMT): Rollback: No learning objectives
jarkes (Thu, 04 Sep 2014 16:19:19 GMT): Rollback: For the revised syllabus.
Key: 8666