Modus mettant des ponens

Aristote, père de la logique philosophique

Quel est le Modus mettant des ponens?

Il Modus mettant des ponens Il s'agit d'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 connue. Cette structure argumentative est la directive initiale qui est transmise dans la logique propositionnelle et est directement liée aux arguments conditionnels.

L'argument Modus mettant des ponens Il peut être considéré comme un syllogisme à deux pattes, qui au lieu d'utiliser un troisième terme qui sert de lien, utilise plutôt une phrase conditionnelle avec laquelle il relie l'arrière-plan de l'élément à l'élément consécutif.

Laissant des conventions, nous pouvons voir le Modus mettant des ponens comme procédure (modus) des normes de déduction qui, par le biais de l'affirmation (en mettant) d'un antécédent ou d'une référence (un élément antérieur), parvient à affirmer (Ponens) à une conclusion conséquente (un élément ultérieur).

Cette formulation raisonnable de deux propositions ou locaux. Il cherche à être en mesure de déduire par ces derniers une conclusion selon laquelle, bien qu'il soit implicite et conditionné dans l'argument, nécessite une double déclaration - à la fois le terme qui se précède - être en mesure de devenir considéré comme une conséquence.

origines

Ce mode affirmatif, dans le cadre de l'application de la logique déductive, a ses origines dans les temps anciens. Est apparu de la main du philosophe grec Aristote d'Estagira, du quatrième siècle à. C.

Aristote élevé avec le Modus ponens -comme on l'appelle également - pour obtenir une conclusion motivée par la validation d'un précédent et une conséquence dans une prémisse. Dans ce processus, l'antécédent est éliminé, n'étant que le suivant.

Le penseur hellénique voulait jeter les fondations d'un raisonnement logique descriptif afin d'expliquer et de conceptualiser tous les phénomènes proches de l'existence de l'homme, produit de son interaction avec l'environnement.

Peut vous servir: pensée mythique: origine, caractéristiques, exemples

Étymologie

Il Modus mettant des ponens a ses racines en latin. Dans la langue espagnole, sa signification est: "une méthode qui affirmant (affirmant), dit (affirme)", parce que, comme indiqué ci-dessus, il se compose de deux éléments (un antécédent et un conséquent) affirmatif dans sa structuration.

Explication

En termes généraux, le Modus mettant des ponens Corrélation Deux propositions: un antécédent vers le haut qui est appelé "P" et un conditionné conséquente qui est appelé "Q".

Il est important que la prémisse 1 présente toujours le formulaire de conditionnement "SI-Even"; Le "oui" est avant l'anticedent, et le "alors" est avant le conséquent.

Sa formulation est la suivante:

• Prémisse 1: oui "p" puis "Q".
• Prémisse 2: "P".
• Conclusion: "Q".

Exemples

Premier exemple

• Prémisse 1: "Si vous voulez passer l'examen de demain, alors vous devez étudier beaucoup".
• Prémisse 2: "Vous voulez passer l'examen de demain".
• Concluante: "Par conséquent, vous devez étudier beaucoup".

Deuxième exemple

• Prémisse 1: "Si vous voulez vous rendre rapidement à l'école, vous devez prendre ce chemin".
• Prémisse 2: "Vous voulez vous rendre rapidement à l'école".
• CONCUSION: "Par conséquent, vous devez suivre ce chemin".

Troisième exemple

• Prémisse 1: "Si vous voulez manger du poisson, vous devez aller acheter sur le marché".
• Prémisse 2: "Vous voulez manger du poisson".
• Conclusion: "Par conséquent, vous devez aller acheter sur le marché".

Variantes et exemples

Il Modus mettant des ponens peut présenter de petites variantes dans sa formulation. Les quatre variantes les plus courantes seront présentées ci-dessous avec leurs exemples respectifs.

Variante 1

• Prémisse 1: oui "p" alors "¬q".
• Prémisse 2: "P".
• Conclusion: "¬q".

Dans ce cas, le symbole "¬" ressemble au déni de "Q".

Premier exemple

• Prémisse 1: "Si vous continuez à manger de cette façon, vous n'obtiendrez pas votre poids idéal".
• Prémisse 2: "Vous continuez à manger de cette façon".
• Conclusion: "Par conséquent, vous n'obtiendrez pas votre poids idéal".

