Fact-checked by Grok 2 weeks ago

Intension

In philosophy and logic, intension refers to the conceptual content, meaning, or set of attributes that defines a term or expression, determining the conditions under which it applies, in contrast to extension, which denotes the actual class of objects or entities to which the term refers in a specific context.^[1] This distinction captures how terms like "prime number" have an intension comprising the property of divisibility only by 1 and itself, while their extension includes specific instances such as 2, 3, and 5.^[1] Intensions enable reasoning about hypothetical or possible scenarios, whereas extensions pertain to empirical reality.^[2] The concept originated with Gottfried Wilhelm Leibniz in the late 17th century, who described the intension (or "comprehension") of a term as the collection of essential marks or predicates it encompasses, with the extension comprising all subjects to which those marks apply.^[3] Leibniz posited a principle of inverse variation, stating that as the intension of a concept increases (adding more defining attributes), its extension decreases (fewer objects satisfy the stricter conditions), and vice versa—for instance, the intension of "equilateral rectangle" is richer than that of "rectangle," but its extension is narrower.^[3] This framework laid groundwork for later logical analysis, emphasizing intension's role in deductive inference.^[3] In the 19th century, Gottlob Frege advanced the distinction through his theory of sense (Sinn) and reference (Bedeutung), where sense aligns with intension as the mode of presentation or cognitive content of an expression, and reference corresponds to extension as the object or truth-value it designates.^[4] Frege illustrated this with proper names: "the morning star" and "the evening star" share the same reference (Venus) but differ in sense, explaining why substituting one for the other in sentences like "The morning star is bright" alters informational value.^[4] Rudolf Carnap later formalized these ideas in mid-20th-century semantics, defining intension as the property or condition for applicability across possible cases, empirically testable through linguistic usage, while extension is the observable class of applications.^[1] Contemporary semantics, building on possible-worlds frameworks, models intensions as functions mapping possible worlds to extensions, allowing precise treatment of modal and contextual phenomena.^[2] For example, the intension of "knows" shifts evaluation across worlds compatible with an agent's information, distinguishing it from extensional verbs like "touches."^[2] This approach underpins intensional logics, which address failures of substitutivity in opaque contexts, such as belief reports, where co-referential terms do not preserve truth.^[2]

Core Concepts

Definition

In semantics and philosophy of language, the intension of a linguistic expression, such as a term or symbol, refers to the set of properties, qualities, or attributes that it implies or connotes, capturing the inherent conceptual content associated with it.^[1] For instance, the intension of the term "triangle" encompasses attributes like being a closed plane figure with three straight sides and three angles summing to 180 degrees.^[5] This definitional structure provides the abstract, internal essence of the expression's meaning, which remains stable regardless of particular real-world instances or contexts.^[6] The comprehension of a term denotes the complete collection of all such properties or attributes that constitute its intension, forming a comprehensive sum of the defining characteristics implied by the expression.^[5] In this sense, comprehension represents the full scope of the term's conceptual content, serving as the foundational mechanism for understanding how the term delineates its applicable domain through necessary and sufficient conditions.^[1] While the term "connotation" is sometimes used interchangeably in casual discourse, in semantic theory, intension specifically emphasizes the full definitional essence of an expression, encompassing its core properties without the additional emotional or cultural associations often implied by everyday connotations.^[7] This distinction highlights intension's role as the precise, abstract carrier of meaning, independent of subjective interpretations.^[5] By contrast, the extension of a term refers to the actual objects or entities it denotes in a given context.^[6]

Relation to Extension

In semantics, the extension of a term refers to the set of all objects, entities, or values to which it applies in a given context, often synonymous with its denotation or reference. For instance, the extension of the term "planet" comprises all celestial bodies such as Earth, Mars, and Jupiter that meet the definitional criteria for orbiting a star without being a star themselves. This contrasts with intension, which encodes the abstract properties or conditions defining membership in that set.^[8]^[9] The relationship between intension and extension embodies a core duality: intension functions as the rule or procedure that generates the extension across possible worlds, while extension captures the concrete instantiation of that rule in the actual world. In this framework, the intension specifies potential extensions under varying circumstances, ensuring that meaning remains stable even as referents shift; for example, the intension of "current German chancellor" yields Friedrich Merz as of November 2025 but could yield different individuals in alternate historical scenarios. This interplay allows semantics to account for both fixed references and hypothetical variations without conflating the two.^[8]^[9] Ferdinand de Saussure's model of the sign offers a foundational linguistic framework for this relation, positing the signifier (the phonetic or written form) as linked to the signified (the conceptual content, akin to intension). In this dyadic structure, meaning arises from the arbitrary yet systematic association between form and concept, though Saussure emphasized the internal linguistic system over external reality, with the referent corresponding to extension outside the sign. A key implication is that terms sharing the same extension may diverge in intension, preserving distinct meanings; the phrases "morning star" and "evening star," for example, both extend to the planet Venus but carry different conceptual associations tied to visibility at dawn versus dusk. This distinction underscores how intension enriches semantic interpretation beyond mere reference.^[10]^[11]

