Academic Year 2018/2019

  • Docente: Giovanna Corsi
  • Credits: 12
  • SSD: M-FIL/02
  • Language: Italian

Learning outcomes

Students will get to know about extensions of propositional and first order logic: in the first part, modal logics viewed as extensions of the propositional classical logic and in the second part some first order theories together with some of their metatheoretical properties.

Course contents

Inizio: lunedì 1 ottobre 2018, aula V, via Zamboni 38, h 15.00
ORARIO 2018-19

Primo e secondo ciclo

Lun 15-17 aula V via Zamboni 38
Mar 15-17 aula V via Zamboni 38
Gio 11-13 aula V via Zamboni 38

"Chi fa filosofia pensa e ragiona. Se si ragiona correttamente, si articolano argomenti validi. Chi fa filosofia, inoltre, spesso riflette e sviluppa teorie su quello che fa: la logica si occupa del ragionamento corretto e della validità degli argomenti."

Tema centrale del corso sarà quello di fornire gli strumenti per la valutazione delle argomentazioni. Il corso si propone di introdurre gli studenti di Filosofia ad alcuni temi di base della logica che costituiscono il prerequisito per uno studio sistematico della logica e per un approccio formale all'epistemologia e alla filosofia in generale.

Il corso offrirà inoltre allo studente la possibilità di familiarizzare con i linguaggi formali, con la distinzione linguaggio-metalinguaggio, con le nozioni di sintassi, semantica, con le definizioni induttive, con semplici algoritmi di decisione.

Syllabus: 

1. Syllogismus
2. Syntax and semantics of propositinal logic
3. Formalisation in propositional logic

4. Sets, relations and arguments 
5. The syntax of predicate
6: The Semantics of Predicate Logic
7: Traduzione dal linguaggio naturale a linguaggi del primo ordine (e viceversa!) Gli articoli. Identità e descrizioni definite. Esercitazioni utilizzando "il linguaggio di Tarski"
8: La semantica formale dei linguaggi del primo ordine .
9: Alberi di sequenti
10:Natural Deduction

11. Insiemi, relazioni e operazioni tra insiemi.

12 Teorema di Cantor. Esistenza di insiemi infiniti più che numerabili.

Readings/Bibliography

MANUAL: Dario Palladino, Corso di Logica, Carocci, 2003.

LECTURE NOTES:

Introduzione alla logica di W.V.O Quine (1958) [http://campus.unibo.it/196459/]

Introduzione al corso di logica da GAMUT [http://campus.unibo.it/39411/]

Notes on sillogismo.pdf [http://campus.unibo.it/155930/]

Sintassi e semantica dei linguaggi del primordine [http://campus.unibo.it/171412/]
Tarski's world I [http://campus.unibo.it/159931/]
Tarski's world II [https://campus.unibo.it/159932/1/Tarski-world-II.pdf]
Linguaggi del primo ordine. [https://campus.unibo.it/171317/1/7.%20Linguaggi%20del%20primo%20ordine.pdf]
Semantica [https://campus.unibo.it/171410/1/9.%20Semantica.pdf]
Deduzione naturale. [http://campus.unibo.it/167933/]
Esempi di derivazioni proposizionali. [http://campus.unibo.it/171316/]
Esempi di derivazioni predicative. [http://campus.unibo.it/163962/]
Induzione. [http://campus.unibo.it/166311/]
Il linguaggio della teoria degli insiemi. [http://campus.unibo.it/170969/]

Altre dispense verranno messe on line durante il corso

EXERCISES:

Formalizzazioni con soluzioni 1 [http://campus.unibo.it/168689/]

Formalizzazioni con soluzioni 2 [http://campus.unibo.it/168777/]

Formalizzazioni con soluzioni 3 [http://campus.unibo.it/168691/]

Teaching methods

Lectures ex cathedra and tutorials

 

During the course the students will be provided with three tests (without grading) so that they can evaluate their level of preparation.

Assessment methods

Written examination

Teaching tools

Standard tools: black-board and chalk, overhead projector, front projector for slides.

Office hours

See the website of Giovanna Corsi