Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe...

In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give...

Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is...

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...

the sentence. Description logic Connotation Extension (predicate logic) Extensionality Intensional definition Intensional logic Montague grammar Temperature...

Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971)...

meaning, and the detailed construction of the Fregean and Russellian intensional logics, are more than sufficient to place him high up among the most important...

2307/2687794, JSTOR 2687794 Gamut, L. T. F. (1991), Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar, Chicago, Illinois: University...

28. Retrieved 30 June 2021. Gamut, L.T.F. (1991). Logic, Language and Meaning: Intensional Logic and Logical Grammar. University of Chicago Press. p...

Formal logic Free logic Fuzzy logic Higher-order logic Infinitary logic Informal logic Intensional logic Intermediate logic Interpretability logic Intuitionistic...

Meaning. Volume I. Introduction to Logic, L. T. F. Gamut; Logic, Language, and Meaning. Volume II. Intensional Logic and Logical, Grammar., L. T. F. Gamut"...

receiving his PhD in 1964 with a thesis entitled Foundations of Intensional Logic. His work continues the strongly formal approach to philosophy long...

logician and key representative of transparent intensional logic. Materna was introduced to philosophy and logic by his father, Miloš Materna (9 April 1892...

used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status...

Rudolf (1943). Formalization of Logic. Studies in Semantics. Vol. II. Harvard University Press. Intensional Logic (Stanford Encyclopedia of Philosophy)...

on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models...

mathematical logic: see intensional statement. See also extensionality, and also intensional definition versus extensional definition Intensional logic embraces...

One way of doing so, proposed by Richard Montague, is to adopt an intensional logic for natural language, thus allowing "the temperature" to denote its...

James Garson has given some results in the areas of adequacy for intensional logics outfitted with such a semantics. The truth conditions for quantified...

'Axiom of Extensionality' has its roots in logic and grammar (cf. Extension (semantics)). In grammar, an intensional definition describes the necessary and...

Semantics?" (Document). MIT course notes. Fitting, Melvin (2022). "Intensional Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab...

of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional...

There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions...

In other words, these first-order interpretations are extensional not intensional. An example of interpretation I {\displaystyle {\mathcal {I}}} of the...

Logic and Computation: A Rosetta Stone" (PDF). New Structures of Physics. Bimbó, Katalin (13 September 2015). "The decidability of the intensional fragment...

opposition to extensional contexts are intensional contexts (which can involve modal operators and modal logic), where terms cannot be substituted without...

Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...

Modal Necessity", in de Rijke, Maarten (ed.), Advances in Intensional Logic, Applied Logic Series, vol. 7, Springer-Verlag, pp. 61–91, ISBN 978-0-7923-4711-8...

Another influential philosopher, Pavel Tichý initiated Transparent Intensional Logic, an original theory of the logical analysis of natural languages—the...

normal modal logic: ⊢ A → B ⇒   ⊢ O A → O B . {\displaystyle \vdash A\to B\Rightarrow \ \vdash OA\to OB.} If we introduce an intensional conditional operator...