Journal of Philosophical Logic 50 (1):33-56 (2021)

Authors
Heinrich Wansing
Ruhr-Universität Bochum
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-020-09558-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,703
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Theory of Inconsistent Formal Systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.

View all 21 references / Add more references

Citations of this work BETA

The Logic of Information in State Spaces.Levin Hornischer - forthcoming - Review of Symbolic Logic:1-32.

Add more citations

Similar books and articles

A Star-Free Semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.
HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Reflections on Routley's Ultralogic Program.Daniel Nolan - 2018 - Australasian Journal of Logic 15 (2):407-430.
A Relevant Logic of Questions.Vít Punčochář - 2020 - Journal of Philosophical Logic 49 (5):905-939.
An Incomplete Relevant Modal Logic.Lou Goble - 2000 - Journal of Philosophical Logic 29 (1):103-119.
Omnibus Review. [REVIEW]F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
[Omnibus Review].F. G. Asenjo - 1991 - Journal of Symbolic Logic 56 (4):1503-1504.
Negation as Cancellation, Connexive Logic, and qLPm.Heinrich Wansing - 2018 - Australasian Journal of Logic 15 (2):476-488.
A Routley-Meyer Semantics for Łukasiewicz 3-Valued Logic.Gemma Robles - 2018 - Proceedings of the XXIII World Congress of Philosophy 19:29-34.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.

Analytics

Added to PP index
2020-05-27

Total views
38 ( #289,029 of 2,462,498 )

Recent downloads (6 months)
8 ( #88,461 of 2,462,498 )

How can I increase my downloads?

Downloads

My notes