Partager:
Explication de Modus Ponone Ponens et exemples
Lemodus ponendo ponens c'est un type d'argument logique, d'inférence raisonnée, appartenant au système formel des règles de déduction de la logique propositionnelle bien connue. Cette structure argumentative est le motif initial transmis dans la logique propositionnelle et est directement lié aux arguments conditionnels.
L'argumentmodus ponendo ponens il peut être vu comme un syllogisme à deux pattes, qui au lieu d'utiliser un troisième terme comme lien, utilise plutôt une phrase conditionnelle avec laquelle il relie l'élément antécédent à l'élément conséquent.
En sortant des conventions, on peut voir la modus ponendo ponens comme procédure (modus) des règles de déduction qui, au moyen de l’affirmation (mettre) d'un antécédent ou d'une référence (un élément précédent), parvient à affirmer (ponens) à un résultat ou à une conclusion (un élément ultérieur).
Cette formulation raisonnable part de deux propositions ou prémisses. Il cherche à en déduire une conclusion qui, bien qu'implicite et conditionnée dans l'argument, nécessite une double affirmation - du terme qui le précède et de lui-même - pour pouvoir être considérée comme une conséquence.
Index
- 1 origines
- 1.1 Étymologie
- 2 explication
- 3 exemples
- 3.1 Premier exemple
- 3.2 Deuxième exemple
- 3.3 Troisième exemple
- 4 variantes et exemples
- 4.1 Variante 1
- 4.2 Variante 2
- 4.3 Variante 3
- 4.4 Variante 4
- 5 Modus ponens, un chemin vers la logique
- 6 références
Les origines
Ce mode affirmatif, dans le cadre de l'application de la logique déductive, trouve son origine dans l'Antiquité. Apparu par la main du philosophe grec Aristote d'Estagira, le quatrième siècle avant JC. C.
Aristote soulevé avec le modus ponens comme on l'appelle également, pour obtenir une conclusion raisonnée en validant à la fois un précédent et une conséquence dans une prémisse. Dans ce processus, l'antécédent est éliminé, ne laissant que les conséquences.
Le penseur grec a voulu jeter les bases d'un raisonnement descriptif logique afin d'expliquer et de conceptualiser tous les phénomènes proches de l'existence de l'homme, produits de leur interaction avec l'environnement.
Étymologie
Le modus ponendo ponens Il a ses racines en latin. En espagnol, sa signification est: "une méthode qui affirme (affirme), affirme (affirme)", car, comme indiqué ci-dessus, elle est composée de deux éléments (un précédent et une conséquence) affirmatifs dans sa structuration.
Explication
En termes généraux, le modus ponendo ponens corrèle deux propositions: un antécédent de conditionnement auquel est appelé "P" et un conséquent conditionné qui reçoit le nom de "Q".
Il est important que la prémisse 1 présente toujours la forme de conditionnement "si-alors"; le "si" passe avant l'antécédent, et le "alors" va avant le conséquence.
Sa formulation est la suivante:
Prémisse 1: Si "P" alors "Q".
Prémisse 2: "P".
Conclusion: "Q".
Des exemples
Premier exemple
Prémisse 1: "Si tu veux réussir l'examen demain, alors tu dois étudier dur."
Prémisse 2: "Vous voulez passer l'examen demain".
En conclusion: "Par conséquent, vous devez beaucoup étudier."
Deuxième exemple
Prémisse 1: "Si vous voulez aller à l'école rapidement, alors vous devez suivre cette voie".
Prémisse 2: "Vous voulez aller à l'école rapidement."
En conclusion: "Par conséquent, vous devez prendre ce chemin."
Troisième exemple
Prémisse 1: "Si vous voulez manger du poisson, alors vous devriez faire vos courses au marché."
Prémisse 2: "Vous voulez manger du poisson."
En conclusion: "Par conséquent, vous devez aller acheter sur le marché"
Variantes et exemples
Le modus ponendo ponens peut présenter de petites variantes dans sa formulation. Ensuite, les quatre variantes les plus courantes avec leurs exemples respectifs seront présentées.
Variante 1
Prémisse 1: Si "P" alors "¬Q"
Prémisse 2: "P"
Conclusion: "¬Q"
Dans ce cas, le symbole "¬" ressemble à la négation de "Q"
Premier exemple
Prémisse 1: "Si vous continuez à manger de cette façon, vous n'atteindrez pas votre poids idéal."
Prémisse 2: "Vous mangez toujours comme ça."
Conclusion: "Par conséquent, vous n'atteindrez pas votre poids idéal".
Deuxième exemple
Prémisse 1: "Si vous continuez à manger autant de sel, vous ne pourrez pas contrôler l'hypertension."
Prémisse 2: "Vous mangez encore beaucoup de sel."
Conclusion: "Par conséquent, vous ne pourrez pas contrôler l'hypertension".
Troisième exemple
Prémisse 1: "Si vous regardez la route, vous ne vous perdrez pas."
Prémisse 2: "Vous regardez la route."
Conclusion: "Par conséquent, vous ne serez pas perdu."
Variante 2
Prémisse 1: Si "P" ^ "R" alors "Q"
Prémisse 2: "P" ^
Conclusion: "Q"
Dans ce cas, le symbole "^" fait allusion à la conjonction copulative "et", tandis que le "R" représente un autre antécédent ajouté pour valider "Q".C'est-à-dire que nous sommes en présence d'une double condition.
Premier exemple
Prémisse 1: "Si vous rentrez chez vous et apportez du pop-corn, nous verrons un film."
Prémisse 2: "Vous rentrez chez vous et apportez du pop-corn."
Conclusion: "Nous allons donc voir un film."
Deuxième exemple
Prémisse 1: "Si vous conduisez ivre et voyez le téléphone portable, alors vous allez vous écraser".
Prémisse 2: "Vous conduisez ivre et voyez le téléphone portable".
Conclusion: "Par conséquent, vous allez planter".
Troisième exemple
Prémisse 1: "Si vous buvez du café et mangez du chocolat, alors vous prenez soin de votre cœur".
Prémisse 2: "Buvez du café et mangez du chocolat."
Conclusion: "Par conséquent, vous prenez soin de votre coeur".
Variante 3
Prémisse 1: Si "¬P" alors "Q"
Prémisse 2: "¬P"
Conclusion: "Q"
Dans ce cas, le symbole "¬" ressemble à la négation de "P".
Premier exemple
Prémisse 1: "Si vous n'avez pas étudié les concurrences de voyelles, vous échouerez à l'examen de linguistique".
Prémisse 2: "Vous n'avez pas étudié les concurrences de voyelles".
Conclusion: "Par conséquent, vous échouerez à l'examen de linguistique".
Deuxième exemple
Prémisse 1: "Si vous ne donnez pas de nourriture à votre perroquet, alors il mourra."
Prémisse 2: "Vous ne donnez pas de nourriture à votre perroquet".
Conclusion: "Par conséquent, il mourra."
Troisième exemple
Prémisse 1: "Si vous ne buvez pas d’eau, vous serez déshydraté."
Prémisse 2: "Ne pas boire de l'eau."
Conclusion: "Par conséquent, vous allez être déshydraté."
Variante 4
Prémisse 1: Si "P" alors "Q" ^ "R"
Prémisse 2: "P"
Conclusion: "Q" ^ "R"
Dans ce cas, le symbole "^" se réfère à la conjonction copulative "et", tandis que le "R" représente une seconde conséquence de la proposition; par conséquent, un antécédent affirmera deux conséquences à la fois.
Premier exemple
Prémisse 1: "Si tu étais bien avec ta mère, alors ton père t'apportera une guitare et ses cordes."
Prémisse 2: "Tu étais bien avec ta mère."
Conclusion: "Par conséquent, votre père vous apportera une guitare et ses cordes".
Deuxième exemple
Prémisse 1: "Si vous pratiquez la natation, vous améliorerez votre endurance physique et perdrez du poids."
Prémisse 2: "Vous pratiquez la natation."
Conclusion: "Par conséquent, vous améliorerez votre endurance physique et perdrez du poids."
Troisième exemple
Prémisse 1: "Si vous avez lu cet article dans Lifeder, vous avez appris et vous êtes plus préparé".
Prémisse 2: "Vous avez lu cet article dans Lifeder".
Conclusion: "Par conséquent, vous avez appris et vous êtes plus préparé".
Modus ponens, un chemin vers la logique
Le modus ponens représente la première règle de la logique propositionnelle. C'est un concept qui, à partir de simples prémisses pour comprendre, ouvre la compréhension à un raisonnement plus profond.
Bien qu’elle soit l’une des ressources les plus utilisées dans le monde de la logique, elle ne peut être confondue avec une loi logique; c'est simplement une méthode pour l'élaboration de preuves déductives.
En supprimant un jugement des conclusions, le modus ponens évite l'agglutination et la concaténation extensive des éléments lors des déductions. Pour cette qualité, il est également appelé "règle de séparation".
Le modus ponendo ponens c'est une ressource indispensable à la pleine connaissance de la logique aristotélicienne.
Références
- Ferrater Mora, J. (1969). Dictionnaire de la philosophie. Buenos Aires: Hispanoteca. Extrait de: hispanoteca.eu.
- Modus met des ponens. (S. f.). Espagne: Webnode. Récupéré de: ley-de-inferencia5.webnode.es.
- Modus met des ponens. (S. f.). (n / a): Wikipedia. Extrait de: wikipedia.org.
- Règles d'inférence et d'équivalence. (S. f.). Mexique: UPAV. Récupéré de: universidadupav.edu.mx.
- Mazón, R. (2015). Mettre des ponens. Mexique: Super Mileto. Extrait de: supermileto.blogspot.com.