Research Interests Non-Classical Logics (Intermediate Logics, Modal Logics, Substructural Logics), Relational and Algebraic Semantics, Proof Theory, Combinatory Logic and Lambda-Calculus Curriculum vitaePublicationsTeaching (A.Y. 2011/12 -)SEE http://www.unifi.it/cercachi/ (► Cerca persona ► "cognome" = Minari)
Dottorato di ricerca in Filosofia, A.A. 2012-13Corso: "Alle origini della logica deontica: E. Mally e G. H. von Wright" MATERIALI [accesso ristretto]:Readme (txt) 1 (pdf), 2 (pdf), 3 (pdf), 4 (pdf), 5 (pdf), 6 (pdf), 7 (pdf), 8 (pdf), 9 (pdf), 10 (pdf), 11 (pdf), 12 (pdf).
Materiali per il Corso Logica 1 (LT), A.A. 2012-13 [scaricabili con username/password indicate a lezione]:- Programma d'esame completo: (pdf) NEW!! - Lucidi integrativi (Cantor) (pdf) - Dispense, lezioni 16-30 (pdf)
Materiali per il Corso Logica 2 (LM), A.A. 2012-13[scaricabili con username/password indicate a lezione]:
- Computabilità (concetti informali) (pdf)
- Ricorsività primitiva e mu-ricorsività (pdf)
- Teoremi limitativi (pdf)
- Macchine di Turing (pdf). Altri modelli (macchine a registri, HG-ricorsività) (pdf)
- BBJ Ch. 6-7 (pdf)
- Teorema della forma normale (pdf) [NEW !!] - Programma d'esame (pdf) [NEW !!]
Materiali per il Corso Logica 1 (LM), A.A. 2011-12[scaricabili con username/password indicate a lezione]
- Programma d'esame: (pdf)
- Appunti: (parte 1) (pdf) -- (parte 2) (zip) - Altro materiale:
- Seldin 2008 (pdf)
- Barendregt 1992 (pdf)
- Proofs and Types (cap. 1-3) (pdf)
- Curry-Howard Isomorphism (cap. 3-4) (pdf)
Materiali per il Corso Logica 2 (LT), A.A. 2011-12[scaricabili con username/password indicate a lezione]
- Appunti: (parte 1) (zip) -- (parte 2a) (zip) -- (parte 2b) (zip) -- (parte 3) (zip) -- (parte 4) (zip) -- (parte 5) (zip) -- (parte 6) (zip) -- (parte 7) (zip) -- (parte *) (pdf) --
(storia 1) (pdf) -- (storia 2) (pdf) -- Blackburn, van Benthem, HML, Ch. 1 (pdf) - Programma d'esame: (pdf)
TEACHING / COURSE MATERIALS (up to A.Y. 2010/11)
Anno accademico 2010-2011 UniFI (CdL Trienn. in Filosofia, L 5/ CdL Mag. in Logica, Filosofia e Storia della Scienza, LM-78bis) - Logica 1/LT: Introduzione alla logica (corso POM / 12 CFU / I semestre)
Materiali didattici [scaricabili con username/password indicate a lezione]
- Dispense, parte II (pdf)
- Lucidi integrativi (Cantor) (pdf)
Programma d'esame completo (pdf) - Logica 2/LM: Logica combinatoria e lambda-calcolo (6 CFU / I semestre, a+b)
Materiali didattici [accesso ristretto]: (Schoenfinkel) (Quine) (Hindley, Cardone) (Seldin)
Programma d'esame (pdf) - Seminario di Logica e Filosofia della Scienza (annuale)
UniPavia (Collegio Ghislieri) - Istituzioni di Logica - a (6 CFU / 30 ore / terzo trimestre)
Programma d'esame: (pdf) - Istituzioni di Logica - b (6 CFU / 30 ore / quarto trimestre)
Programma d'esame: (pdf)
Materiali didattici [scaricabili con username/password indicate a lezione]
- Dispense, parte II (pdf)
- Semantica di Kripke (pdf)
Anno accademico 2009-2010 UniFI (CdL Trienn. in Filosofia, L 5/ CdL Mag. in Logica, Filosofia e Storia della Scienza, LM-78bis) - Logica 2/LT - Temi di storia della logica dell'ottocento (6 CFU / prima parte II semestre)
Materiali didattici (accesso ristretto): (Boole_1) (Boole_2) (Boole_3) - Logica 1/LM - (i) Teoria della dimostrazione, (ii) logiche non classiche (MAG / 12 CFU / II semestre)
Materiali didattici (accesso ristretto): (uno) (due) (tre) (quattro) (cinque) (sei)
Programma d'esame: (pdf) - Seminario di Logica e Filosofia della Scienza (annuale)
UniPavia (Collegio Ghislieri) - Istituzioni di Logica - a (6 CFU / 30 ore / primo trimestre)
Programma d'esame: (pdf) - Istituzioni di Logica - b (6 CFU / 30 ore / secondo trimestre)
Programma d'esame: (pdf)
Anno accademico 2008-09 UniFI (CdL Trienn. in Filosofia, L 5/ CdL Mag. in Logica, Filosofia e Storia della Scienza, LM-78bis) - Logica 1/LT: Introduzione alla logica (corso POM / 12 CFU / I semestre)
Materiali [accesso ristretto]
- Dispense, parte 2/a (pdf)
- Dispense, parte 2/b (pdf)
- Programma d'esame parte prima (pdf)
- Programma d'esame parte seconda (pdf) - Logica 2/LM: Computabilità e logica (6 CFU / seconda parte I semestre)
- Seminario/LT (con A. Cantini): Il dibattito attuale sulla filosofia della matematica (6 CFU / seconda parte I semestre e II semestre)
UniPavia (Collegio Ghislieri) Istituzioni di Logica - a (6 CFU / 30 ore / terzo trimestre)Programma d'esame: (pdf) Istituzioni di Logica - b (6 CFU / 30 ore / quarto trimestre)Materiali [accesso ristretto]:
- Linguaggi elementari, semantica tarskiana, deduzione naturale (pdf)
- Teorema di adeguatezza, calcoli assiomatici (pdf)
- Logica modale e semantica di Kripke (pdf)
- Programma d'esame: (pdf)
Anno accademico 2007-08 UniFI (CdL Trienn. in Filosofia / CdL Spec. in Logica, Filosofia e Storia della Scienza) - Logica 1/LT: Introduzione alla logica (corso POM / 6 CFU / prima parte II semestre)
- Logica 2/LS: Logiche e semantiche non classiche (SP / 6 CFU / prima parte II semestre)
Materiali:
- Indicazioni bibliografiche (pdf)
- Programma d'esame (pdf) - Seminario/LT-LS (con A. Cantini): Temi avanzati di logica (6 CFU / annuale)
UniPavia (Collegio Ghislieri) - Istituzioni di Logica - a (6 CFU / 30 ore / primo trimestre)
Programma d'esame (pdf) - Istituzioni di Logica - b (6 CFU / 30 ore / secondo trimestre)
Scuola estiva di Logica AILA (Gargnano, Brescia) - Teoria della computabilità
Materiali: Lezioni 1-3 (pdf)
Anno accademico 2006-07 UniFI (CdL Trienn. in Filosofia / CdL Spec. in Logica, Filosofia e Storia della Scienza) Logica 1/LT: Introduzione alla logica. I concetti fondamentali (6 CFU) Logica 2/LT: strutture, verità, dimostrazioni (6 CFU) Logica 2/LS: Operazioni, tipi, insiemi (6 CFU) Seminario (con A. Cantini): Temi avanzati di Logica (TR-SP / 6 CFU)
UniFI (CdL specialistica in Teorie della comunicazione)
Anno accademico 2005-06 UniFI (CdL Trienn. in Filosofia / CdL Spec. in Logica, Filosofia e Storia della Scienza) - Logica 2/LT: Strutture, verità, dimostrazioni (6 CFU)
- Logica 1/LS: Introduzione alla teoria della dimostrazione (6 CFU)
- Seminario (con A. Cantini): Temi avanzati di Logica (TR-SP / 12 CFU)
UniFI (CdL specialistica in Teorie della comunicazione)
Anno accademico 2004-05 UniFI (CdL Trien. in Filosofia / CdL Spec. in Logica, Filosofia e Storia della Scienza) - Logica 3/LT: Logiche non classiche e semantica di Kripke (6 CFU)
- Logica 2/LS: Conoscenza e dinamica delle conoscenze: introduzione alle logiche epistemiche (6 CFU)
UniFI (CdL specialistica in Teorie della comunicazione)
Anno accademico 2003-04 UniFI (CdL Trienn. in Filosofia / CdL Spec. in Logica, Filosofia e Storia della Scienza) - Insegnamento di Logica: - Logica 1/TR: Introduzione ai concetti fondamentali della logica (6 CFU)
- Logica 2/TR: Verità e dimostrazione: semantica tarksiana e deduzione naturale (6 CFU)
- Seminario (con A. Cantini): Logica e informazione (TR-SP / 6 CFU)
- Insegnamento di Storia della Logica: Base/LT: Operazioni della mente, leggi del ragionamento, calcolo logico: l'opera di George Boole (6 CFU) Avanzato/LT: L'algebra della logica: De Morgan, Peirce e Schröder (6 CFU)
Anno accademico 2002-03 Università di Firenze (CdL Quadriennale in Filosofia) Logica 2: La meccanizzazione del pensiero. Dal progetto di Leibniz alle macchine di Turing (semestrale) Logica 3: I limiti dei formalismi: indefinibilità, indecidibilità, incompletezza (semestrale) Seminario (con A. Cantini): Logica e conoscenza (annuale)
|