Peut vous servir: 13 exemples de problèmes éthiques dans le monde

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 continuez à manger autant de sel".
• Conclusion: "Par conséquent, vous ne pourrez pas contrôler l'hypertension".

Troisième exemple

• Prémisse 1: "Si vous êtes en attente de la voie, alors vous ne manquerez pas".
• Prémisse 2: "Vous êtes en attente de la voie".
• Conclusion: "Par conséquent, vous ne manquerez pas".

Variante 2

• Prémisse 1: oui "p" ^ "r" puis "q".
• Prémisse 2: "p" ^.
• Conclusion: "Q".

Dans ce cas, le symbole "^" fait allusion à la conjonction copulative "y", tandis que le "R" vient représenter un autre antécédent qui est ajouté pour valider "Q". C'est-à-dire que nous sommes en présence d'un double conditionnement.

Premier exemple

• Prémisse 1: "Si vous rentrez à la maison et apportez du pop-corn, alors nous verrons un film".
• Prémisse 2: "Vous rentrez chez vous et apportez du pop-corn".
• Conclusion: "Par conséquent, nous verrons un film".

Deuxième exemple

• Prémisse 1: "Si vous conduisez et voyez le téléphone portable, vous entrerez en collision".
• Prémisse 2: "Vous conduisez ivre et regardez le téléphone portable".
• Conclusion: "Par conséquent, vous entrerez en collision".

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: "Vous prenez du café et mangez du chocolat".
• Conclusion: "Par conséquent, vous prenez soin de votre cœur".

Variante 3

• Prémisse 1: Oui "¬p" puis "Q"
• Prémisse 2: "¬p"
• Conclusion: "Q"

Dans ce cas, le symbole "¬" ressemble au déni de "P".

Premier exemple

• Prémisse 1: "Si vous n'avez pas étudié les concurrences vocales, alors vous répartirez l'examen linguistique".
• Prémisse 2: "Vous n'avez pas étudié les concurrences vocales".
• Conclusion: "Par conséquent, vous échouerez à l'examen linguistique".

Deuxième exemple

• Prémisse 1: "Si vous ne donnez pas de nourriture à votre perroquet, alors mourez".
• Prémisse 2: "Ne donnez pas de nourriture à votre perroquet".
• Conclusion: "Par conséquent, il mourra".

Peut vous servir: responsabilité éthique

Troisième exemple

• Prémisse 1: "Si vous ne buvez pas d'eau, alors vous déshydèrez".
• Prémisse 2: "Ne buvez pas d'eau".
• Conclusion: "Par conséquent, vous se déshydraterez".

Variante 4

• Prémisse 1: oui "p" alors "q" ^ "r"
• Prémisse 2: "P"
• Conclusion: "q" ^ "r".

Dans ce cas, le symbole «^» fait référence à la conjonction copulative «y», tandis que le «R» représente un deuxième conséquent dans la proposition; Par conséquent, un antécédent affirmera deux conséquences en même temps.

Premier exemple

• Prémisse 1: "Si vous étiez bon avec votre mère, alors votre père vous apportera une guitare et ses cordes".
• Prémisse 2: "Tu étais bon 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 résistance physique et perdez du poids".
• Prémisse 2: "Vous pratiquez la natation".
• Conclusion: "Par conséquent, vous améliorerez votre résistance physique et perdez du poids".

Troisième exemple

• Premisse 1: "Si vous avez lu cet article dans Lofede, alors vous avez appris et que vous êtes plus préparé".
• Prémisse 2: "Vous avez lu cet article dans Lofede".
• Conclusion: "Par conséquent, vous avez appris et vous êtes plus préparé".

Modus ponens, Un chemin vers la logique

Il Modus ponens représente la première règle de logique propositionnelle. C'est un concept qui, basé sur des prémisses simples de compréhension, ouvre la compréhension du raisonnement le plus profond.

En dépit d'être l'une des ressources les plus utilisées dans le monde de la logique, elle ne peut pas être confondue avec une loi logique; C'est simplement une méthode pour l'élaboration de preuves déductives.

En supprimant une phrase des conclusions, le Modus ponens Évitez l'agglutination et la concaténation approfondie des éléments lors de la préparation des déductions. Pour cette qualité, il est également appelé "règle de séparation".

Il Modus mettant des ponens Il s'agit d'une ressource indispensable pour la pleine connaissance de la logique aristotélicienne.