Лекции Категорични реченици

Категорични реченици

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Се нарекуваат речениците од типот А и Е изнервиран и се разликува само по квалитет. Тие не можат да бидат вистинити заедно, но можат да бидат лажни заедно. т.е.

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Се нарекуваат реченици тип I и O субконтрари а исто така се разликува само по квалитет. Заедно тие не можат да бидат лажни, но заедно можат да бидат вистинити, тоа е:

1/AppData/Local/Temp/msohtml1/01/clip_image003.gif "/> Вертикалните врски помеѓу речениците од типот А и I и помеѓу Е и О се субалтернаре, во која:

Секој силогизам мора да содржи три и само три категорични реченици
Секој категоричен силогизам мора да содржи три и само три поими; секој термин мора да се појави двапати, но не во иста реченица

Просечниот термин мора да се распредели барем еднаш
Ако некој термин се дистрибуира како заклучок, тогаш тој мора да се појави дистрибуиран на ниво на простории; ако поимот се појави нераспределен на ниво на простории, тогаш ќе мора да се појави нераспределен и заклучен.

Ако заклучокот е негативен, една премиса и само една мора да бидат негативни
Ако заклучокот е потврден, тогаш и двата просторија мора да бидат потврдни.

• Тие се наједноставните логички реченици • Тие се реченици во кои поим потврдува (извештај за согласност) или негира (извештај за спротивставување) за друг поим • Тие изразуваат единствена релација (согласност или спротивставување) помеѓу два поима Со нивна помош се тврдат одредени релации помеѓу два поима (поими) (позитивни или негативни) • Едниот поим игра улога на логички субјект (С) • а другиот на предикат (П) • се нарекуваат речениците што ја изразуваат врската помеѓу S и P и проповедни реченици (тие проповедаат, во примарна, световна смисла, ни кажуваат нешто за нешто; афирмираат или негираат нешто за нешто) • Нивното име потекнува од грчкиот глагол категориин, што значи „да проповеда“

ЛОГИЧКИ ПРЕДМЕТ Изразот што претставува предмет на мислата, нешто за што е потврдено или негирано:. да не се меша со граматичкиот предмет. Лавовите се цицачи. Речениците што изразуваат единствена врска помеѓу два поима се категорични реченици.

ЛОГИЧКА ПРЕДИЗВИК Терминот што изразува нешто што се тврди или негира (всушност, класа предмети на кои припаѓа или не, целосно или делумно; зелена - класа на зелени предмети; цицачи - класа на цицачи) Да не се меша со граматиката на предикатот . Лавовите се цицачи Речениците што изразуваат единствена врска помеѓу два поима се категорични реченици

Кој е поимот со улогата на субјектот?

Ниту една птица не е цицач - птица Некои часови по логика се многу лесни - часови по логика Многу од вежбите имаат висок степен на тешкотија - вежби Секоја птица на нејзиниот јазик пропаѓа - птица Секој што трча по два зајаци не фаќа ниту еден - оние кои ( луѓе, суштества) бегаат по два зајаци Кој сее ветер жнее бура - тие (луѓе, суштества) го сеат ветрот

Која е поимот улога на субјектот? Ниту една птица не е цицач - цицач Некои од часовите по логика се многу лесни - многу лесни часови Многу од вежбите имаат висок степен на тешкотија - вежби со висок степен на тешкотија Секоја птица на нејзиниот јазик пропаѓа - (е) која на нејзиниот јазик загине Кој трча по два зајаци не фаќа никој - (човек, битие) кој не фаќа никој Кој личи на ветер собира бура - (човек, битие) кој собира бура

(поврзувачки елемент) Изразот на фактот дека одредена особина му припаѓа или не на објектот (субјектот), поточно на односот помеѓу S и P, се прави со елемент на поврзување • Обично, глаголот се користи: не е, нема • други начини на изразување: Сите ученици кои пропуштиле час по математика, ќе имаат барем една дополнителна вежба на работа. • Постојат студенти кои ќе имаат барем една дополнителна вежба на работа

