About: Law of excluded middle

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Law of excluded middle Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Закон исключённого третьего (ru) Lagen om det uteslutna tredje (sv) Law of excluded middle (en) Principe du tiers exclu (fr) Tertium non datur (it) الثالث المرفوع (ar) 排中律 (zh)
rdfs:comment	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, (fr)
rdfs:seeAlso	https://www.britannica.com/topic/law-of-excluded-middle https://bigenc.ru/text/2022161 https://www.quora.com/topic/Law-of-Excluded-Middle
sameAs	Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle Law of excluded middle
Wikipage page ID	16608 (xsd:integer)
Wikipage revision ID	188425542 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Principe_logique Alternative dbpedia-fr:Analyse_constructive dbpedia-fr:Arend_Heyting dbpedia-fr:Aristote category-fr:Intuitionnisme category-fr:Logique_formelle Consequentia mirabilis dbpedia-fr:Contradiction dbpedia-fr:David_Hilbert dbpedia-fr:Disjonction_logique dbpedia-fr:Démonstration_constructive Immanuel Kant dbpedia-fr:Implication_(logique) dbpedia-fr:Logique dbpedia-fr:Logique_classique dbpedia-fr:Logique_formelle dbpedia-fr:Logique_intuitionniste dbpedia-fr:Loi_de_Peirce dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Métaphysique dbpedia-fr:Nombre_rationnel dbpedia-fr:Nombre_transcendant dbpedia-fr:Non-sens Parmenides dbpedia-fr:Philosophie Law of identity Principle of bivalence Law of noncontradiction dbpedia-fr:Proposition dbpedia-fr:Proposition_contraposée dbpedia-fr:Racine_carrée_de_deux Reductio ad absurdum Robert Blanché Tautology (logic) dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_de_Feit-Thompson Gelfond–Schneider theorem dbpedia-fr:Trichotomie_(mathématiques) Tetralemma dbpedia-fr:Éditions_Dunod dbpedia-fr:Mathématiques dbpedia-fr:Futurs_contingents
page length (characters) of wiki page	14159 (xsd:nonNegativeInteger)
dct:subject	category-fr:Principe_logique category-fr:Intuitionnisme category-fr:Logique_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:,

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software