Concept
Intension
Concepts associés (11)
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. Logic is the study of proof and deduction as manifested in language (abstracting from any underlying psychological or biological processes).
Sens et Dénotation
Sens et Dénotation (Über Sinn und Bedeutung), aussi traduit par Sens et Référence, est un article de Gottlob Frege publié en 1892 dans la revue Zeitschrift für Philosophie und philosophische Kritik. Les notions qui y sont définies, le sens (Sinn) et la dénotation (Bedeutung ; aussi traduit par « vouloir-dire » ou par « référence »), ont été déterminantes pour la constitution du domaine de la sémantique formelle d'inspiration logique. À ce titre, l'article est aussi généralement considéré comme l'un des textes fondateurs de la philosophie analytique.
Philosophie du langage
La 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.
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.
Intension et extension
En logique, l’intension (ou « compréhension ») et l’extension sont deux façons de définir un concept. L'intension d'un concept est sa définition. Par exemple, l'intension de « chat » est : « animal à quatre pattes de la famille des félins ». L'extension est l'ensemble des choses auxquelles l'intension (la définition) s'applique. Par exemple : mon chat, le chat de mon voisin, les chats siamois, etc.
Dénotation et connotation
En linguistique, pour un signe quelconque (en particulier des mots et expressions du langage parlé ou écrit), le sens signifié dénotatif, la dénotation, est distinct du sens ou signifié connotatif, la connotation. La dénotation est le sens littéral d'un terme, que l'on peut définir (et trouver dans le dictionnaire). La connotation est l'ensemble des éléments de sens qui peuvent s'ajouter à ce sens littéral (et qui peuvent se trouver ou non dans le dictionnaire).
Extension (predicate logic)
The extension of a predicate a truth-valued function is the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation. For example, the statement "d2 is the weekday following d1" can be seen as a truth function associating to each tuple (d2, d1) the value true or false. The extension of this truth function is, by convention, the set of all such tuples associated with the value true, i.e.
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.
Logique
La 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).
Concept (philosophie)
En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition. En linguistique, le concept représente le signifié, c'est-à-dire le sens du mot, tandis que le mot lui-même constitue son signifiant. Le concept est un terme abstrait qui se distingue donc de la chose désignée par ce concept. Le terme lui-même est introduit au Moyen Âge (conceptus) par Thomas d'Aquin puis Guillaume d'Ockham et les autres philosophes scolastiques .