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).
Principe d'identitéLe principe d'identité affirme qu'une chose, considérée sous un même rapport, est identique à elle-même. On l'exprime sous la forme : « ce qui est est » (A est A) et « ce qui n'est pas n'est pas » : il y a cohérence de l'être, la réalité a une certaine immuabilité, l'arbre reste arbre : il y a cohérence de la connaissance ou du langage, toute désignation doit conserver une permanence, le mot « arbre » doit désigner l'arbre. Le principe d'identité présente donc deux versions.
Principe de raison suffisanteLe principe de raison suffisante est un principe philosophique (ou axiome). Dans sa formulation originelle, par Leibniz, il affirme que « jamais rien n'arrive sans qu'il y ait une cause ou du moins une raison déterminante, c'est-à-dire qui puisse servir à rendre raison a priori pourquoi cela est existant plutôt que non existant et pourquoi cela est ainsi plutôt que de toute autre façon » (Théodicée, I, 44). Le principe de raison suffisante remonte au moins à Saint Thomas d'Aquin qui l'utilise dans la troisième voie pour démontrer l'existence de Dieu par la raison naturelle.
Principe d'identité des indiscernablesLe principe d'identité des indiscernables (ou principe des indiscernables) est un principe qui stipule que si deux particuliers possèdent les mêmes propriétés, alors ils sont identiques. Ce principe a d'abord été posé par Leibniz et est hautement controversé. Il ne doit pas être confondu avec sa converse, beaucoup plus largement acceptée : le principe d'indiscernabilité des identiques. Le principe d'identité des indiscernables s'exprime symboliquement : (x)(y) [(P)(Px ↔ Py) → (x = y)].
Trivialismealt=Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. »|vignette|Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. » Le trivialisme est la théorie logique selon laquelle toutes les propositions sont vraies, et toutes les contradictions de la forme « p et non p » (par exemple la boule est rouge et non rouge) sont vraies. En conséquence, un trivialiste est une personne qui estime que tout est vrai.
Principe de non-contradictionEn logique, le principe de non-contradiction est la loi qui interdit d'affirmer et nier à la fois le même terme ou la même proposition. Aristote ne nomme pas le principe de non-contradiction mais le définit ainsi dans Métaphysique : « Il est impossible qu’un même attribut appartienne et n’appartienne pas en même temps et sous le même rapport à une même chose ». Assurément, une chose peut être blanche aujourd’hui ou d’une autre couleur demain. De même, cette chose est plus grande ou plus petite qu’une autre à un moment donné.
Logique ternaireLa logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU. Dans la logique ternaire de Stephen Cole Kleene, les tables de vérité des fonctions de base sont les suivantes : D'une certaine manière, ces propriétés correspondent à l'intuition : par exemple, si on ignore si A est vrai ou faux, son inverse est tout aussi incertain. Les autres fonctions logiques se déduisent de par leur définition, la distributivité continuant à s'appliquer.
PenséeAu sens large du terme, penser est une activité psychique, consciente dans son ensemble (mais parfois incontrôlée), qui recouvre les processus par lesquels sont élaborées, en réponse aux perceptions venues des sens, la synthèse des images et des sensations réelles et imaginaires qui produisent les concepts que l'être humain associe pour apprendre, créer, agir et communiquer dans la réalité. Penser vient du bas latin « pensare » (en latin classique : peser, comparer), fréquentatif du verbe « pendere » : peser.
Second-order logicIn logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle).
Principe du tiers excluEn logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité n'est pas accordée] , ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie. Par exemple, Socrate est vivant ou mort, et il n'y a pas de cas intermédiaire entre ces deux états de Socrate, c'est pourquoi on parle de « tiers-exclu » : tous les autres cas de figure sont nécessairement exclus.
