First among equals: co-hyperintensionality for structured propositions

DOI10.1007/s11229-020-02987-4zbMath1529.03056OpenAlexW3115962245MaRDI QIDQ6142500

Bjørn Jespersen

Publication date: 26 January 2024

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-020-02987-4

zbMATH Keywords

equivalence classco-hyperintensionalitystructured propositionact theorystructural isomorphism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Substitution inconsistencies in Transparent Intensional Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• If structured propositions are logical procedures then how are procedures individuated?
• Propositions as cognitive acts
• Structured propositions and trivial composition
• Logic in high definition -- trends in logical semantics
• Hyperintensional logics for everyone
• Procedural isomorphism, analytic information and  -conversion by value
• Introduction to generalized type systems
• Formal ontology and conceptual realism

This page was built for publication: First among equals: co-hyperintensionality for structured propositions