Department of Philosophy

Logic(PH105)

Course Code Course Name Semester Theory Practice Lab Credit ECTS
PH105 Logic 1 3 0 0 3 6
Prerequisites
Admission Requirements
Language of Instruction French
Course Type Compulsory
Course Level Bachelor Degree
Course Instructor(s) Aliş SAĞIROĞLU asagiroglu@gsu.edu.tr (Email)
Assistant
Objective To provide an acquirement of the vocabulary and the concepts of the propositional logic
Content Semantical analysis of the formulas of the formal language P and proofs of the theorems of the formal system PF.
Course Learning Outcomes Learning to make semantical analysis of the formulas of the formal language P and acquiring the capacity of proving the theorems of the formal system PF.
Teaching and Learning Methods Lecture
References Introduction to Logic I, 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.
Print the course contents
Theory Topics
Week Weekly Contents
1 The formal language P : alphabet and grammar
2 Definitional completeness for the formal language P
3 Semantics of the formal langugage P: Boolean functions on the set T :{t, f}
4 Functional completeness of the boolean functions on T
5 Interpretation of the formal language P
6 Semantical implication and deduction meta-theorem
7 Semantical analysis of the grammatical formulas of the formal language P
8 Mid-term
9 Formal system PF
10 Deduction in the formal system PF
11 Syntactical implication
12 Deduction meta-theorem for the formal system PF
13 Consistence and completeness meta-theorems for the formal system PF
14 Absolute and simple consistency of the formal system PF
Practice Topics
Week Weekly Contents
Contribution to Overall Grade
  Number Contribution
Contribution of in-term studies to overall grade 1 40
Contribution of final exam to overall grade 1 60
Toplam 2 100
In-Term Studies
  Number Contribution
Assignments 15 15
Presentation 0 0
Midterm Examinations (including preparation) 1 30
Project 0 0
Laboratory 0 0
Other Applications 0 0
Quiz 0 0
Term Paper/ Project 0 0
Portfolio Study 0 0
Reports 0 0
Learning Diary 0 0
Thesis/ Project 0 0
Seminar 0 0
Other 15 15
Toplam 31 60
No Program Learning Outcomes Contribution
1 2 3 4 5
1 Analyze philosophical texts with analytical and critical rigor; X
2 Get an exhaustive knowledge on the history of philosophy; from antiquity to 20th century;
3 Provide access to information and expertise in the fields of systematic philosophy, such as ethic, esthetic, history of science, philosophy of society;
4 Establish the relation between philosophy and other fields of knowledge, such as, history, psychology, anthropology, sociology and other positive sciences;
5 Learn the theories of political science and the philosophical evaluation of historical and actual events;
6 Have a sufficient level of French and English in order to follow philosophical debates;
7 Have a sufficient level of the ancient Greek, Latin and Ottoman languages for reading philosophical texts written in these;
8 Develop a creative thinking and a knowledge of aesthetic theories which will allow the analysis of artworks and the history of art;
9 Acquire academic research methods and writing ability as well as to develop analytical skills, interpretation and criticism.
Activities Number Period Total Workload
Class Hours 0 42 0
Working Hours out of Class 0 15 0
Assignments 0 15 0
Midterm Examinations (including preparation) 0 10 0
Final Examinations (including preparation) 0 10 0
Quiz 0 8 0
Total Workload 0
Total Workload / 25 0.00
Credits ECTS 0
Scroll to Top