ARTIKELDIGITAL.COM

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

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

Intensional, related to intension, may refer to: Look up intensional in Wiktionary, the free dictionary. in philosophy of language: not extensional. See...

called intensional operators. A large class of intensional statements, but by no means all, can be spotted from the fact that they contain intensional operators...

now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971). Prior was born in Masterton, New...

A genus–differentia definition is a type of intensional definition, and it is composed of two parts: a genus (or family): An existing definition that...

the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects...

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

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

caught, Clark Kent caught. In opposition to extensional contexts are intensional contexts (which can involve modal operators and modal logic), where terms...

a field is in rapid flux. At one time,[when?] the idea that types in intensional type theory with their identity types could be regarded as groupoids...

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

can be extensionally defined only by its elements, a class has also an intensional dimension that unites its members. When the term 'class' is applied so...

In philosophical logic, the masked-man fallacy (also known as the intensional fallacy or epistemic fallacy) is the false assumption that knowledge or...

are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction...

xx = x upon xx <= yy; yy = y upon yy <= xx; end; end; Viewed from an intensional logic perspective , Lucid can be thought of as a multidimensional programming...

logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy...

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

same members. In most upper ontologies, the classes are defined intensionally. Intensionally defined classes usually have necessary conditions associated...

and equivalence must be maintained, often with an interpretation of intensional equality (the equality on the original set) and extensional equality...

questions and imperatives. Other investigated linguistic phenomena include intensionality, modality, negation, plural expressions, and the influence of contextual...

known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences...

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

a Czech philosopher, logician and key representative of transparent intensional logic. Materna was introduced to philosophy and logic by his father,...

knowledge. Other challenges arise for the truth values of extensional and intensional sentences. A sentence is extensional if its truth value does not change...

Wasn't There, was given its title based on the poem. Extensional and intensional definitions Plato's beard The Man Who Sold the World (song), a song by...

language implements function equality as extensional equality. Intensional equality Under intensional equality, two functions f and g are considered equal if...

theory's semantics of equality, that is, whether the type theory is intensional or extensional. In 1934, Haskell Curry noticed that the types used in...

wide limit, in the sense of distribution. The concept constitutes an intensional definition, i.e., a NNGP is just a GP, but distinguished by how it is...

concepts and is sometimes called a "platform independent model". It is an intensional model. At least since Carnap, it is well known that: "...the full meaning...

Frege–Church ontology resolves this by saying the belief introduces an "intensional context" whereby the terms following the words "believes that" are in...

philosopher and mathematician. He worked in the field of intensional logic and founded transparent intensional logic, an original theory of the logical analysis...

University in 1985. Her dissertation, The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation, was supervised by Solomon...

Wittgenstein. Alonzo Church pioneered intensional logic. Czech philosopher Pavel Tichý developed transparent intensional logic. Paul Grice and his maxims and...

is presupposed by claims that hold that substitution fails in certain intensional contexts. Consider the following argument: (1) Sally accepts the assertion...

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

over a set), arithmetic, inductive definitions, partial functions, and intensional objects. By itself, a FO(.) knowledge base cannot be run, as it is just...

Bird. Gamut, L. T. F. (1991). Logic, Language, and Meaning. Vol. 2: Intensional Logic and Logical Grammar. Chicago, Illinois: University of Chicago Press...

phenomenology Experience Experience machine Explanation Extensional and intensional definitions Fact Fairness False Felicific calculus Fidelity Final anthropic...

predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s...

Retrieved January 11, 2017. "A Critical Analysis of There Will Be Blood: Intensional Godhood – Noisewar Internetlainen". Archived from the original on January...

Semiotic parameters Modality structure similarity Extensional similarity Intensional similarity Nevertheless, similarity can be based also on less objective...

Omnipotence and Impossible Tasks: An Intensional Analysis, 1984. Some Difficulties Concerning Russellian Intensional Logic, 1986. Bealer's Quality and Concept...

called extensional, while contexts in which extension is not enough are intensional. Mathematics is typically extensional throughout." Stanford University...

of planets in the Solar System" does not change its truth value. For intensional or opaque contexts, this type of substitution is not always possible...

