Open Access
Translator Disclaimer
Summer 1998 A Kripkean Approach to Unknowability and Truth
Leon Horsten
Notre Dame J. Formal Logic 39(3): 389-405 (Summer 1998). DOI: 10.1305/ndjfl/1039182253

Abstract

We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.

Citation

Download Citation

Leon Horsten. "A Kripkean Approach to Unknowability and Truth." Notre Dame J. Formal Logic 39 (3) 389 - 405, Summer 1998. https://doi.org/10.1305/ndjfl/1039182253

Information

Published: Summer 1998
First available in Project Euclid: 6 December 2002

zbMATH: 0981.03010
MathSciNet: MR1741545
Digital Object Identifier: 10.1305/ndjfl/1039182253

Subjects:
Primary: 03B42

Rights: Copyright © 1998 University of Notre Dame

JOURNAL ARTICLE
17 PAGES


SHARE
Vol.39 • No. 3 • Summer 1998
Back to Top