- oprindelser
- etymologi
- Forklaring
- eksempler
- Første eksempel
- Andet eksempel
- Tredje eksempel
- Varianter og eksempler
- Variant 1
- Første eksempel
- Andet eksempel
- Tredje eksempel
- Variant 2
- Første eksempel
- Andet eksempel
- Tredje eksempel
- Variant 3
- Første eksempel
- Andet eksempel
- Tredje eksempel
- Variant 4
- Første eksempel
- Andet eksempel
- Tredje eksempel
- Referencer
De modus ponendo ponens er en form for logisk argument, for begrundet følgeslutning, der tilhører det formelle system af fradragsreglerne i den velkendte propositionslogik. Denne argumentative struktur er den oprindelige retningslinje, der overføres i propositionslogik og er direkte relateret til betingede argumenter.
Argumentet modus ponendo ponens kan ses som en tobenet syllogisme, der i stedet for at bruge et tredje udtryk, der tjener som et link, snarere bruger en betinget sætning, som det relaterer det forudgående element til det deraf følgende element.
Aristoteles, far til filosofisk logik
Når vi forlader konventionelle konklusioner, kan vi se modus ponendo ponens som en procedure (modus) af fradragsreglerne, som gennem påstand (placering) af en antecedent eller en reference (et tidligere element) formår at hævde (ponens) til en konsekvens eller konklusion (et senere element).
Denne fornuftige formulering starter fra to forslag eller premisser. Det søger at være i stand til at udlede gennem disse konklusioner, at det til trods for at være implicit og betinget inden for argumentet kræver en dobbelt bekræftelse - begge dele af det udtryk, der går foran det og af sig selv - for at blive betragtet som en konsekvens heraf.
oprindelser
Denne bekræftende tilstand, som en del af anvendelsen af deduktiv logik, har sin oprindelse i antikken. Det fremkom fra hånden af den græske filosof Aristoteles de Estagira fra det 4. århundrede f.Kr. C.
Aristoteles foreslog med modus ponens - som det også kaldes - opnå en begrundet konklusion gennem validering af både et præcedens og en konsekvens heraf. I denne proces elimineres antecedenten, hvilket kun efterlader den deraf følgende.
Den helleniske tænker ønskede at lægge grundlaget for beskrivende logiske resonnementer for at forklare og konceptualisere alle fænomener tæt på menneskets eksistens, et produkt af hans interaktion med miljøet.
etymologi
Mode ponendo ponens har sine rødder i latin. På det spanske sprog er dens betydning: "en metode, der bekræfter (hævder), bekræfter (hævder)", fordi den, som tidligere nævnt, består af to elementer (en antecedent og en deraf følgende) bekræftende i dens strukturering.
Forklaring
Generelt korrelerer modus ponendo ponens to påstande: en konditionerende antecedent kaldet "P" og en betinget konsekvens kaldet "Q".
Det er vigtigt, at forudsætning 1 altid har konditioneringsformen "hvis-da"; "hvis" er forud for det foregående, og "derefter" er før det deraf følgende.
Dens formulering er som følger:
Forudsætning 1: Hvis "P" så "Q".
Forudsætning 2: "P".
Konklusion: "Q".
eksempler
Første eksempel
Forudsætning 1: "Hvis du vil bestå eksamen i morgen, skal du studere hårdt."
Lokale 2: "Du vil bestå eksamen i morgen."
Afsluttende: "Derfor skal du studere hårdt."
Andet eksempel
Forudsætning 1: "Hvis du vil komme hurtigt i skole, skal du tage den vej."
Lokale 2: "Du vil hurtigt komme i skole."
Afsluttende: "Derfor skal du tage den vej."
Tredje eksempel
Forudsætning 1: "Hvis du vil spise fisk, skal du shoppe på markedet."
Forudsætning 2: "Du vil spise fisk."
Afsluttende: "Derfor skal du købe på markedet"
Varianter og eksempler
Mode ponendo ponens kan præsentere små variationer i dens formulering. De fire mest almindelige varianter med deres respektive eksempler vil blive præsenteret nedenfor.
Variant 1
Forudsætning 1: Hvis "P" så "¬Q"
Lokale 2: "P"
Konklusion: "¬Q"
I dette tilfælde ligner symbolet "¬" negationen af "Q"
Første eksempel
Forudsætning 1: "Hvis du fortsat spiser på den måde, når du ikke din ideelle vægt."
Forudsætning 2: "Du spiser fortsat på den måde."
Konklusion: "Derfor opnår du ikke din ideelle vægt."
Andet eksempel
Forudsætning 1: "Hvis du fortsat spiser så meget salt, vil du ikke være i stand til at kontrollere din hypertension."
Forudsætning 2: "Du spiser fortsat så meget salt."
Konklusion: "Derfor vil du ikke være i stand til at kontrollere hypertension."
Tredje eksempel
Forudsætning 1: "Hvis du er opmærksom på vejen, vil du ikke gå tabt."
Forudsætning 2: "Du er opmærksom på vejen."
Konklusion: "Derfor vil du ikke gå tabt."
Variant 2
Forudsætning 1: Hvis “P” ^ “R”, så “Q”
Forudsætning 2: “P” ^
Konklusion: "Q"
I dette tilfælde henviser symbolet "^" til den copulative konjunktion "og", mens "R" kommer til at repræsentere en anden antecedent, der tilføjes for at validere "Q". Det vil sige, vi er i tilstedeværelsen af et dobbelt balsam.
Første eksempel
Forudsætning 1: "Hvis du kommer hjem og bringer noget popcorn, så ser vi en film."
Lokale 2: "Du kommer hjem og medbringer popcorn."
Konklusion: "Derfor vil vi se en film."
Andet eksempel
Forudsætning 1: "Hvis du kører fuld og ser på din mobiltelefon, vil du gå ned."
Forudsætning 2: "Du kører beruset og ser på din mobiltelefon."
Konklusion: "Derfor vil du gå ned."
Tredje eksempel
Forudsætning 1: "Hvis du drikker kaffe og spiser chokolade, tager du dig af dit hjerte."
Forudsætning 2: "Du drikker kaffe og spiser chokolade."
Konklusion: "Derfor passer du på dit hjerte."
Variant 3
Forudsætning 1: Hvis “¬P” så “Q”
Forudsætning 2: "¬P"
Konklusion: "Q"
I dette tilfælde ligner symbolet "¬" negationen af "P".
Første eksempel
Forudsætning 1: "Hvis du ikke studerede vokal samtidighed, vil du ikke bestå sprogundersøgelsen."
Forudsætning 2: "Du studerede ikke vokalindkomster."
Konklusion: "Derfor vil du ikke bestå sprogundersøgelsen."
Andet eksempel
Forudsætning 1: "Hvis du ikke fodrer din papegøje, vil den dø."
Forudsætning 2: "Du giver ikke din papegøje mad."
Konklusion: "Derfor vil han dø."
Tredje eksempel
Forudsætning 1: "Hvis du ikke drikker vand, bliver du dehydreret."
Forudsætning 2: "Du drikker ikke vand."
Konklusion: "Derfor bliver du dehydreret."
Variant 4
Forudsætning 1: Hvis "P" så "Q" ^ "R"
Lokale 2: "P"
Konklusion: "Q" ^ "R"
I dette tilfælde henviser symbolet "^" til den copulative konjunktion "og", mens "R" repræsenterer en anden konsekvens i forslaget; derfor vil en antecedent bekræfte to konsekvenser på samme tid.
Første eksempel
Forudsætning 1: "Hvis du var god mod din mor, så vil din far bringe dig en guitar og dens strenge."
Forudsætning 2: "Du var god mod din mor."
Konklusion: "Derfor vil din far bringe dig en guitar og dens strenge."
Andet eksempel
Forudsætning 1: "Hvis du træner svømning, forbedrer du din fysiske modstand og taber dig."
Lokale 2: "Du svømmer."
Konklusion: "Derfor vil du forbedre din fysiske modstand og tabe dig."
Tredje eksempel
Forudsætning 1: "Hvis du har læst denne artikel i Lifeder, så har du lært og er mere forberedt."
Forudsætning 2: "Du har læst denne artikel i Lifeder."
Konklusion: "Derfor har du lært og er mere forberedt."
Mode ponens repræsenterer den første regel i propositionslogik. Det er et koncept, der starter fra enkle premisser til at forstå, åbner forståelsen for dybere resonnementer.
På trods af at den er en af de mest anvendte ressourcer i logikens verden, kan den ikke forveksles med en logisk lov; det er simpelthen en metode til fremstilling af deduktiv bevis.
Ved at fjerne en sætning fra konklusionerne undgår modus ponens den omfattende agglutination og sammenkædning af elementer, når der foretages deduktioner. For denne kvalitet kaldes det også "adskillelsesregel".
Mode ponendo ponens er en uundværlig ressource for et fuldt kendskab til den aristoteliske logik.
Referencer
- Ferrater Mora, J. (1969). Ordbog for filosofi. Buenos Aires: Hispanoteca. Gendannes fra: hispanoteca.eu.
- Modus lægge ponyer. (S. f.). Spanien: Webnode. Gendannes fra: lover-de-inferencia5.webnode.es.
- Modus lægge ponyer. (S. f.). (n / a): Wikipedia. Gendannet fra: wikipedia.org.
- Regler for inferens og ækvivalens. (S. f.). Mexico: UPAV. Gendannes fra: universidadupav.edu.mx.
- Mazón, R. (2015). Sætter ponyer. Mexico: Super Mileto. Gendannes fra: supermileto.blogspot.com.