Il corso è costituito da due parti: una parte generale contenente un’introduzione alla logica formale; ed una parte speciale contenente un’introduzione alla Teoria della Computabilità. Il corso dedicherà particolare attenzione all'analisi del concetto di decidibilità nelle teorie formali.

Il corso si concentrerà sulle seguenti tematiche:

01 Critical Thinking;

01.01 Argomenti corretti e fallacie argomentative;

02 Logica Proposizionale;

02.01 Sintassi della Logica Proposizionale;

02.02 Semantica della Logica Proposizionale;

03 Logica dei Predicati del Primo Ordine;

03.01 Sintassi della Logica dei Predicati del Primo Ordine;

03.02 Semantica della Logica dei Predicati del Primo Ordine

04 Metateoria dei sistemi formali;

04.01 Coerenza; Completezza; Decidibilità;

05 Logica Matematica e Teoria della Computabilità;

05.01 Il concetto di algoritmo;

05.02 Funzioni e calcolabilità;

05.03 Macchine di Turing;

05.04 Problemi indecidibili;

06 Computabilità, logica e fondamenti della matematica;

06.01 I Teoremi di Gödel.

Il corso non richiede propedeuticità.

Molto utile la partecipazione al Training Camp (info: Anya Pellegrin): https://filosofia.uniurb.it/training-camp/

Conoscenza e capacità di comprensione (knowledge and understanding)
A fine corso gli studenti dovranno essere in grado di comprendere e spiegare alcuni testi appartenenti alla storia della logica, conoscere e discutere alcuni dei problemi classici della storia della logica, e utilizzare alcuni principali strumenti bibliografici e informativi attinenti al settore.
Capacità di applicare conoscenza e comprensione (applying knowledge and understanding)
A fine corso gli studenti dovranno dimostrare capacità di discutere e valutare le principali argomentazioni e tesi nell'ambito della storia della meccanizzazione del ragionamento umano e saper utilizzare tali conoscenze nell'analisi dei dibattiti contemporanei sull'argomento.
Autonomia di giudizio (making judgements)
A fine corso gli studenti dovranno dimostrare autonomia di giudizio a proposito dei principali temi affrontati dal corso. A tal fine sarà dato spazio alla discussione in classe. Nell'accertamento dell'apprendimento avrà rilievo anche la capacità di rielaborazione personale delle conoscenze.
Abilità comunicative (communication skills)
A fine corso gli studenti dovranno essere in grado di esporre e discutere i problemi studiati con precisione concettuale e linguistica, e di delineare quadri generali che illustrino efficacemente e sinteticamente le problematiche affrontate. A questo fine  saranno importanti tra l'altro, oltre alle interazioni durante le lezioni, un'attenta lettura e un'analisi puntuale dei testi di riferimento.
Capacità di apprendimento (learning skills)
A fine corso gli studenti dovranno aver conseguito una certa familiarità con l'argomento e col metodo della ricerca nel settore in modo da poter  acquisire autonomamente nuove conoscenze consultando i principali strumenti bibliografici in questo settore e in settori affini. 

Il materiale didattico predisposto dalla/dal docente in aggiunta ai testi consigliati (come ad esempio diapositive, dispense, esercizi, bibliografia) e le comunicazioni della/del docente specifiche per l'insegnamento sono reperibili all'interno della piattaforma Moodle › blended.uniurb.it

Training Camp (info: Anya Pellegrin): https://filosofia.uniurb.it/training-camp/

Seminari: Lectiones Commandinianae: https://sites.google.com/site/lectionescommandinianae/

Seminari Synergia: https://sites.google.com/a/uniurb.it/synergia

Modalità didattiche

Lezioni frontali ed esercitazioni.

Obblighi

Si raccomanda di frequentare le lezioni dall'inizio, attivamente e regolarmente. Data la natura critico-analitica dei problemi affrontati, sarà molto importante una partecipazione attiva alla discussione in aula. 

Per gli studenti del curriculum Filosofia e Storia delle Scienze, il presente corso è da considerarsi modulare assieme al corso di Informatica. In tal senso, la valutazione per l'intero corso (modulo 1 + modulo 2) si baserà sulla media aritmetica dei voti ricevuti nei singoli moduli. Inoltre, come elemento comune ai due moduli, agli studenti sarà richiesta la preparazione di un saggio scritto tra le 2.000 e le 4.000 parole da consegnare almeno 7 giorni prima la data dell'esame del primo modulo sostenuto. L'argomento andrà concordato assieme ai due docenti e la valutazione di esso costituirà parte integrante del voto finale dell'esame completo.
 

Testi di studio

Dario Palladino "Corso di Logica", Carocci editore, 2021 [Capitoli 1-9].

Altri testi e video dati dal professore (resi disponibili nella piattaforma Moodle › blended.uniurb.it ).

Modalità di
accertamento

Esame scritto e orale. Durante il colloquio orale sarà chiesto di analizzare concetti, risolvere esercizi e dimostrare teoremi.
Questa doppia modalità consente di accertare nel modo migliore il raggiungimento degli obiettivi formativi prefissati e l’acquisizione delle competenze. Il voto finale verrà determinato tenendo conto non solo delle conoscenze acquisite da parte dello studente (analisi di concetti, definizioni, teoremi, problemi, teorie, tecniche, metodi, strumenti scientifici ecc.), ma anche della sua capacità di utilizzare gli strumenti concettuali per risolvere problemi e  analizzare i teoremi dismostrati. Anche l’attiva partecipazione in classe contribuirà alla valutazione finale. Saranno infine privilegiate e valutate maggiormente la capacità di analisi rigorosa di temi e problemi, l'autonomia nella soluzione dei problemi e dimostrazione dei teoremi, la  rielaborazione personale e autonoma delle conoscenze, la progettualità.

I criteri e i parametri di valutazione, calibrati in relazione a risultati di apprendimento attesi e misurabili (padronanza di conoscenze, capacità di applicazione delle conoscenze, di elaborazione di idee, di spiegazione, di argomentazione, di soluzione di problemi, di dimostrazione di teoremi ecc.), saranno stabiliti ed espressi secondo una scala di giudizi articolata in quattro livelli (insufficiente, sufficiente, buono, ottimo). In sintesi, nella valutazione del colloquio si presterà particolare attenzione a:

·  padronanza dei contenuti del programma espressi attraverso risposte pertinenti, efficaci, approfondite, rigorose;
·  conoscenza precisa di tecniche, procedure, costrutti concettuali, correnti;
·  capacità di risolvere problemi e dimostrare teoremi;
·  livello di articolazione della risposta;
·  esercizio critico e capacità di problematizzare, autonomia di giudizio, progettualità;
·  adeguatezza e padronanza del linguaggio disciplinare utilizzato.

Il voto finale sarà in trentesimi. Un’esposizione chiara, semplice e adeguata di contenuti basilari, concetti e metodi disciplinari, oltre che un uso semplice della terminologia specifica, e la capacità di risolvere gli esercizi di base e di dimostrare i teoremi più semplici consentiranno allo studente di  ottenere una valutazione sufficiente e di superare l’esame (18/30). Gli altri livelli, sempre espressi in trentesimi, saranno calibrati su questa base.

Per gli studenti del curriculum Filosofia e Storia delle Scienze, il presente corso è da considerarsi modulare assieme al corso di Informatica. In tal senso, la valutazione per l'intero corso (modulo 1 + modulo 2) si baserà sulla media aritmetica dei voti ricevuti nei singoli moduli. Inoltre, come elemento comune ai due moduli, agli studenti sarà richiesta la preparazione di un saggio scritto tra le 2.000 e le 4.000 parole da consegnare almeno 7 giorni prima la data dell'esame del primo modulo sostenuto. L'argomento andrà concordato assieme ai due docenti e la valutazione di esso costituirà parte integrante del voto finale dell'esame completo.
 

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Modalità didattiche

Studio personale seguendo le direttive del Vademecum e avvalendosi per quanto possibile del tutoraggio offerto dal docente negli orari di ricevimento e per via telematica. 

Obblighi

Si richiede un'applicazione particolarmente attenta, onde ovviare alla mancata frequenza delle lezioni. Sono necessari una buona autonomia di apprendimento e basilari capacità di comprensione dei testi filosofici. Si consiglia, ove possibile, lo studio insieme ad altri studenti, frequentanti o no.

Per gli studenti del curriculum Filosofia e Storia delle Scienze, il presente corso è da considerarsi modulare assieme al corso di Informatica. In tal senso, la valutazione per l'intero corso (modulo 1 + modulo 2) si baserà sulla media aritmetica dei voti ricevuti nei singoli moduli. Inoltre, come elemento comune ai due moduli, agli studenti sarà richiesta la preparazione di un saggio scritto tra le 2.000 e le 4.000 parole da consegnare almeno 7 giorni prima la data dell'esame del primo modulo sostenuto. L'argomento andrà concordato assieme ai due docenti e la valutazione di esso costituirà parte integrante del voto finale dell'esame completo.
 

