- ištakos
- Etimologija
- Paaiškinimas
- Pavyzdžiai
- Pirmas pavyzdys
- Antras pavyzdys
- Trečias pavyzdys
- Variantai ir pavyzdžiai
- 1 variantas
- Pirmas pavyzdys
- Antras pavyzdys
- Trečias pavyzdys
- 2 variantas
- Pirmas pavyzdys
- Antras pavyzdys
- Trečias pavyzdys
- 3 variantas
- Pirmas pavyzdys
- Antras pavyzdys
- Trečias pavyzdys
- 4 variantas
- Pirmas pavyzdys
- Antras pavyzdys
- Trečias pavyzdys
- Nuorodos
Į modus ponendo ponens yra logiškas argumentas, argumentuotą išvadą tipas, priklausanti formalios sistemos atskaitą taisyklių gerai žinomas propozicinės logika. Ši argumentuojanti struktūra yra pradinė gairė, perduodama teiginio logika ir tiesiogiai susijusi su sąlyginiais argumentais.
Argumentas modus ponendo ponens gali būti vertinamas kaip dvilypis skiemenynas, kuris vietoj trečiojo termino, kuris tarnauja kaip saitas, verčiau naudoja sąlyginį sakinį, su kuriuo jis sieja antecedentinį elementą su išplaukiančiu elementu.
Aristotelis, filosofinės logikos tėvas
Palikdami tradicizmą, modus ponendo ponens galime laikyti dedukcijos taisyklių procedūra (modus), kuri, tvirtindama (pateikdama) antecedentą ar nuorodą (ankstesnį elementą), sugeba patvirtinti (ponenso) padarinį. arba išvada (vėlesnis elementas).
Ši pagrįsta formuluotė prasideda nuo dviejų teiginių ar prielaidų. Ja siekiama išsiaiškinti išvadą, kad, nepaisant netiesioginio ir sąlyginio argumento, tam, kad būtų laikoma pasekminiu, reikia dvigubo teiginio - tiek prieš jį buvusio termino, tiek apie jį patį.
ištakos
Šis teigiamas būdas, kaip dedukcinės logikos taikymo dalis, atsirado senovėje. Tai atsirado iš graikų filosofo Aristotelio de Estagiros rankos, nuo IV amžiaus pr. C.
Aristotelis pasiūlė modus ponens - taip pat vadinama - pagrįstą išvadą gauti patvirtinant precedentą ir pasekmę prielaidoje. Šiame procese antecedentas pašalinamas, paliekant tik pasekmę.
Graikijos mąstytojas norėjo padėti pagrindus aprašomajam loginiam samprotavimui, kad paaiškintų ir suprastų visus žmogaus egzistavimui artimus reiškinius, jo sąveikos su aplinka produktą.
Etimologija
„Modus ponendo ponens“ šaknys yra lotynų kalba. Ispanų kalboje jo reikšmė yra: „metodas, patvirtinantis (tvirtinantis), patvirtinantis (tvirtinantis)“, nes, kaip minėta anksčiau, jį sudaro du elementai (antecedentas ir iš jo išplaukiantis), teigiantys jo struktūrą.
Paaiškinimas
Apskritai modus ponendo ponens koreliuoja du teiginius: sąlyginį priešakinį, vadinamą „P“, ir sąlyginį pasekmę, vadinamą „Q“.
Svarbu, kad 1 prielaida visada būtų sąlyginė forma „jei tada“; „jei“ yra prieš antecedentą, o „tada“ yra prieš tai.
Jo formuluotė yra tokia:
1 prielaida: jei „P“, tada „Q“.
2 prielaida: „P“.
Išvada: „Q“.
Pavyzdžiai
Pirmas pavyzdys
1 prielaida: „Jei norite išlaikyti egzaminą rytoj, turite mokytis sunkiai“.
2 prielaida: „Norite išlaikyti egzaminą rytoj“.
Išvada: "Todėl jūs turite sunkiai mokytis".
Antras pavyzdys
1 prielaida: „Jei norite greitai patekti į mokyklą, turite eiti tuo keliu“.
2 prielaida: „Norite greitai patekti į mokyklą“.
Išvada: „Todėl jūs turite eiti tuo keliu“.
Trečias pavyzdys
1 prielaida: „Jei norite valgyti žuvį, tuomet turėtumėte apsipirkti turguje“.
2 prielaida: „Norite valgyti žuvį“.
Išvada: „Todėl jūs turite eiti pirkti turguje“
Variantai ir pavyzdžiai
Modus ponendo ponens formuluotėje gali būti nedaug skirtumų. Žemiau bus pateikti keturi labiausiai paplitę variantai su atitinkamais pavyzdžiais.
1 variantas
1 prielaida: jei „P“, tada „¬Q“
2 prielaida: „P“
Išvada: „¬Q“
Šiuo atveju simbolis „¬“ primena „Q“ neigimą.
Pirmas pavyzdys
1 prielaida: "Jei valgysite tokiu būdu, tada nepasieksite savo idealaus svorio".
2 prielaida: „Tu ir toliau valgai taip“.
Išvada: „Todėl nepasieksite savo idealaus svorio“.
Antras pavyzdys
1 prielaida: "Jei valgysite tiek druskos, tada negalėsite kontroliuoti savo hipertenzijos".
2 prielaida: „Jūs ir toliau valgote tiek druskos“.
Išvada: "Todėl jūs negalėsite kontroliuoti hipertenzijos".
Trečias pavyzdys
1 prielaida: „Jei žinai apie kelią, tada nepasiklysi“.
2 prielaida: „Jūs žinote kelią“.
Išvada: "Todėl nepasiklysi".
2 variantas
1 prielaida: jei „P“ ^ „R“, tada „Q“
2 prielaida: „P“ ^
Išvada: „Q“
Šiuo atveju simbolis „^“ reiškia jungtinę jungtį „y“, o „R“ reiškia kitą antecedentą, kuris pridedamas patvirtinti „Q“. T. y., Mes turime dvigubą kondicionierių.
Pirmas pavyzdys
1 prielaida: „Jei grįšite namo ir atsinešite kukurūzų kukurūzų, pamatysime filmą“.
2 prielaida: „Jūs grįžote namo ir atnešate kukurūzų“.
Išvada: "Todėl pamatysime filmą".
Antras pavyzdys
1 prielaida: "Jei vairuoji girtą ir žiūri į savo mobilųjį telefoną, tada suduosi".
2 prielaida: „Jūs vairuojate girtas ir žiūrite savo mobilųjį telefoną“.
Išvada: "Todėl jūs suduosite".
Trečias pavyzdys
1 prielaida: „Jei geriate kavą ir valgote šokoladą, tada jūs rūpinatės savo širdimi“.
2 prielaida: „Jūs geriate kavą ir valgote šokoladą“.
Išvada: "Todėl jūs rūpinatės savo širdimi".
3 variantas
1 prielaida: jei „¬P“, tada „Q“
2 prielaida: „¬P“
Išvada: „Q“
Šiuo atveju simbolis „¬“ primena „P“ neigimą.
Pirmas pavyzdys
1 prielaida: „Jei neištyrėte balsių sutapimų, lingvistikos testo neišlaikysite“.
2 prielaida: "Jūs nenagrinėjote balsių sutapimų".
Išvada: "Todėl jūs neišlaikysite kalbotyros testo".
Antras pavyzdys
1 prielaida: "Jei nepamaitinsite savo papūgos, jis mirs".
2 prielaida: „Jūs neduodate savo papūgai maisto“.
Išvada: "Todėl jis mirs".
Trečias pavyzdys
1 prielaida: „Jei negersite vandens, tada tapsite dehidratuoti“.
2 prielaida: „Jūs negeriate vandens“.
Išvada: "Todėl jūs tapsite dehidratuota".
4 variantas
1 prielaida: jei „P“, tada „Q“ ^ „R“
2 prielaida: „P“
Išvada: „Q“ ^ „R“
Šiuo atveju simbolis „^“ reiškia jungiamąjį junginį „ir“, o „R“ žymi antrąją posakio pasekmę; todėl antecedentas patvirtins du padarinius tuo pačiu metu.
Pirmas pavyzdys
1 prielaida: „Jei tu buvai geras savo motinai, tada tavo tėvas atneš tau gitarą ir jos stygas“.
2 prielaida: „Tu buvai geras savo motinai“.
Išvada: "Todėl tavo tėvas atneš tau gitarą ir jos stygas".
Antras pavyzdys
1 prielaida: "Jei jūs manote apie plaukimą, tada pagerinsite savo fizinį pasipriešinimą ir numesite svorio".
2 prielaida: „Jūs plaukiate“.
Išvada: „Todėl pagerinsite savo fizinį pasipriešinimą ir numesite svorio“.
Trečias pavyzdys
1 prielaida: „Jei perskaitėte šį straipsnį„ Lifeder “, tada jūs sužinojote ir esate labiau pasirengę“.
2 prielaida: „Perskaitėte šį straipsnį„ Lifeder “.
Išvada: „Todėl jūs išmokote ir esate labiau pasirengę“.
Modus ponens yra pirmoji teiginio logikos taisyklė. Tai yra koncepcija, kuri, pradedant nuo paprastų prielaidų suprasti, atveria supratimą gilesniam samprotavimui.
Nepaisant to, kad jis yra vienas iš labiausiai naudojamų išteklių logikos pasaulyje, jo negalima supainioti su loginiu dėsniu; tai tiesiog dedukcinių įrodymų gavimo būdas.
Pašalindamas sakinį iš išvadų, modus ponens, darydamas dedukcijas, išvengia plataus elementų aglutinavimo ir susikaupimo. Dėl šios kokybės jis dar vadinamas „atskyrimo taisykle“.
Modus ponendo ponens yra būtinas šaltinis norint išmanyti visas Aristotelio logikas.
Nuorodos
- Ferrateris Mora, J. (1969). Filosofijos žodynas. Buenos Airės: „Hispanoteca“. Atkurta iš: hispanoteca.eu.
- Modusas įdėdamas ponius. (S. f.). Ispanija: „Webnode“. Atkurta iš: legis-de-inferencia5.webnode.es.
- Modusas įdėdamas ponius. (S. f.). (netaikoma): Vikipedija. Atkurta iš: wikipedia.org.
- Išvadų ir lygiavertiškumo taisyklės. (S. f.). Meksika: UPAV. Atkurta iš: universidadupav.edu.mx.
- Mazón, R. (2015). Dėti ponius. Meksika: „Super Mileto“. Atkurta iš: supermileto.blogspot.com.