Jaga:
Modus Ponendo Ponens selgitus ja näited
The modus ponendo ponens see on omamoodi loogiline argument, põhjendatud järeldus, mis kuulub tuntud ettepanekulise loogika mahaarvamise reeglite formaalsesse süsteemi. See argumenteeriv struktuur on esialgne muster, mis edastatakse ettepanekulises loogikas ja on otseselt seotud tingimuslike argumentidega.
Väide modus ponendo ponens seda võib vaadelda kahe jalaga syllogismina, mis selle asemel, et kasutada lingina kolmandat ametiaega, kasutab pigem tingimuslikku lauset, millega ta seob eelneva elemendi järgneva elemendiga.
Konverentsist lahkudes näeme modus ponendo ponens protseduurina (modus) mahaarvamiseeskirjadest, mis kinnituse (laskmine) eelkäija või viide (eelmine element), õnnestub kinnitada (ponid) järeldusele (hilisem element).
See mõistlik sõnastus algab kahest ettepanekust või ruumist. Sellega püütakse järeldada, et vaatamata sellele, et argument on kaudne ja tingimuslik, nõuab see kahekordset kinnitamist - mõlemat eelnevat terminit ja ennast -, et seda saaks pidada sellest tulenevaks..
Indeks
- 1 Päritolu
- 1.1 Etümoloogia
- 2 Selgitus
- 3 Näited
- 3.1 Esimene näide
- 3.2 Teine näide
- 3.3 Kolmas näide
- 4 Variandid ja näited
- 4.1 1. variant
- 4.2 Variant 2
- 4.3 Variant 3
- 4.4 4. variant
- 5 Modus ponens, tee loogikale
- 6 Viited
Päritolu
See positiivne režiim, mis on osa deduktiivse loogika rakendamisest, pärineb antiikajast. Ilmunud kreeka filosoofi Aristotelese Estagira käest, 4. sajand eKr. C.
Aristoteles tõstis modus ponens -nagu seda nimetatakse ka - saada põhjendatud järeldus nii pretsedendi kui ka selle eelduse valideerimise kaudu. Selles protsessis kõrvaldatakse eelkäija, jättes vaid sellest tuleneva.
Kreeka mõtleja tahtis luua loogilise kirjeldava põhjenduse alused, et selgitada ja kontsepteerida kõiki nähtusi, mis on lähedased inimese olemasolule, nende keskkonnaga kokkupuutumise produktile..
Etümoloogia
The modus ponendo ponens Selle juured on ladina keeles. Hispaania keeles on selle tähendus: "meetod, mis kinnitab (kinnitab), kinnitab (kinnitab)", sest, nagu varem öeldud, koosneb see kahest elemendist (eelkäijast ja sellest tulenevast) selle struktureerimisel..
Selgitus
Üldiselt on modus ponendo ponens korreleerib kahte ettepanekut: eelnevale eelnenud konditsioneerimist nimetatakse "P" ja konditsioneeritud tagajärjeks, mis saab nime "Q".
Oluline on, et eeldus 1 esitaks alati konditsioneerimisvormi "kui-siis"; "kui" läheb enne eelkäijat ja "siis" läheb enne seda.
Selle sõnastus on järgmine:
1. eeldus: kui "P" siis "Q".
2. eeldus: "P".
Järeldus: "Q".
Näited
Esimene näide
1. eeldus: "Kui soovite homme eksami sooritada, siis peate palju õppima".
2. eeldus: "Sa tahad homme eksami sooritada".
Otsustav: "Seetõttu peate palju õppima".
Teine näide
1. eeldus: "Kui soovid kiiresti kooli minna, siis peate selle tee".
2. eeldus: "Sa tahad kiiresti kooli minna".
Lõpetuseks: "Seepärast peate te selle tee võtma".
Kolmas näide
1. eeldus: "Kui sa tahad kala süüa, siis peaksite turule ostma".
2. eeldus: "Sa tahad kala süüa".
Lõpetuseks: "Seetõttu peate turule ostma minema"
Variandid ja näited
The modus ponendo ponens võivad oma koostises esineda väikeseid variante. Järgnevalt esitatakse neli kõige levinumat varianti koos vastavate näidetega.
Variant 1
1. eeldus: kui "P" siis "¬Q"
2. eeldus: "P"
Järeldus: "¬Q"
Sellisel juhul meenutab sümbol "¬" "Q" keeldumist
Esimene näide
1. eeldus: "Kui sa seda nii söövad, siis te ei suuda oma ideaalset kaalu saavutada".
2. eeldus: "Sina sööte seda teed".
Järeldus: "Seega ei saavuta te oma ideaalset kaalu".
Teine näide
1. eeldus: "Kui sa söövad nii palju soola, siis ei saa te hüpertensiooni kontrollida".
2. eeldus: "Sa sööd ikka veel nii palju soola".
Järeldus: "Seetõttu ei saa te hüpertensiooni kontrollida".
Kolmas näide
1. eeldus: "Kui te olete teel, siis sa ei kaota".
2. eeldus: "Te vaatate teed".
Järeldus: "Seega te ei kaota".
Variant 2
1. eeldus: kui "P" ^ "R", siis "Q"
2. eeldus: "P" ^
Järeldus: "Q"
Sellisel juhul viitab sümbol "^" kopulatiivsele ühendusele "ja", samas kui "R" on esindatud teise eellasega, mis lisatakse "Q" valideerimiseks. See tähendab, et oleme kahekordse seisundi juuresolekul.
Esimene näide
1. eeldus: "Kui sa tuled koju ja tuua popkorni, siis me näeme filmi".
2. eeldus: "Sa tuled koju ja tuua popcorn".
Järeldus: "Seetõttu näeme me filmi".
Teine näide
1. eeldus: "Kui te sõid purjus ja näete mobiiltelefoni, siis te ründate".
2. eeldus: "Sõidad purjus ja näed mobiiltelefoni".
Järeldus: "Seepärast te ründate".
Kolmas näide
1. eeldus: "Kui te juua kohvi ja sööte šokolaadi, siis hoolitsete oma südame eest".
2. eeldus: "Joo kohvi ja süüa šokolaadi".
Järeldus: "Seepärast hoolitsete oma südame eest".
Variant 3
1. eeldus: kui "¬P" siis "Q"
2. eeldus: "¬P"
Järeldus: "Q"
Sellisel juhul meenutab sümbol "¬" "P" keeldumist..
Esimene näide
1. eeldus: "Kui sa ei õppinud täishäälikute kokkulangevusi, siis te ei suuda keeleteaduse eksami".
2. eeldus: "Sa ei õppinud täishäälikute sündmusi".
Järeldus: "Seetõttu te ei suuda keeleteaduse eksami".
Teine näide
1. eeldus: "Kui sa ei anna oma papagoiile toitu, siis see sureb".
2. eeldus: "Sa ei anna oma papagoiile toitu".
Järeldus: "Seetõttu sureb ta".
Kolmas näide
1. eeldus: "Kui te ei joo vett, siis muutub veetustatud".
2. eeldus: "Ärge jooge vett".
Järeldus: "Seepärast muutub sa veetustatud".
Variant 4
1. eeldus: kui "P" siis "Q" ^ "R"
2. eeldus: "P"
Järeldus: "Q" ^ "R"
Sel juhul viitab sümbol "^" kopulatiivsele ühendusele "ja", samas kui "R" on teine, mis tuleneb ettepanekust; seetõttu kinnitab eelkäija, et samal ajal on kaks järgnevat.
Esimene näide
1. eeldus: "Kui sa olid oma emale hea, siis su isa toob sulle kitarri ja tema stringid".
2. eeldus: "Oled hea oma emaga".
Järeldus: "Seega, teie isa toob sulle kitarri ja selle stringid".
Teine näide
1. eeldus: "Kui te harjutate ujumist, siis parandate oma füüsilist vastupidavust ja kaotate kaalu".
2. eeldus: "Te harjutate ujumist".
Järeldus: "Seetõttu parandate oma füüsilist vastupidavust ja kaalust alla".
Kolmas näide
1. eeldus: "Kui sa loed seda artiklit Lifederis, siis olete õppinud ja olete rohkem valmis".
2. eeldus: "Olete lugenud seda artiklit Lifederis".
Järeldus: "Seepärast olete õppinud ja olete rohkem valmis".
Modus ponens, tee loogikale
The modus ponens kujutab endast esimest reeglit, mis kujutab endast ettepanekulist loogikat. See on mõiste, mis algab lihtsatest ruumidest, et mõista, avab arusaama sügavamast mõttest.
Hoolimata sellest, et see on üks loogika maailma kõige kasutatumaid ressursse, ei saa seda segi ajada loogilise seadusega; see on lihtsalt meetod deduktiivsete tõendite väljatöötamiseks.
Otsuse väljajätmisega järeldustest modus ponens väldib mahaarvamiste tegemisel aglutinatsiooni ja elementide ulatuslikku kokkuviimist. Selle kvaliteediga nimetatakse seda ka "eraldamise reegliks".
The modus ponendo ponens see on hädavajalik ressurss aristotelese loogika täielikuks tundmiseks.
Viited
- Ferrater Mora, J. (1969). Filosoofia sõnaraamat. Buenos Aires: Hispanoteca. Välja otsitud: hispanoteca.eu.
- Modus pani ponid. (S. f.). Hispaania: Webnode. Välja otsitud andmebaasist: ley-de-inferencia5.webnode.es.
- Modus pani ponid. (S. f.). (n / a): Wikipedia. Välja otsitud andmebaasist: wikipedia.org.
- Järeldused ja samaväärsus. (S. f.). Mehhiko: UPAV. Välja otsitud aadressilt: universidadupav.edu.mx.
- Mazón, R. (2015). Pooride paigutamine. Mehhiko: Super Mileto. Taastatud: supermileto.blogspot.com.