Principe de bivalenceLe principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente. Le principe de bivalence énonce que quelque chose est soit vrai, soit faux. Quelle que soit la proposition p, p est soit vraie, soit fausse. Le principe de bivalence rend les deux valeurs de vérité que sont le vrai et le faux conjointement exhaustifs.
Logique classiqueLa logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne.
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).
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 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.
Philosophie du processusLa philosophie du processus (ou l'ontologie du devenir) identifie la réalité métaphysique avec le changement et le développement. Depuis Platon (mais pas Aristote), de nombreux philosophes ont posé en principe la vraie réalité comme « éternelle », fondée sur les substances permanentes, tandis que les processus sont niés ou subordonnés aux substances éternelles. L'ontologie classique refuse toute réalité complète du changement, qui est conçu comme seulement accidentel et pas comme l'élément essentiel.
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.
DialethéismeLe dialethéisme est le point de vue selon lequel certaines propositions peuvent être à la fois vraies et fausses. Plus précisément, c'est la croyance qu'il peut y avoir une proposition vraie dont la négation est également vraie. Ces propositions sont appelées les « contradictions vraies », « dialethéia » ou non-dualismes. Le dialethéisme n'est pas un système formel ; il est, à la place, une thèse sur la vérité qui influe sur la construction d'une logique formelle, souvent basée sur des systèmes de préexistants.
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)].
Self-refuting ideaA self-refuting idea or self-defeating idea is an idea or statement whose falsehood is a logical consequence of the act or situation of holding them to be true. Many ideas are called self-refuting by their detractors, and such accusations are therefore almost always controversial, with defenders stating that the idea is being misunderstood or that the argument is invalid. For these reasons, none of the ideas below are unambiguously or incontrovertibly self-refuting.
