| ||
De : Daneel  Date : Samedi 6 avril 2002 à 13:05:19 | ||
| Le premier raisonnement n'est pas correct. Il aurait éventuellement l'air correct pour quelqu'un qui n'y réfléchit pas du tout parce qu'il est présenté comme un problème de théorie des ensembles. Il est incorrect et donne un résultat faux. Que les ensembles {chats} et {socrate} soient des sous ensembles de {buveurs de lait} n'implique rien sur les intersections éventuelles de {chats} et de {socrate}. Le deuxième raisonnement est correct et conduit à un résultat juste. {chats} est inclus dans {qui marchent à 4 pattes}. Puisque {socrate} n'est pas inclus dans {qui marchent à 4 pattes}, {socrate} n'est pas inclus dans {chats}. Où sont les axiomes dans l'histoire ? Les mêmes axiomes (logique formelle) sont sensés être utilisés pour ces deux raisonnements, mais celui qui a fait le premier a commis une erreur. Tu sous entends alors que le premier raisonnement pourrait être correct avec un aute choix d'axiomes. Pour être correct, il faut (bien que ça ne suffise pas) que son résultat soit juste. Or, il est connu au départ que {socrate} n'est pas inclu dans {chats}. Comme le résultat dit que si, il y a contradiction. Pour que le raisonnement soit juste, il faut abandonner le premier axiome de la logique qui est : "une proposition est soit vraie, soit fausse". En effet, {socrate} serait à la fois inclus et exclus de {chats}. Reste à savoir si une telle logique te permet de réfléchir, d'arriver à des résultats exploitables, si elle a un intérêt. Daneel, qui sirote son jus de positrons matinal... Ce message a été lu 4936 fois |
Répondre à : Ensembles, logique formelle, axiomesForum basé sur le Dalai Forum v1.03. Modifié et adapté par Fladnag