Abstract: We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. © 2020, Springer Nature B.V.

Cite: Odintsov S. , Wansing H.
Routley Star and Hyperintensionality
Journal of Philosophical Logic. 2021. V.50. N1. P.33-56. DOI: 10.1007/s10992-020-09558-5 WOS Scopus OpenAlex

Identifiers:

Web of science:	WOS:000553919900001
Scopus:	2-s2.0-85085614453
OpenAlex:	W3031086101

Citing:

DB	Citing
Scopus	19
OpenAlex	22
Web of science	18

Altmetrics: