Modus Ponendo Ponens Forklaring og eksempler

3257
Sherman Hoover

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.

Aristoteles, far til filosofisk logikk

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

  • 1 Opprinnelse
    • 1.1 Etymologi
  • 2 Forklaring
  • 3 eksempler
    • 3.1 Første eksempel
    • 3.2 Andre eksempel
    • 3.3 Tredje eksempel
  • 4 varianter og eksempler
    • 4.1 Variant 1
    • 4.2 Variant 2
    • 4.3 Variant 3
    • 4.4 Variant 4
  • 5 Modus ponens, en vei til logikk
  • 6 Referanser

opprinnelse

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.

Etymologi

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.

Forklaring

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".

Eksempler

Første eksempel

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".

Andre eksempel

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".

Tredje eksempel

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"

Varianter og eksempler

De modus å sette ponnier Det kan presentere små variasjoner i formuleringen. De fire vanligste variantene vil bli presentert nedenfor med deres respektive eksempler.

Variant 1

Forutsetning 1: Hvis "P" så "¬Q"

Premiss 2: "P"

Konklusjon: "¬Q"

I dette tilfellet ligner symbolet "¬" negasjonen av "Q"

Første eksempel

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".

Andre eksempel

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".

Tredje eksempel

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".

Variant 2

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.

Første eksempel

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".

Andre eksempel

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".

Tredje eksempel

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".

Variant 3

Forutsetning 1: Hvis “¬P” så “Q”

Premiss 2: "¬P"

Konklusjon: "Q"

I dette tilfellet ligner symbolet "¬" negasjonen av "P".

Første eksempel

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".

Andre eksempel

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ø".

Tredje eksempel

Premiss 1: "Hvis du ikke drikker vann, blir du dehydrert".

Premiss 2: "Du drikker ikke vann".

Konklusjon: "Derfor vil du bli dehydrert".

Variant 4

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.

Første eksempel

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".

Andre eksempel

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".

Tredje eksempel

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".

Modus ponens, en vei til logikk

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.

Referanser

  1. Ferrater Mora, J. (1969). Dictionary of Philosophy. Buenos Aires: Hispanoteca. Gjenopprettet fra: hispanoteca.eu.
  2. Modus å sette ponnier. (S. f.). Spania: Webnode. Gjenopprettet fra: lover-de-inferencia5.webnode.es.
  3. Modus å sette ponnier. (S. f.). (ikke relevant): Wikipedia. Gjenopprettet fra: wikipedia.org.
  4. Regler for slutning og ekvivalens. (S. f.). Mexico: UPAV. Gjenopprettet fra: universidadupav.edu.mx.
  5. Mazón, R. (2015). Å sette ponnier. Mexico: Super Mileto. Gjenopprettet fra: supermileto.blogspot.com.

Ingen har kommentert denne artikkelen ennå.