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

DOI10.1007/978-90-481-8812-3zbMath1207.03009OpenAlexW2336229620MaRDI 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

Philosophy of mathematics (00A30) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40)

Related Items (38)

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

This page was built for publication: Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic