Concept
Contradiction
Concepts associés (23)
Carré logique
Le carré logique ci contre représente les oppositions logiques entre les quatre propositions : Proposition notée A, universelle affirmative : « tous les S sont P » (SaP : S are all P) Proposition notée E, universelle négative : « aucun S n'est P » ou « tous les S sont non-P » (SeP : S excluded from P) Proposition notée I, particulière affirmative : « au moins un S est P » (SiP : some S in P). Proposition notée O, particulière négative : « au moins un S est non-P » (SoP : some S out of P), qui exprime la précédente négativement.
Graham Priest
Graham Priest, né en 1948, est un philosophe et un logicien contemporain à la double nationalité britannique et australienne. Spécialiste des logiques non-classiques, il est l’un des pionniers de la paraconsistance moderne. Il est actuellement Professeur distingué de philosophie au Centre d’études supérieures de la City University of New York et Professeur émérite de la Chaire de philosophie Boyce Gibson à l’Université de Melbourne. Issu d’un milieu ouvrier, Graham Priest est né et a grandi dans le Sud de Londres.
Trivialisme
alt=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.