Ciclo di seminari
Contingencies, Hypersequents, and Paraconsistency
Abstract dell'evento
Contingencies are all those propositional wff that remain once all tautologies and contradictions have been removed. This set of formulas is particularly interesting, because it actually gathers all those statements that can bear a specific empirical content. In this talk, we’ll show how to characterize this set of formulas by means of a methodologically pure proof-system, i.e., a system in whose derivations only contingent syntactical expressions can occur. This result is obtained by adopting a hypersequent variant of Kleene’s sequent system G4. The system will be shown to nicely enjoy cut-elimination and, therefore, the sub-formula property. In the light of the proposed results, we will develop some philosophical and methodological reflections on the logical nature of classical contingency. Our considerations will primarily rely on the notion of non-adjunctive paraconsistency.
Programma
Gabriele Pulcini
(Università di Roma “Tor Vergata")
Relatori/Relatrici
Gabriele Pulcini
Dettagli sull'evento
Data e luogo
Inizio: 23/05/2024
alle ore 16:00
Fine: 23/05/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
