- opprinnelse
- etymologi
- Forklaring
- eksempler
- Første eksempel
- Andre eksempel
- Tredje eksempel
- Varianter og eksempler
- Variant 1
- Første eksempel
- Andre eksempel
- Tredje eksempel
- Variant 2
- Første eksempel
- Andre eksempel
- Tredje eksempel
- Variant 3
- Første eksempel
- Andre eksempel
- Tredje eksempel
- Variant 4
- Første eksempel
- Andre eksempel
- Tredje eksempel
- referanser
De modus ponendo ponens er en type logisk argument, av begrunnet slutning, som tilhører den formelle system med fradrag reglene i den velkjente -basert utsagnslogikk. Denne argumenterende strukturen er den første retningslinjen som overføres i proposisjonell logikk og er direkte relatert til betingede argumenter.
Argumentet modus ponendo ponens kan sees på som en tobeint syllogisme, som i stedet for å bruke et tredje begrep som fungerer som en kobling, snarere bruker en betinget setning som den relaterer det forfølgende elementet til det påfølgende elementet.

Aristoteles, far til filosofisk logikk
Når vi forlater konvensjonelle forhold, kan vi se modus ponendo ponens som en prosedyre (modus) av fradragsreglene, som gjennom påstanden (puttering) av en forutgående eller referanse (et tidligere element), klarer å hevde (ponens) til en konsekvens eller konklusjon (et senere element).
Denne fornuftige formuleringen starter fra to proposisjoner eller premisser. Den søker å være i stand til å trekke gjennom disse en konklusjon om at til tross for at de er implisitte og betingede i argumentasjonen, krever en dobbelt bekreftelse - begge deler av begrepet som går foran det og av seg selv - for å bli betraktet som en konsekvens.
opprinnelse
Denne bekreftende modusen, som en del av anvendelsen av deduktiv logikk, har sin opprinnelse i antikken. Det dukket opp fra hånden til den greske filosofen Aristoteles de Estagira, fra det 4. århundre f.Kr. C.
Aristoteles foreslo med modus ponens - som det også kalles - få en begrunnet konklusjon gjennom validering av både en presedens og en konsekvens i en forutsetning. I denne prosessen elimineres antecedenten, og bare etterlater følget.
Den helleniske tenkeren ønsket å legge grunnlaget for beskrivende logisk resonnement for å forklare og konseptualisere alle fenomenene i nærheten av menneskets eksistens, et produkt av hans samspill med miljøet.
etymologi
Modus ponendo ponens har sine røtter på latin. På det spanske språket er betydningen: "en metode som bekrefter (hevder), bekrefter (hevder)", fordi den, som tidligere nevnt, består av to elementer (en antecedent og en følgelig) bekreftende i sin strukturering.
Forklaring
Generelt sett korrelerer modus ponendo ponens to proposisjoner: en kondisjonerende antecedent kalt "P" og en betinget konsekvens som kalles "Q".
Det er viktig at premiss 1 alltid har konditioneringsformen "hvis-da"; "hvis" er før det foregående, og "da" er før det påfølgende.
Formuleringen er som følger:
Premiss 1: Hvis "P" så "Q".
Premiss 2: "P".
Konklusjon: "Q".
eksempler
Første eksempel
Premiss 1: "Hvis du vil bestå eksamen i morgen, må du studere hardt."
Premiss 2: "Du vil bestå eksamen i morgen."
Avgjørende: "Derfor må du studere hardt."
Andre eksempel
Premiss 1: "Hvis du vil komme raskt til skolen, må du ta den veien."
Premiss 2: "Du vil komme raskt til skolen."
Avsluttende: "Derfor må du ta den veien."
Tredje eksempel
Premiss 1: "Hvis du vil spise fisk, bør du handle på markedet."
Premiss 2: "Du vil spise fisk."
Avsluttende: "Derfor må du kjøpe og kjøpe i markedet"
Varianter og eksempler
Mode ponendo ponens kan presentere små variasjoner i dens formulering. De fire vanligste variantene med sine respektive eksempler vil bli presentert nedenfor.
Variant 1
Premiss 1: Hvis "P" så "¬Q"
Premiss 2: "P"
Konklusjon: "¬Q"
I dette tilfellet ligner symbolet "¬" negasjonen av "Q"
Første eksempel
Premiss 1: "Hvis du fortsetter å spise på den måten, vil du ikke nå din idealvekt."
Premiss 2: "Du fortsetter å spise på den måten."
Konklusjon: "Derfor vil du ikke oppnå din idealvekt."
Andre eksempel
Premiss 1: "Hvis du fortsetter å spise så mye salt, vil du ikke kunne kontrollere hypertensjonen din."
Premiss 2: "Du spiser så mye salt."
Konklusjon: "Derfor vil du ikke kunne kontrollere hypertensjon."
Tredje eksempel
Premiss 1: "Hvis du er klar over veien, vil du ikke gå deg vill."
Premiss 2: "Du er klar over veien."
Konklusjon: "Derfor vil du ikke gå deg vill."
Variant 2
Premiss 1: Hvis “P” ^ “R” så “Q”
Premiss 2: “P” ^
Konklusjon: "Q"
I dette tilfellet refererer symbolet "^" til kopulativ konjunksjon "og", mens "R" kommer til å representere en annen antecedent som er lagt til for å validere "Q". Det vil si at vi er i nærvær av et dobbelt balsam.
Første eksempel
Premiss 1: "Hvis du kommer hjem og tar med deg popcorn, så får vi se en film."
Premiss 2: "Du kommer hjem og tar med popcorn."
Konklusjon: "Derfor vil vi se en film."
Andre eksempel
Premiss 1: "Hvis du kjører full og ser på mobilen din, vil du krasje."
Premiss 2: "Du kjører full og ser på mobilen din."
Konklusjon: "Derfor vil du krasje."
Tredje eksempel
Premiss 1: "Hvis du drikker kaffe og spiser sjokolade, tar du vare på hjertet ditt."
Premiss 2: "Du drikker kaffe og spiser sjokolade."
Konklusjon: "Derfor tar du vare på hjertet ditt."
Variant 3
Premiss 1: Hvis “¬P” så “Q”
Premiss 2: "¬P"
Konklusjon: "Q"
I dette tilfellet ligner symbolet "¬" negasjonen av "P".
Første eksempel
Premiss 1: "Hvis du ikke studerte vokalkonkurranser, vil du mislykkes språkvitenskapstesten."
Premiss 2: "Du har ikke studert vokalforeninger."
Konklusjon: "Derfor vil du mislykkes språkvitenskapstesten."
Andre eksempel
Premiss 1: "Hvis du ikke mater papegøyen din, vil den dø."
Premiss 2: "Du gir ikke papegøyen din mat."
Konklusjon: "Derfor vil han dø."
Tredje eksempel
Premiss 1: "Hvis du ikke drikker vann, blir du dehydrert."
Premiss 2: "Du drikker ikke vann."
Konklusjon: "Derfor vil du bli dehydrert."
Variant 4
Premiss 1: Hvis "P" så "Q" ^ "R"
Premiss 2: "P"
Konklusjon: "Q" ^ "R"
I dette tilfellet refererer symbolet "^" til den kopulative konjunksjonen "og", mens "R" representerer en annen følge i proposisjonen; derfor vil en forfølger bekrefte to konsekvenser samtidig.
Første eksempel
Premiss 1: "Hvis du var god mot moren din, så vil faren din gi deg en gitar og dens strenger."
Premiss 2: "Du var god mot moren din."
Konklusjon: "Derfor vil faren din gi deg en gitar og dens strenger."
Andre eksempel
Premiss 1: "Hvis du trener svømming, vil du forbedre din fysiske motstand og gå ned i vekt."
Premiss 2: "Du svømmer."
Konklusjon: "Derfor vil du forbedre din fysiske motstand og gå ned i vekt."
Tredje eksempel
Premiss 1: "Hvis du har lest denne artikkelen i Lifeder, så har du lært og er mer forberedt."
Premiss 2: "Du har lest denne artikkelen i Lifeder."
Konklusjon: "Derfor har du lært og er mer forberedt."
Mode ponens representerer den første regelen i proposisjonell logikk. Det er et konsept som, fra enkle premisser å forstå, åpner forståelsen for dypere resonnement.
Til tross for at den er en av de mest brukte ressursene i logikkens verden, kan den ikke forveksles med en logisk lov; det er ganske enkelt en metode for å produsere deduktiv bevis.
Ved å fjerne en setning fra konklusjonene, unngår modus ponens den omfattende agglutinasjonen og sammenføyningen av elementer når du trekker fradrag. For denne kvaliteten kalles det også "separasjonsregel".
Modus ponendo ponens er en uunnværlig ressurs for full kunnskap om den aristoteliske logikken.
referanser
- Ferrater Mora, J. (1969). Ordbok for filosofi. Buenos Aires: Hispanoteca. Gjenopprettet fra: hispanoteca.eu.
- Modus å sette ponnier. (S. f.). Spania: Webnode. Gjenopprettet fra: lover-de-inferencia5.webnode.es.
- Modus å sette ponnier. (S. f.). (n / a): Wikipedia. Gjenopprettet fra: wikipedia.org.
- Inferensregler og ekvivalens. (S. f.). Mexico: UPAV. Gjenopprettet fra: universidadupav.edu.mx.
- Mazón, R. (2015). Setter ponnier. Mexico: Super Mileto. Gjenopprettet fra: supermileto.blogspot.com.
