Ciclo di seminari
Sequent Calculi for First-Order Strict-Tolerant Logic
Abstract dell'evento
Strict-Tolerant Logic (ST) underpins naïve theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) without jettisoning any classically valid laws. The classical sequent calculus without Cut is sometimes advocated as an appropriate proof-theoretic presentation of ST. Unfortunately, there is only a partial correspondence between its derivability relation and the relation of local metainferential ST-validity – these relations coincide only upon the addition of elimination rules and only within the propositional fragment of the calculus, due to the non-invertibility of the quantifier rules. In this talk, we present two calculi for first-order ST with an eye to recapturing this correspondence in full. The first calculus is close in spirit to the Epsilon calculus. The other calculus includes rules for the discharge of sequent-assumptions; moreover, it is normalisable and admits interpolation.
Programma
Francesco Paoli (Università di Cagliari)
"Sequent Calculi for First-Order Strict-Tolerant Logic"
Relatori/Relatrici
Francesco Paoli (Università di Cagliari)
Dettagli sull'evento
Data e luogo
Inizio: 21/03/2024
alle ore 16:00
Fine: 21/03/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
Modalità di partecipazione
Altre informazioni utili
Ingresso libero.
Per informazioni: pierluigi.graziani@uniurb.it
