HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)

DOI10.1007/S10992-018-9467-0MaRDI QIDQ2421517zbMATH OpenOpenAlexWikidataFDO

Authors Hannes Leitgeb

Publication date 17 June 2019

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-018-9467-0

zbMATH Keywords

semantic paradoxesintuitionistic logicparaconsistent logicclutterstruthmaker semanticshyperintensional

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• A revenge-immune solution to the semantic paradoxes
• Truth in a logic of formal inconsistency: how classical can it get?
• Paradox, truth and logic. I. Paradox and truth
• Hyper-contradictions, generalized truth values and logics of truth and falsehood
• scientific article; zbMATH DE number 5364050

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 549968 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 1748981 (Why is no real title available?)
• scientific article; zbMATH DE number 1786552 (Why is no real title available?)
• scientific article; zbMATH DE number 1932196 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 6302912 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3246287 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A logic for `because'
• A logic stronger than intuitionism
• A new conditional for naive truth theory
• A semantical study of constructible falsity
• Adding a conditional to Kripke's theory of truth
• An axiomatic version of positive semilattice relevance logic
• An introduction to non-classical logic. From if to is
• Angellic content
• Anti-intuitionism and paraconsistency
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Axioms for grounded truth
• Blocker size via matching minors
• Bottleneck extrema
• Clutters and matroids
• Conditionals in theories of truth
• Constructible falsity
• Constructible falsity and inexact predicates
• Counterfactuals.
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• FDE: a logic of clutters
• Five faces of minimality
• Four valued semantics and the Liar
• Four-valued semantics for relevant logics (and some of their rivals)
• Generalized ortho negation
• Grounding, dependence, and paradox
• Handbook of philosophical logic. Vol. 6
• Hintikka's independence-friendly logic meets Nelson's realizability
• Hyperintensional logic
• Hyperintensions
• Information, negation, and paraconsistency
• Inquisitive logic
• Integer Programming
• Intuitionistic logic with strong negation
• Intuitive semantics for first-degree entailments and `coupled trees'
• Lattices With Involution
• Logics and falsifications. A new perspective on constructivist semantics
• Naive truth and restricted quantification: saving truth a whole lot better
• Nonmonotonic reasoning, preferential models and cumulative logics
• Notes on the Rasiowa-Sikorski lemma
• Nothing but the truth
• On the Ramsey test without triviality
• On the logic of factual equivalence
• Outline of a Theory of Truth
• Paradox, truth and logic. I. Paradox and truth
• Partiality and its dual
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Relevant logic and the theory of information
• Residuated lattices. An algebraic glimpse at substructural logics
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Saving truth from paradox
• Semantic analysis of orthologic
• THE PURE LOGIC OF GROUND
• The Forbidden Minors of Binary Clutters
• The Semantics of First Degree Entailment
• The geometry of meaning. Semantics based on conceptual spaces
• The logic of information structures
• The logic of paradox
• Tolerant, classical, strict
• Toward useful type-free theories. I
• Truth and the liar in De Morgan-valued models
• Truth-maker semantics for intuitionistic logic
• What truth depends on

Cited in

(44)

• THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS
• Adequate conditionals and Kripke's theory of truth
• A more unified approach to free logics
• Routley star and hyperintensionality
• Modal logics with non-rigid propositional designators
• Hyperintensionality in relevant logics
• A semantics for hyperintensional belief revision based on information bases
• Conjunctive paraconsistency
• PROOF SYSTEMS FOR EXACT ENTAILMENT
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
• Towards a Logic of Value and Disagreement via Imprecise Measures
• Paraconsistent Gödel modal logic
• Some remarks on semantics and expressiveness of the sentential calculus with identity
• Sequent calculi for the propositional logic of HYPE
• A truthmaker-based epistemic logic
• Belief attitudes, fine-grained hyperintensionality and type-theoretic logic
• Relational patterns, partiality, and set lifting in modal semantics
• Logic talk
• The mereological basis of truthmaker semantics
• Another look at reflection
• A conceptual space for classical concepts
• Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking
• Developing the total knowledge account in truthmaker semantics: a bilateral approach
• Ground first: against the proof-theoretic definition of ground
• Knot much like tonk
• Is the HYPE about strength warranted?
• On Ivlev's semantics for modality
• Toward a generalization of the logic of grounding
• Explaining with reasons: from Aristotle to machine learning classifiers
• The logic of information in state spaces
• A modal loosely guarded fragment of second-order propositional modal logic
• Crisp bi-Gödel modal logic and its paraconsistent expansion
• Class theory in HYPE
• Routley star in information-based semantics
• A new semantic framework for the logic of worldly grounding (and beyond)
• On the notion of aboutness in logical semantics
• Truthmakers and relevance for FDE, LP, K3, and CL
• Hyperintensional logics for everyone
• A modal two-variable fragment of second-order propositional modal logic
• Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
• Logics of synonymy
• Qualitative reasoning in a two-layered framework
• Kamide is in America, Moisil and Leitgeb are in Australia
• A hyperintensional logic of non-prime evidence

This page was built for publication: HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2421517)