The modus uvedení poníků Jedná se o typ logického argumentu s odůvodněným závěrem, který patří do formálního systému pravidel dedukce známé výrokové logiky. Tato argumentační struktura je počátečním vodítkem, které se přenáší výrokovou logikou a přímo souvisí s podmíněnými argumenty..
Argument modus uvedení poníků Lze na něj pohlížet jako na dvounohý sylogismus, který místo třetího výrazu, který slouží jako odkaz, používá podmíněnou větu, s níž spojuje předcházející prvek s následným prvkem.
Opustíme-li konvencionalizmy, můžeme vidět modus uvedení poníků jako postupmodus) pravidel pro odpočet, že prostřednictvím tvrzení (uvedení) předchůdce nebo odkazu (předchozí prvek), dokáže prosadit (dát) na následek nebo závěr (pozdější prvek).
Tato rozumná formulace vychází ze dvou propozic nebo premis. Usiluje o to, aby z nich bylo možné odvodit závěr, který, i když je implicitní a podmíněný v rámci argumentu, vyžaduje dvojí potvrzení - jak výrazu, který mu předchází, tak samo o sobě - aby mohl být považován za následek.
Rejstřík článků
Tento kladný režim, jako součást aplikace deduktivní logiky, má svůj původ ve starověku. Vypadalo to z rukou řeckého filozofa Aristotela de Estagira ze 4. století před naším letopočtem. C.
Aristoteles pózoval s modus ponens -jak se tomu také říká - získat odůvodněný závěr ověřením precedentu a následku v premise. V tomto procesu je předchůdce eliminován a zbyl jen následek.
Řecký myslitel chtěl položit základy popisného logického uvažování, aby vysvětlil a pojal všechny jevy blízké existenci člověka, produkt jeho interakce s prostředím.
The modus uvedení poníků má své kořeny v latině. Ve španělském jazyce má význam: „metoda, která potvrzuje (tvrdí), potvrzuje (tvrdí)“, protože, jak již bylo řečeno, je složena ze dvou prvků (předchůdce a následek), které jsou v jeho struktuře kladné.
Obecně lze říci, že modus uvedení poníků koreluje dva výroky: podmíněný předchůdce zvaný „P“ a podmíněný následník zvaný „Q“.
Je důležité, aby předpoklad 1 měl vždy podmíněnou formu „pokud-pak“; „if“ předchází předchůdci a „then“ před předcházejícím.
Jeho formulace je následující:
Předpoklad 1: Pokud „P“, pak „Q“.
Předpoklad 2: „P“.
Závěr: „Q“.
Předpoklad 1: „Pokud chcete zítra složit zkoušku, musíte tvrdě studovat“.
Předpoklad 2: „Zítra chcete složit zkoušku“.
Závěrečné: „Proto musíte tvrdě studovat“.
Předpoklad 1: „Pokud se chcete rychle dostat do školy, musíte se vydat touto cestou“.
Předpoklad 2: „Chcete se rychle dostat do školy“.
Závěrečné: „Proto se musíte vydat touto cestou“.
Předpoklad 1: „Pokud chcete jíst ryby, měli byste jít nakupovat na trh“.
Předpoklad 2: „Chceš jíst ryby“.
Závěrečné: „Proto musíte jít koupit na trhu“
The modus uvedení poníků Může představovat malé odchylky ve složení. Čtyři nejběžnější varianty budou uvedeny níže s příslušnými příklady.
Předpoklad 1: Pokud „P“, pak „¬Q“
Předpoklad 2: „P“
Závěr: „¬Q“
V tomto případě se symbol „¬“ podobá negaci „Q“
Předpoklad 1: „Pokud budete takto jíst, nedosáhnete své ideální váhy.“.
Předpoklad 2: „Stále takto jíte“.
Závěr: „Proto nedosáhnete své ideální váhy“.
Předpoklad 1: „Pokud budete stále jíst tolik soli, nebudete moci kontrolovat svou hypertenzi“.
Předpoklad 2: „Stále jíte tolik soli“.
Závěr: „Proto nebudete moci hypertenzi kontrolovat“.
Předpoklad 1: „Pokud víte o silnici, pak se neztratíte“.
Předpoklad 2: „Jste si vědomi silnice“.
Závěr: „Proto se neztratíte“.
Předpoklad 1: Pokud „P“ ^ „R“, pak „Q“
Předpoklad 2: „P“ ^
Závěr: „Q“
V tomto případě symbol „^“ označuje kopulativní spojku „a“, zatímco „R“ představuje dalšího předchůdce, který je přidán k ověření „Q“. To znamená, že jsme v přítomnosti dvojitého kondicionéru.
Předpoklad 1: „Pokud přijdete domů a přinesete popcorn, uvidíme film.“.
Předpoklad 2: „Přijdete domů a přinesete popcorn“.
Závěr: „Proto uvidíme film“.
Předpoklad 1: „Pokud řídíte opilý a díváte se na svůj mobilní telefon, havarujete“.
Předpoklad 2: „Řídíte opilí a sledujete svůj mobilní telefon“.
Závěr: „Proto havarujete“.
Předpoklad 1: „Pokud pijete kávu a jíte čokoládu, staráte se o své srdce“.
Předpoklad 2: „Pijete kávu a jíte čokoládu“.
Závěr: „Proto se staráte o své srdce“.
Předpoklad 1: Pokud „¬P“, pak „Q“
Předpoklad 2: „¬P“
Závěr: „Q“
V tomto případě se symbol „¬“ podobá negaci „P“.
Předpoklad 1: „Pokud jste nestudovali souběhy samohlásek, neprospějete jazykověda“.
Předpoklad 2: „Nestudovali jste souběhy samohlásek“.
Závěr: „Proto z jazykové zkoušky neprospějete“.
Předpoklad 1: „Pokud nekrmíte svého papouška, pak zemře“.
Předpoklad 2: „Nekrmíte papouška“.
Závěr: „Proto zemře“.
Předpoklad 1: „Pokud nepijete vodu, budete dehydratovaní“.
Předpoklad 2: „Nepijete vodu“.
Závěr: „Proto se dehydratujete“.
Předpoklad 1: Pokud „P“, pak „Q“ ^ „R“
Předpoklad 2: „P“
Závěr: „Q“ ^ „R“
V tomto případě symbol „^“ označuje kopulativní spojku „a“, zatímco „R“ představuje druhý následek v propozici; tedy předchůdce bude potvrzovat dva důsledky současně.
Předpoklad 1: „Pokud jste byli dobří ke své matce, pak vám otec přinese kytaru a její struny“.
Předpoklad 2: „Byl jsi hodný ke své matce“.
Závěr: „Váš otec vám tedy přinese kytaru a její struny“.
Předpoklad 1: „Pokud cvičíte plavání, zvýšíte svou fyzickou odolnost a zhubnete“.
Předpoklad 2: „Cvičíte plavání“.
Závěr: „Zlepšíte proto svoji fyzickou odolnost a zhubnete“.
Předpoklad 1: „Pokud jste si přečetli tento článek v Lifeder, pak jste se naučili a jste připraveni“.
Předpoklad 2: „Tento článek jste si přečetli v programu Lifeder“.
Závěr: „Proto jste se poučili a jste lépe připraveni“.
The modus ponens představuje první pravidlo výrokové logiky. Jedná se o koncept, který počínaje jednoduchým předpokladem k pochopení otevírá porozumění hlubšímu uvažování.
Přestože je jedním z nejpoužívanějších zdrojů ve světě logiky, nelze jej zaměňovat s logickým zákonem; je to prostě metoda pro zpracování deduktivních důkazů.
Odstraněním věty ze závěrů modus ponens při provádění dedukcí se vyhýbá rozsáhlé aglutinaci a zřetězení prvků. U této kvality se jí také říká „pravidlo oddělení“.
The modus uvedení poníků je nepostradatelným zdrojem pro úplnou znalost aristotelské logiky.
Zatím žádné komentáře