First among equals: co-hyperintensionality for structured propositions

DOI10.1007/S11229-020-02987-4MaRDI QIDQ6142500zbMATH OpenOpenAlexFDO

Authors Bjørn Jespersen

Publication date 26 January 2024

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

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

Cites work

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

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)