IntensionIn any of several fields of study that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word plant include properties such as "being composed of cellulose (not always true)", "alive", and "organism", among others. A comprehension is the collection of all such intensions.
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.
Philosophie du langageLa philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.
Descriptivist theory of namesIn the philosophy of language, the descriptivist theory of proper names (also descriptivist theory of reference) is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the mediated reference theory or Frege–Russell view.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Signification (philosophie)En philosophie la signification désigne un contenu de connaissance, non seulement le fond communicatif d'une expression de la langue (ce qui relève de la philosophie du langage), mais aussi le sens, la valeur, l'intention d'un geste, d'une pensée, d'un événement, d'une chose (ce qui relève de la métaphysique spéciale). Les problèmes commencent très vite. D'abord, la notion de signification forme constellation avec d'autres notions, mais lesquelles ? le choix est vaste : sens, non-sens, référence, signifiance, expression, représentation, vérité, contexte, etc.
Intensional logicIntensional 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. Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes).
ReferenceA reference is a relationship between objects in which one object designates, or acts as a means by which to connect to or link to, another object. The first object in this relation is said to refer to the second object. It is called a name for the second object. The next object, the one to which the first object refers, is called the referent of the first object. A name is usually a phrase or expression, or some other symbolic representation. Its referent may be anything – a material object, a person, an event, an activity, or an abstract concept.
Description définieUne description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »). À la différence du nom propre, une description définie ne nomme pas un objet, mais affirme, selon Russell, qu'il existe un et un seul objet qui satisfait cette description. Russell a développé l'idée de description définie dans l'article On denoting (1905), en opposition à la philosophie du langage frégéenne.
Éosphoros et HespérosDans la mythologie grecque, Éosphoros (, « porteur de la lumière de l'aurore ») et Hespéros (, « du soir ») sont deux frères qui personnifient l'« étoile du matin » (pour le premier) et l'« étoile du soir » (pour le second). Le premier représente la planète Vénus (visible un peu avant l'aurore), le second représente la même planète (visible après le crépuscule). Les Romains ont assimilé Éosphoros à leur Lucifer et Hespéros à leur Vesper. L'astre du matin, sous le nom d'Éosphoros (), apparaît pour la première fois dans Homère au chant XXIII, 226-227 de L'Iliade.