Historical Development

Origins in Linguistics and Philosophy

The term intension originates from the Latin intensio, meaning "stretching" or "straining," which entered philosophical discourse around the 17th century but drew on earlier medieval scholastic concepts of intentio, which signified the directedness of thought and conceptual universals that prefigure the distinction between a term's meaning and its reference.^[12]^[13] In medieval philosophy, particularly in the works of thinkers like Thomas Aquinas and Duns Scotus, discussions of first and second intentions addressed the conceptual content or essential conditions that a term encompasses, contrasting with its referential application and forming a core element of semantic analysis in logic and epistemology.^[13] This medieval framework built upon Aristotelian foundations, where the distinction between essential properties in categorical definitions and the class of instances prefigures later intension/extension concepts, capturing the necessary attributes that constitute a substance's essence as opposed to its accidental features.^[14] In Aristotle's Categories and Posterior Analytics, definitions prioritize these essential properties to reveal "what-it-is-to-be" for a thing, enabling scientific demonstration and avoiding mere enumeration of examples.^[14] By the 19th century, hermeneutics advanced ideas of interpretive depth, with Friedrich Schleiermacher emphasizing the reconstruction of an author's original conceptual intentions through a "divinatory" grasp that penetrates beyond literal wording to the underlying meaning.^[15] Wilhelm Dilthey extended this in his philosophy of the human sciences, framing conceptual content as the lived, historical meaning embedded in expressions of life, requiring empathetic understanding to access the inner nexus of ideas.^[15] Concurrently, in semiotics, Charles Sanders Peirce integrated intension as the qualitative depth of a sign's information, positing it in balance with extension—the sign's referential breadth—such that their product yields the total informational value, as in his formula for logical terms.^[16] Entering the early 20th century, Ferdinand de Saussure's structural linguistics formalized the signified, the conceptual image or mental content paired with the acoustic or visual "signifier," where meaning emerges relationally within the language system rather than through isolated reference. This dyadic model positions the signified as an analog to the intensional dimension, embodying the abstract properties and differences that define a sign's conceptual scope, thus bridging philosophical traditions with modern linguistic analysis.^[17]

Key Contributions from Analytic Thinkers

Gottlob Frege laid the foundational distinction between sense (Sinn) and reference (Bedeutung) in his seminal 1892 paper "On Sense and Reference," positing that sense—closely akin to intension—encapsulates the cognitive value or mode of presentation of an expression, distinct from its reference, which aligns with extension or the actual object denoted.^[4] This framework addressed longstanding puzzles in semantics, such as why the identity statement "Hesperus is Phosphorus" (both referring to Venus) conveys new information, whereas "Hesperus is Hesperus" does not: the names share the same reference but differ in sense, allowing intension to account for informational content and belief attitudes.^[4] Frege's dualistic approach—separating cognitive significance from denotation—challenged extensional monism, which equates meaning solely with reference, and established intension as essential for resolving paradoxes in identity and substitution.^[4] Building on Frege, Rudolf Carnap advanced the formalization of intension in his 1947 work "Meaning and Necessity," defining intensions as functions that map possible worlds (or complete descriptions of states of affairs) to extensions, thereby integrating intensional semantics into modal logic.^[18] Carnap's innovation provided a precise tool for analyzing necessity and analyticity, where the intension of an expression determines its truth value across worlds, contrasting with purely extensional treatments that ignore modal variations.^[18] This functional conception reinforced semantic dualism by demonstrating how intensions preserve explanatory power in contexts where extensions alone fail, such as modal statements.^[18] Alonzo Church further linked intension to computable structures through his development of lambda calculus in "The Calculi of Lambda-Conversion" (1941), a system for defining functions via abstraction that enables formal modeling of meanings as higher-order entities.^[19] In "Intensional Isomorphism and Identity of Belief" (1954), Church introduced the notion of intensional isomorphism, requiring not just extensional equivalence but structural identity in lambda terms to capture synonymous beliefs, thus tying intension to verifiable, computable semantic relations. These contributions supported dualistic semantics by showing how lambda-based representations resolve belief-identity puzzles, extending Frege and Carnap's ideas into a computational framework for intensional analysis.

