Sono un logico. Ho conseguito il dottorato di ricerca in Filosofia presso la Scuola Normale Superiore con una tesi intitolata "In Three Movements: Beliefs, Logic, Music" (relatore: prof. Mario Piazza, correlatore: prof. Satoshi Tojo). Mi occupo di logiche non classiche, probabilità, filosofia della credenza e delle connessioni tra logica e musica. Ho studiato Filosofia all'Università di Pisa, con una tesi magistrale sulla semantica frazionaria per la logica classica.
Collaboro con ricercatori internazionali, in particolare con il Prof. Satoshi Tojo (JAIST, Giappone) sul calcolo di Lambek applicato all'analisi musicale. Ho pubblicato su riviste internazionali e presentato i miei lavori in conferenze in Europa e Giappone. Ho svolto attività di insegnamento come Teaching Assistant e Tutor per i corsi di logica dell'Università di Pisa.
I am a logician. I earned my PhD in Philosophy from the Scuola Normale Superiore with a dissertation entitled "In Three Movements: Beliefs, Logic, Music" (supervisor: Prof. Mario Piazza, co-supervisor: Prof. Satoshi Tojo). My research focuses on non-classical logic, probability, the philosophy of belief, and the connections between logic and music. I studied Philosophy at the University of Pisa, with a Master's thesis on fractional semantics for classical logic.
I collaborate with international researchers, particularly with Prof. Satoshi Tojo (JAIST, Japan) on Lambek calculus applied to music analysis. I have published in international journals and presented my work at conferences across Europe and Japan. I have also served as Teaching Assistant and Tutor for logic courses at the University of Pisa.
Matteo Bizzarri
Pisa
matteo.bizzarri@gmail.com
Dottorato di ricerca in Filosofia PhD in Philosophy • 2022 – 2026
Tesi: "In Three Movements: Beliefs, Logic, Music". Relatore: prof. Mario Piazza, correlatore: prof. Satoshi Tojo. Titolo conseguito il 14 febbraio 2026.
Thesis: "In Three Movements: Beliefs, Logic, Music". Supervisor: Prof. Mario Piazza, co-supervisor: Prof. Satoshi Tojo. Degree awarded February 14, 2026.
Laurea Magistrale in Filosofia e Forme del Sapere Master's Degree in Philosophy • 2019 – 2021
Tesi: "Framing beliefs into fractional semantics for classical logic". Relatore: prof. Enrico Moriconi, correlatore: prof. Gabriele Pulcini.
Thesis: "Framing beliefs into fractional semantics for classical logic". Supervisor: Prof. Enrico Moriconi, co-supervisor: Prof. Gabriele Pulcini.
Laurea Triennale in Filosofia Bachelor's Degree in Philosophy • 2016 – 2019
Tesi: "Il teorema di completezza: analisi di un risultato logico". Relatore: prof. Enrico Moriconi.
Thesis: "Completeness theorem: analysis of a logic result". Supervisor: Prof. Enrico Moriconi.
Prof. Luca Bellotti, Università di Pisa Prof. Luca Bellotti, University of Pisa • 2023 – 2024
Prof. Luca Bellotti, Università di Pisa Prof. Luca Bellotti, University of Pisa • 2021
Prof. Enrico Moriconi, Università di Pisa Prof. Enrico Moriconi, University of Pisa • 2020
Tenor 2025, Beijing – PDF • 2025
Logical Reasoning in Social Settings (Edizioni della Normale) – PDF • 2025
EvoMUSART 2025, Springer Nature – PDF • 2025
SIGMUS 2024 (Vol.2024-MUS-141 No.4) – PDF • 2024
Current Topics in Logic and the Philosophy of Science (SILFS 2022) – PDF • 2024
IWS 2024 – PDF • 2024
11th International Conference on New Music Concepts (ICNMC) – PDF • 2024
Fifth Pisa Colloquium in Logic, Language and Epistemology – PDF • 2023
CMMR conference, Springer LNCS – PDF • 2023
GATM 2025 – Conservatorio di Salerno • 3 October 2025
EvoMusArt 2025 – Trieste University • 24 April 2025
A Kyoto-Taipei Workshop on Logic of Agent – Kyoto University • 2 March 2025
LLAL@GSIS (V) – Sendai, Tohoku University • 24 February 2025
LLAL@GSIS (III) – Sendai, Tohoku University • 30 August 2024
SIGMUS August 2024 – Komazawa University, Tokyo • 26 August 2024
IWS 2024 – Kirchberg am Wechsel • August 2024
ICNMC 2024 – Treviso • March 2024
CMMR 2023 – Tokyo • November 2023
Cape Lectures – University of Kyoto • 9 November 2023
SILFS triennial conference • September 2023
Scuola Normale Superiore's Logic Seminars • May 2023
Gavagai group seminars • April 2023
LAIS Como Summer School • September 2022
5th SILFS Postgraduate conference • June 2022
Scuola Normale Superiore's Logic Seminars • May 2022
Analizzatore di progressioni armoniche basato sul Labelled Lambek Calculus: inserisci una sequenza di accordi e il sistema ne deriva la struttura sintattica.
Chord progression analyser based on Labelled Lambek Calculus: input a chord sequence and the system derives its syntactic structure.
Apri App Open AppProof-theoretic prover per la Fractional Semantics: verifica la validità di formule logiche all'interno del framework della semantica frazionaria.
Proof-theoretic prover for Fractional Semantics: check the validity of logical formulas within the fractional semantics framework.
Apri App Open App