Matteo Bizzarri

Profilo Accademico

Academic Profile

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.

Contatti

Contact

Matteo Bizzarri
Pisa
matteo.bizzarri@gmail.com

FormazioneEducation

Scuola Normale Superiore

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.

University of Pisa

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.

University of Pisa

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.

InsegnamentoTeaching

Teaching Assistant – "Istituzioni di Logica"

Prof. Luca Bellotti, Università di Pisa Prof. Luca Bellotti, University of Pisa 2023 – 2024

Tutor – "Istituzioni di Logica"

Prof. Luca Bellotti, Università di Pisa Prof. Luca Bellotti, University of Pisa 2021

Tutor – "Logica"

Prof. Enrico Moriconi, Università di Pisa Prof. Enrico Moriconi, University of Pisa 2020

PubblicazioniPapers

Syntactic Complexity of Music with Lambek Calculus

Tenor 2025, Beijing – PDF 2025

Belief Structures within Fractional Semantics: an overview

Logical Reasoning in Social Settings (Edizioni della Normale)PDF 2025

Wittgenstein, Probability and Supraclassical Logics

History and Philosophy of Logic 2025

Foundations of LLCM: Labelled Lambek Calculus for Music Analysis (j.w.w. Satoshi Tojo)

EvoMUSART 2025, Springer NaturePDF 2025

A Formal Proof-Theoretic Approach to Music Analysis using Labelled Lambek Calculus

SIGMUS 2024 (Vol.2024-MUS-141 No.4)PDF 2024

Framing beliefs into fractional semantics for classical logic

Current Topics in Logic and the Philosophy of Science (SILFS 2022)PDF 2024

Inside and outside the boundaries: probability in Wittgenstein's Tractatus

IWS 2024 – PDF 2024

Chord Progression Analysis by Labelled Lambek Calculus (j.w.w. Satoshi Tojo)

11th International Conference on New Music Concepts (ICNMC) – PDF 2024

A solution to the Lottery Paradox through Fractional Semantics

Fifth Pisa Colloquium in Logic, Language and Epistemology – PDF 2023

Music and logic: a connection between two worlds

CMMR conference, Springer LNCS – PDF 2023

Talks

Syntactic Complexity of Music with Lambek Calculus

GATM 2025 – Conservatorio di Salerno 3 October 2025

Foundations of LLCM: Labelled Lambek Calculus for Music Analysis (j.w.w. Satoshi Tojo)

EvoMusArt 2025 – Trieste University 24 April 2025

Extending Fractional Semantics: Full and Revisable Beliefs

A Kyoto-Taipei Workshop on Logic of Agent – Kyoto University 2 March 2025

How to dissolve the Lottery Paradox as a lump of sugar in water: Wittgenstein's probability and supraclassical logics

LLAL@GSIS (V) – Sendai, Tohoku University 24 February 2025

Framing Full Beliefs and Revisable Beliefs into Fractional Semantics for Classical Logic

LLAL@GSIS (III) – Sendai, Tohoku University 30 August 2024

A Formal Proof-Theoretic Approach to Music Analysis Using Labeled Lambek Calculus

SIGMUS August 2024 – Komazawa University, Tokyo 26 August 2024

Inside and outside the boundaries: probability in Wittgenstein's Tractatus

IWS 2024 – Kirchberg am Wechsel August 2024

Chord Progression Analysis by Labelled Lambek Calculus (with Satoshi Tojo)

ICNMC 2024 – Treviso March 2024

Music and Logic: a connection between two worlds

CMMR 2023 – Tokyo November 2023

Reconciling Belief Paradoxes: Fractional Semantics and the Solution to Classical Logic's Belief Paradoxes

Cape Lectures – University of Kyoto 9 November 2023

Wittgenstein, probability and supraclassical logic

SILFS triennial conference September 2023

A solution to the Lottery Paradox through Fractional Semantics

Scuola Normale Superiore's Logic Seminars May 2023

The logic of uncertainty

Gavagai group seminars April 2023

The Lockean Thesis and fractional semantics

LAIS Como Summer School September 2022

Framing beliefs into fractional semantics for classical logic

5th SILFS Postgraduate conference June 2022

Beliefs, probability and fractional semantics

Scuola Normale Superiore's Logic Seminars May 2022

Strumenti di Ricerca

Research Tools

Lambek Calculus

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 App
\(x \vee \lnot x\)

Fractional Semantics

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

Contattami

Get in touch

matteo.bizzarri@gmail.com  •  Pisa