CODICE | 65151 |
---|---|
ANNO ACCADEMICO | 2022/2023 |
CFU |
|
SETTORE SCIENTIFICO DISCIPLINARE | M-FIL/02 |
SEDE |
|
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. Il corso prevede una buona componente di esercitazioni pratiche, finalizzate a familiarizzare con il ragionamento logico-matematico, a sviluppare le competenze di analisi delle argomentazioni, ad allenare le abilità di dimostrazione.
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:
Inoltre, l'insegnamento si propone di allenare:
Per i 9 cfu, l'insegnamento inoltre approfondisce alcuni aspetti più tecnici della logica proposiozinale e dei predicati, dei calcoli logici, e delle dimostrazioni di alcuni teoremi fondamentali.
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 tipo di corso e 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. Chi non frequenta è tenuto a contattare il docente per decidere il programma d'esame e per accedere a materiali didattici aggiuntivi.
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:
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ì 15-17 DAFIST, sezione di Filosofia, Via Balbi 4, II piano. Su piattaforma Teams, codice qqnykcf.
DANIELE PORELLO (Presidente)
MARCELLO FRIXIONE
MARIA CRISTINA AMORETTI (Supplente)
20 settembre 2022
Martedì 12.15 -- 13.45
Mercoledì 12.15 -- 13.45
Giovedì 12.15 -- 13.45
Esame scritto: per valutare le capacità di applicare le nozioni introdotte e la capacità di risolvere esercizi e problemi utilizzando le tecniche viste.
Esame orale: per verificare la comprensione delle nozioni presentate nelle lezioni e nelle 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 e gli strumenti della logica proposizionale e dei predicati del primo ordine.
Nel momento scritto dell'esame, attraverso gli esercizi proposti, si valutano la capacità di utilizzare in modo correto il linguaggio della logica, di applicare i metodi visti, di valutare la correttezza delle inferenze, di analizzare le argomentazioni in linguaggio naturale mediante gli strumenti della logica, di dimostrare alcune proposizioni logiche.
Nel momento orale, si valuta la capacità di usare correttamente 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:
Data | Ora | Luogo | Tipologia | Note |
---|---|---|---|---|
13/12/2022 | 09:00 | GENOVA | Orale | |
13/12/2022 | 09:00 | GENOVA | Compitino | |
19/01/2023 | 09:00 | GENOVA | Compitino | |
19/01/2023 | 09:00 | GENOVA | Orale | |
02/02/2023 | 09:00 | GENOVA | Compitino | |
02/02/2023 | 09:00 | GENOVA | Orale | |
11/05/2023 | 09:00 | GENOVA | Compitino | |
11/05/2023 | 09:00 | GENOVA | Orale | |
25/05/2023 | 09:00 | GENOVA | Compitino | |
25/05/2023 | 09:00 | GENOVA | Orale | |
15/06/2023 | 09:00 | GENOVA | Orale | |
15/06/2023 | 09:00 | GENOVA | Compitino | |
29/06/2023 | 09:00 | GENOVA | Orale | |
29/06/2023 | 09:00 | GENOVA | Compitino | |
07/09/2023 | 09:00 | GENOVA | Orale | |
07/09/2023 | 09:00 | GENOVA | Compitino |
Questo corso prevede una importante componente pratica, è quindi fortemente consigliata la frequenza.
Coloro che fossero impossibilitati a frequentare le lezioni devono mettersi in contatto con il docente per concordare il programma. Si consiglia 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 che sono proposti per l'esame.