Conoscenza e comprensione: capire cos’e’ un’argomentazione e la sua struttura. Comprendere le nozioni di base della logica formale. Il corso non si propone solo di trasmettere nozioni (sapere) ma soprattuto abilita` (saper fare), insegnando ad utilizzare strumenti formali nella pratica filosofica. Applicare conoscenza e comprensione: Formalizzare enunciati ed argomenti. Distinguere gli argomenti deduttivi validi dai non validi, attraverso l’applicazione degli strumenti formali della logica proposizionale e del prim’ordine. Riconoscere fallacie logiche. Applicare gli strumenti logici a problemi classici di filosofia. Autonomia di giudizio: Sviluppare la capacità di applicare le nozioni acquisite, identificando le argomentazioni valide, in contesti diversi. Abilità comunicative: acquisire il lessico fondamentale della disciplina e saper esporre gli argomenti con chiarezza e rigore. Capacità di apprendimento: acquisire una conoscenza di base degli strumenti concettuali, con enfasi sulla comprensione, uso e applicazione, piuttosto che sulla parte meramente mnemonica.

Nessuno.

Scienza e filosofia richiedono ampio uso di ragionamenti e argomentazioni rigorose. Il corso introduce le nozioni di base dello studio logico del ragionamento. In particolare, il corso introduce le nozioni fondamentali, concentrandosi sullo studio e sull’uso della logica classica fino al primo ordine.

Per la parte di logica, il corso si basa principalmente su materiale presentato a lezione e messo a disposizione alla fine del ciclo di lezioni. I seguenti testi possono comunque essere usati come utile riferimento e integrazione e permettono, in ogni caso, la preparazione dell’esame in autonomia: - Varzi, Achille; Nolt, John, Logica. Milano: McGraw-Hill, 2007. M. Carrara, F. Mancini, - A. Strollo, Eserciziario di logica: Padova University Press, 2021. (Disponibile gratuitamente online sul sito della casa editrice) Per la parte di Filosofia della Scienza: - Samir Okasha, Il primo libro di Filosofia della Scienza, Einaudi, 2006. (anche, nella versione Inglese, Philosophy of Science. A very short introduction, Oxford University Press)

Argomenti principali del corso saranno: A. - Cos’ e’ un argomento - Argomenti deduttivi e non deduttivi - Argomenti induttivi e abduttivi - Linguaggio formale - Tavole di verità - Calcolo logico B. - Quantificatori e linguaggio formale del prim’ordine - Modelli e contro-modelli - Calcolo logico per il prim’ordine. Per gli studenti con programma di 6 CFU (ad esempio, indirizzo di storia), il programma esclude la parte di logica del prim’ordine, limitandosi agli argomenti nel gruppo A, piu` il testo di Filosofia della Scienza (Okasha). Per gli studenti con programma di 9 CFU (ad esempio, indirizzo di Filosofia), il programma include sia gli argomenti del gruppo A che quelli nel gruppo B, piu` il testo di Filosofia della Scienza (Okasha).

Il corso prevede una didattica frontale intrecciata ad attivita` comuni di soluzione di esercizi e applicazioni. L’interazione e` ricercata e incentivata.

Le lezioni si tengono in presenza.

L’esame prevede una prova scritta. La prova scritta consiste nella soluzione di esercizi e domande aperte di teoria. Lo studente deve dimostrare conoscenza degli argomenti trattati e la capacita di applicarli. La prova consiste di tre parti. Una parte con domande aperte di teoria di logica; una parte di esercizi di logica; una parte di domande aperte di filosofia della scienza. Per superare l'esame con un punteggio minimo di 18/30, lo studente deve dimostrare di aver acquisito una conoscenza sufficiente degli argomenti del corso, rispondendo correttamente, a giudizio del docente, alla maggior parte delle domande in ciascuna delle tre parti e manifestando una comprensione adeguata almeno dei concetti fondamentali. Per conseguire il punteggio massimo di 30/30 e lode, lo studente deve dimostrare una conoscenza eccellente di tutti gli argomenti trattati durante il corso, rispondendo correttamente a tutti i quesiti e risolvendo correttamente tutti gli esercizi. Questo implica una piena comprensione di tutti i concetti, sia fondamentali che avanzati, la padronanza del contenuto e la capacità di applicarlo anche in contesti nuovi.

Questo insegnamento approfondisce argomenti strettamente connessi a uno o più obiettivi dell’Agenda 2030 per lo Sviluppo Sostenibile delle Nazioni Unite