LOGIC
cod. 02607

Academic year 2017/18
1° year of course - First semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Istituzioni di filosofia
Type of training activity
Related/supplementary
30 hours
of face-to-face activities
6 credits
hub: PARMA
course unit
in ITALIAN

Learning objectives

Formal Logic for analyzing natural language and arguments expressed in it.
Propositional S4 system of Modal Logic.

Prerequisites

Semantics of Propositional Classical Logic

Course unit content

A short introduction to Modal (S4) Propositional Logic

Full programme

1) Intuitive interpretations and translations into metalanguage.
2) Natural Deduction for propositional S4 and Kripke models

Bibliography

Notes sent directly to Students' e-mail addresses

Teaching methods

Oral lessons

Assessment methods and criteria

Final oral exam

Other information

- - -