Problème des universauxEn métaphysique, le problème des universaux est la question de savoir si les propriétés existent, et si oui, ce qu'elles sont. Les propriétés sont des qualités ou relations que partagent deux ou plusieurs entités. Ces divers types de propriétés, telles que qualités et relations sont désignés sous le nom « universaux ». On peut par exemple imaginer trois porte-gobelets sur une table qui ont en commun la qualité d'« être circulaire » ou d'« illustrer la circularité » ou deux filles qui ont en commun d'« être la fille de Michel ».
PostmodernismePostmodernisme a pris deux significations antagonistes: Il a désigné d'abord en littérature, puis avec Jean-François Lyotard en philosophie, l'ultra-modernité conduisant au mouvement de la . Parmi les différents auteurs ayant utilisé cette notion en ce sens, le critique littéraire Federico de Onís opposait en 1934 précisément la littérature postmoderne à l'ultra-modernisme. Il désigne un mouvement artistique de réaction à la modernité en architecture, théorisé par le critique d'art Charles Jencks, qui engage une rupture ironique avec les conventions anhistoriquesVoyez: L'a-historicisme du Bauhaus et ses conséquences", par Bruno Zevi.
Karl PopperKarl Popper, né le à Vienne en Autriche et mort le à Londres (Croydon) au Royaume-Uni, est un enseignant et philosophe des sciences du , autrichien naturalisé britannique. Penseur anticonformiste, il a invité à la réflexion, au dialogue et à la confrontation des idées dans toutes ses œuvres. Il est célèbre pour ses positions épistémologiques, mais il a su porter un regard nouveau en politique et dans les sciences sociales. Il a collaboré à de hautes discussions avec les plus grands scientifiques de son époque.
AntiréalismeEn philosophie analytique, le terme antiréalisme décrit toute position impliquant le refus d'une réalité objective. Ainsi, on peut parler de l'antiréalisme à l'égard des , du passé, du futur, des universaux, des entités mathématiques (telles que les entiers naturels), des catégories morales, du monde matériel ou même de la pensée. Deux interprétations sont clairement distinctes mais souvent confondues.
Pragmatismethumb|right|Les pères fondateurs du pragmatisme de haut en bas et de gauche à droite : Charles Sanders Peirce, William James, John Dewey, George Herbert Mead. Le pragmatisme est une école philosophique américaine fondée par Charles Sanders Peirce à la fin du . La thèse principale de Peirce est que le sens d'une expression réside dans ses conséquences pratiques. Les principaux membres ultérieurs de l'école pragmatiste sont William James et John Dewey, James ayant popularisé le mot pragmatisme grâce à un cycle de conférences qui sera édité en 1907 dans un ouvrage intitulé Le Pragmatisme : Un nouveau nom pour d'anciennes manières de penser.
Théorie de la vérité-correspondanceLe théorie de la vérité-correspondance ou correspondantisme est une conception épistémologique selon laquelle la vérité ou la fausseté d'une proposition dépend de ses rapports avec le monde : une proposition sera dite vraie si elle décrit adéquatement un état de choses « réel ». L'expression de « vérité-correspondance » a émergé au , mais il s'agit là d'une conception classique en philosophie de la connaissance qu'on peut faire remonter à l'Antiquité grecque.
Modus ponensLe modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication. Elle consiste à affirmer une implication (« si A alors B ») et à poser ensuite l'antécédent (« or A ») pour en déduire le conséquent (« donc B »). Le terme modus ponens est une abréviation du latin modus ponendo ponens qui signifie « le mode qui, en posant, pose ». Il vient de ce qu'en posant (affirmant) A, on pose (affirme) B (ponendo est le gérondif du verbe ponere qui signifie poser, et ponens en est le participe présent).
RationalitéEn philosophie, en psychologie et en sociologie, la rationalité est un concept servant à définir et mesurer la capacité de raisonnement, telle qu'elle se manifeste dans un (ou des) comportement(s) humain(s). Plus précisément, le mot désigne la qualité de ce qui, dans l’ordre de la connaissance, est (c'est-à-dire relevant de l'usage de la raison, ou intellect) et de ce qui, plus rarement, dans l’ordre de la pratique, relève du raisonnable.
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.
Correction (logique)En logique, la forme d'une argumentation déductive est correcte si et seulement si elle est valide et que toutes ses prémisses sont effectivement vraies. En logique formelle, un système logique est correct si on peut lui associer une sémantique (on dit aussi un modèle) qui le justifie. La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. Le terme de correction peut ici être pris dans son sens de qualité de ce qui est correct.
