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).
FaitUn fait est un événement advenu ou advenant dans l'histoire d'un individu ou d'un groupe. Il est caractérisé par son extériorité, par opposition à une idée qui, elle, relève de l'intériorité. Un fait peut être naturel (exemples : une rivière qui coule, la naissance d'un enfant...) ou artificiel ; et dans ce cas, il peut être matériel (exemple : la création d'une machine) ou immatériel et composé lui-même de plusieurs faits (exemple : l'organisation du travail dans une entreprise).
Critique de la raison pureLa Critique de la raison pure, en allemand, Kritik der reinen Vernunft, est une œuvre d'Emmanuel Kant, publiée en 1781 et remaniée en 1787. Elle est considérée comme son œuvre majeure, la plus lue, peut-être la plus difficile, la plus commentée, la plus étudiée et la plus influente. Incomprise à son origine, elle donne rapidement prise à une littérature de controverse. Ce livre examine et confronte les possibilités et limites de la raison et de la métaphysique dans l'objectif d'.
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.