Logic II

Content

Objective

To provide an acquirement of the vocabulary and the concepts of the first order predicate logic

Course Content

Formal language PQ and formal system PFQ

Course Learning Outcomes

Learning semantical analysis of the formulas of the formal language PQ and acquiring the capacity of proving the theorems of the formal system PFQ.

Teaching and Learning Methods

Lecture

References

Introduction to Logic II, Yalçın Koç ,Boğaziçi University Publications,1980.
Naive Set Theory, Paul Richard Halmos, D. Van Nostrand Company, Princeton, NJ, 1960.
Introduction to Mathematical Logic, Eliot Mendelson, D. Van Norstand Company, Princeton NJ, 1964
Sembolik Mantık, Tarık Necati Ilgıcıoğlu, Anadolu Üniversitesi Yayınları, Ankara 2013.
Introduction to Mathematical Logic, Church, A., Princeton University Press, Princeton NJ, 1956.
Introduction to Logic, Suppes, P., D. Van Norstrand Company, Princeton NJ, 1957.
Logique formelle et argumentation, Laurence Bouquiaux & Bruno Leclercq, De Boeck, Brüksel, 2009.

Weekly Contents

Assessment System