Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-26T20:35:31.110Z Has data issue: false hasContentIssue false
  • English
  • Français

A LOGIC OF JUSTIFICATION AND TRUTHMAKING

Published online by Cambridge University Press:  18 March 2013

ALESSANDRO GIORDANI
ALESSANDRO GIORDANI*
Affiliation:
Department of Philosophy, Catholic University of Milan
*
*DEPARTMENT OF PHILOSOPHY, CATHOLIC UNIVERSITY OF MILAN, MILANO 20123, ITALY, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then applied both for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition.

Type
Research Article
Information
The Review of Symbolic Logic , Volume 6 , Issue 2 , June 2013 , pp. 323 - 342
Copyright
Copyright © Association for Symbolic Logic 2013 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Armstrong, D. M. (2004). Truth and Truthmakers. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
Artemov, S. (1995). Operational modal logic. Technical Report MSI 95-29, Cornell University.Google Scholar
Artemov, S. (2001). Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7, 1–36.CrossRefGoogle Scholar
Artemov, S. (2008). The logic of justification. Review of Symbolic Logic, 1, 477–513.CrossRefGoogle Scholar
Artemov, S., & Nogina, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15, 1059–1073.CrossRefGoogle Scholar
Fagin, R., Halpern, J., Moses, Y., Vardi, M. (1995). Reasoning About Knowledge. Cambridge: MIT Press.Google Scholar
Fitting, M. (2005). The logic of proofs, semantically. Annals of Pure and Applied Logic, 132, 1–25.CrossRefGoogle Scholar
Gettier, E. (1963). Is justified true belief knowledge? Analysis, 23, 121–123.Google Scholar
Huemer, M., (ed.) (2002). Epistemology. Contemporary Reading. London: Routledge.Google Scholar
Lycan, W. G. (2006). On the Gettier Problem problem. In Hetherington, S., editor. Epistemology Futures. Oxford: Oxford University Press.Google Scholar
Meyer, J. J. & van der Hoek, W. (1995). Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press.Google Scholar
Pacuit, E. (2006). A note on some explicit modal logics. Technical Report PP-2006-29, Amsterdam: ILLC Publications.Google Scholar
Read, S. (2000). Truthmakers and the disjunction thesis. Mind, 109, 67–79.Google Scholar
Restall, G. (1996). Truthmakers, entailment, and necessity. Australasian Journal of Philosophy, 74, 331–340.Google Scholar
Russell, B. (1912). The Problems of Philosophy. London: Williams and Norgate.Google Scholar