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.
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
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.
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.
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".
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".
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".
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"
De sätta ponnyer Det kan ge små variationer i formuleringen. De fyra vanligaste varianterna presenteras nedan med sina respektive exempel.
Premiss 1: Om "P" då "¬Q"
Premiss 2: "P"
Slutsats: "¬Q"
I detta fall liknar symbolen "¬" negationen av "Q"
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".
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".
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".
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.
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".
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".
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".
Premiss 1: Om “¬P” då “Q”
Premiss 2: "¬P"
Slutsats: "Q"
I detta fall liknar symbolen "¬" negationen av "P".
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".
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ö".
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".
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.
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".
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".
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".
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.
Ingen har kommenterat den här artikeln än.