Mario Piazza (logico)
Mario Piazza (Roma, 31 luglio 1969) è un logico e filosofo italiano, professore ordinario di logica e filosofia della matematica presso la Scuola Normale Superiore di Pisa[1] e Socio corrispondente dell'Accademia Nazionale dei Lincei[2].
Biografia
Laureatosi in filosofia alla Sapienza di Roma (1990), ha conseguito la licentia in epistemologia e metafisica presso la Pontificia Università Gregoriana (1991) e il dottorato in filosofia della scienza presso l'Università di Genova (1995). È stato borsista postdoc al dipartimento di matematica dell'Università di Varsavia (1995-96), all'istituto di linguistica dell'Università di Utrecht (1997-98) e al dipartimento di informatica dell'École normale supérieure (1999-2000)[3].
È stato professore ordinario di logica e filosofia della scienza presso l'Università di Chieti-Pescara e ha svolto attività di ricerca e di insegnamento presso università europee, americane e asiatiche.
Dal 1º marzo 2018 è professore ordinario di logica e filosofia della matematica presso la Scuola Normale Superiore di Pisa[1], ove ha ricoperto dal 1º novembre 2019 al 31 ottobre 2022 la carica di vicedirettore[4][5], succedendo ad Andrea Giardina. Attualmente è coordinatore del corso di perfezionamento (Ph.D.) in filosofia[6]. Dal 2023 è Socio corrispondente dell'Accademia Nazionale dei Lincei, nella Classe di Scienze Morali, Storiche e Filologiche[7].
Attività di ricerca
I suoi ambiti di ricerca riguardano principalmente la logica (teoria della dimostrazione, teoria della calcolabilità), la filosofia della matematica, l'epistemologia e la filosofia antica (specialmente Platone).
Nell'ambito della logica, negli anni '90 ha risolto la questione del potere espressivo delle regole strutturali nel calcolo dei sequenti di diverse logiche (quando sono eliminate da un calcolo alcune o tutte le sue regole strutturali, esistono tuttavia formule del calcolo per cui quelle regole restano ammissibili?)[8][9][10], e ha studiato nuove applicazioni della logica lineare intuizionista alla linguistica[11]. Si è poi occupato del problema di immergere la logica classica e le logiche non classiche (come la logica non-monotona e la logica paraconsistente) all'interno di un framework sintattico unitario, concettualmente uniforme, attraverso la nozione di sensibilità al contesto[12][13][14][15]. Risultati recenti riguardano le estensioni assiomatiche della logica classica proposizionale[16] e una nuova semantica per la logica classica e la logica modale, chiamata "frazionale", per cui i valori di verità sono elementi dell'insieme dei numeri razionali nell'intervallo chiuso [0,1][17]. Si è inoltre occupato di un differente approccio alle macchine astratte e alla teoria della riduzione ottimale del lambda calcolo mediante la nozione di streams[18] e ha trattato da un punto di vista logico e filosofico la questione dell'asimmetria informativa (o paradosso dell'informazione di Arrow)[19][20].
Nell'ambito della filosofia della matematica, nel 2000 ha pubblicato il libro Intorno ai numeri. Oggetti, proprietà, finzioni utili, che, attraverso l'analisi del concetto di numero naturale nel pensiero filosofico a partire da Frege[21], tratta la questione della conoscenza matematica (e degli oggetti astratti in generale) e quello dell'efficacia della matematica nella realtà fisica[22]. In anni più recenti, ha affrontato il rapporto tra la teoria deflazionista della verità e l'incompletezza[23][24] e la tesi dell'implicit commitment per cui accettare un sistema formale matematico comporta impegnarsi implicitamente su ulteriori risorse non immediatamente disponibili nel sistema[25]. Con Gabriele Pulcini ha curato nel 2018 l'opera Truth, Existence and Explanation.[26]
Nell'ambito della filosofia antica, ha proposto in particolare una nuova soluzione del paradosso dei dadi nel Teeteto platonico[27].
Note
- ^ a b sns.it, https://www.sns.it/it/persona/mario-piazza.
- ^ lincei.it, https://www.lincei.it/it/content/piazza-mario.
- ^ Mario Piazza, su sites.google.com. URL consultato il 14 ottobre 2020.
- ^ normalenews.sns.it, https://normalenews.sns.it/mario-piazza-nominato-vice-direttore-della-normale.
- ^ pisatoday.it, https://www.pisatoday.it/cronaca/mario-piazza-vicedirettore-normale-pisa.html.
- ^ https://www.sns.it/it/disciplinacorso-di-laurea/corso-phd/filosofia
- ^ lincei.it, https://www.lincei.it/it/news/nuovi-soci-2023.
- ^ M. Piazza e M. Castellan, Quantales and Structural Rules, in Journal of Logic and Computation, vol. 6, Oxford University Press, 1996, pp. 709-724.
- ^ M. Castellan e M. Piazza, Saturated Formulas in Full Linear Logic, in Journal of Logic and Computation, vol. 8, Oxford University Press, 1998, pp. 665-668.
- ^ M. Piazza, Exchange Rules, in Journal of Symbolic Logic, vol. 66, Cambridge University Press, 2001, pp. 509-516.
- ^ R. Moot e M. Piazza, Linguistic Applications of First Order Intuitionistic Linear Logic, in Journal of Logic, Language and Information, vol. 10, Springer, 2001, pp. 211-232.
- ^ G. Boniolo, M. D’Agostino, M. Piazza e G. Pulcini, A logic of non-monotonic interactions, in Journal of Applied Logic,, vol. 11, Elsevier, 2013, pp. 52-62.
- ^ M. D’Agostino, M. Piazza e G. Pulcini, A logical calculus for controlled monotonicity, in Journal of Applied Logic, vol. 14, Elsevier, 2014, pp. 558-569.
- ^ G. Boniolo, M. D’Agostino, M. Piazza e G. Pulcini, Adding Logic to the Toolbox of Molecular Biology, in European Journal for Philosophy of Science, vol. 3, Springer, 2015, pp. 399-417.
- ^ M. Piazza e G. Pulcini, Unifying logics via context-sensitiveness, in Journal of Logic and Computation, vol. 27, Oxford University Press, 2017, pp. 21-40.
- ^ M. Piazza e G. Pulcini, Uniqueness of axiomatic extensions of cut-free classical propositional logic, in The Logic Journal of IGPL, vol. 24, Oxford University Press, 2016, pp. 708-718.
- ^ M. Piazza e G. Pulcini, Fractional Semantics for Classical Logic, in The Review of Symbolic Logic, Cambridge University Press, 2019, pp. 21-40.
- ^ A.C. Lai, M. Pedicini e M. Piazza, Abstract machines, optimal reduction, and streams, in Mathematical Structures in Computer Science, Cambridge University Press, 2019, pp. 1-19.
- ^ iacap.org, http://www.iacap.org/conferences/iacap-2016/keynote-address-mario-piazza/.
- ^ M. Piazza e M. Pedicini, What Arrow's information paradox says (to philosophers), in V. d’Alfonso e D. Berkich (a cura di), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence, Springer, 2019, pp. 83-94.
- ^ treccani.it, https://www.treccani.it/enciclopedia/la-logica-e-i-fondamenti-della-matematica-tra-ottocento-e-novecento_%28Il-Contributo-italiano-alla-storia-del-Pensiero:-Scienze%29/.
- ^ M. Piazza, Intorno ai numeri. Oggetti, proprietà, finzioni utili, Bruno Mondadori, 2000.
- ^ M. Piazza e G. Pulcini, A Deflationary Account of the Truth of the Gödel Sentence G?, in G. Lolli et alii (a cura di), From Logic to Practice, Boston Studies in the Philosophy and History of Science, Springer, 2016, pp. 245-263.
- ^ M. Piazza e G. Pulcini, What is so special about the Gödel sentence G?, in F. Boccuni e A. Sereni (a cura di), Philosophy of Mathematics: Objectivity, Cognition and Proof, Boston Studies in the Philosophy and History of Science, Springer, 2016, pp. 245-263.
- ^ C. Nicolai e M. Piazza, The implicit commitment of arithmetical theories and its semantic core, in Erkentniss, vol. 84, Springer, 2019 pages 913–937.
- ^ M. Piazza e G. Pulcini (a cura di), Truth, Existence and Explanation. FilMat 2016 Studies in the Philosophy of Mathematics, Boston Studies in the Philosophy and History of Science, Springer, 2018.
- ^ M. Piazza, Plato and the dice. A reassessment of Theaetetus 154a-155d, in The Cambridge Classical Journal, vol. 58, Cambridge University Press, 2013, pp. 231-256.
Collegamenti esterni
|
|