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. 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 - Metalogica 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).

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)

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. Le registrazioni sono disponibili sulla piattaforma Ateneo (MS Teams) per 12 mesi, periodo che inizia dalla fine della singola lezione. Le registrazioni possono essere interrotte se la frequenza alle lezioni cala in modo persistente e consistente, o non avvenire se la presenza e` bassa. L’eventuale interruzione delle registrazioni viene comunicata sul “team” dell’insegnamento e tra gli avvisi docente dei siti web di Dipartimento e di corso di studio. Gli studenti e le studentesse con particolari necessità (affetti/e da particolari disabilità, lavoratori/lavoratrici, atleti, "adulti" (non neo-diplomati), genitori, detenuti/e) che si trovano, in modo stabile o temporaneo, in condizioni particolari che comportano l'impossibilità a seguire le lezioni in presenza, saranno ammessi al collegamento in remoto su richiesta di tale modalità di frequenza al/alla docente. La richiesta, delle cui motivazioni lo studente/la studentessa si assume personalmente la responsabilità, va inviata via email al/alla docente con congruo anticipo rispetto all’inizio delle lezioni

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