Systems of explicit modal logic provide a powerful framework for characterizing modal concepts as arising from the existence of appropriate sources. In what follows, we will construct a system of quantified modal logic of justification, endowed with a specific predicate of existence, which can help us to model both situations where the distinction between actual and potential possession of a justification is crucial and situations where sources of knowldge are subjected to change. The paper is structured as follows. In section 2 the basic system of quantified modal justification logic we are interested in is introduced from an axiomatic point of view. In section 3 the system previously introduced is proved to be sound and complete with respect to a suitable possibile world semantics. Finally, the system is extended in order to incorporate a predicate of existence, to be intended as indicating acknowledged existence, and some observations are made on its usefulness.

Giordani, A., Quantified Modal Justification Logic with Existence Predicate, in Ciro De Florio And Alessandro Giordan, C. D. F. A. A. G. (ed.), From Arithmetic to Metaphysics, De Gruyter, Berlin 2018: 179- 193 [http://hdl.handle.net/10807/110254]

Quantified Modal Justification Logic with Existence Predicate

Giordani, Alessandro
2018

Abstract

Systems of explicit modal logic provide a powerful framework for characterizing modal concepts as arising from the existence of appropriate sources. In what follows, we will construct a system of quantified modal logic of justification, endowed with a specific predicate of existence, which can help us to model both situations where the distinction between actual and potential possession of a justification is crucial and situations where sources of knowldge are subjected to change. The paper is structured as follows. In section 2 the basic system of quantified modal justification logic we are interested in is introduced from an axiomatic point of view. In section 3 the system previously introduced is proved to be sound and complete with respect to a suitable possibile world semantics. Finally, the system is extended in order to incorporate a predicate of existence, to be intended as indicating acknowledged existence, and some observations are made on its usefulness.
2018
Inglese
From Arithmetic to Metaphysics
978-3-11-052882-4
De Gruyter
Giordani, A., Quantified Modal Justification Logic with Existence Predicate, in Ciro De Florio And Alessandro Giordan, C. D. F. A. A. G. (ed.), From Arithmetic to Metaphysics, De Gruyter, Berlin 2018: 179- 193 [http://hdl.handle.net/10807/110254]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/110254
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact