Pierluigi Minari

minari@unifi.it

Professore ordinario
di Logica 
Full Professor of Logic

Direttore del Dipartimento 
Department Head

Department of Philosophy
Via Bolognese, 52
I-50139 Firenze
0039-055-275-6023

Curriculum vitae

http://www.unifi.it/cercachi/ (► Cerca persona ► "cognome" = Minari)

Research Interests

Non-Classical Logics (Intermediate Logics, Modal Logics, Substructural Logics), Relational and Algebraic Semantics, Proof Theory, Combinatory Logic and Lambda-Calculus

Some Recent Papers

• A note on Lukasiewicz’s three-valued logic, Annali del Dipartimento di Filosofia dell’Università di Firenze, Nuova serie, Florence University Press 2003, pp. 163-189
• Analytic combinatory calculi and the elimination of transitivity, Archive for Mathematical Logic 43 (2), 2004, pp. 159-191
• Proof-theoretical methods in combinatory logic and lambda-calculus, CIE 2005: New Computational Paradigms (Eds.: B. Loewe et al.), Amsterdam 2005, pp. 148-157
• Analytic proof systems for lambda-calculus: the elimination of transitivity and why it matters, Archive for Mathematical Logic 46 (5-6), 2007, pp. 385-424
• A solution to Curry and Hindley's problem on combinatory strong reduction, Archive for Mathematical Logic 48 (2), 2009, pp. 159-184
  [online first (.pdf). The original publication is available at http://www.springerlink.com/, DOI 10.1007/s00153-008-0109-z]
• (with A. Cantini)  Introduzione alla Logica. Linguaggio, significato, argomentazione, Mondadori Education, 2009, pp. xiv+278

Some Recent Talks

• Common knowledge and infinitary modal logic. 2nd IF Colloquium on Logic and Philosophy of Science. California University at Irvine, March 23-24, 2007
• Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters. "Mathematics and truth: A meeting in honour of Ettore Casari". Pisa, March 28, 2007
• Equational proof-systems admitting transitivity elimination. XXIII Incontro  AILA di Logica Matematica. Genova, February 20-23, 2008
• A solution to Curry and Hindley's problem on combinatory strong reduction. Workshop on "Recent trends in Proof-Theory". Bern, July 9-11, 2008
• How to avoid a certain "metabasis eis allo genos". 3rd IF Colloquium on Logic and Philosophy of Science. Firenze, September 18-19, 2008
• Sistemi di prova analitici per la logica combinatoria e il lambda-calcolo: un (breve) survey. Incontro di Logica in onore di Annalisa Marcja. Firenze, maggio 2010

TEACHING / COURSE MATERIALS 

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)

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)

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)

• Logica (6 CFU)

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)

• Logica (6 CFU)

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)

• Logica (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)