Mathematical Logic
A.Y. 2023/2024
Learning objectives
The course has the purpose of introducing the fundamental principles of rational inquiry, by means of the formal approach provided by mathematical logic, both at the propositional and predicative levels.
Expected learning outcomes
The student should be able to formalise rational arguments via the formal proof techniques imparted in the course. Moreover, she should be able to construct counterexamples for fallacious arguments.
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course can be attended as a single course.
Course syllabus and organization
Single session
Responsible
Lesson period
Second semester
Videorecordings of the lectures will be made available.
Course syllabus
The mathematical logic course for the first degree is meant as an introductory course to logic, and to its relationship with language and concept formalisation.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
The course is naturally articulated into two main sections: propositional logic and first-order logic. Furthermore, the subject of induction principle is investigated, in particular in the context of Peano arithmetic.
Syntax and semantics of logic are introduced, both at the propositional and the first-order level, and the use of a natural-deduction calculus.
Special attention is dedicated to the effective use of logic, starting from translation and formalisation of natural-language sentences.
The course is supplemented with lab class exercises, where a dedicated software is used.
Prerequisites for admission
None
Teaching methods
Lectures. Attending is strongly advised.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
The course is supplemented with lab class exercises, where a dedicated software is used.
The Logic lab course is supplementary, as a lab class exercise course, to the Mathematical Logic course. Classes use a dedicated software that provides the students with tools to test comprehension of semantics concepts, and to write formal proofs in a natural-deduction calculus.
Teaching Resources
See the web page of the course: https://homes.di.unimi.it/aguzzoli/logicatriennale.html
Bibliography:
Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011.
Bibliography:
Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011.
Assessment methods and Criteria
The exam consists in a written test and in a possible oral interview.
The written test is structured in two parts:
- "laboratory" exercises, to be done using the dedicated software;
- "theory" exercises, that aims to ascertain if concepts introduced in the lectures have been understood.
The written part of the exam takes three hours. Outcomes are communicated on the web page of the teacher, in a password protected area.
The final evaluation, expressed on a scale from 1 to 30. keeps into account how the student masters the concepts, of the exhibition clarity and property of language.
The written test is structured in two parts:
- "laboratory" exercises, to be done using the dedicated software;
- "theory" exercises, that aims to ascertain if concepts introduced in the lectures have been understood.
The written part of the exam takes three hours. Outcomes are communicated on the web page of the teacher, in a password protected area.
The final evaluation, expressed on a scale from 1 to 30. keeps into account how the student masters the concepts, of the exhibition clarity and property of language.
INF/01 - INFORMATICS
MAT/01 - MATHEMATICAL LOGIC
MAT/01 - MATHEMATICAL LOGIC
Laboratories: 32 hours
Lessons: 32 hours
Lessons: 32 hours
Shifts:
Professor:
Aguzzoli Stefano
Turno C
Professor:
Fiorentini CamilloEducational website(s)
Professor(s)