Introduction to Logic

A.Y. 2021/2022
6
Max ECTS
48
Overall hours
SSD
M-FIL/02
Language
English
Learning objectives
Logic, in its broad sense, can be seen on the one hand as a set of unifying languages for the systematization of scientific knowledge, on the other as a set of tools for any practical application in which there is a need to process information in order to fully deploy its implicit content. The general aim of this course is to provide students with an overview of a variety of logical methods useful for both theoretical and practical applications. By attending this course, students will learn how to design formal languages to be used in a variety of logical tools and apply these tools in theoretical and practical problem-solving. The approach is at the same time abstract and practically oriented, so as to make the course potentially useful for science as well as philosophy students.
Expected learning outcomes
Students are expected to acquire a full understanding of the formal notions underlying the application of logical methods in problem-solving and acquire a basic knowledge of the following broad topics
- Foundations of Computing
- Classical logic and its applications
- Non-classical logics and their applications
Students are also expected to develop an ability to apply this basic knowledge to solve simple problems and to engage in further research within more advanced projects in specific applications of their interest.
Notions and methods will be introduced in a problematic way so as to stimulate a critical, rather than passive, attitude towards knowledge. We also expect that training students in the use of formal languages and logical tools will improve their capability of communicating ideas, both at a theoretical and practical level, with the required precision and a sufficient amount or rigour.
Course syllabus and organization

Single session

Responsible
Lesson period
First semester
During the ongoing covid emergency, the course syllabus will be maintained with the following changes made to enhance the effectiveness of the online version of the course, which was originally designed for face-to-face teaching.

The lessons will be held in dual mode. The face-to-face lessons will allow the participation of students connected with MSTeams as well as students in the classroom.
The recordings of the lessons will remain available at least until the end of the semester

Teams: keys 3pwwwf


Students wishing to participate in face-to-face lessons must refer to the following University provisions: https://www.unimi.it/en/study/bachelor-and-master-study/following-your-…

Students wishing to participate in MSTeams lessons must refer to the following technical guides: https://www.unimi.it/en/study/student-services/technology-and-online-se…
To participate in the exam sessions, students must refer to the following provisions:
https://www.unimi.it/en/study/bachelor-and-master-study/following-your-…
Course syllabus
1. Discrete mathematics
- Elementary notions (sets, relations and functions)
- Graphs, state transition systems, algorithms
2. Classical propositional logic
- rules of inference
- logical consequence
3. First order logic
- rules of inference and semantics
- elementary first order theories
Prerequisites for admission
None
Teaching methods
Frontal lectures. The approach will be problem-oriented and students will be trained to solve basic logical problems through exercises.
Teaching Resources
Handouts provided by the instructors
Assessment methods and Criteria
Learning assessment will be through a written test at the end of the course. The test lasts one hour.
The test includes open questions (30%), multiple-choice questions (20%), and exercises (50%), all weighted depending on their degree of difficulty. Open and multiple-choice questions are aimed at broadly verifying the understanding of concepts and definitions, whereas exercises are designed to evaluate problem solving skills.
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 6
Lessons: 48 hours
Professor: Hosni Hykel
Educational website(s)
Professor(s)
Reception:
Monday, Tuesday Wednesday 1pm-2pm
Teams, by email appointment