Modus Ponendo Ponens Förklaring och exempel

1556
Jonah Lester

De sätta ponnyer Det är en typ av logiskt argument, med motiverad slutsats, som tillhör det formella systemet för avledningsregler i den välkända propositionella logiken. Denna argumentativa struktur är den ursprungliga riktlinjen som överförs i propositionell logik och är direkt relaterad till villkorliga argument..

Argumentet sätta ponnyer Det kan ses som en tvåbenad 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 relaterar antecedent element med det därmed följande elementet.

Aristoteles, far till filosofisk logik

Om vi ​​lämnar konventionalism kan vi se sätta ponnyer som ett förfarandemodus) av avdragsreglerna, att genom påståendet (sätta) av ett antecedent eller referens (ett tidigare element), lyckas hävda (sätta) till en konsekvens eller slutsats (ett senare element).

Denna rimliga formulering börjar från två propositioner eller lokaler. Det strävar efter att kunna härleda en slutsats som, trots att den är implicit och villkorad inom argumentet, kräver en dubbel bekräftelse - både av termen som föregår den och av sig själv - för att kunna betraktas som en följd.

Artikelindex

  • 1 Ursprung
    • 1.1 Etymologi
  • 2 Förklaring
  • 3 Exempel
    • 3.1 Första exemplet
    • 3.2 Andra exemplet
    • 3.3 Tredje exemplet
  • 4 varianter och exempel
    • 4.1 Variant 1
    • 4.2 Variant 2
    • 4.3 Variant 3
    • 4.4 Variant 4
  • 5 Modus ponens, en väg till logik
  • 6 Referenser

ursprung

Detta bekräftande läge, som en del av tillämpningen av deduktiv logik, har sitt ursprung i antiken. Det framkom från den grekiska filosofen Aristoteles de Estagira från 4: e århundradet f.Kr. C.

Aristoteles poserade med modus ponens -som det också kallas - få en motiverad slutsats genom validering av både ett prejudikat och en konsekvens i en förutsättning. I denna process elimineras antecedenten och lämnar bara det därtill följdande.

Den grekiska tänkaren ville lägga grunden för beskrivande logiska resonemang för att förklara och konceptualisera alla fenomen nära människans existens, produkt av hans interaktion med miljön.

Etymologi

De sätta ponnyer har sina rötter i 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 (ett antecedent och därmed) bekräftande i sin strukturering.

Förklaring

Generellt sett är sätta ponnyer korrelerar två propositioner: en konditionerande antecedent som kallas "P" och en konditionerad konsekvens som kallas "Q".

Det är viktigt att premiss 1 alltid har konditioneringsformen "om-då"; "om" är före antecedenten, och "då" är före konsekvensen.

Dess formulering är som följer:

Utgångspunkt 1: Om "P" är sedan "Q".

Premiss 2: "P".

Slutsats: "Q".

Exempel

Första exemplet

Utgångspunkt 1: "Om du vill klara provet imorgon måste du studera hårt".

Premiss 2: "Du vill klara provet imorgon".

Avgörande: "Därför måste du studera hårt".

Andra exemplet

Utgångspunkt 1: "Om du vill gå snabbt till skolan måste du gå den vägen".

Premiss 2: "Du vill snabbt gå till skolan".

Avgörande: "Därför måste du ta den vägen".

Tredje exemplet

Premiss 1: "Om du vill äta fisk, bör du handla på marknaden".

Premiss 2: "Du vill äta fisk".

Avgörande: "Därför måste du gå och köpa på marknaden"

Varianter och exempel

De sätta ponnyer Det kan ge små variationer i formuleringen. De fyra vanligaste varianterna presenteras nedan med sina respektive exempel.

Variant 1

Premiss 1: Om "P" då "¬Q"

Premiss 2: "P"

Slutsats: "¬Q"

I detta fall liknar symbolen "¬" negationen av "Q"

Första exemplet

Utgångspunkt 1: "Om du fortsätter att äta så kommer du inte att uppnå din idealvikt.".

Premiss 2: "Du fortsätter att äta på det sättet".

Slutsats: "Därför kommer du inte att uppnå din idealvikt".

Andra exemplet

Premiss 1: "Om du fortsätter att äta så mycket salt, kommer du inte att kunna kontrollera din högt blodtryck".

Premiss 2: "Du fortsätter att äta så mycket salt".

Slutsats: "Därför kommer du inte att kunna kontrollera högt blodtryck".

