LEARNING OUTCOMES

The aims of the course are:

• To introduce the main concepts and techniques of propositional and first-order predicate logic, with particular attention to the practice of analysing argumentations in natural language by means of the methods of mathematical logic.
• ​To improve the appropriate use of a technical language, the precision and rigor in argumentation, the organisation of discourse and the reasoning skills.

AIMS AND LEARNING OUTCOMES

The aims of the course are to introduce (for 6 credits):

• Deduction and its peculiarity with respect to other forms of reasoning;
• The basis of propositional logic, its syntax and semantics;
• The basis of first-order predicate logic, its syntax and semantics,
• The basic principles of logical formalisation and analysis of natural language sentences and argumentations;
• The methods of semantic tableaux for propositional and predicate logic;
• A logical calculus;
• The notion of first-order theory and model;
• A number of important theorems in logic.

Moreove, the course trains:

• The ability of reading and understanding logical formulas;
• The ability of formalising sentences and argumentations by menas of mathematical logic;
• The ability of assessing argumentations by means of the methods of mathematical logic.
• The ability of proving simple logical theorems.

For 9 credits, the course introduces also the proof of some of the important theorems of propositional and first-order logic.

At the end of the course, students are supposed to be capable of:

• Understanding the terminology of propositional and predicate logic;
• Understanding the basic concepts of propositional and predicate logic;
• Reading and understanding logical formulas;
• Understanding the concept of first-order theory and model;
• Formalising natural language sentences by means of mathematical logic;
• Assessing argumentations and inferences by means of the logical calculi that we have introduced;
• Proving some simple theorems in logic;
• Understanding the proofs of some of the important theorems in logic (for 9 credits).

PREREQUISITES

Students must have attended the first year course on REASONING AND THEORY OF SCIENCE.

TEACHING METHODS

1) Lectures about theory, examples, applications.

2) Exercise and practice sessions. 

Attendance is strongly recommended, due to the type of course and to the number of practice moments of the course.

Students are required to register at Aulaweb, where materials useful for the course will be uploaded.

Lecture are hopefully held in presence. Non-attending students are required to contact me to decide the content of the exam and to benefit from further teaching materials. 

 Le lezioni si terranno auspicabilmente in presenza. Chi non frequenta è tenuto a contattare il docente per decidere il programma d'esame e per accedere a materiali didattici aggiuntivi. 

SYLLABUS/CONTENT

Program for 6 credits:

1. introduction to propositional logic:

• Introduction to logic: language and reasoning;
• Types of reasoning: deductive reasoning;
• Propositional logic: syntax and semantics; 
• Truth tables and models;
• Fundamental semantic notions: model, tautology, logical consequence;
• Semantic tableaux for propositional logic;
• Analysis of natural language sentences by menas of propositional logic;
• Analysis of natural language argumentations by means of propositional logic. 
• A logical calculus for propositional logic.
• Soundness and completeness theorems. 

2. Introduction to first-order predicate logic

• The language of first-order predicate logic;
• First-order logic: syntax and semantics;
• Analysis of natural language sentences in first-order logic;
• Semantic tableaux for first-order logic;
• Analysis of argumentations by means of first-order logic;
• A logical calculus for first-order logic;
• First-order theory and first-order models; 
• Soundness and completeness;
• Decidability and complexity.

For 9 credits, besides point 1 and 2: 

• A logical calculus for first-order logic with identity.
• Understanding the proofs of some imporant theorems. 

RECOMMENDED READING/BIBLIOGRAPHY

All required teaching material (lecture notes, slides, etc.) will be made available on Aulaweb or Teams.

Other readins:

• D. Palladino, Corso di Logica, Carocci.

And

• D. Palladino. Logica e teorie formalizzate, Carocci, (Chapter 1.5 for the semantics of first-order logic)
• D. Palladino. Logica e teorie formalizzate, Carocci, (Chapter 1.4 for Hilbert systems)

Or

• E. Mendelson. Introduzione alla logica matematica. Bollati Boringhieri. (Chapter 1 and 2, till 2.4)

The suggest books may change so please contact me before selecting the texts.