of Tampere, and an internationally recognized scholar of Leibniz and intensional logic. Über die Leibnizsche Logik mit besonderer Berücksichtigung des...

operators (NOT, AND, OR), and semantic or rule description (technically intensional definition) of sets (e.g. "months starting with the letter A"), which...

semantic theory—for example without using the higher-order functions and intensional objects deployed in Montague grammar. The resources were largely limited...

(National Rail station code), Essex, England Til (plant), a tree Transparent intensional logic, a logical system Tumor-infiltrating lymphocytes, white blood cells...

and the primitive ideas. Extension Extensional definition Intension Intensional definition "Logical inferences and comprehension: How mental-logic and...

Subsumption relationship between abstractions Genus proximum – Type of intensional definition Lexical semantics – Subfield of linguistic semantics Meronymy...

doi:10.1007/BF01057649 Krause, Décio; da Costa, Newton (1997), "An Intensional Schrödinger Logic", Notre Dame Journal of Formal Logic, 38 (2): 179–194...

Linguistics from the University of Chicago in 1981. Her dissertation, titled Intensional Descriptions and the Romance Subjunctive Mood, was supervised by James...

Axiomatic Metaphysics (PDF). Dordrecht: D. Reidel. Zalta, Edward N. (1988). Intensional Logic and the Metaphysics of Intentionality (PDF). Cambridge, MA: The...

is of an intensional domain of mental entities—the entities conceived of by some agent, and the propositions believed by it. The intensionality is primarily...

Incoherent Discourse (Report, 1985) Making Computational Sense of Montague's Intensional Logic (Courant computer science report, 1976) A Metalanguage for Expressing...

"Mary must dance"). Imperatives are roughly parallel to modal verbs and intensional contexts in general. Take any apple. (cf. "You may/must take any apple"...

Other Minds Double entendre Extension Extensional definition Intension Intensional definition Implicature Loaded language Metacommunicative competence Pun...

is inductive if it can be obtained by repeatedly adding 1 to 0. *120 intensional function A function that is not extensional. logical 1.  The logical...

280-1. Class (philosophy) – Group of things derived from extensional or intensional definition Formalism (philosophy) – Concept of focusing on form over...

positivism Epistemic structural realism L-true (logically true) statements Intensional semantics evaluating formulas in state-descriptions Carnap sentences...

included in logic was not logic for Quine. Formal systems involving intensional notions, especially modality. Quine was especially hostile to modal logic...

inattentive, inextensible, intend, intense, intensification, intension, intensional, intensity, intensive, intent, obtend, obtension, ostensible, ostension...

Lewis showed that these problems are surmountable given an appropriate intensional logical framework. Work since then in formal semantics, philosophical...

quality, feature, characteristic, type, exemplifiable, predicate, and intensional entity. Generally speaking, an object is said to exemplify, instantiate...

Logica, taal en betekenis I. Logic, Language and Meaning, Volume II: Intensional Logic and Logical Grammar, University of Chicago Press, 1991. Translation...

in 1974 and 1979, aiming to spread the knowledge of two areas of the intensional logic unknown in Italy: tense logic and conditional logic. In a number...

mental states to be about worldly objects, is not to be confused with 'intensionality', the referential opacity of contexts that fail tests for 'extensionality'...

Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands. ISBN 9789048188123. Economist Style Guide...

method for defining concepts, providing a contrast and alternative to intensional classes (programming). Java enum Level { LOW, MEDIUM, HIGH } C++ enum...

described extensionally by listing all the values, or it can be described intensionally by stating the membership of the set by a predicate over a domain of...

reification?". Crary, Karl; Weirich, Stephanie; Morrisett, Greg (2002). "Intensional Polymorphism in Type-Erasure Semantics". Journal of Functional Programming...

17-24 Carlo Ghezzi, Andrea Mocci, and Mattia Monga. 2009. Synthesizing intensional behavior models by graph transformation. In Proceedings of the 31st International...

Varieties of Logic. Oxford University Press, 2014. ISBN 978-0199696529 Intensional Mathematics, Studies in Logic and the Foundations of Mathematics 113...

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

genetic elements Gypsy (software), a word processing program General Intensional Programming System (GIPSY), a dialect of the programming language Lucid...

arXiv:1212.3468. G. Japaridze, "The polymodal logic of provability". Intensional Logics and Logical Structure of Theories. Metsniereba, Tbilisi, 1988...

coincides with denotational equality". For denotational semantics in more intensional models, such as the actor model and process calculi, there are different...

Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Science & Business Media. ISBN 978-90-481-8812-3. Earl...

1\}} are equal; they are merely different representations—the first an intensional one (in set builder notation), and the second extensional (by explicit...

set of tuples computed by evaluating the Datalog program is called the intensional database or IDB. Many implementations of logic programming extend the...

Comprehension Enumerative definition Exemplification Extensional and intensional definitions Intension Ostension Wittgenstein, Ludwig. Philosophical Investigations...

Retrieved 2023-09-13. Hofmann, Martin (1997). Extensional Constructs in Intensional Type Theory. doi:10.1007/978-1-4471-0963-1. ISBN 978-1-4471-1243-3. Algebraic...

Metaphysical foundations of formal logic; construction of a system of intensional logic and the application thereof to the problems of logic and logistic...

sought to account for relevance in terms of "possible world logics" in intensional logic. Roughly, the idea is that necessary truths are true in all possible...

Harper, R.; Morrisett, G. (January 1995). "Compiling polymorphism with intensional type analysis". POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles...

be resolved by means of the simple theory of types." "Problems Arising in the Formalization of Intensional Logic." Logique et Analyse 1 (1958): 78–83...

Retrieved 2 December 2025. Surendonk, Timothy J. (2001). "Canonicity for intensional logics with even axioms". Journal of Symbolic Logic. 66 (3): 1141–1156...

semantics analyses include versions of discourse representation theory, intensional logic, first-order logic, and natural semantic metalanguage. Lexical...

_{X:{\mathsf {Type}}}\prod _{x:X}\prod _{p:x=x}p={\mathsf {refl}}_{x}} In intensional type theory with the standard definition of the identity type as an indexed...

