Ciclo di seminari
First modal logic: Kripke semantics and its challenges
Abstract dell'evento
This talk is an introduction to first-order modal logic with a focus on first-order extensions of propositional Kripke semantics. Incorporating quantifiers and modal operators introduces challenges in maintaining the axioms and rules of classical first-order and propositional modal logic while undergoing minimal alterations. Even a straightforward extension of propositional modal logic K to the first-order level validates certain versions of the Barcan formulas, leading to formulations with problematic readings.
Programma
Dominik Pichler will introduce first-order Kripke semantics with constant domains, demonstrating the validity of Barcan formulas in such semantics. Subsequently, he will explore how employing first-order Kripke semantics with varying domains can invalidate the Barcan formulas, albeit at the expense of sacrificing some classical first-order rules.
Relatori/Relatrici
Dominik Pichler (Theory and Logic Group, TU Wien)
Dettagli sull'evento
Data e luogo
Inizio: 09/07/2024
alle ore 11:00
Fine: 09/07/2024
alle ore 13:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Olivetti
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
