2-IKV-267 Mathematical Logic for Cognitive Science

Evaluation during the course: projects

Concluding evaluation: exam

Subject aim: Provide basic knowledge about logic in general and mathematical logic in particular, its applications in mathematics and some consequences in philosophy and cognitive science.

Brief curriculum of the subject:

0. Introduction: thinking, language and logic

1. Sentential calculus: syntax, semantics, soundness and completeness

2. First-order logic: syntax, semantics, soundness and completeness, compactness, interpretations, nonstandard models

3. Godel incompleteness theorems: Peano arithmetics, arithmetization of syntax, computable functions, incompleteness and undecidability, consequences

Literature:

H. B. Enderton, A mathematical introduction to logic, (2nd ed.), Harcourt - Academy Press, San Diego-New York-Boston-London-Toronto-Sydney-Tokyo, 2001

Language in which the subject is taught: English/Slovak

Date of the last sheet revision: 4.7.2007