First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Human and Social Sciences and Cultural Heritage
LINGUISTICS
Course unit
LOGIC
LE06105452, A.A. 2018/19

Information concerning the students who enrolled in A.Y. 2018/19

Information on the course unit
Degree course Second cycle degree in
LINGUISTICS
LE0610, Degree course structure A.Y. 2008/09, A.Y. 2018/19
N0
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination LOGIC
Website of the academic structure https://www.disll.unipd.it/
Department of reference Department of Linguistic and Literary Studies
Mandatory attendance No
Language of instruction Italian
Branch PADOVA
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Lecturers
Teacher in charge MASSIMILIANO CARRARA M-FIL/02

Mutuating
Course unit code Course unit name Teacher in charge Degree course code
LEN1032859 LOGIC (B) MASSIMILIANO CARRARA LE0599

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses M-FIL/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

Calendar
Start of activities 25/02/2019
End of activities 14/06/2019
Show course schedule 2019/20 Reg.2008 course timetable

Examination board
Board From To Members of the board
2 commissioni a.a.2018-2019 01/10/2018 30/11/2019 CARRARA MASSIMILIANO (Presidente)
SOAVI MARZIA (Membro Effettivo)
MORATO VITTORIO (Supplente)
PERELDA FEDERICO (Supplente)

Syllabus
Prerequisites: No prerequisite is requested.
Target skills and knowledge: Aim the course: to provide the basics of propositional logic and of the first-order logic. Transversal knowledge: developing logical-argumentative 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 first-order logic. An exercise concerns a translation from ordinary language to the language of first-order 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 first-order 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 first-order 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. First-order logic. Natural deduction and tableaux for first-order logic. First-order 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 non-attending lectures: Varzi Nolt Rohatyn, Logic.
Textbooks (and optional supplementary readings)
  • E.J. Lemmon, Elementi di logica. Roma / Bari: Laterza, 2008. Cerca nel catalogo
  • Varzi, Achille; Nolt, John, Logica. Milano: McGraw-Hill, 2007. Cerca nel catalogo

Innovative teaching methods: Software or applications used
  • Moodle (files, quizzes, workshops, ...)