If structured propositions are logical procedures then how are procedures individuated?

DOI10.1007/s11229-017-1595-5zbMath1474.03015OpenAlexW2766580746MaRDI QIDQ2052189

Marie Duží

Publication date: 25 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/14025/1/SYNT-D-17-00173.pdf

zbMATH Keywords

procedural semanticstransparent intensional logicsynonymyco-hyperintensionalitymereology of structured proceduresprocedural isomorphismstructured propositionsunity of propositions

Mathematics Subject Classification ID

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

Related Items (4)

On the fundamental role of `means that' in semantic theorizing ⋮ First among equals: co-hyperintensionality for structured propositions ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ Substitution inconsistencies in Transparent Intensional Logic

Cites Work

• Transparent quantification into hyperintensional objectual attitudes
• The paradox of inference and the non-triviality of analytic information
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Logic, meaning and computation. Essays in memory of Alonzo Church
• Extensional Logic of Hyperintensions
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• The Impact of the Lambda Calculus in Logic and Computer Science
• Procedural isomorphism, analytic information and  -conversion by value
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: If structured propositions are logical procedures then how are procedures individuated?