| ||
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 4929 fois | ||
Ensembles, logique formelle, axiomes
| Réponses à ce message : |
 14 Il s'enfermait toute la journée au fond d'son atelier pour faire des expériences - Mélophage (Sam 6 avr 2002 à 19:05) 15 D'ailleurs Michael le chat... - Estellanara (Lun 8 avr 2002 à 00:06) 15 Euh... - Daneel (Sam 6 avr 2002 à 23:43) 16 Y'a trois millions d'années que je dormais dans la tourbe - Mélophage (Mer 10 avr 2002 à 03:35) 17 Axiomes - Daneel (Mer 10 avr 2002 à 20:35) 18 Bonne influence - Mélophage (Jeu 11 avr 2002 à 04:27) 19 Vieille géronte cacochyme mélophage - Daneel (Jeu 11 avr 2002 à 10:19) 20 C'est bien le temps de chargement ça permet de comprendre l'objet - Mélophage (Jeu 11 avr 2002 à 13:09) 21 Hyperbolisation - Daneel (Ven 12 avr 2002 à 00:00) 22 A EFFACER - Daneel (Ven 12 avr 2002 à 20:04) 21 Hyperbolisation - Daneel (Ven 12 avr 2002 à 00:00) 22 Par pitié... - Mélophage (Ven 12 avr 2002 à 05:46) 21 Foetus en état de décomposotion B - Scytale (Jeu 11 avr 2002 à 14:19) 15 Précision - Fladnag (Sam 6 avr 2002 à 23:04) 16 hi, hi - kyle (Lun 8 avr 2002 à 15:27) |
Forum basé sur le Dalai Forum v1.03. Modifié et adapté par Fladnag