Intensional Contexts

Characteristics of Intensional Statements

Intensional statements are characterized by referential opacity, where the substitution of co-referential terms—terms that share the same extension—fails to preserve the truth value of the sentence, a principle known as substitutivity salva veritate.^[20] This failure occurs because the truth of such statements depends on the intension, or sense, of the terms involved, rather than solely on their extension. In contrast to extensional statements, where such substitutions reliably maintain truth value, intensional contexts block this interchange, leading to potential changes in semantic evaluation.^[20] Certain linguistic operators generate these intensional contexts by embedding expressions in ways that prioritize sense over reference. Propositional attitudes, such as "know" or "believe," create opacity by relating agents to the content of their mental states, where co-extensive terms may not be interchangeable without altering the attributed attitude.^[20] Modal operators, like "necessarily" or "possibly," introduce intensionality by evaluating truth relative to possible scenarios rather than the actual world, again rendering substitutivity invalid for terms with identical extensions but divergent modal profiles.^[21] Additionally, quantifiers in non-standard scopes, such as those scoping over propositional attitudes, exacerbate this opacity by complicating referential transparency within the embedded clause.^[20] A related but distinct notion is hyperintensionality, which refines intensionality by drawing even finer-grained distinctions between contents that are intensionally equivalent—i.e., necessarily true in the same possible worlds—but differ in structure or cognitive role.^[22] Unlike standard intensional contexts analyzed via possible-worlds semantics, hyperintensional ones involve sensitivities to synonymous yet non-interchangeable representations, such as in attitudes where logical equivalents fail to substitute due to differing inferential or conceptual structures.^[23] The logical criterion for identifying an intensional context is that its truth value hinges on the intension of constituent expressions, independent of their mere extensions, thereby violating principles of extensionality that hold in transparent contexts.^[20] This dependence ensures that intensional statements capture nuances of meaning, modality, or mentality that extensional analysis overlooks.^[21]

Examples of Intensional Contexts

One prominent example of an intensional context arises in propositional attitudes, such as belief reports. Consider the statement "Lois Lane believes that Superman can fly," which is true because Lois holds this belief about the superhero. However, even though Superman is identical to Clark Kent, the substituted statement "Lois Lane believes that Clark Kent can fly" is false, as Lois does not associate Clark Kent with flying abilities. This failure of substitutivity highlights how the intension, or conceptual content, of the names determines the truth value rather than their shared extension.^[24] Modal contexts provide another illustration, where necessity operators create opacity. The sentence "It is necessary that 2 + 2 = 4" is true, reflecting the necessary truth of the mathematical identity. In contrast, substituting the co-referential phrase "the number of planets" for 8 in "It is necessary that 8 > 7" yields "It is necessary that the number of planets > 7," which is false because the number of planets is contingent and not necessarily greater than 7.^[25] Here, the intension of the descriptive phrase captures its modal properties, preventing straightforward substitution.^[26] Fictional references also embed intensional contexts, preserving narrative meaning without requiring real-world referents. For instance, "Sherlock Holmes lives at 221B Baker Street" is true within Arthur Conan Doyle's stories, attributing a specific address to the detective character. Despite Sherlock Holmes having no actual extension in the real world, the statement holds due to the intensional embedding in the fictional framework, where the character's conceptual role in the narrative governs interpretation. A linguistic puzzle further demonstrates this in embedded knowledge contexts. The extensional statement "The author of Huckleberry Finn is American" is true, as it refers to Samuel Clemens (Mark Twain). Yet, under the intensional operator "knows," the sentence "Sally knows that the author of Huckleberry Finn is American" may be false if Sally is unaware that Mark Twain is Samuel Clemens, even though the phrases co-refer. This opacity arises because the intension of the definite description influences what is known, beyond mere referential identity.^[27]