Tredje exemplet

Utgångspunkt 1: "Om du känner till vägen kommer du inte att gå vilse".

Premiss 2: "Du är medveten om vägen".

Slutsats: "Därför kommer du inte att gå vilse".

Variant 2

Utgångspunkt 1: Om “P” ^ “R” då “Q”

Premiss 2: “P” ^

Slutsats: "Q"

I det här fallet hänvisar symbolen "^" till den samverkande konjunktionen "och", medan "R" representerar 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

Premiss 1: "Om du kommer hem och tar med popcorn, så ser vi en film.".

Premiss 2: "Du kommer hem och tar med popcorn".

Slutsats: "Därför kommer vi att se en film".

Andra exemplet

Utgångspunkt 1: "Om du kör full och tittar på din mobiltelefon kommer du att krascha".

Premiss 2: "Du kör full och tittar på din mobiltelefon".

Slutsats: "Därför kommer du att krascha".

Tredje exemplet

Premiss 1: "Om du dricker kaffe och äter choklad, tar du hand om ditt hjärta".

Premiss 2: "Du dricker kaffe och äter choklad".

Slutsats: "Därför tar du hand om ditt hjärta".

Variant 3

Premiss 1: Om “¬P” då “Q”

Premiss 2: "¬P"

Slutsats: "Q"

I detta fall liknar symbolen "¬" negationen av "P".

Första exemplet

Utgångspunkt 1: "Om du inte studerade vokalens överensstämmelse, kommer du att misslyckas med lingvistikprovet".

Premiss 2: "Du har inte studerat vokalens samstämmighet".

Slutsats: "Därför kommer du att misslyckas med lingvistikprovet".

Andra exemplet

Premiss 1: "Om du inte matar din papegoja, kommer den att dö".

Premiss 2: "Du matar inte din papegoja".

Slutsats: "Därför kommer han att dö".

Tredje exemplet

Utgångspunkt 1: "Om du inte dricker vatten blir du uttorkad".

Premiss 2: "Du dricker inte vatten".

Slutsats: "Därför kommer du att bli uttorkad".

Variant 4

Premiss 1: Om "P" då "Q" ^ "R"

Premiss 2: "P"

Slutsats: "Q" ^ "R"

I detta fall hänvisar symbolen "^" till den samverkande konjunktionen "och", medan "R" representerar en andra följd i propositionen; därför kommer en föregångare att bekräfta två konsekvenser samtidigt.

Första exemplet

Premiss 1: "Om du var bra mot din mamma, så kommer din far att ge dig en gitarr och dess strängar".

Premiss 2: "Du var bra mot din mamma".

Slutsats: "Därför kommer din far att ge dig en gitarr och dess strängar".

Andra exemplet

Utgångspunkt 1: "Om du tränar att simma, kommer du att förbättra ditt fysiska motstånd och gå ner i vikt".

Premiss 2: "Du tränar att simma".

Slutsats: "Därför kommer du att förbättra ditt fysiska motstånd och gå ner i vikt".

Tredje exemplet

Utgångspunkt 1: "Om du har läst den här artikeln i Lifeder, har du lärt dig och är mer beredd".

Premiss 2: "Du har läst den här artikeln i Lifeder".

Slutsats: "Därför har du lärt dig och är mer beredd".

Modus ponens, en väg till logik

De modus ponens representerar den första regeln för propositionell 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 utveckla deduktiva bevis.

Genom att ta bort en mening från slutsatserna, modus ponens undviker omfattande agglutination och sammanfogning av element när man gör avdrag. För denna kvalitet kallas det också "separationsregel".

De sätta ponnyer är en oumbärlig resurs för fullständig kunskap om aristotelisk logik.

Referenser

  1. Ferrater Mora, J. (1969). Philosophy Dictionary. Buenos Aires: Hispanoteca. Återställd från: hispanoteca.eu.
  2. Modus som sätter ponnyer. (S. f.). Spanien: Webnode. Återställd från: law-de-inferencia5.webnode.es.
  3. Modus som sätter ponnyer. (S. f.). (n / a): Wikipedia. Återställd från: wikipedia.org.
  4. Regler för slutsats och likvärdighet. (S. f.). Mexiko: UPAV. Återställd från: universidadupav.edu.mx.
  5. Mazón, R. (2015). Att sätta ponnyer. Mexiko: Super Mileto. Återställd från: supermileto.blogspot.com.

Ingen har kommenterat den här artikeln än.