Основна структура (основна) ПРЕДМЕТ - елемент за поврзување - предзнак Општа шема на категорични реченици: S - P Поврзувачкиот елемент (кој ја изразува позитивната или негативната релација на предикација) одредува КВАЛИТЕТ на категорична реченица е/се - потврдните реченици не се/не се - негативни реченици

Квантификатори Квантификаторите се изрази, зборови, фрази кои го одредуваат обемот на предметот, покажувајќи дали се однесуваме на целиот обем на истиот или само на дел од него. -Сите, секој, кој било, никој - универзален квантификатори - некои, некои, меѓу, повеќето, многу, малку, некои, одредени, одредени - одредени квантификатори - Ова, ова - индивидуални/еднински квантификатори * за некои ова е форма на израз на универзален квант: не се однесуваме на дел од сферата на С, туку на целата нејзина сфера

Улога на квантификатори Квантификаторот или квантификаторот на категорична реченица покажува колку од предметната класа е вклучена во класата (сфера) на предикатот или е исклучена од неа. Количините одредуваат КВАЛИТЕТ на категорични реченици Од оваа гледна точка, зборуваме за два вида реченици: Универзална & Посебна * Речениците во кои се појавуваат одделни квантификатори се сметаат за универзални реченици

Класификација на категорични реченици Комбинирање на двата критериума - КВАЛИТЕТ и КВАЛИТЕТ - се определуваат следниве основни типови на категорични реченици: - Афирмативни универзали - Сите S се P - Негативни универзали - Ништо S не е P - Афирмативни детали - Некои S се P - Негативни детали - Некои не се П.

Изјави што изразуваат категорични реченици во стандардна форма Андреј Мурешану е автор на романската химна. Има несериозни луѓе Постојат студенти кои не се спортисти Никој не сака лаги Повеќето студенти не се занимаваат со логика

Изјави што не изразуваат категорични реченици во стандардна форма Лажно е дека ниту еден студент не е олимписки Некои студенти се олимписки Не многу студенти наградуваат Некои студенти наградуваат Неколку луѓе страдаат од сиромаштија Некои луѓе страдаат од сиромаштија Некои студенти имаат среќа на испити Некои студенти има луѓе кои имаат среќа на испити.

Ексклузивни реченици Овие се реченици во кои се појавуваат квантификатори како што се: само/само некои, само/само некои, исклучиво/исклучиво некои Овие се нарекуваат реченици (посебни или универзални) затворени само С - само овие С, не само други некои С - некои С, но не сите * кога велиме Некои С можеме да разбереме некои од С, евентуално сите (отворена посебна реченица) * Кога велиме Сите С можеме да ги разбереме сите С, можеби и други (сите ученици се олимписки, можеби други луѓе, на пример студенти)

Универзални ексклузивни реченици Само добри ученици на училиште добиваат стипендија Сите ученици кои добиваат стипендија се добри ученици на училиште Само С се П >>> Сите П се С “. Само (само) повторувачи не го минуваат часот Ниту еден студент што ќе го помине часот не е повторувач. Само S не се P >>> Нема P не е S.

Посебни ексклузивни реченици Само некои вежби се тешки Некои вежби не се тешки вежби Само некои С се П >>> Некои С не се П Само некои работи не се корисни Некои работи се (работи) корисни Само некои С не се П >>> Некои S се П.

Исклучителни реченици Сите средношколци, освен ученици од 12 одделение, имаат слободно време Само ученици од 12 одделение имаат слободно време Ниту еден ученик кој има слободно време не е ученик во 12 одделение. Сите освен S се P Само S не се P Не P е S

Симболи и формули Афирми - самогласките а и о се користат како симболи за потврдни реченици: А - првата самогласка за универзални >>> формула SaP I - втора самогласка за поединци >>> формула SiP Nego - самогласките e и o се користат како симболи за негативни реченици:

Е - прва самогласка за универзални >>> формула SeP I - втора самогласка за поединци >>> формула SoP

