CODICE | 65151 |
---|---|
ANNO ACCADEMICO | 2021/2022 |
CFU | 9 cfu al 2° anno di 8455 FILOSOFIA (L-5) GENOVA |
SETTORE SCIENTIFICO DISCIPLINARE | M-FIL/02 |
SEDE | GENOVA (FILOSOFIA ) |
PERIODO | 1° Semestre |
MATERIALE DIDATTICO | AULAWEB |
Il corso introduce i principi teorici e gli strumenti di applicazione di base della logica proposizionale e della logica dei predicati, con alcuni accenni alla logica modale. Il corso prevede una buona componente di esercitazioni pratiche, finalizzate a familiarizzare con il ragionamento logico-matematico e a sviluppare le competenze di analisi delle argomentazioni mediante gli strumenti della logica.
Introdurre ai due capitoli di base della logica classica: la logica delle proposizioni e la logica dei predicati. Indicare che lo studio della correttezza delle deduzioni mediante strumenti di calcolo appositamente elaborati abitua all'impiego appropriato e consapevole del linguaggio naturale, alla precisione e al rigore nelle argomentazioni e aiuta a organizzare con coerenza i discorsi e la nostra attività di ragionamento.
L'obiettivo dell'insegnamento è introdurre (per i 6 cfu):
Inoltre, l'insegnamento si propone di allenare (per i 6 cfu)
Per i 9 cfu, l'insegnamento inoltre si propone di introdurre le basi della logica modale, la sua sintassi e la sua semantica, e di allenare la capacità di formalizzare usando la logica modale enunciati del linguaggio ordinario.
Al termine del corso, si dovrà essere in grado di:
È necessario aver frequentato il corso RAGIONAMENTO E TEORIA DELLA SCIENZA del primo anno.
La metodologia didattica consiste di due momenti:
1) Lezioni frontali che illustrano la teoria, gli esempi e le applicazioni,
2) Momenti di esercitazioni individuali e a gruppi.
La frequenza è caldamente consigliata dato il numero di sessioni di pratica che il corso propone.
Occorre iscriversi ad Aulaweb, dove saranno caricati tutti i materiali utili per il corso.
Le lezioni si terranno auspicabilmente in presenza, con possibilità di seguire anche a distanza tramite la piattaforma Teams (verrà fornito il codice di accesso).
Programma per chi usa l'insegnamento per 6 cfu
1. Basi di logica proposizionale:
2. Basi di logica dei predicati:
Programma per chi usa l'insegnamento per 9 cfu: in aggiunta ai punti 1. e 2. occorre:
3. Introduzione alla logica modale proposizionale.
Per l'insegnamento da 6 cfu e da 9 cfu, tutti i materiali necessari verranno resi disponibili su aulaweb (dispense, slides, esercizi, bibliografia aggiuntiva).
In alternativa o per approfondimenti si consigliano.
Inoltre:
Oppure in alternativa:
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)
28 Settembre 2021
Martedì 9.00 -- 11.00
Mercoledì 9.00 -- 11.00
Giovedì 9.00 -- 11.00
Esame scritto: per valutare le capacità di applicare le nozioni introdotte e la capacità di risolvere semplici esercizi utilizzando le tecniche viste.
Esame orale: per verificare la comprensione delle nozioni presentate nelle lezioni e sulle dispense fornite, oppure sui testi in bibliografia, l'uso specifico e preciso del linguaggio tecnico della logica, e le abilità di ragionamento logico.
La preiscrizione all’esame è obbligatoria e deve essere effettuata almeno una settimana prima dell’appello prescelto.
L’esame valuta la capacità dello studente di comprendere e di applicare i concetti fondamentali della logica proposizionale e dei predicati, con alcuni accenni alla logica modale.
Nel momento scritto dell'esame, attraverso alcuni esercizi proposti, si valutano la capacità di utilizzare i metodi visti, di analizzare la correttezza delle inferenze e di analizzare le argomentazioni in linguaggio naturale mediante gli strumenti della logica.
Nel momento orale, si valuta la capacità di usare il linguaggio tecnico della logica, di comprendere ed esprimere precisamente le definizioni logiche introdotte e di ragionare secondo le regole della logica.
Ai fini della valutazione saranno presi in considerazione l'uso corretto e preciso del lessico tecnico, la qualità dell'esposizione, la capacità di utilizzare gli strumenti introdotti della logica matematica, nonché la capacità di ragionamento logico.
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 fossero impossibilitati a frequentare le lezioni sono tenuti a mettersi in contatto con il docente per concordare il programma.
Si consiglia inoltre caldamente di contattare il docente per tempo, anche su appuntamento, per valutare prima dell'esame la preparazione sugli aspetti di pratica relativi alla soluzione degli esercizi proposti.