Explication et exemples de Modus Ponendo Ponens

3443
Jonah Lester

le modus mettant des poneys C'est un type d'argument logique, d'inférence raisonnée, appartenant au système formel de règles de déduction de la logique propositionnelle bien connue. Cette structure argumentative est la ligne directrice initiale qui est transmise dans la logique propositionnelle et est directement liée aux arguments conditionnels..

L'argument modus mettant des poneys Il peut être vu 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'élément antécédent à l'élément conséquent.

Aristote, père de la logique philosophique

En quittant les conventionnalismes, nous pouvons voir le modus mettant des poneys comme procéduremodus) des règles de déduction, qu'au moyen de l'affirmation (en mettant) d'un antécédent ou d'une référence (un élément précédent), parvient à affirmer (mettre) à une conséquence ou une conclusion (un élément ultérieur).

Cette formulation raisonnable part de deux propositions ou prémisses. Il cherche à pouvoir en déduire une conclusion qui, bien qu'implicite et conditionnée dans l'argumentation, nécessite une double affirmation - à la fois du terme qui le précède et de lui-même - pour être considérée comme.

Index des articles

  • 1 Origines
    • 1.1 Etymologie
  • 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

origines

Ce mode affirmatif, dans le cadre de l'application de la logique déductive, trouve ses origines dans l'Antiquité. Il est apparu de la main du philosophe grec Aristote de Estagira, du 4ème siècle avant JC. C.

Aristote a posé avec le modus ponens -comme on l'appelle aussi - obtenir une conclusion motivée en validant à la fois un précédent et un conséquent dans une prémisse. Dans ce processus, l'antécédent est éliminé, ne laissant que le conséquent.

Le penseur hellénique a voulu poser les bases 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.

Étymologie

le modus mettant des poneys a ses racines en latin. Dans la langue espagnole, son sens est: «une méthode qui affirme (affirmer), affirme (affirme)», car, comme indiqué précédemment, elle est composée de deux éléments (un antécédent et un conséquent) affirmatifs dans sa structuration.

Explication

De manière générale, le modus mettant des poneys corrèle deux propositions: un antécédent de conditionnement appelé "P" et un conséquent conditionné appelé "Q".

Il est important que la prémisse 1 ait toujours la forme de conditionnement "si-alors"; le "si" est antérieur à l'antécédent, et le "alors" est antérieur au conséquent.

Sa formulation est la suivante:

Prémisse 1: Si "P" alors "Q".

Prémisse 2: "P".

Conclusion: "Q".

Exemples

Premier exemple

Prémisse 1: "Si vous voulez réussir l'examen demain, vous devez étudier dur".

Prémisse 2: "Vous voulez réussir l'examen demain".

Conclusion: "Par conséquent, vous devez étudier dur".

Deuxième exemple

Prémisse 1: "Si vous voulez aller vite à l'école, vous devez emprunter cette voie".

Prémisse 2: "Vous voulez aller vite à l'école".

Conclusion: "Par conséquent, vous devez emprunter cette voie".

Troisième exemple

Prémisse 1: "Si vous voulez manger du poisson, vous devriez aller faire vos courses au marché".

Prémisse 2: "Vous voulez manger du poisson".

Conclusion: "Par conséquent, vous devez aller acheter sur le marché"

Variantes et exemples

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

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 continuez à manger de cette façon".

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 votre 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 connaissez la route, vous ne vous perdrez pas".

Prémisse 2: "Vous êtes conscient de la route".

Conclusion: "Par conséquent, vous ne vous perdrez pas".

Variante 2

Prémisse 1: Si «P» ^ «R» alors «Q»

Prémisse 2: «P» ^

Conclusion: "Q"

Dans ce cas, le symbole "^" fait référence à la conjonction copulative "et", tandis que le "R" en vient à représenter un autre antécédent qui s'ajoute pour valider "Q". Autrement dit, nous sommes en présence d'un double conditionneur.

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: "Par conséquent, nous allons voir un film".

Deuxième exemple

Prémisse 1: "Si vous conduisez ivre et que vous regardez votre téléphone portable, vous vous écraserez".

Prémisse 2: "Vous conduisez ivre et regardez votre 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, vous prenez soin de votre cœur".

Prémisse 2: "Vous buvez du café et mangez du chocolat".

Conclusion: "Par conséquent, vous prenez soin de votre cœur".

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 nourrissez pas votre perroquet, il mourra".

Prémisse 2: "Vous ne nourrissez pas votre perroquet".

Conclusion: "Par conséquent, il mourra".

Troisième exemple

Prémisse 1: "Si vous ne buvez pas d'eau, vous deviendrez déshydraté".

Prémisse 2: "Vous ne buvez pas d'eau".

Conclusion: "Par conséquent, vous deviendrez déshydraté".

Variante 4

Prémisse 1: Si "P" alors "Q" ^ "R"

Prémisse 2: "P"

Conclusion: "Q" ^ "R"

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

Premier exemple

Prémisse 1: "Si vous avez été gentil avec votre mère, votre père vous apportera une guitare et ses cordes".

Prémisse 2: "Tu as été bon avec ta mère".

Conclusion: "Donc ton père t'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 perdrez du poids".

Prémisse 2: "Vous pratiquez la natation".

Conclusion: "Par conséquent, vous améliorerez votre résistance physique et perdrez du poids".

Troisième exemple

Prémisse 1: "Si vous avez lu cet article dans Lifeder, alors vous avez appris et êtes mieux préparé".

Prémisse 2: "Vous avez lu cet article dans Lifeder".

Conclusion: "Par conséquent, vous avez appris et vous êtes mieux 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, partant de simples prémisses à 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 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 évite une agglutination et une concaténation importantes des éléments lors des déductions. Pour cette qualité, on l'appelle aussi "règle de séparation".

le modus mettant des poneys est une ressource indispensable pour une pleine connaissance de la logique aristotélicienne.

Les références

  1. Ferrater Mora, J. (1969). Dictionnaire de philosophie. Buenos Aires: Hispanoteca. Récupéré de: hispanoteca.eu.
  2. Modus mettant des poneys. (S. f.). Espagne: Webnode. Récupéré de: law-de-inferencia5.webnode.es.
  3. Modus mettant des poneys. (S. f.). (n / a): Wikipédia. Récupéré de: wikipedia.org.
  4. Règles d'inférence et d'équivalence. (S. f.). Mexique: UPAV. Récupéré de: universidadupav.edu.mx.
  5. Mazón, R. (2015). Mettre des poneys. Mexique: Super Mileto. Récupéré de: supermileto.blogspot.com.

Personne n'a encore commenté ce post.