10822 - LOGICA 1

Conoscenze e abilità da conseguire

Al termine del corso, lo studente acquisisce conoscenze relativamente alla metateoria di vari sistemi formali che possono essere le logiche modali oppure la logica e l'aritmetica intuizionistica oppure l'aritmetica di Peano.

Contenuti

Inizio: lunedì 26 settembre 2016, aula I, via Zamboni 38,  h 15.00
ORARIO 2016-17 

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.

Sillabo:
1. Il sillogismo
2. Sintassi e semantica della logica proposizionale.
3. Formalizzazione nella logica proposizionale
4. I linguaggi del primo ordine: un'introduzione
5. Dal linguaggio naturale a linguaggi del primo ordine: un'introduzione.
6. Definizioni per induzione e definizione dei linguaggi del primo ordine.
7. Traduzione dal linguaggio naturale a linguaggi del primo ordine. Gli articoli. Identità e descrizioni definite. Esercitazioni utilizzando "il linguaggio di Tarski"

Nota: questo è il programma per i primi 6 cfu

8. Insiemi, relazioni e argomenti

9. La semantica formale dei linguaggi del primo ordine.

10. Alberi di sequenti
11. Deduzione naturale per la logica classica (minimale e intuizionista)

14. L'infinito e cenni alla teoria ingenua degli insiemi.

Testi/Bibliografia

TESTO DI BASE: Dario Palladino, Corso di Logica, Carocci, 2003.

ELEARNING:

https://elearning-cds.unibo.it/course/view.php?id=2682 [https://elearning-cds.unibo.it/]
cercare il corso di Logica (2014-15) ed eseguire il LOGIN con le credenziali di Ateneo: nome.cognome@studio.unibo.it
Cliccando su "Corso" accedete a Le basi della logica on-line. E' in fase di revisione poiché su nuova piattaforma.

DISPENSE:

Introduzione alla logica di W.V.O Quine (1958)

Introduzione al corso di logica da GAMUT

 Appunti sul sillogismo.pdf

Sintassi e semantica dei linguaggi del primordine
Tarski's world I
Tarski's world II
Deduzione naturale.
Esempi di derivazioni proposizionali.
Esempi di derivazioni predicative.

Il linguaggio della teoria degli insiemi.

Induzione. [http://campus.unibo.it/166311/]

Altre dispense verranno messe on line durante il corso

ESERCIZI:

Formalizzazioni con soluzioni 1

Formalizzazioni con soluzioni 2

Formalizzazioni con soluzioni 3

 

Metodi didattici

Lezioni frontali e esercitazioni.

Durante tutto il corso e SPECIALMENTE durante le prime tre settimane le lezioni frontali saranno affiancate da esercitazioni. L'obiettivo è che l'apprendimento e lo studio dei vari temi avvenga via via che essi vengono introdotti.

Durante l'intero corso verranno proposti almeno tre test scritti (senza voto) sì da consentire allo studente di autovalutare lo stato della sua preparazione.

Modalità di verifica e valutazione dell'apprendimento

Esame scritto.

Entro tre mesi dalla data di pubblicazione dei risultati, gli studenti sono possono registrare il voto durante l'orario di ricevimento.

Strumenti a supporto della didattica

Dispense durante le lezioni, materiale didattico on line, esercitazioni con tutor per la didattica

Link ad altre eventuali informazioni

https://elearning-cds.unibo.it/course/index.php?categoryid=83

Orario di ricevimento

Consulta il sito web di Giovanna Corsi