Logic and Philosophy of Science
A.Y. 2020/2021
Learning objectives
Undefined
Expected learning outcomes
Undefined
Lesson period: Second semester
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Didactic Activity will be offered by Microsoft Teams. All classes can be followed both synchronously based (based on the second semester schedule) and asynchronously because all Lecture will be recorded and let available to students on the same platform.
In any case, the synchronous mode is preferable and strongly recommended as it allows the active participation of students through the formulation of questions and the discussion of the topics covered.
If National Regulation and University of Milan regulations, concerning social distancing, allow it, 50% of the Lessons will be held in person and simultaneously transmitted online.
Participation in face-to-face lessons will be voluntary and strongly recommended.
In any case, the synchronous mode is preferable and strongly recommended as it allows the active participation of students through the formulation of questions and the discussion of the topics covered.
If National Regulation and University of Milan regulations, concerning social distancing, allow it, 50% of the Lessons will be held in person and simultaneously transmitted online.
Participation in face-to-face lessons will be voluntary and strongly recommended.
Course syllabus
1. What is logic
2. Natural language vs formal language
3. Connectives, tautologies and inferences
4. Truth-tales and semantic tableaux
5. Axiomatization and proprieties of propositional logic (soundness and completeness, deduction theorem)
6. First-order logic
7. Turing Machines
8. A brief introduction to non-classical logics
8. Critical thinking and informal reasoning
9. Introduction to inductive logic (probability and applications)
10. Collective decisions (Arrow Theorem)
11. Game theory (strategies and Nash equilibria)
2. Natural language vs formal language
3. Connectives, tautologies and inferences
4. Truth-tales and semantic tableaux
5. Axiomatization and proprieties of propositional logic (soundness and completeness, deduction theorem)
6. First-order logic
7. Turing Machines
8. A brief introduction to non-classical logics
8. Critical thinking and informal reasoning
9. Introduction to inductive logic (probability and applications)
10. Collective decisions (Arrow Theorem)
11. Game theory (strategies and Nash equilibria)
Prerequisites for admission
No prerequisites
Teaching methods
Lectures
Exercises on the blackboard
Discussion/seminar
Exercises on the blackboard
Discussion/seminar
Teaching Resources
A. Cantini e P. Minari. Introduzione alla logica, Le Monnier, 2009.
D. Palladino, C. Palladino. Logiche non-classiche, Carocci, 2007 (capitoli scelti).
Dispense e appunti preparati dal docente/Notes prepared by the instructor.
D. Palladino, C. Palladino. Logiche non-classiche, Carocci, 2007 (capitoli scelti).
Dispense e appunti preparati dal docente/Notes prepared by the instructor.
Assessment methods and Criteria
The verification method consists of a written test with exercises and theoretical questions. Each exercise and question has a score and the correct resolution of all the questions guarantees the highest marks (30/30). "Lode" is assigned (at the discretion of the teacher), given the presentation of a totally correct test, for any additions and / or relevant elaborations concerning the question, going beyond the given request. The examination is handwritten and it is not possible to consult manuals nor electronic devices. The teacher is available to guarantee pre-appeals if 2/3 of the attending students request it. In the case, preliminary results will be displayed through the Ariel portal of the course.
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 6
Lessons: 40 hours
Professor:
Bonzio Stefano