Extensional Contexts

Characteristics of Extensional Statements

Extensional contexts are characterized by referential transparency, meaning that the substitution of co-referential terms preserves the truth value of the statement.^[4] In such contexts, the truth value of a sentence depends solely on the extensions—or referents—of its constituent terms, rather than on their modes of presentation or senses.^[28] This property, emphasized by Gottlob Frege in distinguishing sense from reference, ensures that if two expressions have the same referent, replacing one with the other in an extensional context does not alter the sentence's truth conditions.^[4] Standard logical operators that generate extensional contexts include simple predication, existential quantification, and truth-functional connectives such as conjunction, disjunction, and negation.^[29] For instance, predications like "a is F" remain extensional because their truth hinges only on whether the referent of "a" satisfies the property F, allowing unrestricted substitutivity for co-extensional terms.^[28] Similarly, existential quantifiers (∃x Fx) and connectives (e.g., ¬P, P ∧ Q) operate extensionally, as their semantics are defined purely in terms of the truth values of their components' referents, without regard to intensional aspects.^[29] In extensional settings, the principle of compositionality holds straightforwardly, whereby the meaning (or extension) of a complex expression is determined by the meanings (extensions) of its parts and their syntactic arrangement, free from interference by modal operators or propositional attitudes.^[28] This compositional structure aligns with Rudolf Carnap's method of extension and intension, where extensions compose recursively in purely referential languages.^[28] Unlike intensional contexts, which introduce opacity through such elements, extensional compositionality supports transparent semantic assembly based on referents alone.^[29] However, extensional contexts have limitations in that they overlook intensional nuances, such as differences in sense or cognitive content, which can lead to philosophical puzzles when extensional statements are embedded within broader intensional frameworks.^[29] W.V.O. Quine highlighted how this referential focus fails to capture essentialist or modal distinctions, resulting in challenges for analyzing necessity or identity in mixed contexts.^[29]

Examples of Extensional Contexts

In extensional contexts, the truth value of a statement remains unchanged when terms with the same extension—i.e., referring to the same entities—are substituted for one another, as the focus is solely on reference rather than mode of presentation. A clear example involves identity and predication: the sentence "Mark Twain wrote Huckleberry Finn" is true, and substituting "Samuel Clemens"—the same person—for "Mark Twain" yields "Samuel Clemens wrote Huckleberry Finn," which is equally true, since the extensions of the names coincide.^[30] This substitution succeeds because the context treats the terms purely referentially, without regard to differing senses or connotations associated with each name.^[30] Another predication example is "The tallest mountain is Mount Everest," which holds true; replacing "Mount Everest" with "the mountain with an elevation of 8,848 meters"—a description that co-refers to the same entity—results in "The tallest mountain is the mountain with an elevation of 8,848 meters," preserving the truth value.^[31] Here, the extensional nature allows the descriptive phrase and proper name to interchange seamlessly, as both pick out identical referents in the actual world.^[31] Set membership provides a further illustration: "Paris is in France" is true, and substituting a co-referring description such as "the capital of France" gives "The capital of France is in France," which remains true, demonstrating that the context is insensitive to the descriptive versus nominal form as long as the referents match.^[32] This holds because membership in a set depends only on the extension of the terms involved, not their intensional content.^[32] In scientific reference, the statement "Water is H₂O" exemplifies extensionality, as "water" and "H₂O" co-refer to the same substance; substituting one for the other in simple identity contexts, such as "The clear liquid in this glass is H₂O," yields "The clear liquid in this glass is water," without altering truth.^[33] This equivalence underscores how extensional contexts prioritize the shared reference of the common name and its chemical formula.^[33]

Formal and Modern Perspectives

Intensional Logic and Semantics

