LOGIC
cod. 1005446

Academic year 2023/24
1° year of course - Second semester
Professor
Alessandro TORZA
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Storia della filosofia e istituzioni di filosofia
Type of training activity
Basic
60 hours
of face-to-face activities
12 credits
hub: PARMA
course unit
in ITALIAN

Learning objectives

The course aims to provide the skills required in order to analyze the logical structure of natural language statements; translate statements between natural and formal languages; assess validity by means of semantic and syntactic methods; provide counterexamples to invalid arguments; understand a number of key metalogical notions (coherence, expressive adequacy, soundness, completeness).

Prerequisites

There are no prerequisites.

Course unit content

The course provides an introduction to classical propositional and predicate logic blending the rigor of a mathematical presentation with a discussion of the conceptual and philosophical motivation.

Full programme

Logic and its nature. Some metatheoretic notions.
Informal vs formal logic.
Syntax and semantics of propositional calculus.
Natural deduction for propositional logic.
Syntax and semantics of predicate calculus.
Formalization.
Natural deduction for predicate calculus.
Identity.

Bibliography

Smith, P. (2020). An introduction to formal logic, 2nd edition. Cambridge University Press.
Freely available at the following url:
https://www.logicmatters.net/resources/pdfs/IFL2_LM.pdf
More bibliographic references will be provided throughout the course.

Teaching methods

Frontal lectures.

Assessment methods and criteria

Throughout the course students will be required to do selected exercises from the textbook. There will be an end-of-term written examination aimed to assess the students’ proficiency relative to the aforementioned objectives.

Other information

Students who do not attend the course are required to do all readings and all exercises from the textbook.

2030 agenda goals for sustainable development

Contacts

Toll-free number

800 904 084

Student registry office


E. segreteria.corsiumanistici@unipr.it
T. +39 0521 033707

Quality assurance office

Education manager

Ms. Maria Velardi
T. +39 0521 034254
E. maria.velardi@unipr.it

Course President

Prof. Fabrizio Amerini
E. fabrizio.amerini@unipr.it

Faculty advisors

Prof. Roberto Pinzani
E. roberto.pinzani@unipr.it
Prof. Andrea Sebastiano Staiti
E. andreasebastianostaiti@unipr.it

Careers guidance delegate

Prof. Andrea Bianchi
E. andreabianchi@unipr.it

Tutor Professors

Prof. Fabrizio Amerini
fabrizio.amerini@unipr.it
Prof.ssa Beatrice Centi
beatrice.centi@unipr.it

Prof. Roberto Pinzani
E.roberto.pinzani@unipr.it

Erasmus delegates

Prof. Wolfgang Huemer
E. wolfgang.huemer@unipr.it
Prof. Italo Testa
E. italo.testa@unipr.it

Quality assurance manager

Prof. Pierfrancesco Fiorato
E. pierfrancesco.fiorato@unipr.it

Internships

Prof. Gemmo Iocco
E. gemmo.iocco@unipr.it

Tutor students

Dr. Irene Pisani
E. irene.pisani@studenti.unipr.it
Dr. Chiara Incoronato
E. chiara.incoronato@studenti.unipr.it
Dr. Leonardo Mammi

E. leonardo.mammi@studenti.unipr.it
Dr. Elisa Diambri
E. elisa.diambri@studenti.unipr.it