Department of Philosophy

Mathematical Logic(PH413)

Course Code Course Name Semester Theory Practice Lab Credit ECTS
PH413 Mathematical Logic 7 3 0 0 3 4
Prerequisites
Admission Requirements
Language of Instruction Turkish
Course Type Elective
Course Level Bachelor Degree
Course Instructor(s) T.necati ILGICIOĞLU nilgicioglu@gsu.edu.tr (Email)
Assistant
Objective
Content An introduction to some of the principal topics of mathematical logic comprising natural and unrestricted set-theoretic methods.
Course Learning Outcomes
Teaching and Learning Methods
References Introduction to Mathematical Logic - Elliott MENDELSON
Logique mathématique 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés - René CORI ; Daniel LASCAR
Logique mathématique 2, Fonctions récursives théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés -
René CORI, Daniel LASCAR
Naïve Set Theory - Paul R. HALMOS
Print the course contents
Theory Topics
Week Weekly Contents
1 Order.
3 Propositional Connectives. Truth Functions.
4 Tautologies.
5 Adequate Sets of Connectives.
6 An Axiom System for the Propositional Calculus.
7 Independence. Many valued Logics.
8 Other Axiomatizations.
9 Quantifiers.
10 Interpretations. Satisfiability and Truth. Models.
11 First-Order Theories.
12 Properties of First-Order Theories.
13 Completeness Theorems.
14 Some Additional Metatheorems. Rule C.,,,
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 0 0
Presentation 0 0
Midterm Examinations (including preparation) 0 0
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 0 0
Toplam 0 0
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;
Activities Number Period Total Workload
Class Hours 13 3 39
Working Hours out of Class 13 3 39
Midterm Examinations (including preparation) 1 10 10
Final Examinations (including preparation) 1 12 12
Total Workload 100
Total Workload / 25 4,00
Credits ECTS 4
Scroll to Top