LOGICA

Questo corso è un'introduzione alla logica per gli studenti di filosofia e materie umanistiche. Esso copre (i) gli approcci fondamentali alla logica, compresa la teoria della dimostrazione e in particolare la teoria dei modelli, (ii) nozioni elementari di filosofia della logica.
Prepara gli studenti a leggere gli articoli di filosofia contemporanea che fanno uso
di simbolismo logico astratto.
Insegna una parte della logica indispensabile per ogni studioso di filosofia.

Una conoscenza di base della logica formale e della teoria degli insiemi.

Questo corso non richiede ci sono prerequisiti.

Cenni di teoria degli insiemi.
Paradossi.
Logica proposizionale.
Tavole di verita'.
Assiomatizzazioni e teoremi di completezza.
Deduzione naturale.
Teoria dei modelli.
Cenni di storia della logica.

Berto F. "Logica da zero a Gödel" ed. Laterza

Partecipazione alle relazioni ed alle discussioni in classe. Tesine scritte.
L'esame finale consiste in un colloquio.

orale

Lezioni ed esercitazioni tenute dal docente

Accessibilità, disabilità e inclusione

Ca’ Foscari applica la Legge Italiana (Legge 17/1999; Legge 170/2010) per i servizi di supporto e di accomodamento disponibili agli studenti con disabilità o con disturbi specifici dell’apprendimento. Se hai una disabilità motoria, visiva, dell’udito o altre disabilità (Legge 17/1999) o un disturbo specifico dell’apprendimento (Legge 170/2010) e richiedi supporto (assistenza in aula, ausili tecnologici per lo svolgimento di esami o esami individualizzati, materiale in formato accessibile, recupero appunti, tutorato specialistico a supporto dello studio, interpreti o altro) contatta l’ufficio Disabilità e DSA disabilita@unive.it.