The Logic of Hyperlogic. Part A: Foundations

Review of Symbolic Logic:1-27 (forthcoming)
Download Edit this record How to cite View on PhilPapers
Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., "Intuitionistic logic is correct" or "The law of excluded middle holds") into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the connectives) and one for "universal" consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators.
PhilPapers/Archive ID
Upload history
Archival date: 2022-04-19
View other versions
Added to PP

211 (#35,765)

6 months
211 (#2,188)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?