Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Peirces_law> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Peirces_law abstract "In logic, Peirce's law is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. It can be thought of as the law of excluded middle written in a form that involves only one sort of connective, namely implication.In propositional calculus, Peirce's law says that ((P→Q)→P)→P. Written out, this means that P must be true if there is a proposition Q such that the truth of P follows from the truth of "if P then Q". In particular, when Q is taken to be a false formula, the law says that if P must be true whenever it implies falsity, then P is true. In this way Peirce's law implies the law of excluded middle.Peirce's law does not hold in intuitionistic logic or intermediate logics and cannot be deduced from the deduction theorem alone.Under the Curry–Howard isomorphism, Peirce's law is the type of continuation operators, e.g. call/cc in Scheme.".
- Peirces_law wikiPageID "47261948".
- Peirces_law wikiPageLength "6348".
- Peirces_law wikiPageOutDegree "29".
- Peirces_law wikiPageRevisionID "651748872".
- Peirces_law wikiPageWikiLink Affirming_the_consequent.
- Peirces_law wikiPageWikiLink Arthur_Burks.
- Peirces_law wikiPageWikiLink Arthur_W._Burks.
- Peirces_law wikiPageWikiLink Axiom.
- Peirces_law wikiPageWikiLink Call-with-current-continuation.
- Peirces_law wikiPageWikiLink cc.
- Peirces_law wikiPageWikiLink Category:Charles_Sanders_Peirce.
- Peirces_law wikiPageWikiLink Category:Intuitionism.
- Peirces_law wikiPageWikiLink Category:Mathematical_logic.
- Peirces_law wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Peirces_law wikiPageWikiLink Charles_Hartshorne.
- Peirces_law wikiPageWikiLink Charles_Sanders_Peirce.
- Peirces_law wikiPageWikiLink Continuation.
- Peirces_law wikiPageWikiLink Curry–Howard_correspondence.
- Peirces_law wikiPageWikiLink Curry–Howard_isomorphism.
- Peirces_law wikiPageWikiLink Deduction_theorem.
- Peirces_law wikiPageWikiLink Excluded_middle.
- Peirces_law wikiPageWikiLink Intermediate_logic.
- Peirces_law wikiPageWikiLink Intuitionistic_logic.
- Peirces_law wikiPageWikiLink Law_of_excluded_middle.
- Peirces_law wikiPageWikiLink Logic.
- Peirces_law wikiPageWikiLink Logical_consequence.
- Peirces_law wikiPageWikiLink Logician.
- Peirces_law wikiPageWikiLink Paul_Weiss_(philosopher).
- Peirces_law wikiPageWikiLink Philosopher.
- Peirces_law wikiPageWikiLink Propositional_calculus.
- Peirces_law wikiPageWikiLink Propositional_logic.
- Peirces_law wikiPageWikiLink Scheme_(programming_language).
- Peirces_law wikiPageWikiLink Tautology_(logic).
- Peirces_law wikiPageWikiLinkText "Peirce's law".
- Peirces_law wikiPageWikiLinkText "Peirce's law#Other proofs of Peirce's law".
- Peirces_law hasPhotoCollection Peirces_law.
- Peirces_law wikiPageUsesTemplate Template:Main.
- Peirces_law subject Category:Charles_Sanders_Peirce.
- Peirces_law subject Category:Intuitionism.
- Peirces_law subject Category:Mathematical_logic.
- Peirces_law subject Category:Theorems_in_propositional_logic.
- Peirces_law comment "In logic, Peirce's law is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. It can be thought of as the law of excluded middle written in a form that involves only one sort of connective, namely implication.In propositional calculus, Peirce's law says that ((P→Q)→P)→P.".
- Peirces_law label "Peirce's law".
- Peirces_law sameAs Loi_de_Peirce.
- Peirces_law sameAs パースの法則.
- Peirces_law sameAs Lei_de_Peirce.
- Peirces_law sameAs m.039_zt.
- Peirces_law sameAs Закон_Пирса.
- Peirces_law sameAs Пирсов_закон.
- Peirces_law sameAs Закон_Пірса.
- Peirces_law sameAs Q2387196.
- Peirces_law sameAs Q2387196.
- Peirces_law sameAs 皮尔士定律.
- Peirces_law wasDerivedFrom Peirces_lawoldid=651748872.
- Peirces_law isPrimaryTopicOf Peirces_law.