Principe du tiers exclu
En 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. C'est un des principes de la logique classique. Au début de la formalisation des mathématiques, ce principe a été tenu comme un dogme intangible. D'ailleurs, David Hilbert, un de ses grands défenseurs, a écrit, Le tiers-exclu est souvent comparé au principe de non-contradiction qui affirme que les propositions p et non-p ne peuvent être simultanément vraies, c'est-à-dire que la conjonction « p et non-p » est nécessairement fausse. Dans sa Métaphysique, Aristote introduit le principe du tiers exclu comme complément du principe de non-contradiction. En philosophie, le principe du tiers exclu, comme le principe d'identité, a une double version, ontologique ou logique. La version ontologique rejette la notion de gradation dans l'être : il y a être, ou non-être, pas de demi-être. Parmi les deux propositions p et non-p (ou toute autre paire de propositions), en l'absence de système de logique formelle, on pourrait en théorie avoir l'un des trois cas suivants : p est vraie ou non-p est vraie, exclusivement ; p et non-p sont toutes deux vraies ; ni p ni non-p ne sont vraies. Le principe de non-contradiction qui fonde la logique formelle rejette le cas 2 pour une paire de propositions qui sont la négation logique l'une de l'autre : on ne peut penser p et non-p vraies à la fois. Le principe du tiers-exclu rejette le cas 3 : on ne peut penser que p ou non-p, il n'y a pas de troisième cas hypothétique. La « loi de l'alternative » (Robert Blanché) résulte de la conjonction du principe de non-contradiction et du principe du tiers exclu.
À propos de ce résultat
Structural Rewriting in XOR-Majority Graphs
Giovanni De Micheli, Mathias Soeken, Zhufei Chu
Search for associated production of a Higgs boson and a single top quark in proton-proton collisions at $\sqrt{s} =$ TeV
Jian Wang, Matthias Finger, Lesya Shchutska, Qian Wang, Matthias Wolf, Varun Sharma, Konstantin Androsov, Jan Steggemann, Leonardo Cristella, Xin Chen, Davide Di Croce, Mingkui Wang, João Miguel das Neves Duarte, Tagir Aushev, Tian Cheng, Yixing Chen, Werner Lustermann, Andromachi Tsirou, Alexis Kalogeropoulos, Andrea Rizzi, Ioannis Papadopoulos, Paolo Ronchese, Thomas Muller, Ho Ling Li, Giuseppe Codispoti, Hua Zhang, Siyuan Wang, Peter Hansen, Daniel Gonzalez, Tao Huang, David Vannerom, Michele Bianco, Kun Shi, Wei Shi, Abhisek Datta, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta, Zheng Wang, Sanjeev Kumar, Wei Li, Yong Yang, Yi Wang, Ajay Kumar, Ashish Sharma, Georgios Anagnostou, Joao Varela, Csaba Hajdu, Muhammad Ahmad, Ekaterina Kuznetsova, Ioannis Evangelou, Matthias Weber, Muhammad Shoaib, Milos Dordevic, Vineet Kumar, Vladimir Petrov, Francesco Fiori, Quentin Python, Meng Xiao, Hao Liu, Sourav Sen, Viktor Khristenko, Marco Trovato, Gurpreet Singh, Fan Xia, Xiao Wang, Bibhuprasad Mahakud, Jing Li, Rajat Gupta, Lei Feng, Muhammad Waqas, Hui Wang, Seungkyu Ha, Davide Cieri, Maren Tabea Meinhard, Giorgia Rauco, Ali Harb, Benjamin William Allen, Pratyush Das, Miao Hu, Lei Li, Amr Mohamed
Search for the Dark Photon and the Dark Higgs Boson at Belle
Olivier Schneider, Mingkui Wang, Chao Wang, Tagir Aushev, Sun Hee Kim, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta, Xiao Wang