- pirmsākumi
- Etimoloģija
- Paskaidrojums
- Piemēri
- Pirmais piemērs
- Otrais piemērs
- Trešais piemērs
- Varianti un piemēri
- 1. variants
- Pirmais piemērs
- Otrais piemērs
- Trešais piemērs
- 2. variants
- Pirmais piemērs
- Otrais piemērs
- Trešais piemērs
- 3. variants
- Pirmais piemērs
- Otrais piemērs
- Trešais piemērs
- 4. variants
- Pirmais piemērs
- Otrais piemērs
- Trešais piemērs
- Atsauces
Par Modus ponendo ponens ir par loģisku argumentu, par pamatotu secināt tips, kas pieder pie formālo sistēmu atskaitījumu noteikumiem pazīstamā propositional loģiku. Šī argumentējošā struktūra ir sākotnējā vadlīnija, kas tiek pārraidīta piedāvājuma loģikā un ir tieši saistīta ar nosacītajiem argumentiem.
Argumentu modus ponendo ponens var uzskatīt par divkāju silogģismu, kas tā vietā, lai izmantotu trešo terminu, kas kalpo kā saite, drīzāk izmanto nosacītu teikumu, ar kuru tas saista antecedent elementu ar izrietošo elementu.
Aristotelis, filozofiskās loģikas tēvs
Atstājot konvencionālismu, modus ponendo ponens var uzskatīt par dedukcijas noteikumu procedūru (modus), kas, priekšteča vai atsauces (iepriekšēja elementa) apgalvojuma (ielikšanas) rezultātā ļauj apgalvot (ponens) kādam sekojošam. vai secinājums (vēlāks elements).
Šis saprātīgais formulējums sākas ar diviem priekšlikumiem vai pieņēmumiem. Ar to mēģina izsecināt secinājumu, ka, lai arī tas ir netieši izteikts un nosacīts argumentā, lai to uzskatītu par izrietošu, ir nepieciešams divkāršs apstiprinājums - gan pirms tam, gan pirms tā - gan pirms tā, gan pats par sevi.
pirmsākumi
Šis apstiprinošais režīms kā deduktīvās loģikas pielietojuma cēlonis ir senatne. Tas parādījās no grieķu filozofa Aristoteļa de Estagira rokas, sākot no 4. gadsimta pirms mūsu ēras. C.
Aristotelis ierosināja modus ponens - kā to sauc arī par - iegūt pamatotu secinājumu, apstiprinot gan precedentu, gan secinājumu premisā. Šajā procesā priekštecis tiek likvidēts, atstājot tikai izrietošo.
Grieķijas domātājs vēlējās likt aprakstošās loģiskās argumentācijas pamatus, lai izskaidrotu un konceptuāli atspoguļotu visas parādības, kas ir tuvas cilvēka pastāvēšanai, viņa mijiedarbības ar vidi produktu.
Etimoloģija
Modus ponendo ponens saknes meklējamas latīņu valodā. Spāņu valodā tā nozīme ir: "metode, kas apstiprina (apgalvo), apstiprina (apstiprina)", jo, kā jau iepriekš tika teikts, tā sastāv no diviem elementiem (priekšteča un izrietošā), kas apstiprina tās strukturēšanu.
Paskaidrojums
Vispārīgi runājot, modus ponendo ponens korelē divus piedāvājumus: kondicionējošo priekšteci ar nosaukumu "P" un kondicionētu sekojošo ar nosaukumu "Q".
Ir svarīgi, lai 1. pieņēmumam vienmēr būtu kondicionēšanas forma “ja tad”; "ja" ir pirms priekšteča, un "tad" ir pirms sekojošā.
Tās formulējums ir šāds:
1. pieņēmums: ja “P”, tad “Q”.
2. pieņēmums: “P”.
Secinājums: "Q".
Piemēri
Pirmais piemērs
1. pieņēmums: "Ja vēlaties eksāmenu nokārtot rīt, tad jums ir smagi jāmācās."
2. pieņēmums: "Jūs vēlaties eksāmenu nokārtot rīt."
Secinoši: "Tāpēc jums ir smagi jāmācās."
Otrais piemērs
1. pieņēmums: "Ja jūs vēlaties ātri nokļūt skolā, tad jums jāiet šis ceļš."
2. pieņēmums: "Jūs vēlaties ātri nokļūt skolā."
Secinoši: "Tāpēc jums ir jānoiet šis ceļš."
Trešais piemērs
1. pieņēmums: "Ja vēlaties ēst zivis, jums vajadzētu doties iepirkties tirgū."
2. pieņēmums: "Jūs vēlaties ēst zivis."
Secinoši: "Tāpēc jums jāiet pirkt tirgū"
Varianti un piemēri
Modus ponendo ponens tā formulējumā var būt nelielas atšķirības. Zemāk tiks parādīti četri visizplatītākie varianti ar attiecīgajiem piemēriem.
1. variants
1. pieņēmums: ja “P”, tad “¬Q”
2. pieņēmums: “P”
Secinājums: "¬Q"
Šajā gadījumā simbols "¬" atgādina "Q" negatīvu
Pirmais piemērs
1. pieņēmums: "Ja jūs ēdat šādi, tad jūs nesasniegsiet savu ideālo svaru."
2. pieņēmums: “Tu tik un tā ēd.”
Secinājums: "Tāpēc jūs nesasniegsiet savu ideālo svaru."
Otrais piemērs
1. pieņēmums: "Ja jūs ēdat tik daudz sāls, tad jūs nevarēsit kontrolēt savu hipertensiju."
2. pieņēmums: “Tu turpini ēst tik daudz sāls.”
Secinājums: "Tāpēc jūs nevarēsit kontrolēt hipertensiju."
Trešais piemērs
1. pieņēmums: "Ja jūs zināt ceļu, tad jūs nepazudīsit."
2. pieņēmums: "Jūs esat informēts par ceļu."
Secinājums: "Tāpēc jūs nepazudīsit."
2. variants
1. pieņēmums: ja “P” ^ “R”, tad “Q”
2. pieņēmums: “P” ^
Secinājums: "Q"
Šajā gadījumā simbols "^" norāda uz kopulācijas savienojumu "y", bet "R" apzīmē citu priekšteci, kas pievienots, lai apstiprinātu "Q". Tas ir, mēs atrodamies divkāršā kondicioniera klātbūtnē.
Pirmais piemērs
1. pieņēmums: "Ja jūs atnāksit mājās un atnesīsit kādu popkornu, mēs redzēsim filmu."
2. pieņēmums: "Tu nāc mājās un atnes popkornu."
Secinājums: "Tāpēc mēs redzēsim filmu."
Otrais piemērs
1. pieņēmums: "Ja jūs braucat piedzēries un skatāties uz savu mobilo tālruni, tad jūs avarēsit."
2. pieņēmums: "Jūs braucat piedzēries un vērojat savu mobilo tālruni."
Secinājums: "Tāpēc jūs sabruksit."
Trešais piemērs
1. pieņēmums: "Ja jūs dzerat kafiju un ēdat šokolādi, tad jūs rūpējaties par savu sirdi."
2. pieņēmums: "Jūs dzerat kafiju un ēdat šokolādi."
Secinājums: "Tāpēc tu rūpējies par savu sirdi."
3. variants
1. pieņēmums: ja “¬P”, tad “Q”
2. pieņēmums: “¬P”
Secinājums: "Q"
Šajā gadījumā simbols "¬" atgādina negatīvu "P".
Pirmais piemērs
1. pieņēmums: "Ja jūs nemācījāties patskaņu sakritībās, jūs neizturēsit valodniecības pārbaudi."
2. pieņēmums: "Jūs nepētījāt patskaņu sakritības."
Secinājums: "Tāpēc jūs neizturēsit valodniecības pārbaudi."
Otrais piemērs
1. pieņēmums: "Ja jūs nepabarosit savu papagaili, tad tas mirs."
2. pieņēmums: "Jūs nedodiet savam papagailim ēdienu."
Secinājums: "Tāpēc viņš mirs."
Trešais piemērs
1. pieņēmums: "Ja jūs nedzersit ūdeni, jūs kļūsit dehidrēts."
2. pieņēmums: "Jūs nedzer ūdeni."
Secinājums: "Tāpēc jūs kļūsit dehidrēts."
4. variants
1. pieņēmums: ja “P”, tad “Q” ^ “R”
2. pieņēmums: “P”
Secinājums: "Q" ^ "R"
Šajā gadījumā simbols "^" norāda uz kopulācijas savienojumu "un", bet "R" apzīmē otro secinājumu priekšlikumā; tāpēc priekštecis apstiprinās divus secinājumus vienlaikus.
Pirmais piemērs
1. pieņēmums: "Ja tu būtu labs pret māti, tad tavs tēvs atnes tev ģitāru un tās stīgas."
2. pieņēmums: "Jūs bijāt labs pret savu māti."
Secinājums: "Tāpēc tavs tēvs tev atnesīs ģitāru un tās stīgas."
Otrais piemērs
1. pieņēmums: "Ja jūs nodarbojaties ar peldēšanu, tad jūs uzlabosit savu fizisko pretestību un zaudēsiet svaru."
2. pieņēmums: "Jūs peldaties."
Secinājums: "Tāpēc jūs uzlabosit savu fizisko pretestību un zaudēsiet svaru."
Trešais piemērs
1. pieņēmums: "Ja esat lasījis šo rakstu Lifeder, tad jūs esat iemācījušies un esat vairāk sagatavojušies."
2. pieņēmums: "Jūs esat lasījis šo rakstu Lifeder."
Secinājums: "Tāpēc jūs esat iemācījušies un esat vairāk sagatavojušies."
Modus ponens ir ierosināšanas loģikas pirmais noteikums. Tā ir koncepcija, kas, sākot no vienkāršām telpām, lai saprastu, paver izpratni dziļākai spriešanai.
Neskatoties uz to, ka tas ir viens no loģikas pasaulē visvairāk izmantotajiem resursiem, to nevar sajaukt ar loģisku likumu; tā ir vienkārši deduktīvu pierādījumu iegūšanas metode.
Noņemot teikumu no secinājumiem, modus ponens, veicot atskaitījumus, izvairās no plašas elementu aglutinācijas un konkatenācijas. Par šo kvalitāti to sauc arī par "nodalīšanas noteikumu".
Modus ponendo ponens ir neaizstājams resurss, lai pilnībā pārzināt Aristotelian loģiku.
Atsauces
- Ferraters Mora, J. (1969). Filozofijas vārdnīca. Buenosairesa: Hispanoteca. Atgūts no: hispanoteca.eu.
- Modus liek ponijus. (S. f.). Spānija: Webnode. Atgūts no: legis-de-inferencia5.webnode.es.
- Modus liek ponijus. (S. f.). (n / a): Wikipedia. Atgūts no: wikipedia.org.
- Secinājumu un līdzvērtības noteikumi. (S. f.). Meksika: UPAV. Atgūts no: universidadupav.edu.mx.
- Mazón, R. (2015). Liekot ponijus. Meksika: Super Mileto. Atgūts no: supermileto.blogspot.com.