CdSFILOSOFIA
Codice104MM
CFU12
PeriodoPrimo semestre
LinguaItaliano
| Moduli | Settore/i | Tipo | Ore | Docente/i | |
| LOGICA | M-FIL/02 | LEZIONI | 72 |
|
Il fine del corso è quello di fornire una conoscenza delle strutture logiche di base in modo da non presupporre nessuna conoscenza specifica della materia. Importanti temi trattati saranno:
- le strutture di base della logica proposizionale e di quella quantificazionale
- lo studio del dispositivo di dimostrazione e la nozione di teorema
- lo studio delle procedure di verificazione delle proposizione e la nozione di formula vera e logicamente vera
- lo studio dei rapporti fra i due aspetti e l'indagine sulla correttezza (tutti i teoremi sono verità logiche) e la completezza delle teorie (tutte le verità logiche sono dimostrabili).
The aim of the course is to provide a basic introduction to the central topics of the logical research without assuming from the students any preliminary logical knowledge. Important issues will be:
- the basic structures of propositional and quantificational logic
- the study of the mechanism of proof and the notion of theorem
- the study of the interpretation of the formal languages and the notion of true and logically true sentence
- the study of the mutual relationships between the two aspects of the enquiry, focussing the notion of soundness (any theorem is a logical truth) and completeness of the theory (any logical proof is provable).
Le conoscenze verranno verificate principalmente attraverso l'accertamento della attiva partecipazione alle lezioni.
The active attending the lesson will be the principal way to assess the acquistion of knowledge from the students.
L'attesa è che lo studente acquisisca la capacità di formalizzare enunciati del linguaggio naturale nei linguaggi formali della logica propositionale e in quella quantificazionale. Inoltre, lo studente dovrà saper costruire dimostrazioni di enunciati formali e saper accertare della loro soddisfacibilità o meno in strutture semantiche appropriate.
Students are expected to become able to formalize sentences of natural languages into the formal framework of propositional and quantificational logics. Moreover, they are expected to be able to provide proofs for some formal sentences a nd to aknowledge if a given sentence is, or is not satsfied in an appropriate structure.
L'acquisizione delle capacità verrà verificata attraverso esercizi fatti in itinere.
Assessment of skills will be made through exercises made during the course.
Ci aspettiamo che gli studenti seguano con attenzione e partecipazione le lezioni.
Students are expected to attend in an active way the lessons.
Facendo domande e sollecitando il loro interesse.
Asking questions and stimulating students's interest in the matter.
Nessun prerequisito particolare, neanche quelli che potrebbero essere stati acquisiti seguendo il corso di Istituzioni di Logica.
No particular prerequisites, neither knowledges coming from the course of Istituzioni di logica.
Studiare con continuità e senza lasciare che le cose non chiare si accumulino.
To study in a continuous way, without letting that unclear questions become bigger and bigger.
- la nozione di linguaggio formale
- la nozione di apparato dimostrativo
- la nozione di teorema
- la nozione di struttura di interpretazione per un linguaggio formale
- la nozione di enunciato logicamente vero
- le nozioni metateoriche di correttezza, completezza, decidibilità, non-contraddittorietà
- the notion of formal language
- the notion of proof mechanism
- the notion of theorem
- the notion of an interpretation structure for a formal language
- the notion of logically true sentence
- the metatheorical notions of soundness, completeness, decidability, consistency.
Parti scelte del volume "Argomenti di Logica", di C. Marletti e altri, P.U.P., 2016.
Selected parts of "Argomenti di Logica", by C. Marletti et al., P.U.P., 2016.
Nessuna particolare indicazione, eccetto quella di contattare il docente per indicazioni e consigli vari.
No particular advice, except the strong suggestion to contact the docent to get news and advices.
Esame orale.
Oral examination.