http://dbpedia.org/ontology/abstract
|
En logique formelle, le principe du tiers … 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, « Priver le mathématicien du tertium non datur [pas de troisième possibilité] serait enlever son télescope à l'astronome, son poing au boxeur. » 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. « p et non-p » est nécessairement fausse.
|
http://dbpedia.org/ontology/isPartOf
|
http://fr.dbpedia.org/resource/Logique_classique +
, http://fr.dbpedia.org/resource/%C3%89pist%C3%A9mologie +
|
http://dbpedia.org/ontology/wikiPageID
|
16608
|
http://dbpedia.org/ontology/wikiPageLength
|
14159
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
188425542
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Racine_carr%C3%A9e_de_deux +
, http://fr.dbpedia.org/resource/Tautologie +
, http://fr.dbpedia.org/resource/Consequentia_mirabilis +
, http://fr.dbpedia.org/resource/M%C3%A9taphysique +
, http://fr.dbpedia.org/resource/Nombre_transcendant +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Principe_logique +
, http://fr.dbpedia.org/resource/Arend_Heyting +
, http://fr.dbpedia.org/resource/D%C3%A9monstration_constructive +
, http://fr.dbpedia.org/resource/Aristote +
, http://fr.dbpedia.org/resource/Analyse_constructive +
, http://fr.dbpedia.org/resource/Lois_de_De_Morgan +
, http://fr.dbpedia.org/resource/Logique_classique +
, http://fr.dbpedia.org/resource/Parm%C3%A9nide +
, http://fr.dbpedia.org/resource/Principe_de_bivalence +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Intuitionnisme +
, http://fr.dbpedia.org/resource/Logique +
, http://fr.dbpedia.org/resource/Robert_Blanch%C3%A9 +
, http://fr.dbpedia.org/resource/David_Hilbert +
, http://fr.dbpedia.org/resource/Non-sens +
, http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Feit-Thompson +
, http://fr.dbpedia.org/resource/Logique_intuitionniste +
, http://fr.dbpedia.org/resource/Principe_de_non-contradiction +
, http://fr.dbpedia.org/resource/Logique_formelle +
, http://fr.dbpedia.org/resource/Loi_de_Peirce +
, http://fr.dbpedia.org/resource/Proposition +
, http://fr.dbpedia.org/resource/Futurs_contingents +
, http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Gelfond-Schneider +
, http://fr.dbpedia.org/resource/Proposition_contrapos%C3%A9e +
, http://fr.dbpedia.org/resource/Raisonnement_par_l%27absurde +
, http://fr.dbpedia.org/resource/Alternative +
, http://fr.dbpedia.org/resource/Emmanuel_Kant +
, http://fr.dbpedia.org/resource/Philosophie +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_formelle +
, http://fr.dbpedia.org/resource/Disjonction_logique +
, http://fr.dbpedia.org/resource/T%C3%A9tralemme +
, http://fr.dbpedia.org/resource/%C3%89ditions_Dunod +
, http://fr.dbpedia.org/resource/Math%C3%A9matiques +
, http://fr.dbpedia.org/resource/Trichotomie_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Implication_%28logique%29 +
, http://fr.dbpedia.org/resource/Nombre_rationnel +
, http://fr.dbpedia.org/resource/Contradiction +
, http://fr.dbpedia.org/resource/Principe_d%27identit%C3%A9 +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_types +
|
http://fr.dbpedia.org/property/année
|
2001
|
http://fr.dbpedia.org/property/isbn
|
2
|
http://fr.dbpedia.org/property/langue
|
fr
|
http://fr.dbpedia.org/property/lieu
|
Paris
|
http://fr.dbpedia.org/property/nom
|
Nour
, David
, Raffalli
|
http://fr.dbpedia.org/property/pagesTotales
|
352
|
http://fr.dbpedia.org/property/prénom
|
René
, Christophe
, Karim
|
http://fr.dbpedia.org/property/titre
|
Introduction à la logique. Théorie de la démonstration. Cours et exercices corrigés
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Exp +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Citation_bloc +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Refnec +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Ouvrage +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Sqrt +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%2C +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Mvar +
|
http://fr.dbpedia.org/property/éditeur
|
http://fr.dbpedia.org/resource/%C3%89ditions_Dunod +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Intuitionnisme +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_formelle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Principe_logique +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Principe_du_tiers_exclu?oldid=188425542&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Principe_du_tiers_exclu +
|
owl:sameAs |
http://zh.dbpedia.org/resource/%E6%8E%92%E4%B8%AD%E5%BE%8B +
, http://ru.dbpedia.org/resource/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD_%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D1%91%D0%BD%D0%BD%D0%BE%D0%B3%D0%BE_%D1%82%D1%80%D0%B5%D1%82%D1%8C%D0%B5%D0%B3%D0%BE +
, http://et.dbpedia.org/resource/V%C3%A4listatud_kolmanda_reegel +
, http://ko.dbpedia.org/resource/%EB%B0%B0%EC%A4%91%EB%A5%A0 +
, http://nl.dbpedia.org/resource/Wet_van_de_uitgesloten_derde +
, http://kk.dbpedia.org/resource/%D2%AE%D1%88%D1%96%D0%BD%D1%88%D1%96_%D0%B6%D0%BE%D2%9B%D2%9B%D0%B0_%D1%88%D1%8B%D2%93%D0%B0%D1%80%D1%83_%D0%B7%D0%B0%D2%A3%D1%8B +
, http://de.dbpedia.org/resource/Satz_vom_ausgeschlossenen_Dritten +
, http://www.wikidata.org/entity/Q468422 +
, http://fi.dbpedia.org/resource/Kolmannen_poissuljetun_laki +
, https://d-nb.info/gnd/4179179-4 +
, http://no.dbpedia.org/resource/Loven_om_den_ekskluderte_tredje +
, http://es.dbpedia.org/resource/Principio_del_tercero_excluido +
, http://pl.dbpedia.org/resource/Prawo_wy%C5%82%C4%85czonego_%C5%9Brodka +
, http://eo.dbpedia.org/resource/Le%C4%9Do_de_neekzisto_de_tria_eblo +
, http://fr.dbpedia.org/resource/Principe_du_tiers_exclu +
, http://fa.dbpedia.org/resource/%D8%A7%D8%B5%D9%84_%D8%B7%D8%B1%D8%AF_%D8%B4%D9%82_%D8%AB%D8%A7%D9%84%D8%AB +
, http://data.bnf.fr/ark:/12148/cb120453787#about +
, http://el.dbpedia.org/resource/%CE%91%CF%81%CF%87%CE%AE_%CE%B1%CF%80%CE%BF%CE%BA%CE%BB%CE%B5%CE%B9%CF%8C%CE%BC%CE%B5%CE%BD%CE%BF%CF%85_%CE%BC%CE%AD%CF%83%CE%BF%CF%85 +
, http://www.idref.fr/028665120/id +
, http://it.dbpedia.org/resource/Tertium_non_datur +
, http://sv.dbpedia.org/resource/Lagen_om_det_uteslutna_tredje +
, http://bg.dbpedia.org/resource/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD_%D0%B7%D0%B0_%D0%B8%D0%B7%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%BE%D1%82%D0%BE_%D1%82%D1%80%D0%B5%D1%82%D0%BE +
, http://ky.dbpedia.org/resource/%D2%AE%D1%87%D2%AF%D0%BD%D1%87%D2%AF%D0%BB%D2%AF%D0%BA%D1%82%D2%AF_%D1%87%D0%B5%D1%82%D0%BA%D0%B5_%D0%BA%D0%B0%D0%B3%D1%83%D1%83_%D0%BF%D1%80%D0%B8%D0%BD%D1%86%D0%B8%D0%B1%D0%B8 +
, http://dbpedia.org/resource/Law_of_excluded_middle +
, http://he.dbpedia.org/resource/%D7%A2%D7%A7%D7%A8%D7%95%D7%9F_%D7%94%D7%A9%D7%9C%D7%99%D7%A9%D7%99_%D7%94%D7%A0%D7%9E%D7%A0%D7%A2 +
, http://hu.dbpedia.org/resource/Kiz%C3%A1rt_harmadik_elve +
, http://pms.dbpedia.org/resource/Prinsipi_d%C3%ABl_ters_bar%C3%A0_f%C3%B2ra +
, http://da.dbpedia.org/resource/Den_udelukkede_midte +
, http://ma-graph.org/entity/137155000 +
, http://ja.dbpedia.org/resource/%E6%8E%92%E4%B8%AD%E5%BE%8B +
, http://simple.dbpedia.org/resource/Law_of_the_excluded_middle +
, http://ca.dbpedia.org/resource/Principi_del_tercer_excl%C3%B2s +
, http://g.co/kg/m/04gs1 +
, http://hy.dbpedia.org/resource/%D4%B5%D6%80%D6%80%D5%B8%D6%80%D5%A4%D5%AB_%D5%A2%D5%A1%D6%81%D5%A1%D5%BC%D5%B4%D5%A1%D5%B6_%D6%85%D6%80%D5%A5%D5%B6%D6%84 +
, http://cs.dbpedia.org/resource/Z%C3%A1kon_o_vylou%C4%8Den%C3%AD_t%C5%99et%C3%ADho +
, http://is.dbpedia.org/resource/L%C3%B6gm%C3%A1li%C3%B0_um_anna%C3%B0_tveggja +
, http://uk.dbpedia.org/resource/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD_%D0%B2%D0%B8%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%BE%D0%B3%D0%BE_%D1%82%D1%80%D0%B5%D1%82%D1%8C%D0%BE%D0%B3%D0%BE +
, http://pt.dbpedia.org/resource/Lei_do_terceiro_exclu%C3%ADdo +
, http://ar.dbpedia.org/resource/%D8%A7%D9%84%D8%AB%D8%A7%D9%84%D8%AB_%D8%A7%D9%84%D9%85%D8%B1%D9%81%D9%88%D8%B9 +
, http://eu.dbpedia.org/resource/Hirugarrena_baztertzearen_printzipio +
|
rdfs:comment |
En logique formelle, le principe du tiers … 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,ert, un de ses grands défenseurs, a écrit,
|
rdfs:label |
Principe du tiers exclu
, 排中律
, الثالث المرفوع
, Закон исключённого третьего
, Law of excluded middle
, Tertium non datur
, Lagen om det uteslutna tredje
|
rdfs:seeAlso |
https://bigenc.ru/text/2022161 +
, https://www.britannica.com/topic/law-of-excluded-middle +
, https://www.quora.com/topic/Law-of-Excluded-Middle +
|