| 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
| |
| dbo:wikiPageLength
|
- 6888 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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 | |