In possible-worlds semantics, the intension of a linguistic expression is defined as a function that maps each possible world to the expression's extension in that world, thereby capturing how its meaning varies across hypothetical scenarios.^[34] This approach formalizes the distinction between extension (the actual referent or truth value) and intension (the rule determining extensions across worlds), providing a mathematical model for modal notions like necessity and possibility. For instance, the intension of the predicate "bachelor" yields, in every possible world, the set of entities that are unmarried adult males in that world.^[34] Building briefly on foundational ideas from key analytic thinkers, this semantics offers a precise tool for analyzing how expressions behave in intensional contexts without reducing meanings to their actual-world referents.^[34] Montague grammar integrates possible-worlds semantics into a formal treatment of natural language, employing intensional types within typed lambda calculus to compose meanings systematically.^[35] Here, basic types include entities (e), truth values (t), and possible worlds (s), with complex types like \langle s, t \rangle for propositions—functions from worlds to truth values—allowing sentences to denote intensions rather than mere extensions.^[35] Lambda abstractions enable the direct translation of syntactic structures into semantic values, ensuring compositionality: the intension of a complex expression is derived from the intensions of its parts via function application and abstraction.^[35] This framework treats natural language determiners and quantifiers as higher-order intensional entities, unifying logical form with linguistic structure.^[35] The Church-Rosser theorem plays a crucial role in this lambda-calculus-based semantics by guaranteeing the confluence of \beta-reduction: if two terms are convertible via \beta-steps, they share a common reduct, ensuring that intensional isomorphism holds—equivalent meanings, regardless of reduction order, yield identical normal forms and thus the same extensions across worlds.^[36] This property underpins the reliability of lambda terms as representations of intensions, as it prevents ambiguity in semantic evaluation and confirms that synonymous expressions compute to the same semantic value.^[36] Hyperintensional logics extend these functional approaches by modeling meanings as structured entities—such as constructions or procedures—rather than sets of possible worlds, allowing distinctions between intensions that are necessarily equivalent in standard semantics but differ in cognitive or logical structure.^[37] In transparent intensional logic, for example, propositions are treated as abstract procedures with constituent parts, enabling hyperintensional contexts like belief reports to differentiate expressions like "the morning star is visible" from "the evening star is visible," despite their shared truth conditions across all worlds.^[37] This structured view preserves the function-to-extension mapping but adds granularity by making propositions first-class objects, addressing failures of substitutivity in intensional embeddings.^[37]

Recent Developments

In the 2020s, hyperintensional semantics has emerged as a significant advancement in the study of intension, extending beyond traditional possible-worlds approaches by distinguishing intensions that are necessarily equivalent but differ in structural or truth-making properties. Friederike Moltmann's work has been pivotal, proposing a truthmaker semantics that treats attitude verbs, modals, and intensional transitive verbs as predicates of truthmakers—entities or states that make propositions true—rather than sets of possible worlds, thereby capturing fine-grained distinctions in meaning that coarser intensional frameworks overlook. This approach addresses limitations in standard intensional logic by incorporating nominalizations and event structures, allowing for hyperintensional differences in contexts like belief reports where synonymous descriptions fail to substitute. Moltmann further develops this in her 2024 book, applying truthmaker semantics to natural language constructions involving attitudes and modalities, emphasizing how intensions relate to concrete ontological commitments. Applications of intensional semantics in computational linguistics have gained traction post-2020, particularly in natural language processing (NLP) for semantic parsing tasks that handle belief states and modal contexts in AI dialogue systems. Recent models integrate intensional structures to manage opaque contexts, such as belief attributions in conversational AI, where large language models (LLMs) must distinguish between extensional and intensional readings to accurately parse user intentions under uncertainty. For instance, analyses of LLMs reveal challenges in grasping intensional semantics, prompting hybrid neurosymbolic approaches that embed intensional logic into neural architectures for better resolution of belief states in dynamic dialogues.^[38] These developments enable more robust semantic parsing in task-oriented systems, improving handling of counterfactuals and epistemic modals in real-time interactions.^[39] In the philosophy of action, 2024 research has refined the role of proximal intentions—immediate intentions guiding ongoing actions—in relation to intension and intentionality, linking them to event semantics for decision-making processes. Proximal intentions intentionalism posits that reference in action descriptions is determined by the agent's immediate, fine-grained intention toward the action's event structure, rather than distal plans, resolving substitution failures in intensional contexts during performance. This framework connects intension to practical reasoning by treating actions as event types with intensional properties, influencing how agents select means in dynamic environments.^[40] Debates on intensionality in propositionalism, as surveyed in a 2023 review, highlight fine-grained semantic values for clausal complements, challenging sententialism by arguing that intensional constructions uniformly relate to propositions rather than sentences or structured entities. Propositionalism maintains that all such contexts can be reduced to relations with truth-evaluable contents, providing a unified account that accommodates hyperintensional distinctions without proliferating semantic types, though it faces critiques from sententialist views emphasizing syntactic sensitivity. This perspective advances modern semantics by integrating empirical linguistic data on complements under verbs like "believe" and "say."^[41]

