• "hamma s bor P" shaklidagi umumiy tasdiqlovchi hukmlar a tipidagi

Keling, eng asosiylaridan boshlaylik. Bular. hukmlar bilan. Agar siz qat'iy ta'riflarni kiritmasangiz, unda hukmlarda biror narsa shunchaki tasdiqlanadi yoki rad etiladi. Ko'pgina tillarda hukmlar quyidagi shaklga ko'ra quriladi S - P, S esa hukmning predmeti, P esa predikatdir.
Hukmlarni ko'plab mezonlarga ko'ra ajratish mumkin. Masalan, oddiy (mantiqiy bog`lovchisiz hukmlar) va murakkab. Shu bilan birga, oddiy hukmlarni atributiv (atribut mavjudligini tasdiqlash yoki inkor etish), ekzistensial (biror narsaning mavjudligini tasdiqlash yoki inkor etish) va munosabatlar bilan bog'liq hukmlarga bo'lish mumkin. Hukmlarni tasniflashning yana bir varianti - sifat bo'yicha tasniflash: bayonotlar tasdiqlovchi va salbiyga bo'linadi. Biz uchun eng qiziqarli tasnif - bu miqdor bo'yicha tasniflash. Biz buni biroz batafsilroq ko'rib chiqamiz.
• “hamma S bor P” shaklidagi umumiy tasdiqlovchi hukmlar A tipidagi
hukmlar deb ataladi
. is P" E tipidagi hukmlar deb ataladi.
• "Ba'zi Slar P emas" ko'rinishidagi qisman salbiy hukmlar O tipidagi hukmlar deb ataladi
. AIEO harflari bilan hukmlarni belgilash an'anasi o'rta asrlarga borib taqaladi. Bu unlilar lotincha affirmo (tasdiqlayman) va nego (inkor qilaman) soʻzlaridan olingan. Aylanmada mavzuni va predikatni joylarda qayta tartibga solgandan so'ng, yangi xulosa olinadi. Bular. "S - P" taklifi "P - S" taklifiga aylanadi. Afsuski, bu operatsiyani hech qanday bayonotga qo'llash mumkin emas, aks holda "mushuklar sutemizuvchilardir" iborasidan biz "sutemizuvchilar mushuklar" ni olamiz.
O‘zgartirish to‘g‘ri bo‘lishi uchun quyidagi qoidalarga rioya qilish kerak:
• Umumiy tasdiqlovchi hukmlar alohida tasdiqga aylanadi
• Umumiy salbiy hukmlar umumiy salbiy hukmlarga aylanadi
• Ayniqsa tasdiqlovchi hukmlar alohida tasdiqlovchi hukmlarga aylanadi
• Ayniqsa, salbiy hukmlar umuman aylanmaydi.

Predikat bilan qarama-qarshilik

Bu eng murakkab operatsiya bo'lib, u asosan transformatsiya va inversiyaning kombinatsiyasi hisoblanadi. Amalda bu shunday ko'rinadi: "S - P" "P emas, S emas" ga aylanadi. O'zingiz uchun biroz o'ylashingiz uchun men bu erda predikatlarni moslashtirish bo'yicha cheklovlarni ataylab o'tkazib yuboraman.

Sillogizmlar

Hozircha biz sillogizmlarni ko'rib chiqishni boshlaymiz. Sillogizmlar hukmlarning eng mashhur turi bo'lib, u uchta hukmni (ikkita asos va xulosa) va uchta atamani o'z ichiga oladi.
Kichikroq atama (S) xulosa sifatida ishlab chiqarilgan taklifning mavzusidir. Kattaroq muddatli (P) xulosa predikati. O'rta atama (M) ikkala xonada ham paydo bo'ladi, lekin chiqishda yo'q.
Sillogizm to'g'ri bo'lishi uchun u uchta qoidalar guruhiga bo'ysunishi kerak: atamalar qoidalari, binolar qoidalari va raqamlar qoidalari.

Shartlar qoidalari

• Sillogizmda aniq 3 ta atama bo‘lishi kerak.
• O'rta muddat kamida bitta binolarda to'liq olinishi kerak.
• Agar bosh gapda atama to‘liq olinmagan bo‘lsa, unda uni chiqishda to‘liq qabul qilib bo‘lmaydi.
Bu qoidalarning ahamiyatini tushunish uchun birgina misol keltiraman: “Ba’zi tirik mavjudotlar zaharli. Mushuklar tirik mavjudotlardir. Mushuklar zaharli." Qaysi qoidalar buzilganligini o'zingiz aniqlashga harakat qiling.

Posilka qoidalari

• Ikki salbiy fikrdan hech qanday xulosa chiqarilmaydi.
• Agar bir asos manfiy bo‘lsa, xulosa manfiy bo‘lishi kerak.
• Ikkita xususiy xonadan hech qanday xulosa chiqarilmaydi.

Shakl qoidalari

Sillogizmda uchta taklif va uchta atama borligini eslaysizmi? Hukmlardagi atamalarning o‘zaro joylashishiga ko‘ra, sillogizmlarni 4 sinfga (figuralarga) bo‘lish mumkin:

Raqamlar qoidalari:
• Birinchi figura uchun birinchi asos umumiy hukm bo‘lishi kerak, kichiki esa tasdiqlovchi bo‘lishi kerak
• Ikkinchisi uchun. raqam, katta bino umumiy hukm bo'lishi kerak, va kichikroq bino va xulosa salbiy.
• Uchinchi rasmda kichik asos tasdiqlovchi hukm, xulosa esa shaxsiy bo'lishi kerak.
• To‘rtinchi asos eng kam umumiy bo‘lib, uning ikkita yaxlit qoidasi bor: 1. bosh gap tasdiqlovchi gap bo‘lsa, kichik ergash gap umumiy gap bo‘lishi kerak; 2. agar binolardan biri salbiy bo'lsa, u holda kattaroq joy umumiy bo'lishi kerak.
Shunga qaramay, raqamlar qoidalarini buzish juda kulgili mantiqiy xatolarga olib keladi: “Barcha mushuklar suv ichishadi. Men suv ichaman. Men mushukman."
Barcha talabalar insondir
Hech bir professor talaba emas
Hech bir professor inson emas - noto'g'ri sillogizm, chunki kichik asos salbiy
Barcha fiziklar haqiqatga
intilishadi Ayrim tarixchilar haqiqatga intiladilar
Ba'zi tarixchilar fiziklar - noto'g'ri, chunki ikkala asos ham tasdiqlovchi bayonotlar

Ba'zi odamlar ota bo'lishi mumkin

Hech qanday ayol ota bo'lolmaydi
Ba'zi ayollar inson bo'lolmaydi - Yolg'on, chunki katta asos shaxsiy hukmdir
Oddiy kategorik sillogizmning turlari:
1. Entimema (qisqartirilgan sillogizm) (yunoncha en tyme — aqlda degan soʻzlardan olingan) asos yoki xulosalardan biri tushirib qoʻyilgan xulosa. Hayotda biz mulohaza yuritishda aniq asoslarni o'tkazib yuboramiz, ularni bilvosita qabul qilamiz.
Entimemalarning paydo bo'lish mexanizmini ko'rib chiqing.

Barcha illatlar jazoga loyiqdir

Chekish - bu illat.
Chekish jazoga loyiqdir

Ushbu sillogizmdan quyidagi entimemalarni tuzish mumkin:

Kattaroq shartni olib tashlagan holda: "Chekish jazoga loyiqdir, chunki bu illatdir"

Kichkina shartni o'tkazib yuborgan holda: "Har bir illat jazoga loyiqdir, shuning uchun chekish ham jazoga loyiqdir:

Xulosa chiqarib tashlandi: "Har bir illat jazoga loyiq, chekish esa illatdir"

Entimema ko'pincha kundalik fikrlashda va notiqlik amaliyotida qo'llaniladi. Qisqartirilgan shakl yaxshiroq idrok etishga yordam beradi. Bundan tashqari, entimema yordamida ishontirish effektiga erishiladi, chunki suhbatdosh uni to'liq xulosaga qaytarishga majbur bo'ladi va xulosani o'ziniki deb hisoblay boshlaydi.