semantic horizon with the dimension of intentionality (of which analytic intensionality is only an inauthentic correlate, essentially objective) without the...

extensionality, as used in 'axiom of extensionality' has its roots in logic. An intensional definition describes the necessary and sufficient conditions for a term...

 98. Gamut, L. T. F. (1991). Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar. University of Chicago Press. p. 101. Grant...

Reduction Strategies for Lambda Calculus Tait, W. W. (August 1967). "Intensional interpretations of functionals of finite type I". The Journal of Symbolic...

identifies intensional and extensional polysemes and synonyms, denoted by the subscripts: the first subscript uniquely refers to the intensional index, i...

are always restricted to definite orders". This change from a quasi-intensional stance to a fully extensional stance also restricts predicate logic to...

Intuitionistic Type Theory (PDF). Streicher, Thomas (1993). Investigations into intensional type theory (PDF). Hofmann, Martin; Streicher, Thomas (July 1994). "The...

Nordström et al. in 1990, which was heavily influenced by his later ideas, intensional, and more amenable to being implemented on a computer. Martin-Löf's intuitionistic...

Series 2002-3): 203–27. (abstract; full text) 'Intelligibility and Intensionality', Acta Analytica 17 (2002) 171-8. 'The Tristram Shandy Paradox: A Reply...

anything). In philosophical logic, the masked-man fallacy (also known as the intensional fallacy or epistemic fallacy) is committed when one makes an illicit...

'Truthmaker Semantics for Natural Language: Attitude Verbs, Modals and Intensional Transitive Verbs', Theoretical Linguistics 46, 3-4, 2020, 159-200. 'Truth...

1002/9781118788516.sem102. S2CID 228810871. Roberts, Craige (1997). "Anaphora in Intensional Contexts". In Lappin, Shalom (ed.). The Handbook of Contemporary Semantic...

Physics. Bimbó, Katalin (13 September 2015). "The decidability of the intensional fragment of classical linear logic". Theoretical Computer Science. 597:...