Testi di studio

Dario Palladino "Corso di Logica", Carocci editore, 2021 [Capitoli 1-9].

Altri testi e video dati dal professore (resi disponibili nella piattaforma Moodle › blended.uniurb.it ).

Gli studenti non frequentanti sono invitati a contattare il professore all'inizio del corso e comunque almeno tre mesi prima della data in cui si intende dare l'esame.

Modalità di
accertamento

Esame scritto e orale. Durante il colloquio orale sarà chiesto di analizzare concetti, risolvere esercizi e dimostrare teoremi.
Questa doppia modalità consente di accertare nel modo migliore il raggiungimento degli obiettivi formativi prefissati e l’acquisizione delle competenze. Il voto finale verrà determinato tenendo conto non solo delle conoscenze acquisite da parte dello studente (analisi di concetti, definizioni, teoremi, problemi, teorie, tecniche, metodi, strumenti scientifici ecc.), ma anche della sua capacità di utilizzare gli strumenti concettuali per risolvere problemi e  analizzare i teoremi dismostrati. Anche l’attiva partecipazione ai ricevimenti online e in presenza  contribuirà alla valutazione finale. Saranno infine privilegiate e valutate maggiormente la capacità di analisi rigorosa di temi e problemi, l'autonomia nella soluzione dei problemi e dimostrazione dei teoremi, la  rielaborazione personale e autonoma delle conoscenze, la progettualità.

I criteri e i parametri di valutazione, calibrati in relazione a risultati di apprendimento attesi e misurabili (padronanza di conoscenze, capacità di applicazione delle conoscenze, di elaborazione di idee, di spiegazione, di argomentazione, di soluzione di problemi, di dimostrazione di teoremi ecc.), saranno stabiliti ed espressi secondo una scala di giudizi articolata in quattro livelli (insufficiente, sufficiente, buono, ottimo). In sintesi, nella valutazione del colloquio si presterà particolare attenzione a:

·  padronanza dei contenuti del programma espressi attraverso risposte pertinenti, efficaci, approfondite, rigorose;
·  conoscenza precisa di tecniche, procedure, costrutti concettuali, correnti;
·  capacità di risolvere problemi e dimostrare teoremi;
·  livello di articolazione della risposta;
·  esercizio critico e capacità di problematizzare, autonomia di giudizio, progettualità;
·  adeguatezza e padronanza del linguaggio disciplinare utilizzato.

Il voto finale sarà in trentesimi. Un’esposizione chiara, semplice e adeguata di contenuti basilari, concetti e metodi disciplinari, oltre che un uso semplice della terminologia specifica, e la capacità di risolvere gli esercizi di base e di dimostrare i teoremi più semplici consentiranno allo studente di  ottenere una valutazione sufficiente e di superare l’esame (18/30). Gli altri livelli, sempre espressi in trentesimi, saranno calibrati su questa base.

Per gli studenti del curriculum Filosofia e Storia delle Scienze, il presente corso è da considerarsi modulare assieme al corso di Informatica. In tal senso, la valutazione per l'intero corso (modulo 1 + modulo 2) si baserà sulla media aritmetica dei voti ricevuti nei singoli moduli. Inoltre, come elemento comune ai due moduli, agli studenti sarà richiesta la preparazione di un saggio scritto tra le 2.000 e le 4.000 parole da consegnare almeno 7 giorni prima la data dell'esame del primo modulo sostenuto. L'argomento andrà concordato assieme ai due docenti e la valutazione di esso costituirà parte integrante del voto finale dell'esame completo.
 

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Per gli studenti del curriculum Filosofia e Storia delle Scienze, il presente corso è da considerarsi modulare assieme al corso di Informatica. In tal senso, la valutazione per l'intero corso (modulo 1 + modulo 2) si baserà sulla media aritmetica dei voti ricevuti nei singoli moduli. Inoltre, come elemento comune ai due moduli, agli studenti sarà richiesta la preparazione di un saggio scritto tra le 2.000 e le 4.000 parole da consegnare almeno 7 giorni prima la data dell'esame del primo modulo sostenuto. L'argomento andrà concordato assieme ai due docenti e la valutazione di esso costituirà parte integrante del voto finale dell'esame completo.