Ојлерови дијаграми Соодветуваат на Ојлеровите дијаграми за изразување на односите помеѓу поимите: ред (сите S се P) вкрстени (некои S се P и некои S не се P) спротивставување (ниедно S не е P) Во случај на одредени реченици да се потенцира делот од класата S на кои се однесува реченицата, „областите“ S што се P (за SiP) S што не се P (за SoP) се изведени

Дијаграми на Вен Да се фати една од областите значи дека толпата означена со неа е празна. SaP - Сите S се P - Нема S што не е P - множеството S што не е P е празно SeP - Не S не е P - Нема S што е P - множеството S што е P е празно Ако множество има барем еден елемент, ние го означуваме со поставување на "x" во соодветната област SiP - Некои S се P - Множеството S што се P не е празно SoP - некои S не се P - множеството S што не се P не е празно

Односи помеѓу категорични реченици. кои имаат ист предмет и ист предикат .

Контрадикција - се разликува и од квантитетот и од квалитетот (A - O & E - I)

СООДВЕТ - имаат иста количина (универзална), но различен квалитет (А - Е)

ПОДГОВОРНОСТ - имаат иста количина (особено), но различен квалитет (I - O)

СУБАЛЕТНЕРНО - имаат ист квалитет (потврдно, соодветно негативно), но различно количество (А - И & Е - О) Особено се нарекува субалтернално

Логички плоштад (плоштад Боетиј) Аникиј Манлиус Северинус Боетиј (480-524)

Контрадикција = 0) (SeP = 0) → (SiP = 1) (SiP = 1) → (SeP = 0) (SiP = o) → (SeP = 1) (SoP = 1) → (SaP = o) (SoP = o) 0) → (SaP = 1) 1 → 0 & 0 → 1

СООДВЕТ Тие не можат да бидат вистинити заедно, но можат да бидат лажни заедно Вистината на реченицата привлекува невистинитост на нејзината спротивност, но од фактот дека реченицата е лажна, не можеме да заклучиме ништо за нејзината спротивност (SaP = 1) → (SeP = 0) (SaP = 0) → (SeP =?) (SeP = 1) → (SaP = 0) (SeP = 0) → (SaP =?) 1 → 0 & 0 ?

ПОДДОГОВОРНОСТ Тие не можат да бидат лажни заедно, НО можат да бидат вистинити заедно Лажноста на реченицата ја привлекува вистината на нејзината подконтракција, но од фактот дека реченицата е точна, не можеме да заклучиме ништо за потконкрот (SiP = 0) SiP = 1) → (SoP =?) (SoP = 0) → (SiP = 1) (SoP = 1) → (SiP =?) 0 → 1 & 1 ?

СУБВАЛТЕРНАЦИЈА Вистинска супер-алтернатива → вистинска суб-алтернативна Лажна супер-алтернатива → не можеме да заклучиме ништо за вистината или за лажноста на субалтерната Вистинска субалтерна не можеме да заклучиме ништо за вистината или за лажноста на супер-алтерната Лажна суб-алтерна → вистинска супер-алтернативна Алтернатива 1 под-алтернатива 1? Субалтерна → супраалтерна 1 →? 0 → 0

СУБАЛТЕРАНТ (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 =?) Вистина за сите → точно за некои Лажни за некои → лажни за секого

СУБАЛТЕРНАЦИЈА Лажна за сите → лажна за некои или вистинита за некои Сите ученици се отсутни (Sap = 0) може да значи Или сите се присутни → никој не е отсутен → SiP = 0 Без разлика дали само некои отсуствуваат → SiP = 1 (ПА не можеме недвосмислено да ја заклучиме вистинската вредност на SiP) Вистина за некои → лажни за сите или вистинити за сите Некои ученици се отсутни (SiP = 1) може да значи: Само некои ученици се отсутни → некои се присутни → не е точно дека сите се отсутни → SaP = 0 Некои студенти се отсутни (за што со сигурност знаеме), но можно е да отсуствуваат сите ученици → SaP = 1 (ПА не можеме недвосмислено да ја заклучиме вистинската вредност на SaP)