
Course unit
LOGIC
LE06105452, A.A. 2019/20
Information concerning the students who enrolled in A.Y. 2019/20
Mutuating
Course unit code 
Course unit name 
Teacher in charge 
Degree course code 
LEN1032859 
LOGIC (B) 
MASSIMILIANO CARRARA 
LE0599 
ECTS: details
Type 
ScientificDisciplinary Sector 
Credits allocated 
Core courses 
MFIL/02 
Logic and Philosophy of Science 
6.0 
Course unit organization
Period 
Second semester 
Year 
1st Year 
Teaching method 
frontal 
Type of hours 
Credits 
Teaching hours 
Hours of Individual study 
Shifts 
Lecture 
6.0 
42 
108.0 
No turn 
Examination board
Board 
From 
To 
Members of the board 
3 commissioni a.a.20192020 
01/10/2019 
30/11/2020 
CARRARA
MASSIMILIANO
(Presidente)
SOAVI
MARZIA
(Membro Effettivo)
MORATO
VITTORIO
(Supplente)
PERELDA
FEDERICO
(Supplente)

2 commissioni a.a.20182019 
01/10/2018 
30/11/2019 
CARRARA
MASSIMILIANO
(Presidente)
SOAVI
MARZIA
(Membro Effettivo)
MORATO
VITTORIO
(Supplente)
PERELDA
FEDERICO
(Supplente)

Prerequisites:

No prerequisite is requested. 
Target skills and knowledge:

Aim the course: to provide the basics of propositional logic and of the firstorder logic. Transversal knowledge: developing logicalargumentative skills. 
Examination methods:

Written examination. The test is divided into five parts. Parts are exercises or open questions. At least one exercise requires the carrying out of a proof in propositional logic, at least one exercise requires the carrying out of a proof in firstorder logic. An exercise concerns a translation from ordinary language to the language of firstorder logic. Two parts may vary by topic. The topics can be logical equivalences, syntactic proofs, semantic proofs, proofs of relevant theorems, syllogistic, theoretical questions about the basics of logic. The written test lasts an hour and a half. 
Assessment criteria:

First of all, the student's ability to solve proofs in propositional logic or in firstorder logic will be evaluated. In detail, the test is not considered passed if at least one exercise requiring a proof in propositional logic or a firstorder logic does not take place. The examination is considered passed with a grade greater than or equal to 24 if both exercises requiring proofs in propositional and first.order logic are performed. The marks above 24 are obtained when the other exercises / questions are also adequately resolved. 
Course unit contents:

Propositional logic. Natural deduction and tableaux for propositional logic. Categorical propositions and elements of classical logic: syllogistic. Firstorder logic. Natural deduction and tableaux for firstorder logic. Firstorder logic with identity (Natural deduction and tableaux). Basics of naive set theory. Basics of Tarskian semantics. 
Planned learning activities and teaching methods:

Lectures. 
Additional notes about suggested reading:

E.J. Lemmon, Elements of Logic.
For students nonattending lectures: Varzi Nolt Rohatyn, Logic. 
Textbooks (and optional supplementary readings) 

E.J. Lemmon, Elementi di logica. Roma / Bari: Laterza, 2008.

Varzi, Achille; Nolt, John, Logica. Milano: McGrawHill, 2007.


