First among equals: co-hyperintensionality for structured propositions

DOI10.1007/S11229-020-02987-4zbMATH Open1529.03056OpenAlexW3115962245MaRDI QIDQ6142500FDOQ6142500

Authors: 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

Recommendations

• If structured propositions are logical procedures then how are procedures individuated?
• Hyperintensional propositions
• A general argument against structured propositions
• Hyperintensional semantics: a Fregean approach
• Anatomy of a proposition

zbMATH Keywords

equivalence classco-hyperintensionalitystructured propositionact theorystructural isomorphism

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Substitution inconsistencies in transparent intensional logic

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

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