The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as proofs constructed from that set of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it.

Giordani, A., Logic of Implicit and Explicit Justifiers, in L. Fellin, L. F., A. Ledd, A. L., F. Paol, F. P., E. Rossanes, E. R. (ed.), New Directions in Logic and the Philosophy of Science, College Publications, London 2016: 119- 131 [http://hdl.handle.net/10807/81813]

Logic of Implicit and Explicit Justifiers

Giordani, Alessandro
2016

Abstract

The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as proofs constructed from that set of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it.
eng
New Directions in Logic and the Philosophy of Science
978-1-84890-160-5
College Publications
Giordani, A., Logic of Implicit and Explicit Justifiers, in L. Fellin, L. F., A. Ledd, A. L., F. Paol, F. P., E. Rossanes, E. R. (ed.), New Directions in Logic and the Philosophy of Science, College Publications, London 2016: 119- 131 [http://hdl.handle.net/10807/81813]
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: http://hdl.handle.net/10807/81813
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact