Modus Putting Ponens

Aristoteles, far til filosofisk logikk

Hva er Modus Putting Ponens?

Han Modus Putting Ponens Det er en type logisk argument, av begrunnet inferens, som tilhører det formelle systemet for fradragsreglene for den kjente proposisjonelle logikken. Denne argumenterende strukturen er den første retningslinjen som overføres i proposisjonell logikk og er direkte relatert til betingede argumenter.

Argumentet Modus Putting Ponens Det kan sees på som en to -benet syllogisme, som i stedet for å bruke en tredje periode som fungerer som en lenke, snarere bruker en betinget setning som den relaterer elementbakgrunnen til det påfølgende elementet.

Forlater stevner, kan vi se Modus Putting Ponens som en prosedyre (modus) av fradragsstandardene, som gjennom påstanden (sette) av en antecedent eller referanse (et tidligere element), klarer å hevde (Ponens) til en påfølgende eller konklusjon (et senere element).

Denne rimelige formuleringen av to proposisjoner eller lokaler. Den søker å være i stand til å trekke gjennom disse en konklusjon om at til tross for at han er implisitt og betinget i argumentet, krever en dobbel uttalelse - både begrepet som går foran seg - for å kunne bli ansett som en påfølgende.

opprinnelse

Denne bekreftende modus, som en del av anvendelsen av deduktiv logikk, har sin opprinnelse i eldgamle tider. Dukket opp fra hånden til den greske filosofen Aristoteles of Estagira, fra det fjerde århundre til. C.

Aristoteles oppvokst med Modus ponens -som det også kalles- for å oppnå en begrunnet konklusjon gjennom validering av både en presedens og en følgelig følge i et premiss. I denne prosessen elimineres antecedenten.

Den helleniske tenkeren ønsket å legge grunnlaget for beskrivende logisk resonnement for å forklare og konseptualisere alle fenomener i nærheten av menneskets eksistens, produkt av hans samspill med miljøet.

Kan tjene deg: Mytisk tenking: opprinnelse, egenskaper, eksempler

Etymologi

Han Modus Putting Ponens har sine røtter på latin. På det spanske språket er dets betydning: "En metode som bekrefter (hevder), sier (hevder)", fordi, som nevnt ovenfor, består av to elementer (en antecedent og en påfølgende) bekreftende i sin strukturering.

Forklaring

Generelt sett Modus Putting Ponens Korrelasjon To proposisjoner: en oppadgående antecedent som kalles "P" og en påfølgende betinget som kalles "Q".

Det er viktig at forutsetningen 1 alltid presenterer konditioneringsskjemaet "Si-Even"; "Ja" er før antecedenten, og "da" er før den påfølgende.

Formuleringen er som følger:

• Forutsetning 1: Ja "P" Da "Q".
• Forutsetning 2: "P".
• Konklusjon: "Q".

Eksempler

Første eksempel

• Forutsetning 1: "Hvis du vil bruke morgendagens eksamen, må du studere mye".
• Forutsetning 2: "Du vil bruke morgendagens eksamen".
• Konklusive: "Derfor må du studere mye".

Andre eksempel

• Forutsetning 1: "Hvis du vil komme raskt på skolen, må du ta den veien".
• Forutsetning 2: "Du vil raskt komme til skolen".
• Konklusiv: "Derfor må du ta den veien".

Tredje eksempel

• Forutsetning 1: "Hvis du vil spise fisk, må du kjøpe i markedet".
• Forutsetning 2: "Du vil spise fisk".
• Konklusive: "Derfor må du kjøpe i markedet".

Varianter og eksempler

Han Modus Putting Ponens kan presentere små varianter i formuleringen. De fire vanligste variantene vil bli presentert nedenfor med sine respektive eksempler.

Variant 1

• Forutsetning 1: Ja "P" da "¬Q".
• Forutsetning 2: "P".
• Konklusjon: "¬Q".

I dette tilfellet ligner det "¬" -symbolet fornektelsen av "q".

Første eksempel

• Forutsetning 1: "Hvis du fortsetter å spise på den måten, vil du ikke oppnå din ideelle vekt".
• Forutsetning 2: "Du fortsetter å spise på den måten".
• Konklusjon: "Derfor vil du ikke oppnå din ideelle vekt".

Kan tjene deg: 13 eksempler på etiske problemer i verden

Andre eksempel

• Forutsetning 1: "Hvis du fortsetter å spise så mye salt, vil du ikke kunne kontrollere hypertensjon".
• Forutsetning 2: "Du fortsetter å spise så mye salt".
• Konklusjon: "Derfor vil du ikke kunne kontrollere hypertensjon".

Tredje eksempel

• Forutsetning 1: "Hvis du venter på veien, vil du ikke gå glipp av".
• Forutsetning 2: "Du venter på veien".
• Konklusjon: "Derfor vil du ikke gå glipp av".

Variant 2

• Forutsetning 1: Ja "P"^"R" da "Q".
• Forutsetning 2: "P"^.
• Konklusjon: "Q".

I dette tilfellet henviser "^" -symbolet til den kopulative konjunksjonen "y", mens "r" kommer til å representere en annen antecedent som er lagt til for å validere "q". Det vil si at vi er i nærvær av en dobbel kondisjonering.

Første eksempel

• Forutsetning 1: "Hvis du kommer hjem og tar med popcorn, så ser vi en film".
• Forutsetning 2: "Du kommer hjem og tar med popcorn".
• Konklusjon: "Derfor vil vi se en film".

Andre eksempel

• Forutsetning 1: "Hvis du kjører og ser mobiltelefonen, vil du kollidere".
• Forutsetning 2: "Du kjører full og ser på mobiltelefonen".
• Konklusjon: "Derfor vil du kollidere".

Tredje eksempel

• Forutsetning 1: "Hvis du drikker kaffe og spiser sjokolade, tar du vare på hjertet ditt".
• Forutsetning 2: "Du tar kaffe og spiser sjokolade".
• Konklusjon: "Derfor tar du vare på hjertet ditt".

Variant 3

• Forutsetning 1: Ja "¬p" da "q"
• Forutsetning 2: "¬p"
• Konklusjon: "Q"

I dette tilfellet ligner det "¬" -symbolet fornektelsen av "P".

Første eksempel

• Forutsetning 1: "Hvis du ikke studerte vokalkonsekvensene, vil du reprobe den språklige eksamenen".
• Forutsetning 2: "Du studerte ikke vokale samvær".
• Konklusjon: "Derfor vil du mislykkes i den språklige eksamenen".

Andre eksempel

• Forutsetning 1: "Hvis du ikke gir mat til papegøyen din, så dør".
• Forutsetning 2: "Ikke gi mat til papegøyen din".
• Konklusjon: "Derfor vil det dø".

Kan tjene deg: etisk ansvar

Tredje eksempel

• Forutsetning 1: "Hvis du ikke drikker vann, vil du dehydrere".
• Forutsetning 2: "Ikke drikk vann".
• Konklusjon: "Derfor vil du dehydrere".

Variant 4

• Forutsetning 1: Ja "P" da "q"^"r"
• Forutsetning 2: "P"
• Konklusjon: "Q"^"R".

I dette tilfellet refererer “^” -symbolet til det kopulative konjunksjonen “y”, mens “r” representerer en annen som følger i proposisjonen; Derfor vil en antecedent bekrefte to påfølgende samtidig.

Første eksempel

• Forutsetning 1: "Hvis du var god med moren din, vil faren din gi deg en gitar og strengene hennes".
• Forutsetning 2: "Du var god med moren din".
• Konklusjon: "Derfor vil faren din gi deg en gitar og hans strenger".

Andre eksempel

• Forutsetning 1: "Hvis du øver på svømming, vil du forbedre din fysiske motstand og gå ned i vekt".
• Forutsetning 2: "Du trener svømming".
• Konklusjon: "Derfor vil du forbedre din fysiske motstand og gå ned i vekt".

Tredje eksempel

• Forutsetning 1: "Hvis du har lest denne artikkelen i Lofede, har du lært og du er mer forberedt".
• Forutsetning 2: "Du har lest denne artikkelen i Lofede".
• Konklusjon: "Derfor har du lært og du er mer forberedt".

Modus ponens, En vei til logikk

Han Modus ponens representerer den første regelen for proposisjonell logikk. Det er et konsept som, basert på enkle forståelsessteder, åpner forståelsen av dypeste resonnementer.

Til tross for at de er en av de mest brukte ressursene i logikkens verden, kan den ikke forveksles med en logisk lov; Det er ganske enkelt en metode for utdyping av deduktive bevis.

Ved å undertrykke en setning av konklusjonene, Modus ponens Unngå agglutinasjon og omfattende sammenkobling av elementer når du utarbeider fradrag. For den kvaliteten kalles det også "separasjonsregel".

Han Modus Putting Ponens Det er en uunnværlig ressurs for full kunnskap om aristotelisk logikk.