23-Set-2008   Stampa la pagina corrente   Stampa tutto   Mostra la posizione di questa pagina nella mappa

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

Pierluigi minari

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 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)

  • Logica (6 CFU)

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)

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

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)

 

Via Bolognese, 52
50139 Firenze (FI)

telefoni - fax
email - PEC

|sedi - mappe

Marsilius - Motore di ricerca dell'Ateneo Fiorentino - logo
 
- progetto e idea grafica CSIAF - contenuti e gestione a cura del Dipartimento - Responsabile Tecnico del sito