CODICE | 84346 |
---|---|
ANNO ACCADEMICO | 2021/2022 |
CFU | 6 cfu al 1° anno di 8465 METODOLOGIE FILOSOFICHE (LM-78) GENOVA |
SETTORE SCIENTIFICO DISCIPLINARE | M-FIL/02 |
LINGUA | Italiano |
SEDE | GENOVA (METODOLOGIE FILOSOFICHE ) |
PERIODO | 1° Semestre |
MATERIALE DIDATTICO | AULAWEB |
L'insegnamento approfondisce la logica matematica proposizionale e dei predicati, introduce le logiche modali, e discute alcuni temi di logiche non-classiche. L'obiettivo del corso è di avvicinare a temi di ricerca all'intersezione tra logica matematica e logica filosofica, rappresentazione della conoscenza, ontologia formale, semantica formale, o intelligenza artificiale.
Introdurre alcuni temi avanzati di logica, con particolare attenzione alle relazioni che sussistono con problemi inerenti varie discipline filosofiche, quali semantica, ontologia e metafisica.
Obiettivi dell'insegnamento sono:
Al termine dell'insegnamento, si dovrà essere in grado di:
L’insegnamento presuppone alcune competenze base di logica, che corrispondono ai contenuti dell’insegnamento di Logica del corso di laurea triennale in filosofia.
Le lezioni si terranno auspicabilmente in presenza, con possibilità di seguire anche a distanza tramite la piattaforma Teams (verrà fornito il codice di accesso).
L'insegnamento consiste di due parti.
La prima parte dell'insegnamento prevede lezioni frontali tenute dal docente e momenti di esercitazioni individuali e in gruppo supervisionati dal docente.
La seconda parte dell'insegnamento prevede presentazioni, progetti, e discussioni in aula.
Durante il corso, compatibilmente con le risorse e i tempi disponibili, potrebbero essere invitati esperti esterni a tenere seminari su temi specifici.
Occorre iscriversi ad Aulaweb, dove saranno caricati materiali utili per il corso.
L'insegnamento si divide in due parti:
1) approfondimenti di logica proposizionale e dei predicati, introduzione alla logica modale, introduzione e discussione di temi di logiche non-classiche;
2) presentazione di sistemi logici per avvicinarsi ad alcuni temi di ricerca logica in ambito di logica filosofica, rappresentazione della conoscenza, semantica formale, ontologia formale, o intelligenza artificale.
Prima parte:
Seconda parte:
I materiali necessari saranno forniti e resi disponibili su aula web (dispense, slides, articoli di approfondimento).
In alternativa al materiale relativo alla prima parte, o per approfondimenti:
Per la parte di logica proposizionale e dei predicati e per i calcoli logici assiomatici:
Oppure:
Per la parte di introduzione alla logica modale:
oppure
Per la seconda parte seminariale del corso:
Un articolo da approfondire tra quelli che verranno decisi e resi disponibili su Aulaweb.
Per chi NON frequenta:
oltre ai testi elencati sopra, occorre concordare il programma con il docente.
L'elenco dei testi potrebbe subire modifiche e quindi è consigliabile, prima dell'acquisto o del prestito, di attendere l'avvio delle lezioni e la
presentazione del programma da parte del docente.
Ricevimento: Martedì 11-13 DAFIST, sezione di Filosofia, Via Balbi 4, II piano. Su piattaforma Teams, codice qqnykcf.
DANIELE PORELLO (Presidente)
MARCELLO FRIXIONE
MARIA CRISTINA AMORETTI (Supplente)
29 Settembre 2021
Mercoledì 11.00 -- 13.00
Giovedì 11.00 -- 13.00
L'esame consiste di due momenti:
1. Approfondimento individuale (presentazione, progetto, o tesina). Le modalità e i tempi della presentazione, del progetto o della tesina saranno concordate a lezione. L'approfondimento individuale consiste di un tema scelto tra un numero di possibilità discusse a lezione.
2. Esame orale sul contenuto della prima parte dell'insegnamento.
La preiscrizione all’esame è obbligatoria e deve essere effettuata almeno una settimana prima dell’appello prescelto.
Studenti frequentanti:
Studenti NON frequentanti: Le modalità di esame sono simili, occorre tuttavia contattare il docente per concordare i temi e i testi e la modalità per la prima parte.
In entrambi i casi, ai fini della valutazione saranno presi in considerazione l'uso corretto del lessico tecnico, la qualità dell'esposizione, la capacità di utilizzare gli strumenti introdotti della logica matematica, nonché la capacità di ragionamento critico e argomentativo.
Data | Ora | Luogo | Tipologia | Note |
---|---|---|---|---|
16/12/2021 | 10:00 | GENOVA | Orale | |
20/01/2022 | 10:00 | GENOVA | Orale | |
04/02/2022 | 10:00 | GENOVA | Orale | |
12/05/2022 | 10:00 | GENOVA | Orale | |
26/05/2022 | 10:00 | GENOVA | Orale | |
16/06/2022 | 10:00 | GENOVA | Orale | |
30/06/2022 | 10:00 | GENOVA | Orale | |
08/09/2022 | 10:00 | GENOVA | Orale |
Coloro che non frequentano le lezioni sono tenuti a mettersi in contatto con il docente per concordare il programma, le modalità di esame, e gli approfondimenti richiesti.