The course is an introduction to the the main topics of modern logic. Its aim is to clarify some of the basic notions of logic, such as logical form, argument, validity, truth, model, interpretation, soundness, completeness, decidability.
1) Languages, statements, arguments.
Non-extensional contexts. The problem of meaning.
Formalization, logical connectives, truth tables. Quantification.
2) Formal theories. The calculus of natural deduction.
Propositional logic and first order logic. Proofs.
Elements of set theory. Semantic theory of truth.
Models, interpretations, validity, logical consequence.
4) Elements of metalogic.
Completeness theorems. Gödel's incompleteness theorems.
|Francesco Berto||Logica da zero a Gödel (Edizione 5)||Laterza||2013|
Lungadige Porta Vittoria, 17
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2021 | Verona University | Credits