Lekcie Kategorické vety

Kategorické vety

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Vety typu A a E sa volajú mrzutý a líši sa iba kvalitou. Nemôžu byť spolu pravdivé, ale môžu byť spolu nepravdivé. tj:

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Vety typu I a O sa volajú subcontrarii a líši sa tiež iba z hľadiska kvality. Spoločne nemôžu byť nepravdivé, ale spoločne môžu byť pravdivé, to znamená:

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Vertikálne vzťahy medzi vetami typu A a I a medzi E a O sú podradnosť, v ktorom:

Každý sylogizmus musí obsahovať tri a iba tri kategorické vety
Akýkoľvek kategorický úsudok musí obsahovať tri a iba tri výrazy; každý výraz musí byť uvedený dvakrát, ale nie v tej istej vete

Priemerný termín musí byť distribuovaný aspoň raz
Ak je termín distribuovaný na záver, musí sa javiť ako distribuovaný na úrovni priestorov; ak sa výraz objaví na úrovni priestorov nedistribuovaný, potom bude musieť vypadať nedistribuovaný a na záver.

Ak je záver negatívny, musí byť negatívny jeden predpoklad a iba jeden
Ak je záver kladný, potom musia byť obidva predpoklady kladné.

• Sú to najjednoduchšie logické vety • Sú to vety, v ktorých výraz potvrdzuje (správa o zhode) alebo popiera (správa o opozícii) iného výrazu • Vyjadruje jeden vzťah (zhoda alebo opozícia) medzi dvoma výrazmi • S ich pomocou sa uplatňujú určité vzťahy medzi dvoma pojmami (pojmami) (pozitívne alebo negatívne) • Jeden z pojmov hrá úlohu logického subjektu (S) • a druhý z predikátu (P) • vety, ktoré vyjadrujú vzťah medzi S a P, sa nazývajú kázacie vety (kajú v primárnom, sekulárnom zmysle, povedia nám niečo o veci; niečo potvrdia alebo vyvrátia) • Ich názov pochádza z gréckeho slovesa categorein, čo znamená „kázať“

LOGICKÝ PREDMET Termín, ktorý predstavuje predmet myslenia, teda niečo, o čom sa potvrdzuje alebo popiera:. nezamieňať s gramatickým predmetom. Levy sú cicavce. Vety, ktoré vyjadrujú jeden vzťah medzi dvoma pojmami, sú kategorické vety.

LOGICKÝ PREDIKÁT Termín, ktorý vyjadruje niečo, čo sa tvrdí alebo popiera (v skutočnosti je to trieda predmetov, ku ktorým S alebo úplne patrí alebo nepatrí, celá alebo čiastočne; zelená - trieda zelených predmetov; cicavce - trieda cicavcov) Nesmie sa zamieňať s predikátovou gramatikou . Levy sú cicavce. Vety, ktoré vyjadrujú jeden vzťah medzi dvoma pojmami, sú kategorické vety

Aký je pojem s úlohou subjektu?

Žiadny vták nie je cicavec - vták Niektoré logické hodiny sú veľmi ľahké - logické hodiny Mnohé z cvičení majú vysoký stupeň náročnosti - cvičenia Každý vták na jazyku zahynie - vták Každý, kto beží za dvoma králikmi, nechytí žiadneho - tých, ktorí ľudia, bytosti) utekajte za dvoma králikmi Kto seje vietor, žne búrku - tí (ľudia, bytosti) zasievajú vietor

Čo je pojmom úloha subjektu? Žiadny vták nie je cicavec - cicavec Niektoré logické hodiny sú veľmi ľahké - veľmi ľahké lekcie Mnohé z cvičení majú vysoký stupeň náročnosti - cvičenia s vysokým stupňom obtiažnosti Každý vták na jazyku zahynie - (bytosť), ktorá na jazyku zahynúť Ktokoľvek beží po dvoch králikoch, nechytí žiadneho - (človeka, bytosť), ktorý nechytí nikoho, kto sa podobá vetru, zbiera búrku - (človeka, bytosti), ktorý zbiera búrku.

(spojovací prvok) Vyjadrenie skutočnosti, že určitá vlastnosť patrí alebo nepatrí k objektu (subjektu), presnejšie k vzťahu medzi S a P, sa robí spojovacím prvkom • Zvyčajne sa používa sloveso, ktoré sa má použiť: je, sú, nie je, neexistujú • iné spôsoby vyjadrovania: Všetci študenti, ktorí vymeškali hodinu matematiky, budú mať v práci minimálne jedno cvičenie navyše. • Existujú študenti, ktorí budú mať v práci aspoň jedno cvičenie navyše

