Live briefing
Everything about Intensional logic
Approach to predicate logic
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Intensional logicA 5-minute orientation
- Skim a recent paper: Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional RefinementInfluential work since 2022
- Pick up a classic book: The Power of LogicThe most-reprinted book on the subject
- Read the landmark paper: Pragmatics and intensional logicCited 133 times
- Go sideways: Formal semantics (natural language)A closely related topic
- Go sideways: Semantics (logic)A closely related topic
📖 Definitions
Noun A formal deductive system able to represent the distinction between intension and extension of a term.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Pragmatics and intensional logic
Qualitative probability as an intensional logic
First-order intensional logic
Making computational sense of Montague's intensional logic
Alonzo Church's Contributions to Philosophy and Intensional Logic
Towards a unified theory of intensional logic programming
Conceptualism, realism, and intensional logic
An intensional logic for mass terms
🆕 Influential since 2022
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Epistemic Logics of Structured Intensional Groups
Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic
Normal Forms in Intensional Logic
Intensional logic behind the Gray’s Elegy Argument
📚 Books worth reading
The Power of LogicFrances Howard-Snyder, Daniel Howard-Snyder · 2009
Intensional and higher-order modal logicDaniel Gallin · 1972
Diamonds and defaultsMaarten de Rijke · 1993
IntensionalityReinhard Kahle · 2005- 📕Intensional First-Order LogicZoran Majkic · 2022
Extensional Constructs in Intensional Type TheoryMartin Hofmann · 1997
Advances in intensional logicMaarten de Rijke · 1997
A manual of intensional logicJ. F. A. K. van Benthem · 1985
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Formal semantics (natural language) Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes…
- Semantics (logic) In logic, the semantics or formal semantics is the study of the meaning and interpretation of formal languages, formal systems, and (idealizations of)…
- David Kaplan (philosopher) David Benjamin Kaplan (/ˈkæplən/; born September 17, 1933) is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at…
- Transparent intensional logic Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in…
- Modal logic Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fields it is used as a tool for…
- Standard translation In modal logic, standard translation is a logic translation that transforms formulas of modal logic into formulas of non-modal first-order logic that capture…
- Proof-theoretic semantics Proof-theoretic semantics is a branch of proof theory and an approach to the semantics of logic in which the meaning of propositions and logical connectives…
- Montague grammar Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical…