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.
Analytic–synthetic distinctionThe analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
Théorie vérificationniste de la significationLa théorie vérificationniste de la signification, ou Vérificationnisme (en allemand Verifikationismus) est une conception épistémologique affirmant qu'un énoncé n'a de signification cognitive, c'est-à-dire n'est susceptible d'être vrai ou faux, que s'il est vérifiable par l'expérience : c'est pourquoi on parle aussi d'empirisme logique. Les autres énoncés sont soit analytiques, et « vides de sens » (sinnlos), soit synthétiques mais non vérifiables par l'expérience, et donc « absurdes » (unsinnig).
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.
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
