Extensional
In any of several fields of study that treat the use of signs — for example, in linguistics Linguistics is the science, scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure ..., logic, mathematics, semantics, semiotics, and philosophy of language — an extensional context (or transparent context) is a syntax, syntactic environment in which a sub-sentential expression ''e'' can be replaced by an expression with the same Extension (semantics), extension and without affecting the truth-value of the sentence as a whole. Extensional contexts are contrasted with opaque contexts where truth-preserving substitutions are not possible. Take the case of Clark Kent, who is secretly Superman. Suppose that Lois Lane fell out of a window and Superman caught her. Thus the sentence "Superman caught Lois Lane" is true. Because this ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Extensionalism
Extensionalism, in the philosophy of language, in logic and semantics, is the view that all languages or at least all scientific languages should be extensional. It has been described as the default option for the scientism in the nineteenth century and the result of the application of empiricistic inductive methodology to the problem of semantics. Concept The idea of extensionality is considered a form of reductionism with the way it holds that every meaningful and declarative sentence is equivalent to some extensional sentence. Rudolf Carnap (in his earlier work) and Willard Van Orman Quine were prominent proponents of this view. Carnap's thesis of extensionality is associated with the relation between extensional and nonextensional languages. According to the thinker, the former has simpler structures and constitutive rules than the latter so that it is possible to discuss exhaustively all scientific phenomena when using extensional language. The idea put forward by Richard M ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Extensional Definition
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 meaning or denotation to a term. Intensional definition An intensional definition gives meaning to a term by specifying necessary and sufficient conditions for when the term should be used. In the case of nouns, this is equivalent to specifying the properties that an object needs to have in order to be counted as a referent of the term. For example, an intensional definition of the word "bachelor" is "unmarried man". This definition is valid because being an unmarried man is both a necessary condition and a sufficient condition for being a bachelor: it is necessary because one cannot be a bachelor without being an unmarried man, and it is sufficient because any unmarried man is a bachelor.Cook, Roy T. "Intensional Definition". In ''A Dictionary of Philosophical Logic''. Edinburgh: Edinburgh University Press, 2009. 155. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Intensional 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. Overview Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes). Logic is not a closed, completed science, and presumably, it will never stop developing: the logical analysis can penetrate into varying depths of the language (sentences regarded as atomic, or splitting them to predicates applied to individual terms, or even revealing such fine logical structures like modal, temporal, dynamic, epistemic ones). In order to achieve its special goal, logic was forced to develop its own formal tools, mo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Extension (semantics)
In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — the extension of a concept, idea, or sign consists of the things to which it applies, in contrast with its comprehension or intension, which consists very roughly of the ideas, properties, or corresponding signs that are implied or suggested by the concept in question. In philosophical semantics or the philosophy of language, the 'extension' of a concept or expression is the set of things it extends to, or applies to, if it is the sort of concept or expression that a single object by itself can satisfy. Concepts and expressions of this sort are monadic or "one-place" concepts and expressions. So the extension of the word "dog" is the set of all (past, present and future) dogs in the world: the set includes Fido, Rover, Lassie, Rex, and so on. The extension of the phrase "Wikipedia reader" includes each person who ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Linguistics
Linguistics is the science, scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Linguistics is concerned with both the Cognition, cognitive and social aspects of language. It is considered a scientific field as well as an academic discipline; it has been classified as a social science, natural science, cognitive science,Thagard, PaulCognitive Science, The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.). or part of the humanities. Traditional areas of linguistic analysis correspond to phenomena found in human linguistic systems, such as syntax (rules governing the structure of sentences); semantics (meaning); Morphology (linguistics), morphology (structure of words); phonetics (speech sounds and equivalent gestures in sign languages); phonology (the abstract sound system of a particular ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Modal Operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non- truth-functional in the following sense: The truth-value of composite formulae sometimes depend on factors other than the actual truth-value of their components. In the case of alethic modal logic, a modal operator can be said to be truth-functional in another sense, namely, that of being sensitive only to the distribution of truth-values across possible worlds, actual or not. Finally, a modal operator is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied. See also Garson, James, "Modal Logic", The Stanford Encyclopedia of Philosophy (Summer 2021 Edition), Edward N. Zalta (ed.), URL = Syntax for modal operators The syntax rules for modal operators \Box an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosophy Of Language
In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein ('' Tractatus Logico-Philosophicus''), the Vienna Circle, logical positivists, and Willard Van Orman Quine. In continental philosophy, language is not studied as a separate discipline. Rather, it is an inextricable part of many other areas of thought, such as phenomenology, structural semiotics, language of mathematics, hermeneutics, existentialism, deconstruction and critical theory. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with Socrates, Plato, Aristotl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Propositional Attitude
A propositional attitude is a mental state held by an agent toward a proposition. Linguistically, propositional attitudes are denoted by a verb (e.g. "believed") governing an embedded "that" clause, for example, 'Sally believed that she had won'. Propositional attitudes are often assumed to be the fundamental units of thought and their contents, being propositions, are true or false from the perspective of the person. An agent can have different propositional attitudes toward the same proposition (e.g., "S believes that her ice-cream is cold," and "S fears that her ice-cream is cold"). Propositional attitudes have directions of fit: some are meant to reflect the world, others to influence it. One topic of central concern is the relation between the modalities of assertion and belief, perhaps with intention thrown in for good measure. For example, we frequently find ourselves faced with the question of whether or not a person's assertions conform to his or her beliefs. Disc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Opaque Context
An opaque context or referentially opaque context is a linguistic context in which it is not always possible to substitute "co-referential" expressions (expressions referring to the same object) without altering the truth of sentences. The expressions involved are usually grammatically singular terms. So, substitution of co-referential expressions into an opaque context does not always preserve truth. For example, "Lois believes x is a hero" is an opaque context because "Lois believes Superman is a hero" is true while "Lois believes Clark Kent is a hero" is false, even though 'Superman' and 'Clark Kent' are co-referential expressions. Usage The term is used in philosophical theories of reference, and is to be contrasted with referentially transparent context. In rough outline: *Opacity: "Mary believes that Cicero is a great orator" gives rise to an opaque context; although Cicero was also called 'Tully',Tully is anglicised historic name from Tullius, sourceKate Kearns: Semanti ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
De Dicto And De Re
''De dicto'' and ''de re'' are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in metaphysics and in philosophy of language. The literal translation of the phrase "''de dicto''" is "about what is said", whereas ''de re'' translates as "about the thing". The original meaning of the Latin locutions may help to elucidate the living meaning of the phrases, in the distinctions they mark. The distinction can be understood by examples of intensional contexts of which three are considered here: a context of thought, a context of desire, and a context of modality. Context of thought There are two possible interpretations of the sentence "Peter believes someone is out to get him". On one interpretation, 'someone' is unspecific and Peter suffers a general paranoia; he believes that it is true that a person is out to get him, but does not necessarily have any beliefs about ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Propositional Attitude
A propositional attitude is a mental state held by an agent toward a proposition. Linguistically, propositional attitudes are denoted by a verb (e.g. "believed") governing an embedded "that" clause, for example, 'Sally believed that she had won'. Propositional attitudes are often assumed to be the fundamental units of thought and their contents, being propositions, are true or false from the perspective of the person. An agent can have different propositional attitudes toward the same proposition (e.g., "S believes that her ice-cream is cold," and "S fears that her ice-cream is cold"). Propositional attitudes have directions of fit: some are meant to reflect the world, others to influence it. One topic of central concern is the relation between the modalities of assertion and belief, perhaps with intention thrown in for good measure. For example, we frequently find ourselves faced with the question of whether or not a person's assertions conform to his or her beliefs. Disc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a '' possible world''. A formula's truth value ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |