Abstract
In the light of Hawke’s and Özgün’s paper, I consider how and to what extent the sequent calculus and truthmaker semantics might be of help in formulating and solving problems within epistemic logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The difficulty is actually more general and can be stated independently of the assumption of Simplification (Fine, 2013).
- 2.
The reader should bear in mind that (a) all that really matters is when φ → ψ is true, not what makes it true or makes it false, and (b) the subclass P (or S◊) of possible states within their framework imposes no constraints (such as Exclusivity and Exhaustivity) on the evaluation of formulas.
- 3.
The logic for this notion of entailment is studied in Fine and Jago (2019).
References
Fine, K. (2013). A note on partial content. Analysis, 73(3), 413–419.
Fine, K., & Jago, M. (2019). Logic for exact entailment. The Review of Symbolic Logic, 12(3), 536–556.
Hintikka, J. (1962). Knowledge and belief: An introduction to the logic of the two notions. Cornell University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Fine, K. (2023). ‘An Epistemized Truthmaker Semantics for Epistemic Logic’: Response to Hawke’s and Özgün’s ‘Truthmaker Semantics for Epistemic Logic’. In: Faroldi, F.L.G., Van De Putte, F. (eds) Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Outstanding Contributions to Logic, vol 26. Springer, Cham. https://doi.org/10.1007/978-3-031-29415-0_16
Download citation
DOI: https://doi.org/10.1007/978-3-031-29415-0_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-29414-3
Online ISBN: 978-3-031-29415-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)