2307/2268280. JSTOR 2268280. S2CID 2317046. Tait, W. W. (August 1967). "Intensional interpretations of functionals of finite type I". The Journal of Symbolic...

demonstrate how combinations of such units are used to create both syncritic (intensional) structures inside the extended present, and diatactical (extensional)...

enumerative definition for the set extant monotreme species (for which the intensional definition is "species of currently-living mammals that lay eggs") would...

ISBN 978-1-107-02839-5. Gamut, L.T.F. (1991). Logic, Language and Meaning: Intensional Logic and Logical Grammar. University of Chicago Press. pp. 245–249....

inattentive, inextensible, intend, intense, intensification, intension, intensional, intensity, intensive, intent, intention, intentional, intentionality...

(extensional type theory), or extensional reasoning is more difficult (intensional type theory). For this reason, some dependent type theories do not allow...

truly functorial in extensional type theories (see #Properties). In intensional type theories, such functions are not truly functors, because the universe...

B\Rightarrow \ \vdash {\mathsf {O}}A\to {\mathsf {O}}B.} If we introduce an intensional conditional operator then we can say that the starving ought to be fed...

necessary substrates for consciousness as well as the ability to exhibit intensional behaviour. This initial declaration also inspired a previous response...

class-concept. — 1903:56 71. Class may be defined either extensionally or intensionally. That is to say, we may define the kind of object which is a class,...

language that required an expertise in linguistics as well as in modal and intensional logics. Later on, Gochet shifted naturally with the trend toward applications...

substructural logics, the sign ⊗ {\displaystyle \otimes } and the names group, intensional, multiplicative, or parallel conjunction are often used for strong conjunction...

as the first logician to extend propositional logic as a higher order intensional logic. Marcus proposed the view in the philosophy of language according...

rules mapping expressions from a bespoke model of syntax to formulas of intensional logic. Subsequent work by Barbara Partee, Irene Heim, Tanya Reinhart...

The modal-logical treatment of provability helped demonstrate the "intensionality" of Gödel's Second Incompleteness Theorem, meaning that the theorem's...

concept's intension rather than its extension. intensional logic A logic that deals with the intensional aspects of meaning, such as belief, necessity...

Description logic § Modeling Metadata Web Ontology Language Extensional and intensional definitions Gruber, Thomas R. (June 1993). "A translation approach to...

influenced by the way they are described, from law-like relations, which are intensional and dependent on the manner of description. There is no law of nature...

of the "orthodox view" in the theory of reference. He questioned the "intensional isomorphism" concept of Rudolf Carnap. Referring, London: Routledge &...

and to connect to suppositional/probabilistic intuitions. A dominant intensional tradition treats conditionals as quantifying over accessible or similar...

equative clauses in English. The semantics of the equative head fit with intensionality-based accounts of English equatives. The distinction between predicational...

Lambda calculus and programming languages regard function identity as an intensional property. A function's identity is based on its implementation. A lambda...

are only introduced by certain event classes, namely reporting events, intensional events (I ACTION and I STATE), and perception events. Additionally, these...

names Definite description Direct and indirect realism Frege's puzzles Intensional logic Mediated reference theory Temperature paradox Theories of language...

set is defined extensionally using power domain semantics rather than intensionally using causal axioms. The behaviors of individual Actors is defined functionally...

it should be defined in terms of, and determined by, all and only the intensional properties of names. He illustrates the way a metalinguistic description...

"values" (i.e., the same property extension), but may have different intensional meaning (i.e., denote different concepts). Property equality should be...

finality) corresponds directly to the appropriate induction principle. In intensional type theories with the univalence axiom, this correspondence holds up...

intension and an extension, his system "provides only for the designation of intensional entities". The philosopher Dagfinn Føllesdal wrote that while Carnap...

grammar Syntax and Semantics, Vol 29, 109–160 1997. C Roberts. Anaphora in intensional contexts 1996. C Roberts. Information structure in discourse: Towards...

1007/BF01057649. Krause, Décio; da Costa, Newton C. A. (Spring 1997). "An Intensional Schrödinger Logic". Notre Dame Journal of Formal Logic. 38 (2): 179–194...

