En logique, la loi de Peirce est la proposition où désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique.

Property Value
dbo:abstract
  • En logique, la loi de Peirce est la proposition où désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. (fr)
  • En logique, la loi de Peirce est la proposition où désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. (fr)
dbo:namedAfter
dbo:wikiPageID
  • 601156 (xsd:integer)
dbo:wikiPageLength
  • 6888 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190015965 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En logique, la loi de Peirce est la proposition où désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. (fr)
  • En logique, la loi de Peirce est la proposition où désigne l'implication. Elle a été proposée par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne possédant pas de référence explicite à la négation, la loi de Peirce est directement liée à la façon dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a équivalence entre loi de Peirce, règle d'élimination de la double négation ou principe du tiers exclu. L'ajout d'un seul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. (fr)
rdfs:label
  • Legge di Peirce (it)
  • Loi de Peirce (fr)
  • Закон Пірса (uk)
  • パースの法則 (ja)
  • Legge di Peirce (it)
  • Loi de Peirce (fr)
  • Закон Пірса (uk)
  • パースの法則 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of