Principles of logic

A.Y. 2020/2021
9
Max ECTS
60
Overall hours
SSD
M-FIL/02
Language
Italian
Learning objectives
The course provides the broad outlines of the history of logic (within the history of philosophy and the societies that generated it) and the tools necessary to properly conduct deductive reasoning.
Expected learning outcomes
At the end of the course, the student will have mastered the symbols of propositional language and the predictive language of the first order; the rules of propositional and predictive calculation of the first order; and the most significant moments in the History of Logic.
In addition, they will have acquired the ability to understand logical-philosophical texts embedded in the historical-cultural context; methodological awareness, relating to definitive precision and the use of deductive reasoning; sense of direction in the bibliographical research relating to Logic. In the end, the student will have been made aware of the importance of the soft skill of teamwork, through moments of group activity in the classroom. Detailed lesson diaries will be constantly updated on the Ariel site to support both those who frequently attend lessons and those who opt not to attend. Everyone will be able to practice in the various parts of the course through the online workshop set up with The Ctu, and they can contact instructor both by email and during office hours.
Course syllabus and organization

Single session

Lesson period
Second semester
In case of health emergency, lessons will be held online in synchronous mode and registration will be saved on the Ariel course website. The exams will also be held online, in two successive parts, one written and the other oral.
Course syllabus
Title of the course Elements of logic
Part 1: Propositional logic
Part 2: Predicative logic
Part 3: History of logic
Prerequisites for admission
There are no specific requirements different from those requested for the degree admission.
Teaching methods
Attendance to classes is strongly recommended although not compulsory. The teaching is delivered through frontal lectures aimed primarily at the acquisition of knowledge, competence and specific language of the subject. Discussion with the teacher in the classroom is integrant part of the didactic method and aims at promoting a critical attitude and the capacity to apply the acquired competence and knowledge.
The teaching is also based on didactic and multimedia material provided on Ariel.
In addition to frontal lectures, team works are envisaged
Teaching Resources
Attending students:
- Programme for 6 cfu:
Knowledge of the topics taught in lectures (parts 1 and 2)
Textbook to be downloaded from the Ariel website of the course


- Programme for 9 cfu:
Knowledge of the topics taught in lectures (parts 1, 2 and 3)
Textbook to be downloaded by the Ariel website of the course
Knowledge of the volume by Miriam Franchella: "Sui sentieri della logica" Aracne 2013

Non-attending students:
- Programme for 6 cfu:
Knowledge of the topics taught in lectures (modules 1 and 2)
Textbook to be downloaded from the Ariel website of the course
Further files uploaded on the Ariel website of the course

- Programme for 9 cfu:
Knowledge of the topics taught in lectures (modules 1 ,2 and 3)
Textbook to be downloaded from the Ariel website of the course
Further files uploaded on the Ariel website of the course
Knowledge of the volume by Miriam Franchella: "Sui sentieri della logica" Aracne 2013


International and Erasmus students are invited to promptly get in touch with the professor in order to arrange a reading plan (available in English) for exam preparation.
Assessment methods and Criteria
- Method: written exam;
- Type of examination: written test with open questions.
- Length of written examination : 90 minutes.
- Evaluation criteria: capacity to execute formal calculi; comprehension of the mile stones of the history of logic; competence in the use of specialised lexicon.
- Type of evaluation method: mark in 30s;
- Number and types of assessment that contribute to the final evaluation: two for attending students; one for non- attending students.
- Mid-term assessment at half term for attending students: the final evaluation will comprise by the rounded average of the marks of mid-term evaluation and final exam.
- Method of communication of the assessment results in case of written examinations: email by Sifa.

The format of the exam for students with disabilities should be arranged in advance with the professor, as well as the relevant office.
Unita' didattica A
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica B
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours
Unita' didattica C
M-FIL/02 - LOGIC AND PHILOSOPHY OF SCIENCE - University credits: 3
Lessons: 20 hours