Selected Papers of Richard Montague. He has written influential papers on intensional semantics and propositional attitudes, including "A model theory for...

inattentive, inextensible, intend, intense, intensification, intension, intensional, intensity, intensive, intent, obtend, obtension, ostensible, ostension...

pages 1090-1098. G. Japaridze, "The polymodal logic of provability". Intensional Logics and Logical Structure of Theories. Metsniereba, Tbilisi, 1988...

"Syntax and semantics of dependent types". Extensional constructs in intensional type theory. London: Springer. pp. 13–54. doi:10.1007/978-1-4471-0963-1_2...

credited with the creation of tense logic and substantial contributions to intensional logic. Pierre-Joseph Proudhon (1809–1865): French philosopher, economist...

vehicles. Intuitionistic type theory, other name of Martin-Löf Type Theory Intensional type theory ITT Inc. (formerly International Telephone & Telegraph),...

politicians" is not defined; This is the de dicto interpretation of the intensional statement ( ◻ ∃ x [ P l x ∧ ¬ C x ] {\displaystyle \Box \exists {x}[Pl_{x}\land...

all objects for which the condition P holds (known as defining a set intensionally). For example, {x | x ∈ R} denotes the set of real numbers, {x | x has...

50 (2): 321–331. doi:10.1007/BF00370190. S2CID 31032152. — (1991). "Intensional Paradoxes". Notre Dame J. Formal Logic. 32 (2): 193–211. doi:10.1305/ndjfl/1093635745...

combination of certain aspects determine the definition of music? For example, intensional definitions list aspects or elements that make up their subject. Some...

notion of direct computation, and a novel approach to the dichotomy "intensional versus extensional" accounts of propositional equality via the Curry–Howard...

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

using intensional equality. There are potential problems with the interpretation of results because of the difference between the intensional and extensional...

Brown, Matt; Palsberg, Jens (January 2017). "Typed self-evaluation via intensional type functions". Proceedings of the 44th ACM SIGPLAN Symposium on Principles...

phenomenalism and mind-body dualism, and extensionality as against intensionality. He also develops a behavioristic conception of sentence-meaning, theorizes...

causal force is consciousness – intentionality – generating meanings – intensionality. Mind is a higher-level expression of the capacity of living organisms...

poem Empty name – Concept in the philosophy of language Extensional and intensional definitions – Classification of definitions in mathematics, philosophy...

regarded as the same function in the untyped lambda calculus. See also intensional versus extensional equality. The reverse operation to lambda lifting...

of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and...

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

roots in logic and grammar (cf. Extension (semantics)). In grammar, an intensional definition describes the necessary and sufficient conditions for a term...

their specific initialization syntax. Initial values can be given in intensional definition, as in: int[String] age = { "Stephan" -> 37, "Lynda" -> 29...

objects are members of the category. What is generally desired is an intensional description of the category, a representation of the category based on...

representations that characterize I-Language, understood to be the internalized intensional knowledge state as represented in individual speakers. By hypothesis...

formulated) is correct, then it is a paradigm example of intensional causation. Intensional causation requires either (1) there be a mind involved in...

{\displaystyle \Pi _{1}^{0}} -formulas. Early on, also variants with intensional equality and Brouwerian choice sequence have been investigated. Reverse...

Intuitionisitc Modal Music" (1976) "Intensional Logics for Intransitive Experiences" (1979) "Parmenides on Intensional Logics" (1979) "Poetry as Philosophy...

theory. In joint work with Martin Hofmann [de] he constructed a model for intensional Martin-Löf type theory where identity types are interpreted as groupoids...

individual real-world objects. If n > 1, the attributes are n-place intensional relations between real-world entities, and the extension is the set of...

philosopher maintained that belief in infinities arises from confusing the intensional nature of mathematical laws with the extensional nature of sets, sequences...

term "supreme executive organ" multiple times but provides neither an intensional nor an extensional definition. Article 19 of the Federal Constitutional...

Conference, Morgan Kaufmann, Los Altos, pp. 99–114. Priest, G. (1991), 'Intensional Paradoxes', Notre Dame Journal of Formal Logic 32, pp. 193–211. Slater...

definition, lexicographic, linguistic and logical aspects Mathematics: Intensional definition Elementary definition Recursive definition Field of definition...

and model theory (consistent with his nominalist principles), and from intensional notions such as modality. Richard Milton Martin was born on January 12...

University of Pittsburgh, where he wrote his dissertation, The Algebra of Intensional Logics. He taught at Wayne State University and at Yale University before...

might not be false. Conditional sequences involving subjunctives use intensional language, which is studied by modal logic, whereas classical logic studies...

332 p. : ill.; 25 cm. ISBN 0-19-514192-X Tait, William W. (1967). "Intensional interpretation of functionals of finite type I". Journal of Symbolic...

together with the reduction of primitive combinators, capture the notion of intensional equality of functions: that two functions are considered equal only if...

energy range between 0.75 and 30 MeV between its launch in April 1991 and intensional deorbit in June 2000. Among the results was a detailed study of the Crab...

James W. Garrison (1988) A Logical Theory of Teaching: Erotetics and Intensionality, Kluwer doi:10.1007/978-94-009-3067-4. Whately, Richard (1875) Elements...

philosophy: How do names refer to things in the world? (the problem of intensionality) Are all statements that can be known a priori necessarily true, and...

Steve; Schwarz, Heinrich (2002). "NetWORKers and their activity in intensional networks". The Journal of Computer-supported Cooperative Work. 11 (1/2):...

Affect (linguistics) Attitude Belief Disposition Embedded clause Habit Intensionality Jerry Fodor Knowledge Responsive predicate Qualia Self-fulfilling prophecy...

(Xlibris Corporation, 2004) ISBN 1413484468 The Senses of the Text: Intensional Semantics and Literary Theory (University of Nebraska Press, 1999) ISBN 0-8032-6617-0...

value of a function at an argument. With some modifications to handle intensionality and quantification, this approach can be used to cover a wide variety...

New York: Cornell University, 1996. Pages 136–153. Lappin, Shalom. 'An Intensional Parametric Semantics for Vague Quantifiers'. Linguistics and Philosophy...

in the combined terms of negation, conjunction, and a prefixed unary intensional modal operator: ◊ {\displaystyle \Diamond } . The following is its formal...

Criticisms", Linguistics and Philosophy, 25, 2002, pp 347–372. "What are Intensional Transitives?", Proceedings of the Aristotelian Society, 2002, Supplementary...

as a primitive idea. . . . It seems therefore more correct to take an intensional view of relations, and to identify them rather with class-concepts than...

traditionally geometric way of thinking allows. The needs of thoroughly intensional theories such as untyped lambda calculus have been met in denotational...

Business Insider. Retrieved 2025-09-02. "At the Checkpoint: Photo Exhibit". Intensional Solidarity Movement. 2007-03-19. Retrieved 2026-01-08. Ashly, Jaclynn...

that are defined on a rule rather than on a set of examples (called intensional predicates); most importantly a potentially incorrect hypothesis is allowed...

semantics. Gamut, L. T. F. (1982). Logic, Language and Meaning. Volume II: Intensional Logic and Logical Grammar. University of Chicago Press. ISBN 0-226-28084-5...

dimensional semantics--the basics Christian Nimtz The Case of Hyper-intensionality in Two-Dimensional Modal Semantics: Alexandra Arapinis Two-Dimensionalism...

during this time focused on theories of meaning for natural languages and intensional semantics, and he continued working in this area at the University of...

mutually exclusive, which suggests that the same is true of ostensive and intensional definitions. He has argued that the philosopher Karl Popper’s concept...

relational proposition . . . it seems therefore more correct to take an intensional view of relations, and to identify them rather with class-concepts than...

thesis" as written here, but surely Gandy meant the latter, at least intensionally, because Turing did not prove anything in 1936 or anywhere else about...

\ / \ / decompose \ / decompose \ / decompose \ / \ / \ / \ o o o o Intensionally, the refocusing thesis is that this deforestation is achieved by continuing...