Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic

DOI10.1007/978-90-481-8812-3zbMath1207.03009MaRDI QIDQ967450

Bjørn Jespersen, Marie Duží, Pavel Materna

Publication date: 29 April 2010

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-90-481-8812-3

zbMATH Keywords

formal semantics; philosophy of language; philosophy of mathematics; procedural semantics; transparent intensional logic; hyperintensional logic; logic of natural language; Pavel Tichý

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03B60: Other nonclassical logic

03A05: Philosophical and critical aspects of logic and foundations

03B65: Logic of natural languages

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B40: Combinatory logic and lambda calculus

Related Items

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach, Unnamed Item, The Concept of Linguistic Variable Revisited, Inconsistency in Ceteris Paribus Imagination, How to Unify Russellian and Strawsonian Definite Descriptions, Explicating the Notion of Truth Within Transparent Intensional Logic, Substitution inconsistencies in Transparent Intensional Logic, Between Imagination and Gambling. The Forms of Validity in Scholastic Logic, First among equals: co-hyperintensionality for structured propositions, Type polymorphism, natural language semantics, and TIL, Semantic theories, linguistic essences, and knowledge of meaning, Predicativity, the Russell-Myhill paradox, and Church's intensional logic, Agnostic hyperintensional semantics, Type-theoretic logic with an operational account of intensionality, Constructive belief reports, Transparent quantification into hyperintensional objectual attitudes, The paradox of inference and the non-triviality of analytic information, Iterated privation and positive predication, Impossible worlds and the logic of imagination, On the number of types, Evaluative linguistic expressions vs. fuzzy categories, What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics, Introduction: primitivism versus reductionism about the problem of the unity of the proposition, If structured propositions are logical procedures then how are procedures individuated?, Anatomy of a proposition, A general argument against structured propositions, Meaning and computing: two approaches to computable propositions, Free choice reasons, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, Substitution contradiction, its resolution and the Church-Rosser theorem in TIL, Subtypes in fuzzy type theory, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Hyperintensional logics for everyone, On modelling with words, Existential Import and Relations of Categorical and Modal Categorical Statements, Extensional Logic of Hyperintensions, Qualifying Quantifying-in, From Classical to Fuzzy Type Theory