Ciclo di seminari
Logic, contradictions and fractional interpretations
Abstract dell'evento
Fractional semantics for a logic is a multi-valued interpretation whose values lie in the rational interval [0,1]. The interpretation stems from a refined proof-theoretic analysis of a logic using a sequent calculus enjoying the following three properties: termination of the proof search, invertibility of every rule and stability (proof-invariance). The methodology was originally introduced for classical logic, but later extended to encompass (non)-normal modal logics and substructural logics. In the present talk we offer an overview of the topic and we discuss recent developments. In particular, we show that fractional semantics can offer a basis to define a new consequence relation which tames the explosivity of contradictions in classical logic. Finally, we conclude the talk by sketching some open problems and further themes for future research.
Relatori/Relatrici
Matteo Tesi - TU Wien
Dettagli sull'evento
Data e luogo
Inizio: 11/04/2024
alle ore 16:00
Fine: 11/04/2024
alle ore 18:00
Palazzo Albani (Urbino, Via Viti, 10) Aula C1
Organizzato e promosso da:
Dipartimento di Scienze Pure e Applicate
Scuola di Scienze, Tecnologie e Filosofia dell'Informazione
LM-78 - Classe delle lauree magistrali in scienze filosofiche - Filosofia dell'informazione. Teoria e gestione della conoscenza
Gruppo di ricerca Synergia
Modalità di partecipazione
Altre informazioni utili
Ingresso libero. Per informazioni: pierluigi.graziani@uniurb.it
