Modules | Area | Type | Hours | Teacher(s) | |
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:
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:
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.
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.