- ursprung
- Etymologi
- Förklaring
- exempel
- Första exemplet
- Andra exempel
- Tredje exempel
- Varianter och exempel
- Variant 1
- Första exemplet
- Andra exempel
- Tredje exempel
- Variant 2
- Första exemplet
- Andra exempel
- Tredje exempel
- Variant 3
- Första exemplet
- Andra exempel
- Tredje exempel
- Variant 4
- Första exemplet
- Andra exempel
- Tredje exempel
- referenser
De modus ponendo ponens är en typ av logiskt argument, av motiverade slutledning, som tillhör den formella systemet avdragsreglerna för den välkända satslogik. Denna argumenterande struktur är den inledande riktlinjen som överförs i propositionslogik och är direkt relaterad till villkorade argument.
Argumentet modus ponendo ponens kan ses som en tvåbent syllogism, som istället för att använda en tredje term som fungerar som en länk, snarare använder en villkorlig mening med vilken den förknippar det antecedent elementet med det följdelementet.
Aristoteles, far till filosofisk logik
Genom att lämna konventionella koncept, kan vi se modus ponendo ponens som en procedur (modus) för avdragsreglerna, som genom påståendet (sätta) av ett antecedent eller en referens (ett tidigare element) lyckas hävda (ponens) till en följd eller slutsats (ett senare element).
Denna rimliga formulering börjar från två förslag eller lokaler. Den försöker genom dessa kunna dra en slutsats som, trots att den är implicit och konditionerad inom argumentet, kräver en dubbel bekräftelse - båda av termen som föregår det och av sig själv - för att betraktas som en följd.
ursprung
Detta bekräftande läge, som en del av tillämpningen av deduktiv logik, har sitt ursprung i antiken. Det framgick från den grekiska filosofen Aristoteles de Estagiras hand från 400-talet f.Kr. C.
Aristoteles föreslog med modus ponens - som det också kallas - få en motiverad slutsats genom validering av både ett prejudikat och ett följd i en premiss. I denna process elimineras antecedenten, vilket bara lämnar det följd.
Den helleniska tänkaren ville lägga grunden för ett beskrivande logiskt resonemang för att förklara och föreställa alla fenomen nära människans existens, produkt från hans interaktion med miljön.
Etymologi
Modusen ponendo ponens har sina rötter på latin. På det spanska språket är dess betydelse: "en metod som bekräftar (hävdar), bekräftar (hävdar)", eftersom den, som tidigare nämnts, består av två element (en antecedent och en följd) bekräftande i sin struktur.
Förklaring
I allmänna ordningar korrelerar modus ponendo ponens två förslag: ett konditionerande antecedent som kallas "P" och ett konditionerat resultat som kallas "Q".
Det är viktigt att premiss 1 alltid har konditioneringsformen "om-då"; "om" är före det föregångna, och "då" är före det följd.
Dess formulering är som följer:
Lokal 1: Om "P" sedan "Q".
Lokal 2: "P".
Slutsats: "Q".
exempel
Första exemplet
Lokal 1: "Om du vill klara provet imorgon måste du studera hårt."
Lokal 2: "Du vill klara provet imorgon."
Avslutande: "Därför måste du studera hårt."
Andra exempel
Lokal 1: "Om du vill komma snabbt i skolan, måste du ta den vägen."
Lokal 2: "Du vill komma snabbt i skolan."
Avslutande: "Därför måste du ta den vägen."
Tredje exempel
Lokal 1: "Om du vill äta fisk, bör du shoppa på marknaden."
Lokal 2: "Du vill äta fisk."
Avslutande: "Därför måste du köpa på marknaden"
Varianter och exempel
Mode ponendo ponens kan ge små variationer i dess formulering. Nedan presenteras de fyra vanligaste varianterna med respektive exempel.
Variant 1
Lokal 1: Om "P" då "¬Q"
Lokal 2: "P"
Slutsats: "¬Q"
I detta fall liknar symbolen "¬" negationen av "Q"
Första exemplet
Lokal 1: "Om du fortsätter att äta på det sättet kommer du inte att nå din idealvikt."
Lokal 2: "Du fortsätter att äta så."
Slutsats: "Därför kommer du inte att uppnå din idealvikt."
Andra exempel
Lokal 1: "Om du fortsätter att äta så mycket salt, kommer du inte att kunna kontrollera din hypertoni."
Lokal 2: "Du äter så mycket salt."
Slutsats: "Därför kommer du inte att kunna kontrollera hypertoni."
Tredje exempel
Lokal 1: "Om du är medveten om vägen, kommer du inte att gå vilse."
Lokal 2: "Du är medveten om vägen."
Slutsats: "Därför kommer du inte att gå vilse."
Variant 2
Lokal 1: Om “P” ^ “R” då “Q”
Lokal 2: “P” ^
Slutsats: "Q"
I detta fall avser symbolen "^" den kopulativa konjunktionen "och", medan "R" kommer att representera en annan antecedent som läggs till för att validera "Q". Det vill säga vi är i närvaro av en dubbel balsam.
Första exemplet
Lokal 1: "Om du kommer hem och tar med dig popcorn, så ser vi en film."
Lokal 2: "Du kommer hem och tar med popcorn."
Slutsats: "Därför kommer vi att se en film."
Andra exempel
Lokal 1: "Om du kör full och tittar på din mobiltelefon kommer du att krascha."
Lokal 2: "Du kör full och tittar på din mobiltelefon."
Slutsats: "Därför kommer du att krascha."
Tredje exempel
Lokal 1: "Om du dricker kaffe och äter choklad, tar du hand om ditt hjärta."
Lokal 2: "Du dricker kaffe och äter choklad."
Slutsats: "Därför tar du hand om ditt hjärta."
Variant 3
Lokal 1: Om “¬P” då “Q”
Lokal 2: "¬P"
Slutsats: "Q"
I detta fall liknar symbolen "¬" negationen av "P".
Första exemplet
Lokal 1: "Om du inte studerade vokalöverenskommelser kommer du att misslyckas med språktest."
Lokal 2: "Du studerade inte vokalöverenskommelser."
Slutsats: "Därför kommer du att misslyckas med språketest."
Andra exempel
Lokal 1: "Om du inte matar din papegoja, kommer den att dö."
Lokal 2: "Du ger inte din papegoja mat."
Slutsats: "Därför kommer han att dö."
Tredje exempel
Lokal 1: "Om du inte dricker vatten, blir du uttorkad."
Lokal 2: "Du dricker inte vatten."
Slutsats: "Därför blir du uttorkad."
Variant 4
Lokal 1: Om "P" då "Q" ^ "R"
Lokal 2: "P"
Slutsats: "Q" ^ "R"
I detta fall avser symbolen "^" den kopulativa konjunktionen "och", medan "R" representerar en andra följd i förslaget; därför kommer ett antecedent att bekräfta två följder samtidigt.
Första exemplet
Lokal 1: "Om du var god mot din mamma, kommer din far att ta med dig en gitarr och dess strängar."
Lokal 2: "Du var god mot din mamma."
Slutsats: "Därför kommer din far att ge dig en gitarr och dess strängar."
Andra exempel
Lokal 1: "Om du övar simning, kommer du att förbättra din fysiska motstånd och gå ner i vikt."
Lokal 2: "Du simmar."
Slutsats: "Därför kommer du att förbättra din fysiska motstånd och gå ner i vikt."
Tredje exempel
Lokal 1: "Om du har läst den här artikeln i Lifeder, så har du lärt dig och är mer förberedd."
Lokal 2: "Du har läst den här artikeln i Lifeder."
Slutsats: "Därför har du lärt dig och är mer beredd."
Mode ponens representerar den första regeln i propositionens logik. Det är ett koncept som, från enkla förutsättningar att förstå, öppnar förståelsen för djupare resonemang.
Trots att det är en av de mest använda resurserna i logikvärlden kan den inte förväxlas med en logisk lag; det är helt enkelt en metod för att framställa deduktiv bevis.
Genom att ta bort en mening från slutsatserna undviker modus ponens den omfattande agglutinationen och sammankopplingen av element när man gör avdrag. För denna kvalitet kallas det också "regel om separation".
Mode ponendo ponens är en oundgänglig resurs för en fullständig kunskap om Aristoteliansk logik.
referenser
- Ferrater Mora, J. (1969). Ordbok för filosofi. Buenos Aires: Hispanoteca. Återställd från: hispanoteca.eu.
- Modus att sätta ponnyer. (S. f.). Spanien: Webnode. Återställd från: law-de-inferencia5.webnode.es.
- Modus att sätta ponnyer. (S. f.). (n / a): Wikipedia. Återställd från: wikipedia.org.
- Inferensregler och ekvivalens. (S. f.). Mexiko: UPAV. Återställs från: universidadupav.edu.mx.
- Mazón, R. (2015). Sätta ponnyer. Mexiko: Super Mileto. Återställd från: supermileto.blogspot.com.