- Aristotelské návrhy
- Univerzální propozice
- Konkrétní návrhy
- 4 hlavní výrokové formy
- Forma A: Univerzální kladné návrhy
- Forma E: Negativní univerzální návrhy
- Forma I: Zvláštní kladné návrhy
- Forma O: Negativní konkrétní návrhy
- Cvičení
- Odpověď
- Odpověď
- Odpověď
- Odpověď
- Reference
Mezi konkrétní a univerzální tvrzení jsou hlavní klasifikace výrokové kategorií. Byly navrženy Aristotelesem a jsou součástí studia logiky.
Aristotelská logika definuje výrok jako větu, která něco potvrzuje nebo popírá. To znamená, že jde o argumentační a absolutní tón. Kategorické tvrzení jsou ty, ve kterých se potvrzuje nebo popírá, že část (nebo celek) je něco. V závislosti na jejich vlastnostech jsou univerzální nebo konkrétní.
Zvláštní a univerzální výroky
Příkladem konkrétního tvrzení by bylo „Některé země mají pobřeží“, zatímco univerzální tvrzení by bylo „Živé věci jsou smrtelné“.
Aristotelské návrhy
Byl to Aristoteles (384 př.nl - 322 př.nl), který navrhl kategorické propozice jako celek. Byly zřízeny jako počáteční součást struktury logiky mluveného jazyka.
Teorie výroků vysvětluje, že jejím cílem je naznačit, zda je předmět součástí predikátu.
Univerzální propozice
Univerzály jsou ty, které odkazují na celou skupinu předmětu. Nemluvíme o konkrétním prvku, ale o všem.
Například věta „kůra všech psů“ je univerzální tvrzení. Poskytuje stejnou vlastnost (kůra) všem členům této skupiny (psům).
„Lidé jsou savci“ je také dalším příkladem univerzálního tvrzení. Předmětem jsou „lidé“ a predikát je „jsou to savci“.
Konkrétní návrhy
Konkrétní výroky, na rozdíl od předchozích, odkazují na konkrétní část skupiny.
Výrok „někteří ptáci létají“ je zvláštní, protože se týká některých prvků celé skupiny.
Totéž platí o větě „někteří lidé jsou blonďatí“. V tomto případě „někteří lidé“ představují předmět a „jsou blondýna“ je predikát.
4 hlavní výrokové formy
Ať jsou univerzální nebo konkrétní, všechny návrhy mohou být kladné nebo záporné.
Potvrzující. Pozitivní jsou ty, které potvrzují potvrzení. To znamená, že pozitivně podporují predikát věty. Příkladem univerzálního kladného tvrzení je „všechny kočky měny“. V tomto je pozitivně potvrzeno, že celá skupina subjektu provádí činnost predikátu.
Jeden konkrétní kladný výrok je „některé kočky jsou bílé“. To nezahrnuje celou skupinu v predikátu, ale pouze některé její prvky.
Negativy. Mezitím negativní tvrzení popírá pravdivost tvrzení. Věta „žádný pták nemá peří“ je negativní univerzální tvrzení. Toto potvrzuje negaci predikátu v celé skupině, na kterou se vztahuje.
Zatímco věta se strukturou „někteří ptáci nelétají“ je obzvláště negativním tvrzením. Toto popírá členství části skupiny k predikátu.
Na základě toho Aristoteles určil, že existují 4 možné formy kategorických propozic. Takto vytvořil klasifikaci, která je podrobně prostudovala.
Forma A: Univerzální kladné návrhy
Každý subjekt je predikovaný. Například: všechny planety jsou kulaté.
Forma E: Negativní univerzální návrhy
Žádný předmět není predikován. Například: žádná planeta není plochá.
Forma I: Zvláštní kladné návrhy
Nějaký předmět je predikát. Například: některé dveře jsou vyrobeny ze dřeva.
Forma O: Negativní konkrétní návrhy
Některý předmět není predikát. Například: některé dveře nejsou kovové.
Cvičení
Zjistěte, ke které ze čtyř možných forem kategorických propozic patří následující argumenty.
- „Všichni Evropané jsou lidé“
Odpověď
Jedná se o univerzální kladný výrok, protože téma je predikováno.
- „Žádný savec není nesmrtelný“
Odpověď
Jedná se o negativní univerzální nabídku, protože téma není všechno predikováno.
- „Některá auta jsou elektrická“
Odpověď
Jedná se o zvláštní kladný výrok, protože předmět je predikovaný.
- „Některá auta nejsou pětidveřová“
Odpověď
Jedná se o konkrétní negativní tvrzení, protože předmět není predikovaný.
Reference
- Kategorické propozice. (2011) filozofophypages.com
- Klasifikace propozic. (2013) expresionoralyescrita1.files.wordpress.com
- Předběžné návrhy k návrhům. matematexx.files.wordpress.com
- Filozofie 103: Úvod do logických Vennových diagramů kategorických propozic standardních forem. (2004) filozofie.lander.edu
- Kategorické propozice. (2017) britannica.com
- Kategorické propozice. (2017) newworldencyclopedia.org