De modus å sette ponnier Det er en type logisk argument, med begrunnet slutning, som tilhører det formelle systemet for deduksjonsregler i den velkjente proposisjonslogikken. Denne argumentative strukturen er den første retningslinjen som overføres i proposisjonell logikk og er direkte relatert til betingede argumenter..
Argumentet modus å sette ponnier Det kan sees på som en tobenet syllogisme, som i stedet for å bruke et tredje begrep som fungerer som en lenke, snarere bruker en betinget setning som den relaterer det antecedente elementet med det påfølgende elementet.
Forlater konvensjonaliteter, kan vi se modus å sette ponnier som en prosedyremodus) av trekkreglene, at ved hjelp av påstanden (sette) av en antecedent eller referanse (et tidligere element), klarer å hevde (sette) til en konsekvens eller konklusjon (et senere element).
Denne rimelige formuleringen starter fra to proposisjoner eller premisser. Det søker å være i stand til å utlede en konklusjon som, til tross for at det er implisitt og betinget i argumentet, krever en dobbel bekreftelse - både av begrepet som går foran det og av seg selv - for å bli betraktet som en konsekvens.
Artikkelindeks
Denne bekreftende modusen, som en del av anvendelsen av deduktiv logikk, har sin opprinnelse i antikken. Det dukket opp fra den greske filosofen Aristoteles de Estagira, fra det 4. århundre f.Kr. C.
Aristoteles stilte med modus ponens -som det også kalles - skaff en begrunnet konklusjon gjennom validering av både en presedens og en konsekvens i et premiss. I denne prosessen elimineres antesedenten, og etterlater bare den påfølgende.
Den hellenske tenkeren ønsket å legge grunnlaget for beskrivende logisk resonnement for å forklare og konseptualisere alle fenomenene nær menneskets eksistens, et produkt av hans interaksjon med miljøet.
De modus å sette ponnier har sine røtter i latin. På det spanske språket er dets betydning: "en metode som bekrefter (hevder), bekrefter (hevder)", fordi den, som tidligere nevnt, er sammensatt av to elementer (en fortilfelle og en påfølgende) bekreftende i sin strukturering.
Generelt sett er det modus å sette ponnier korrelerer to proposisjoner: et betingende fortilfelle kalt "P" og en betinget konsekvens kalt "Q".
Det er viktig at premiss 1 alltid har betingelsesformen "hvis-da"; "hvis" er før forgjengeren, og "da" er før den påfølgende.
Formuleringen er som følger:
Forutsetning 1: Hvis "P" så "Q".
Premiss 2: "P".
Konklusjon: "Q".
Premiss 1: "Hvis du vil bestå eksamen i morgen, så må du studere hardt".
Premiss 2: "Du vil bestå eksamen i morgen".
Avsluttende: "Derfor må du studere hardt".
Premiss 1: "Hvis du vil komme deg raskt til skolen, må du ta den veien".
Premiss 2: "Du vil komme deg raskt til skolen".
Avsluttende: "Derfor må du ta den veien".
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 i markedet"
De modus å sette ponnier Det kan presentere små variasjoner i formuleringen. De fire vanligste variantene vil bli presentert nedenfor med deres respektive eksempler.
Forutsetning 1: Hvis "P" så "¬Q"
Premiss 2: "P"
Konklusjon: "¬Q"
I dette tilfellet ligner symbolet "¬" negasjonen av "Q"
Premiss 1: "Hvis du fortsetter å spise på den måten, vil du ikke oppnå din ideelle vekt.".
Premiss 2: "Du fortsetter å spise på den måten".
Konklusjon: "Derfor vil du ikke oppnå din ideelle vekt".
Premiss 1: "Hvis du fortsetter å spise så mye salt, vil du ikke være i stand til å kontrollere hypertensjonen din".
Premiss 2: "Du fortsetter å spise så mye salt".
Konklusjon: "Derfor vil du ikke kunne kontrollere hypertensjon".
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".
Forutsetning 1: Hvis “P” ^ “R” så “Q”
Premiss 2: “P” ^
Konklusjon: "Q"
I dette tilfellet refererer symbolet "^" til den kopulative konjunksjonen "og", mens "R" representerer et annet antesedent som legges til for å validere "Q". Det vil si at vi er i nærvær av en dobbel balsam.
Premiss 1: "Hvis du kommer hjem og tar med popcorn, så får vi se en film.".
Premiss 2: "Du kommer hjem og tar med popcorn".
Konklusjon: "Derfor vil vi se en film".
Premiss 1: "Hvis du kjører full og ser på mobiltelefonen din, så vil du krasje".
Premiss 2: "Du kjører full og ser på mobiltelefonen din".
Konklusjon: "Derfor vil du krasje".
Premiss 1: "Hvis du drikker kaffe og spiser sjokolade, så tar du vare på hjertet ditt".
Premiss 2: "Du drikker kaffe og spiser sjokolade".
Konklusjon: "Derfor tar du vare på hjertet ditt".
Forutsetning 1: Hvis “¬P” så “Q”
Premiss 2: "¬P"
Konklusjon: "Q"
I dette tilfellet ligner symbolet "¬" negasjonen av "P".
Forutsetning 1: "Hvis du ikke studerte vokalens samstemmighet, vil du mislykkes i lingvistikkeksamen".
Forutsetning 2: "Du studerte ikke vokaloverensstemmelser".
Konklusjon: "Derfor vil du mislykkes i lingvistikkeksamen".
Premiss 1: "Hvis du ikke mater papegøyen din, vil den dø".
Premiss 2: "Du mater ikke papegøyen din".
Konklusjon: "Derfor vil han dø".
Premiss 1: "Hvis du ikke drikker vann, blir du dehydrert".
Premiss 2: "Du drikker ikke vann".
Konklusjon: "Derfor vil du bli dehydrert".
Forutsetning 1: Hvis "P" så "Q" ^ "R"
Premiss 2: "P"
Konklusjon: "Q" ^ "R"
I dette tilfellet refererer symbolet "^" til den kopulative sammenhengen "og", mens "R" representerer en andre konsekvens i proposisjonen; derfor vil en fortilfelle bekrefte to konsekvenser samtidig.
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".
Premiss 1: "Hvis du trener å svømme, vil du forbedre din fysiske motstand og gå ned i vekt".
Premiss 2: "Du trener å svømme".
Konklusjon: "Derfor vil du forbedre din fysiske motstand og gå ned i vekt".
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".
De modus ponens representerer den første regelen for proposisjonslogikk. Det er et konsept som, med utgangspunkt i enkle premisser for å 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 rett og slett en metode for utarbeidelse av deduktivt bevis.
Ved å fjerne en setning fra konklusjonene, har modus ponens unngår omfattende agglutinering og sammenkobling av elementer når man gjør fradrag. For denne kvaliteten kalles det også "separasjonsregel".
De modus å sette ponnier er en uunnværlig ressurs for full kunnskap om aristotelisk logikk.
Ingen har kommentert denne artikkelen ennå.