Základná štruktúra (základná) PREDMET - spojovací prvok - PREDIKÁT Všeobecná schéma kategorických viet: S - P Spojovací prvok (ktorý vyjadruje pozitívny alebo negatívny predikčný vzťah) určuje KVALITU kategorickej vety je/sú - kladné vety nie sú/nie sú - negatívne vety

Kvantifikátory Kvantifikátory sú výrazy, slová, slovné spojenia, ktoré určujú rozsah predmetu a ukazujú, či odkazujeme na celý predmet alebo iba na jeho časť. -Všetky, každý, akýkoľvek, žiadny - univerzálne kvantifikátory - niektoré, niektoré medzi, väčšinou, veľa, málo, niektoré, isté, isté - konkrétne kvantifikátory -Toto, toto - individuálne/singulárne kvantifikátory * pre niektoré je to forma výraz univerzálneho kvanta: nemáme na mysli časť sféry S, ale celú jej sféru

Úloha kvantifikátorov Kvantifikátor alebo kvantifikátor kategorickej vety ukazuje, koľko triedy predmetu je obsiahnuté v triede (sfére) predikátu alebo je z nej vylúčené. Kvantity určujú MNOŽSTVO kategoriálnych viet Z tohto pohľadu hovoríme o dvoch druhoch viet: Univerzálna a Osobitná * Vety, v ktorých sa vyskytujú jednotlivé kvantifikátory, sa považujú za univerzálne vety

Klasifikácia kategorických viet Kombináciou týchto dvoch kritérií - KVALITA A MNOŽSTVO - sa určujú nasledujúce základné typy kategorických viet: -Potvrdzujúce univerzálie - Všetky S sú P -Negatívne univerzálie - Nie S je P -Potvrdzujúce podrobnosti - Niektoré S sú P Niektoré nie sú P

Výroky, ktoré vyjadrujú kategorické vety v štandardnom tvare Andrej Mureşanu je autorom rumunskej štátnej hymny Existujú frivolní ľudia Existujú študenti, ktorí nie sú športovci Nikto nemá rád lži Väčšina študentov sa nezaoberá logikou

Výroky, ktoré nevyjadrujú kategorické vety v štandardnej podobe Je nepravdivé, že žiaden študent nie je olympijský Niektorí študenti sú olympijskí Málo študentov odmeňuje Niektorí študenti odmeňujú Nie málo ľudí trpí chudobou Niektorí ľudia trpia chudobou Niektorí študenti majú šťastie na skúšky Niektorí študenti sú ľudia, ktorí majú šťastie na skúšky.

Exkluzívne vety Ide o vety, v ktorých sa vyskytujú kvantifikátory, ako napríklad: iba/iba niektoré, iba/iba niektoré, výhradne/výlučne niektoré Nazývajú sa vety (konkrétne alebo univerzálne) uzavreté iba S - iba tieto S, nie iné iba niektoré S - niektoré S, ale nie všetky * keď povieme Niektoré S, môžeme porozumieť niektorým z S, možno všetkým (otvorte konkrétnu vetu) * Keď povieme Všetky S, môžeme rozumieť všetkým S, možno aj iným (všetci študenti sú olympionici, možno iní ľudia, napríklad študenti)

Univerzálne výlučné vety Iba dobrí študenti v škole dostávajú štipendium Všetci študenti, ktorí dostávajú štipendium, sú dobrými študentmi v škole Iba S sú P >>> Všetci P sú S ”. Iba (iba) opakovatelia neprechádzajú triedou Žiadny študent, ktorý úspešne absolvuje triedu, nie je opakovač. Iba S nie sú P >>> Nie P je S.

Zvláštne výlučné vety Iba niektoré cviky sú ťažké Niektoré cviky nie sú ťažké Cviky Iba niektoré S sú P >>> Niektoré S nie sú P Len niektoré veci nie sú užitočné Niektoré veci sú (veci) užitočné Len niektoré S nie sú P >>> Niektoré S sú P

Výnimočné vety Všetci študenti stredných škôl, okrem študentov 12. ročníka, majú voľný čas Len študenti 12. ročníka majú voľný čas Žiadny študent, ktorý má voľný čas, nie je študentom 12. ročníka. Všetky okrem S sú P Iba S nie sú P Nie P je S

Symboly a vzorce Affirmo - samohlásky a a o sa používajú ako symboly pre kladné vety: A - prvá samohláska pre univerzálie >>> formula SaP I - druhá samohláska pre jednotlivcov >>> formula SamP Nego - samohlásky e a o sa používajú ako symboly pre negatívne vety:

E - prvá samohláska pre univerzálie >>> formula SeP I - druhá samohláska pre jednotlivcov >>> formula SoP

Eulerove diagramy Zodpovedajú Eulerovým diagramom na vyjadrenie vzťahov medzi pojmami: poriadok (všetky S sú P) kríž (niektoré S sú P a niektoré S nie sú P) opozícia (žiadna S nie je P) v prípade konkrétnych viet zvýrazniť časť triedy S na ktoré sa veta vzťahuje, sa vyliahnu „oblasti“ S, ktoré sú P (pre SiP) S, ktoré nie sú P (pre SoP)

Vennovy diagramy Šrafovanie jednej z oblastí znamená, že dav, ktorý označuje, je prázdny. SaP - Všetky S sú P - Neexistuje S, ktoré nie je P - množina S, ktorá nie je P, je prázdna SeP - Žiadna S nie je P - Neexistuje S, ktorá je P - množina S, ktorá je P, je prázdna Ak množina má aspoň jeden prvok, označíme ho umiestnením „x“ do príslušnej oblasti SiP - niektoré S sú P - množina S, ktoré sú P nie je prázdna SoP - niektoré S nie sú P - množina S, ktoré nie sú P, nie je prázdna

Vzťahy medzi kategorickými vetami. ktoré majú rovnaký predmet a rovnaký predikát .

ZMLUVA - líši sa kvantitou aj kvalitou (A - O & E - I)

Oproti - majú rovnaké množstvo (univerzálne), ale rozdielnu kvalitu (A - E)

SUBCONTRARITY - majú rovnaké množstvo (konkrétne), ale rozdielnu kvalitu (I - O)

SUBALTERNATE - majú rovnakú kvalitu (kladná, resp. Negatívna), ale rôznu kvantitu (A - I & E - O) Partikulárne sa nazýva subaltern Universal sa nazýva superalternatíva

Logické námestie (Boethiusovo námestie) Anicius Manlius Severinus Boethius (480 - 524)

ROZHODNUTIE Nemôžu byť spolu ani pravdivé, ani nepravdivé Pravda vety priťahuje nepravdivosť jej rozporu a naopak (SaP = 1) → (SoP = 0) (SaP = 0) → (SoP = 1) (SeP = 1) → (SiP = 0) (SeP = 0) → (SiP = 1) (SiP = 1) → (SeP = 0) (SiP = o) → (SeP = 1) (SoP = 1) → (SaP = o) (SoP = o) 0) → (SaP = 1) 1 → 0 a 0 → 1

ROZPOR Nemôžu byť spolu pravdiví, ALE môžu byť spolu nepravdiví Pravda vety priťahuje nepravdivosť jej opaku, ale z toho, že je veta nepravdivá, nemôžeme nič odvodiť. (SaP = 1) → (SeP = 0) (SaP = 0) → (SeP =?) (SeP = 1) → (SaP = 0) (SeP = 0) → (SaP =?) 1 → 0 a 0 → ?

SUBKONTRARITA Nemôžu byť spolu falošní, ALE môžu byť spolu pravdiví. Falošnosť vety priťahuje pravdu o jej subkontrakcii, ale zo skutočnosti, že je veta pravdivá, nemôžeme vyvodiť nič o subkontinente (SiP = 0) → (SoP = 1) ( SiP = 1) → (SoP =?) (SoP = 0) → (SiP = 1) (SoP = 1) → (SiP =?) 0 → 1 a 1 → ?

SUBALTERNÁCIA Pravý superaltern → pravý subalter Falošný superalter → nemôžeme odvodiť nič o pravde alebo nepravdivosti subaltera Pravý subaltern → nemôžeme odvodiť nič o pravde alebo nepravosti superalteru Falošný subaltern → pravý superaltern Alternatíva 1 subaltern 1? Subalterna → supraalterna 1 →? 0 → 0

SUBALTERNÁT (Sap = 1) → (SiP = 1) (SaP = 0) → (SiP =?) (SeP = 1) → (SoP = 1) (SeP = 0) → (SoP =?) (SiP = 1) → (SaP =?) (SiP = o) → (SaP =?) (SoP = 1) → (SeP =?) (SoP = 0) → (SeP =?) Pravda o všetkých → pravda o niektorých Falošná o niektorých → nepravdivé o všetkých

SUBALTERNATION False about all → false about some or true about some Všetci študenti chýbajú (Sap = 0) môžu znamenať Buď sú všetci prítomní → žiadny absentuje → SiP = 0 Či chýbajú iba niektorí → SiP = 1 (SO nie môžeme jednoznačne odvodiť pravdivostnú hodnotu SiP) Pravda o niektorých → nepravda o všetkých alebo pravda o všetkých Niektorí študenti chýbajú (SiP = 1) môžu znamenať: Iba niektorí študenti chýbajú → niektorí sú prítomní → nie je pravda, že všetci chýbajú → SaP = 0 Niektorí študenti chýbajú (o čom vieme určite), ale je možné, že chýbajú všetci študenti → SaP = 1 (Teda nemôžeme jednoznačne odvodiť pravdivostnú hodnotu SaP)