PHIL 305 Intermediate Logic
Section : 1
2014-2015 Fall
Name of Lecturer : Asst. Prof. John Woods III
E-mail address : john.woods@bilkent.edu.tr
Ext. : 2860
Office : 129B
Web Address
for Detailed Syllabus :
http://jack-woods.com/teaching
Additional Information :

Assessment Methods
Assessment Method(%) Contribution to Final GradeDate Week
Midterm:Take-home20 5
Homework30 15
In-class participation10 15
Midterm:Take-home20 10
Midterm:Take-home20 15

Minimum Requirements to Qualify for the Final Exam
Average of 58 on the homework assignments.



Course Contents
Week : 1
Sentential connectives

Additional Information:
Week : 2
More Sentential connectives; Truth Tables

Additional Information:
Week : 3
Translations; finding counterexamples;

Additional Information:
Week : 4
Sentential proofs

Additional Information: first take-home exam distributed
Week : 5
Proofs, proofs, and more proofs

Additional Information: first take-home exam due
Week : 6
Inadequacy of sentential logic; quantifiers

Additional Information:
Week : 7
Proofs in predicate logic

Additional Information:
Week : 8
More on proofs in predicate logic; relations

Additional Information:
Week : 9
Nested quantifiers; interesting proofs

Additional Information: second take-home exam distributed
Week : 10
Identity

Additional Information: second take-home exam due
Week : 11
Interesting translations

Additional Information:
Week : 12
Semantics for Predicate Logic

Additional Information: second take-home exam due.
Week : 13
Metalogic

Additional Information: final take-home distributed
Week : 14
To be determined

Additional Information: review for the final
Week : 15
Final Exams : 03.01.2015 - 11.01.2015

Additional Information: