Salta gli elementi di navigazione
banner
logo ridotto
logo-salomone
DILEF Dipartimento di Lettere e Filosofia

News

home page > News > Logica e Filosofia della Scienza
Stampa la notizia: Logica e Filosofia della Scienza

Logica e Filosofia della Scienza

Seminario di venerdì 24 maggio

Seminario di Logica e Filosofia della Scienza

Sezione di Filosofia 

 

venerdì 24 maggio 2019, ore 11:00
DILEF-via della Pergola 60, Firenze
Sala Altana


Cosimo Perini Brogi
(Università di Genova)


Categorical Semantics for Intuitionistic Belief

Abstract:
In 2014, Artemov and Protopopescu proposed an analysis of constructive epistemic reasoning based on the BHK semantics which lead to two axiomatic calculi involving co-reflection (A --> Box A) and "factivity of knowledge" (Box A --> neg(neg A)). In this framework then Krupski and Yatmanov provided an appropriate sequent calculus for the logic of intuitionistic knowledge (IEL). In this talk, I will introduce a natural deduction calculus for the logic of intuitionistic belief (IEL^{-}), and, by considering an "extended" Curry-Howard correspondence for that system, I will propose a semantics for IEL^{-}-derivations based on bicartesian closed categories equipped with pointed endofunctors. Some remarks about similar results for intuitionistic knowledge are proposed and some open problems are also discussed.


 

calendario completo

 

 

20 Maggio 2019
Unifi Home Page

Inizio pagina