Istituzioni di logica

Istituzioni di logica
Francesco Paoli, 2015-2016
Università di Cagliari
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
1/8
Come reperirmi
Di persona: martedì ore 17-18, giovedì ore 10-11, studio 34, corpo
centrale della Facoltà (controllare sul sito
http://people.unica.it/francescopaoli/news/ per variazioni o
annullamenti)
Per telefono: telefonare al numero 070-6757330
Per e-mail: scrivere un messaggio a [email protected]
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
2/8
Orario
Lunedì 12-14 (aula 9), martedì 9-11 (aula 13), venerdì 9-11 (aula 10)
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
3/8
Orario
Lunedì 12-14 (aula 9), martedì 9-11 (aula 13), venerdì 9-11 (aula 10)
Verranno fatte 45 ore di lezione e circa 10 ore di didattica integrativa
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
3/8
Orario
Lunedì 12-14 (aula 9), martedì 9-11 (aula 13), venerdì 9-11 (aula 10)
Verranno fatte 45 ore di lezione e circa 10 ore di didattica integrativa
Quarto d’ora accademico: comodo il martedì e il venerdì (consente il
ca¤è), meno buono il lunedì (riduce la pausa pranzo).
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
3/8
Orario
Lunedì 12-14 (aula 9), martedì 9-11 (aula 13), venerdì 9-11 (aula 10)
Verranno fatte 45 ore di lezione e circa 10 ore di didattica integrativa
Quarto d’ora accademico: comodo il martedì e il venerdì (consente il
ca¤è), meno buono il lunedì (riduce la pausa pranzo).
Proposta: il lunedì iniziare puntuali, …nire alle 13.30.
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
3/8
Testi
F. Paoli, C. Crespellani Porcella, G. Sergioli, Ragionare nel
quotidiano, Mimesis, Milano, 2012.
D. Palladino, C. Palladino, Logiche non classiche. Un’introduzione,
Carocci, Roma, 2007.
(salteremo molte parti di entrambi i testi).
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
4/8
L’esame
Sarà orale e riguarderà tutti gli aspetti trattati a lezione,
dimostrazioni comprese. Il programma consiste di poche pagine
rispetto agli altri esami a cui siete abituati, ma che richiedono nel
complesso lo stesso tempo di studio (per alcune parti del programma,
2 pagg./g. dà l’idea del ritmo giusto da tenere).
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
5/8
L’esame
Sarà orale e riguarderà tutti gli aspetti trattati a lezione,
dimostrazioni comprese. Il programma consiste di poche pagine
rispetto agli altri esami a cui siete abituati, ma che richiedono nel
complesso lo stesso tempo di studio (per alcune parti del programma,
2 pagg./g. dà l’idea del ritmo giusto da tenere).
Gli appelli si terranno in genere ogni settimana, con alternanza di
appelli mattutini e pomeridiani.
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
5/8
Il gioco di Kowalski
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
6/8
Il gioco di Kowalski
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Portrebbe venire in mente di sondare la sua preparazione sui
contenuti. Ma è rischioso: la risposta a una domanda troppo generica
potrebbe essere conosciuta anche da uno studente, o un
non-specialista; una domanda troppo speci…ca potrebbe mettere in
di¢ coltà anche un logico professionista (se non riguarda la sua
specialità).
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
6/8
Il gioco di Kowalski
Probabilmente la domanda migliore è:
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
7/8
Il gioco di Kowalski
Probabilmente la domanda migliore è:
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
7/8
Il gioco di Kowalski
Probabilmente la domanda migliore è:
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Se quella persona non è un logico, potrebbe rispondere in qualsiasi
modo. Se lo è, probabilmente risponderà:
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
7/8
Il gioco di Kowalski
Probabilmente la domanda migliore è:
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Se quella persona non è un logico, potrebbe rispondere in qualsiasi
modo. Se lo è, probabilmente risponderà:
Hai di fronte una persona che non conosci e devi determinare con una
sola domanda se di mestiere fa il logico. Cosa ti conviene chiedergli?
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
7/8
Programma
Prima parte: rudimenti di logica e logica proposizionale classica.
Analisi logica del linguaggio naturale. Connettivi logici. Tavole di verità.
Cenni di teoria dell’argomentazione. Il calcolo alla Hilbert per la logica
proposizionale classica. Il teorema di adeguatezza.
Seconda parte. Estensioni della logica classica.
Logiche modali. Logiche epistemiche. Logiche deontiche.
Terza parte: alternative alla logica classica.
Logica intuizionista. Logiche rilevanti. Logiche polivalenti. La
paraconsistenza. Logiche condizionali.
Francesco Paoli, 2015-2016 (Università di Cagliari)
Istituzioni di logica
8/8