Logic FIL-SL>Logika-w-1

Classical logic of the first order (classical calculus of predicates)
- introduction, language and syntax of the classical predicate calculus (FOL)
- syntactic description of the FOL
- syntactic properties of the FOL
- deduction theorem for the FOL
- other theorems (including non-contradiction) on the syntactic properties of the FOL
- definition of interpretation
- definition of FOL formula fulfilment
- notion of truth
- FOL tautologies
- models
- completeness of the FOL
- notion of consequence
- definitions of predicates, function symbols
- inductive definitions.

Translated with DeepL.com (free version)

None

1. the student has a structured basic knowledge of the philosophy of cognition, semiotics and methodology of sciences, and logic K_W10

2. the student knows research methods and argumentation strategies specific for the philosophy of cognition, semiotics and methodology of sciences, and logic K_W14

3. student knows the basics of logic and typical argumentative strategies K_U07

4. student acknowledges the necessity of referring to rational argumentation in debates on contemporary problems, and understands the philosopher's responsibility for the rational character of disputes K_K08

Translated with DeepL.com (free version)