SUBJECT
Title
Logic and Logical Semantics
Code
CCNM17-106
Type of instruction
seminar
Level
Master
Part of degree program
Credits
4
Recommended in
Semester 1
Typically offered in
Autumn semester
Course description
The course offers an introduction to symbolic logic and its semantics. The main topics are:
- Propositional logic: Symbolic language and syntactical notions; Propositional calculus and derivability; Truth values and bivalence; Truth tables; Interpretation, Model and Inference
- First order logic: Predicate logic; Quantification and variables; Quantificational calculus; Interpretation and the Universe of discourse; First order models
- Metalogical properties: Semantic soundness and completeness; First order theories; Gödel’s incompleteness theorems, Church’s theorem and Tarski’s results on truth function
- Non-classical logics: Value gaps and multivalent logics; Higher order logics; Modal logics
Learning outcome, competences
knowledge:
- theoretical development of symbolic logic
attitude:
- sensitivity to the methodological questions
skills:
- creative thinking
- comprehensive methodological knowledge
Learning requirements, mode of evaluation, criteria of evaluation:
requirements:
- attendance
- reliable basic knowledge in the domain of symbolic logic
mode of evaluation: examination and practical course mark
criteria of evaluation: Knowledge on basic concepts
Readings
Copi, I. M., Cohen, C., & McMahon, K. (2010). Introduction to logic (14th Ed.). Gloucester, UK: Pearson Education Limited.