27387 - METODI DELLA CONOSCENZA SCIENTIFICA

Conoscenze e abilità da conseguire

Gli studenti e le studentesse, alla fine del corso, hanno acquisito gli strumenti concettuali e le conoscenze essenziali necessari ad approfondire alcune questioni filosofiche legate alla conoscenza scientifica, inserendole nel quadro della riflessione epistemologica del XX secolo e contemporanea.

Contenuti

NB la sezione "conoscenze e abilità da conseguire" non è aggiornata

Il corso si propone di introdurre i/le partecipanti a vari sistemi di logica non-classica, indagando i meccanismi formali, ma con un interesse primario per il loro significato filosofico. Non è presupposta una conoscenza pregressa di logica formale per i frequentanti.

Modulo 1

Si richiameranno all'inizio delle lezioni elementi di logica classica, in particolare di logica proposizionale. Si illustreranno poi alcuni sistemi di logica modale (la logica del necessario e del possibile), che estendono la logica classica ma non sono incompatibili con essa. Successivamente introdurremo la logica intuizionista, nella quale falliscono principi come il terzo escluso e l'eliminazione della doppia negazione. Passeremo poi a introdurre le logiche polivalenti, nelle quali un valore di verità si aggiunge al vero e al falso. Verrà anche introdotto il paradosso del mentitore, mostrando alcune inizialmente plausibili soluzioni.

Modulo 2.

Si richiameranno all'inizio delle lezioni elementi del primo modulo. Ci si concentrerà poi sulle logiche paraconsistenti, che rifiutano il principio di esplosione, o ex-contradictione quodlibet, per il quale da una insieme di premesse inconsistente segue qualsiasi conclusione, e discuteremo le loro motivazioni filosofiche. Infine, tempo permettendo, prenderemo in considerazione le logiche fuzzy, nella quali i valori di verità sono infiniti, passando gradualmente dal vero al falso, logiche dei condizionali di tipo modale, e le logiche non monotone.

Testi/Bibliografia

Testi d'esame:

Materiali forniti dal docente

Dario Palladino e Claudia Palladino, Logiche non classiche. Un'Introduzione, Carocci, 2007

Francesco Berto e Lorenzo Bottai, Che cos'è una contraddizione, Carocci editore, 2015

Modalità di verifica e valutazione dell'apprendimento

Sono previsti appelli nei seguenti mesi: maggio, giugno, luglio settembre, ottobre, dicembre, gennaio.

La valutazione consisterà in una prova orale.

Criteri di verifica e soglie di valutazione:

30 e lode - prova eccellente: pienamente acquisite e ottima articolazione critica ed espressiva.

30 - prova ottima: conoscenze complete, ben articolate ed espresse correttamente, non prive spunti critici.

27-29 -prova buona: conoscenze esaurienti e adeguatamente contestualizzate, esposizione corretta.

24-26 - prova discreta: conoscenze essenziali acquisite, ma non esaurienti e non sempre articolate in maniera corretta.

21-23 - prova sufficiente: conoscenze superficiali ed ellittiche; esposizione e articolazione lacunose e spesso non appropriate.

18-21- prova appena sufficiente, conoscenze superficiali e decontestualizzate; esposizione con lacune anche rilevanti.

Esame non superato - quando le conoscenze essenziali non risultano acquisite. Lo studente è invitato a presentarsi a un successivo appello.

Strumenti a supporto della didattica

Il docente utilizzerà almeno in alcune occasioni slides power point.

Alcuni materiali aggiuntivi (letture per approfondimenti, slides) verranno via via caricate tra i materiali didattici on-line

Gli studenti e le studentesse che per ragioni dipendenti da disabilità o disturbi specifici dell’apprendimento (DSA) necessitino di strumenti compensativi o dispensativi devono innanzitutto prendere contatto con l'apposito ufficio: https://site.unibo.it/studenti-con-disabilita-e-dsa/it/per-studenti

Orario di ricevimento

Consulta il sito web di Daniele Sgaravatti