References

[1]
[PDF] Meaning and Synonymy in Natural Languages by Rudolf Carnap
From a systematic point of view, the description of a language may well begin with the theory of intension and then build the theory of extension on its basis.
[2]
None
Below is a merged response that consolidates all the information from the provided segments into a single, comprehensive summary. To maximize density and clarity, I’ve organized the key details into tables where appropriate, while retaining narrative explanations for context. The response covers the modern definition of intension in semantics, intensions as functions from possible worlds to extensions, key examples, aspects, and useful URLs.
[3]
[PDF] Leibniz on Intension and Extension - Chris Swoyer - UC Homepages
Feb 29, 2004 · In §3 I examine Leibniz's version of the principle of the inverse variation of intension and extension and consider its bearing on the ...
[4]
[PDF] Frege: ON SENSE AND REFERENCE
Jun 20, 2012 · The regular connexion between a sign, its sense, and its reference is of such a kind that to the sign there corresponds a definite sense and to ...
[5]
[PDF] Extension, Intension, Character, and Beyond
Semantic theories that attempt to describe the meanings of expressions are often called intensional semantic theories. A more recent, twentieth-century ...
[6]
[PDF] 1947-Meaning-and-Necessity-Carnap.pdf
... meaning of any expression is analyzed into two meaningcom- ponents, the intension, which is ap- prehended by the understanding of the expression, and the ...<|control11|><|separator|>
[7]
10.1 Elements of Word Meaning: Intensions and Extensions
Most words also have connotations as part of their meaning; these are the feelings or associations that arise from how and where we use the word.
[8]
[PDF] Semantics: The Theory of Extension and Intension
This textbook introduces undergraduate students of language and linguis- tics to the basic ideas, insights, and techniques of contemporary semantic theory.
[9]
Semantics
Intension and Extension · Solution: Model meaning with an abstraction Intension: a technical invention, but one way of approximating meaning. · The role of ...
[10]
[PDF] Course in general linguistics
the signifier with the signified, I can simply say: the linguistic sign is arbitrary. The idea of "sister" is not linked by any inner relationship to the ...
[11]
[PDF] Frege: “On Sense and Denotation”
So Frege's theory seems to require that indirect sense be different from customary sense. But he gives us no way of figuring out how these senses might differ.
[12]
Intension - Etymology, Origin & Meaning
Originating c. 1600 from Latin intensio/intentionem meaning "stretching, straining," the word signifies an action of stretching or exertion, reflecting its ...Missing: philosophy | Show results with:philosophy
[13]
Intentions and impositions (Chapter 23) - The Cambridge History of ...
In medieval philosophy, 'intention' is key to epistemology, logic, and semantics. It's associated with 'm'qul' and 'ma'na', and can be first or second ...Missing: intension etymology
[14]
Aristotle: Logic | Internet Encyclopedia of Philosophy
The aim of logic is the elaboration of a coherent system that allows us to investigate, classify, and evaluate good and bad forms of reasoning.Missing: intension | Show results with:intension
[15]
Hermeneutics - Stanford Encyclopedia of Philosophy
Dec 9, 2020 · Hermeneutics is the study of interpretation. Hermeneutics plays a role in a number of disciplines whose subject matter demands interpretative approaches.Missing: semiotics | Show results with:semiotics
[16]
[PDF] Peirce's Concept of Information
As Peirce points out, the terms used by many early Kantians for extension and intension [comprehension] were 'external and internal quantity' (W2: 72).
[17]
Ferdinand de Saussure's Sign Theory | Examples and Analysis
He argued signs consisted of two parts: the signifier (the physical form of the sign) and the signified (concept or meaning). The bond between the two is ...Missing: intension referent extension
[18]
[PDF] meaningandnecess033225mbp.pdf
problems. Page 7. MEANING AND NECESSITY. Page 8. Page 9. MEANING. AND NECESSITY. A. Study in Semantics and Modal. Logic. By RUDCJLF^C^RNAP. Professor of ...
[19]
[PDF] THE CALCULI OF LAMBDA-CONVERSION
The Calculi of Lambda-Conversion, by ALONZO CHURCH. 7 Finite Dimensional ... 6 (1941), p. 171. 110. J.B. Rosser, New sets of postulates for combinatory.
[20]
https://www.uvm.edu/~lderosse/courses/lang/Quine(1956).pdf
[21]
[PDF] Carnap and Natural Language Semantics
According to Carnap,. “Necessarily” is an intensional operator, which explains why co-extensional expressions are not substitutable in their scope. Carnap also ...<|control11|><|separator|>
[22]
Hyperintensional logic | Studia Logica
Cresswell, M.J. Hyperintensional logic. Stud Logica 34, 25–38 (1975). https://doi.org/10.1007/BF02314421. Download citation. Issue date: March 1975. DOI ...
[23]
[PDF] Intrinsicality and Hyperintensionality
This paper argues that none of these moves are legitimate. Furthermore ... hyperintensional distinctions among properties.1 Only a hyperintensional.
[24]
Frege's Problem: Referential Opacity
It involves the mental states of Lois Lane, who believes that Superman can fly. However, she does not know Superman is her coworker Clark Kent, and it is very ...Identity Elimination and Its... · Frege's Theory of Substitution...
[25]
Intensional Logic - Stanford Encyclopedia of Philosophy
Jul 6, 2006 · Intensional logic attempts to study both designation and meaning and investigate the relationships between them.
[26]
Intensional Transitive Verbs - Stanford Encyclopedia of Philosophy
Nov 3, 2004 · A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at least one of three ways.
[27]
[PDF] Meaning and Necessity 190 - A Study in Semantics and Modal Logic
Meaning and Necessity 190. A Study in Semantics and Modal Logic. By. RUDOLF CARNAP. THE UNIVERSITY OF CHICAGO PRESS. CHICAGO AND LONDON. Page 2. International ...
[28]
https://www.andrew.cmu.edu/user/kk3n/80-300/carnap-mn.pdf
[29]
[PDF] 1 Reason-Statements as Non-Extensional Contexts - PhilArchive
... extensional context, that statement remains true when we substitute co-referring terms. The name 'Samuel Clemens' refers to the same person as 'Mark Twain'.
[30]
[PDF] Event Location and Vagueness - PhilArchive
The terms 'Mount Everest' and 'the tallest mountain' are both vague, yet we are perfectly justified in assuming that they are co-referential. More ...
[31]
[PDF] Exact Truthmaking, Hyperintensionality, and Paradoxes
Oct 6, 2023 · examples of extensional contexts. Consider the case of conjunction. Paris is in France and two plus two is four is true, and so it is. One is ...<|separator|>
[32]
[PDF] Meaning and Reference Hilary Putnam The Journal of Philosophy ...
Oct 29, 2007 · "On Earth the word 'water' means H20." Note that there is no problem about the extension of the term. 'water': the word simply has two different ...
[33]
[PDF] saul a. kripke
The semantical completeness theorem we gave for modal propositional logic can be extended to the new systems. We can introduce existence as a predicate in the ...
[34]
[PDF] The Proper Treatment of Quantification in Ordinary English
Montague (1970b) contains a general theory of languages, their interpretations, and the inducing of interpretations by translation. The treatment given below, ...
[35]
[PDF] barendregt
Pure lambda calculus. Lambda calculus as treated in this book is not directed towards applica- tions as above, but is studied for its own interest. The ...
[36]
[PDF] Introduction to Pavel Tichý and Transparent Intensional Logic.
Pavel Tichý was a philosopher, semanticist, and logician. His most enduring work is Transparent Intensional Logic, a theory based on his work in semantics and ...
[37]
[PDF] LLMs' Understanding of Natural Language Revealed - arXiv
Jul 29, 2024 · ... intensional semantics'). It should be noted, here, that the underlying architecture of LLMs – namely that of deep neural networks (DNNs) is purely ...
[38]
[PDF] Neurosymbolic semantics
May 4, 2025 · This research establishes a linguistically grounded and cognitively plausible foundation for investigating reasoning and semantic representation ...<|control11|><|separator|>
[39]
Proximal intentions intentionalism | Philosophical Studies
Apr 4, 2024 · PI intentionalism is thought to make correct predictions about reference where less sophisticated forms of intentionalism make the wrong predictions.
[40]
Intensionality and Propositionalism - Annual Reviews
This article, titled 'Intensionality and Propositionalism', is by Kristina Liefke, published in Annual Review of Linguistics, Vol. 10, 2024, pages 85-105.