(1) sopol idishlar sir bilan qoplangan. P a M
(2) Ushbu stakan sir bilan qoplanmagan. S e M
(3) Bu chashka sopol idish emas. S e P

(1) va (2) qatorlar binolarni anglatadi, (3) - xulosa. Birinchi shartda "sopol idishlar" tushunchasi va "sirlangan" tushunchalar o'rtasidagi bog'liqlik qayd etilgan, ikkinchisida xuddi shu "sirlangan" o'ziga xos (bitta) stakan. Shunday qilib, "sirlangan" - bu o'rta muddatli. Qolgan ikki atamaning unga munosabati haqidagi bilimlardan ularning bir-biri bilan qanday aloqasi borligi to'g'risida xulosa chiqarish mumkin: bu stakan sopol idish emas. Xulosa mavzusi (bizda bu "bu chashka") odatda S harfi bilan belgilanadi. Bu kichik atama deb nomlanadi va shunga muvofiq unda joylashgan shart kamroq; u har doim ikkinchi o'rinda turadi (ikkinchi qatorda). Xulosaning predikati (bizning holatimizda "sopol idish") lotincha P harfi bilan belgilanadi va katta atama deb ataladi; demak, u joylashgan joy "katta" deb nomlanadi; u birinchi qatorda yozilgan. O'rta muddatning belgilanishi Lotin M. dir. Ushbu atama: aytib o'tilganidek, ikkala binoda ham mavjud. Xulosa predmeti (kichik muddat) joylashgan taxmin (dastlabki hukm) kichik shart deb ataladi va xulosa predikati (kattaroq muddat) joylashgan dastlabki hukm katta shart deb ataladi. Shunisi aniqki, xonadagi o'rta muddat sub'ekt va xulosa predikati, ushbu o'ta xulosa shartlari orasidagi bog'lovchi aloqa rolini o'ynaydi.
Sillogizmdagi har bir taklifga qarshi qo'yilgan qisqartirishga e'tibor bering. Kichik taxmin va xulosa u erda umumiy salbiy hukmlar sifatida belgilanadi S e M va S e P. S deganda biz "bu stakan" degan ma'noni anglatadi - yagona tushuncha. Va biz alohida tushunchalarni eslaymiz, har doim butun hajmni o'z ichiga oladi (chunki ular oddiygina qismlarga ega emas), ular bilan mavzu o'rnida hukmlar har doim umumiy va hech qachon xususiy emas. Sillogizm nazariyasida va undan foydalanish amaliyotida bu muhim ahamiyatga ega.
Oddiy kategorik sillogizmning tuzilishi uchta va atigi uchta atamadan iborat: kichik, o'rta va katta. Ushbu sillogizmdagi asoslar bizga ma'lum bo'lgan to'rt xil oddiy kategorik hukmlar bo'lishi mumkin: umumiy ijobiy, umumiy salbiy, qisman ijobiy va qisman salbiy. Xulosa asoslari bo'lishi mumkin bo'lgan ushbu hukmlarning kombinatsiyalari mantiqning ma'lum talablariga bo'ysunadi, ular ma'lum bir tuzilgan tashkilot qonunlari, fikrlashning ma'lum bir shakli qonunlari, ya'ni. oddiy kategorik sillogizm qonunlari. Ushbu talablar ma'lum bir xulosaga kelish uchun ikkita qoidalarni tashkil etadi: dastlabki qoidalar va muddatli qoidalar.
Bino qoidalari: ikkita salbiy xonadan (ya'ni ikkita dastlabki oddiy kategorik salbiy hukmlardan) xulosa shart emas; xulosa, albatta, ikkita alohida xonadan kelib chiqmasligi shart; agar binolardan biri salbiy hukm bo'lsa, unda xulosa mutlaqo salbiy bo'ladi; agar binolardan biri xususiy hukm bo'lsa, xulosa xususiy bo'lishi kerak. Ma'lumki, agar binolar orasida biri alohida, boshqasi salbiy bo'lsa yoki binolardan biri qisman salbiy hukm bo'lsa, u holda xulosa qisman salbiy bo'ladi; Salbiy xulosa ikkita ijobiy xonadan kelib chiqmasligi ham aniq (binolarning dastlabki to'rt qoidasi belgilanadi, qolganlari hosilalardir).
Shartlar qoidalari: oddiy kategorik sillogizmda uchta va faqat uchta atama bo'lishi kerak: kichik, o'rta, katta; o'rta muddat hech bo'lmaganda binolardan birida taqsimlanishi kerak (to'liq yoki to'liq ko'rib chiqilmasligi kerak); xonada taqsimlanmagan atamani xulosada tarqatish mumkin emas.
Sillogizm - bu o'rtalar deb ataladigan uchinchi atama bilan bo'lgan munosabatlariga asoslanib, haddan tashqari bo'lgan ikki atama o'rtasidagi munosabatlar to'g'risida xulosa chiqarish. O'rta davrning binolardagi mavqeiga qarab (u katta va kichik binolarda sub'ekt yoki predikat), sillogizmning to'rtta figurasi ajratiladi. Raqamlar grafik jihatdan va allaqachon qabul qilingan simvolizm yordamida ko'rsatilgan. bitta.
Har bir raqam o'z navbatida sillogizmning modi deb nomlangan bir nechta turlarini o'z ichiga oladi. Modus - bu xulosaga kiritilgan binolar tomonidan aniqlanadigan xulosaning bir turi (xilma-xilligi, modifikatsiyasi). Umuman olganda, binolarning barcha mumkin bo'lgan kombinatsiyalari va xulosalar nuqtai nazaridan har bir rasmda 64 rejim mavjud. To'rtta shaklda, 4? 64 \u003d 256 rejimlari. Sillogizmlar, barcha deduktiv xulosalar singari, to'g'ri va noto'g'ri deb bo'linadi.

Sillogizmning mantiqiy nazariyasining vazifasi to'g'ri sillogizmlarni tizimlashtirish, ularning o'ziga xos xususiyatlarini ko'rsatishdir. Sillogizmning mumkin bo'lgan barcha rejimlaridan faqat 24 ta rejim to'g'ri, har bir rasmda oltitadan. Sillogizmning 24 to'g'ri rejimidan 5 tasi zaiflashgan: ulardagi xulosalar qisman ijobiy yoki qisman salbiy bayonotlardir, garchi boshqa rejimlarda, xuddi shu binolar odatda ijobiy yoki umuman salbiy xulosalar beradi. Agar zaiflashgan rejimlarni tashlasak, sillogizmning 19 ta to'g'ri rejimi mavjud. Ularning ramziy tasviri sillogizm rejimlarining 1-jadvalida keltirilgan.

Sillogistik rejimlar
1-jadval.

Sillogizmning birinchi figurasi katta predmetdagi o'rta atama mavzu o'rnida, kichikroq - predikat o'rnida turganda hosil bo'ladi. Rejimlar ro'yxatida ular chap tomondagi birinchi ustunda to'planadi. Ushbu barcha rejimlarda M belgisi xuddi diagonal kabi joylashgan. Aristotel bu raqamni mukammal deb atagan. Bu eng ingl va tushunish oson. Bu # x2011; atamalar tushunchalari orasidagi eng oddiy hajmli munosabatlarni ifoda etishi bilan izohlanadi.
Kichik muddat to'liq o'rtacha tarkibida, o'rtacha katta muddatga to'liq kiritilgan yoki umuman kiritilmagan. Bundan tashqari, faqat birinchi raqam umumiy ijobiy xulosalarni tan oladi; demak u chegirma bilan umumiy qonunlarni chiqarishda eng yuqori daliliy kuchga ega ekanligini anglatadi. Jadvaldan ko'rinib turibdiki, bu ko'rsatkich to'rt rejimga ega. Biz bu erda faqat ikkitasini illyustratsiya yo'li bilan taqdim etamiz.

Barcha odamlar (M) o'likdir (P). M a P
Suqrot (S) - inson (M). S a M
Suqrot (S) o'likdir (P). S a P

Jinoyatchi (M) qonunga bo'ysunmaydi (P). M e P
Cheater (S) - Qonundan tashqari (M). S a M
Firibgar (S) qonunga bo'ysunmaydi (P). S e P

Sillogizmning ikkinchi ko'rsatkichi ikkala binoda o'rta atama predikat o'rnida turganda olinadi. Bizning sopol idishlar bilan birinchi misolimiz bu raqamning ikkinchi rejimi (ikkinchi ustun, rejimlar ro'yxatidagi ikkinchi qator). Ushbu ko'rsatkich, unda binolardan biri va xulosa har doim salbiy bo'lishi bilan tavsiflanadi. Shuning uchun u ko'pincha rad etish yoki qarama-qarshi dalillarda ishlatiladi. Ikkinchi rasm to'rtta to'g'ri rejimni beradi.
Sillogizmning uchinchi shakli ikkala binoda mavzu o'rnida o'rta muddatli atamani o'z ichiga oladi.

Barcha tovarlar (M) pulga (P) almashtiriladi. M a P
Ba'zi mahsulotlar (M) mahsulotlar (S). M i S.
Ba'zi narsalarni (S) pulga almashtirish mumkin (P). S i P

Ushbu raqam faqat alohida xulosalar beradi. Ammo bundan kelib chiqib, uning fanga yaroqsizligi to'g'risida xulosa chiqarmaslik kerak. Gap shundaki, umumiy va xususiyga bo'linish ma'lum darajada nisbiy. Aytaylik, energiyani saqlash va o'zgartirishning umumiy qonuni mavjud. Bu harakatning barcha shakllariga taalluqlidir. Shuning uchun uni uchinchi raqam yordamida ularning ayrim turlariga kengaytirish mumkin. Ammo harakatning ushbu o'ziga xos turlariga nisbatan - issiqlik, elektr va boshqalar - olingan qonunlar umumiy emas, balki. Shuning uchun bu ko'rsatkich ilmiy bilimlarda boshqalardan kam bo'lmagan darajada qo'llaniladi. Bunga barcha rejimlarning ko'pi kiradi - oltitasi.
Sillogizmning to'rtinchi figurasi katta predmetdagi o'rta atama predikat o'rnida, kichikroq esa predmet o'rnida bo'lganda hosil bo'ladi.

Hech qanday qush (P) sutemizuvchi (M) emas. P e M
Barcha sutemizuvchilar (M) umurtqali hayvonlardir (S). M a S
Ba'zi umurtqali hayvonlar (S) qush emas (P). S o P

Sillogizmning bu figurasi Aristoteldan keyin paydo bo'lgan. Uning usullari buyuk mutafakkir Teofrast va Evdemning shogirdlari tomonidan o'rganilgan. Va doktor, olim va mantiq tadqiqotchisi K. Galen (130-200) uni mustaqil shaxs sifatida mantiqqa kiritdi. Ba'zan bu ko'rsatkich qaram, sun'iy deb hisoblanadi. Bunda ma'lum bir haqiqat donasi bor. Masalan, qolgan uchta raqamning har biri uchun maxsus qoidalar tuzilishi mumkin. Biz ularni allaqachon keltirdik: hajm nisbati, salbiy asosning mavjudligi va boshqalar. To'rtinchi raqamda bunday qoidalar yo'q. Shunga qaramay, tasnifning to'liqligi uchungina, uning beshta rejimini e'tiborsiz qoldirmaslik kerak.
Sillogistik xulosalar asosida qismlar va yaxlitlik o'rtasidagi munosabatlarga nisbatan o'z-o'zidan ravshan pozitsiya yotadi. Shuning uchun uni sillogizm aksiomasi deb atashadi. U ikkita versiyada tuzilgan, ularning har biri o'zining kuchli va zaif tomonlariga ega. Eng taniqli formulalar:
Berilgan sinfning barcha ob'ektlariga nisbatan tasdiqlangan yoki inkor etiladigan har bir narsa ushbu sinfning har bir ob'ekti bilan bog'liq holda tasdiqlanadi yoki inkor etiladi.
Boshqa variant: Belgining belgisi narsaning o'zi belgisidir.
Ikkala formulalar, unda # x2011; keyin bir-birini takrorlaydi, ammo ular o'rtasida kelishmovchiliklar mavjud. Aksariyat ekspertlarning fikriga ko'ra, ulardan birinchisi afzalroq, ammo ikkinchisining tarafdorlari ham bor.
Sillogizm aksiomasining qo'llanilishi birinchi xatda # x2011; atamalar tushunchalari orasidagi oddiy volumetrik munosabatlar bilan darhol seziladi. Qolgan raqamlar birinchisiga qisqartiriladi. Asosan, buning uchun ikkinchi, uchinchi va to'rtinchi raqamlarning asoslari va xulosalarini konvertatsiya va teskari operatsiyalarga bo'ysundirish, shuningdek binolarni joylarda qayta tartibga solish kifoya. Faqat ikkita holatda murakkabroq mulohazalarga murojaat qilish kerak. Sillogizm aksiomasi deb nomlangan taklif, so'zning nazariy ma'nosida sillogistik xulosalarning butunligini yagona, uyg'un tizimga birlashtiradi.
O'rta asrlarda oddiy kategorik sillogizmning barcha rejimlariga lotin nomlari berilgan: Barbara, Sezar, Darii va boshqalar. Masalan, dastlabki ikkita raqamning to'g'ri rejimlari uchun an'anaviy ravishda qabul qilingan ismlar:
1 # x2011; Men figuraman: Barbara, Celarent, Darii, Ferio, Barbari, Celaront;
2 # x2011; Men figuraman: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

Ushbu nomlarning har birida uchta unli mavjud. Ular modusda qaysi kategorik bayonotlar uning asoslari va xulosalari sifatida ishlatilishini aniq ko'rsatib beradi. Shunday qilib, Barbara uchta hukmning hammasi ijobiy bo'lgan sillogizmni anglatadi. Bu birinchi raqam, birinchi rejim. Celarent nomi shuni anglatadiki, birinchi shaklning ushbu rejimida, odatda, katta salbiy xulosa (SeP), kamroq umumiy ijobiy (SaP) va xulosa umumiy salbiy bayonot (SeP) bo'ladi. Hozirda bunday nomlar kamdan kam qo'llaniladi.
Sillogizm sxemalari bo'yicha mantiqiy operatsiyalarni bajarishda uning qoidalarini bilish kerak. Biz faqat barcha raqamlar uchun umumiy bo'lgan qoidalarni beramiz (ular bilan birga, allaqachon aytib o'tilganidek, dastlabki uchta raqamning har biri uchun alohida qoidalar mavjud).
1. Kategorik sillogizmda uchta va faqat uchta atama bo'lishi kerak. Ko'pincha # x2011 dan; so'zning noaniqligi uchun, aslida to'rtta atama uchta atama bilan yanglishadi.
2. O'rta muddatli muddat binolarning kamida bittasida taqsimlanishi kerak.
3. Termin, agar u posilkalarda taqsimlanmagan bo'lsa, xulosada taqsimlanishi mumkin emas.
4. Ikki salbiy asosdan xulosa chiqarish mumkin emas.
5. Agar bitta taxmin negativ hukm bo'lsa, unda xulosa ham salbiy bo'lishi kerak.
6. Xususiy ikkita xonadan xulosa chiqarish mumkin emas.
7. Agar binolardan biri xususiy hukm bo'lsa, unda xulosa ham shaxsiy bo'lishi kerak.
Sillogizm qoidalarining eng odatiy buzilishini bilish foydalidir. Ulardan biri birinchi qoidani buzishdir va to'rt karra ko'payadigan xato deb ataladi, ya'ni uchta muddat o'rniga aslida to'rttasi olinadi. Buning sababi so'zlarning noaniqligi. Qachonki bir predmetdagi bitta so'z bitta ma'noga ega bo'lsa, boshqasida yoki xulosada u boshqacha ma'noga ega bo'lsa, unda uchta atama o'rniga to'rtta bo'ladi. Bu shunday ko'rinishi mumkin:

Qora (M) achchiq emas (P). M e P
Qalampir (S) - Qora (M). S a M
Qalampir (S) achchiq emas (P). S e P

Birinchi predmetdagi "qora" so'zi qora rangni anglatadi (bu, albatta, ta'mning bir turi emas), ikkinchisida, qora narsa. Xulosa kulgili edi. Sillogizmlar jadvalida bunday tartib birinchi shaklda mavjud bo'lsa-da. Atamalarni tarqatish qoidalarini buzish bilan bog'liq xatolar mavjud (2 va 3-qoidalar).

O'g'irlangan narsalar (P) bog'da ko'milgan (M). P a M
Jinoyatchidan (S) musodara qilingan narsalar bog'da ko'milgan (M). S a M
Jinoyatchidan musodara qilingan narsalar o'g'irlangan. S a P

Ikkinchi qoida buzilgan, chunki o'rta muddatli - ikkita umumiy ijobiy binolarning predikati - ularning ikkalasida ham taqsimlanmagan. Bu shuni anglatadiki, u bizga na mol-mulkka egalik qiladi, na unga egalik qiladi, deb to'liq ma'lum emas. Shuning uchun, aslida, xulosa ushbu binolardan kelib chiqmaydi (sillogizm qoidalarida buzilgan holda tuzilgan boshqa rejimlar mavjud bo'lmaganidek, sillogizmlar jadvalida bunday rejim mavjud emas).

Har bir zavod (M) soliqlarni to'lashi kerak (P). M a P
Ushbu zavod (S) zavod emas (M). S e M
Ushbu biznes (S) soliqlarni to'lashi shart emas (P). S e P

Katta atama binoda taqsimlanmagan, ammo xulosada tarqatilgan (3-qoida buzilgan). Shuning uchun xulosa binolardan umuman kelib chiqmaydi.
4-qoidani buzish natijasida yuzaga kelgan xatoga quyidagi sillogizmni misol keltirish mumkin: Hech bir insofsiz odam (M) sudya bo'lolmaydi (P). M e P yuristi Petrov (S) insofsiz odam emas (M). S e M Advokat Petrov (S) sudya bo'lishi mumkin (P). S e P
Aslida bunday xulosa ushbu binolardan kelib chiqmaydi, chunki ularning ikkalasi ham sifat jihatidan salbiydir.
Va nihoyat, binolarni miqdoriy tavsiflash to'g'risidagi qoidaning buzilishiga misol (6-qoida) quyidagi sillogizm bo'lishi mumkin:

Ba'zi talabalar (P) talabalar (M). P i M
Ba'zi talabalar (M) voyaga etmaganlar (S). M i S.
Ba'zi voyaga etmaganlar (S) talabalardir (P). S i P

Garchi xulosa aniq hukm bo'lsa-da, bunday binolarga asoslanib bo'lmaydi. Bu ularga ergashmaydi.
Boshqa qoidalar ham buzilishi mumkin. "Katta shartning xayoliy umumiyligi" deb nomlangan xato alohida rol o'ynaydi. Bu odatda ijobiy yoki umuman salbiy fikrlar uchun kollektiv yoki ustun xususiyatlar qabul qilinganda paydo bo'ladi. Masalan, ular shunday deyishlari mumkin: "Barcha odamlar o'z xatti-harakatlari uchun javobgardir, shuning uchun bunday # x2011; u o'z xatti-harakatlari uchun javobgar bo'lishi kerak". Ko'pgina hollarda, odamlar haqiqatan ham o'z ishlariga javobgardirlar. Lekin barchasi # x2011; har doim ham emas. Bosim ostida qilingan harakatlar bir qator hollarda javobgarlikni keltirib chiqarmaydi. Shu sababli, tegishli bayonotni umumiy ijobiy deb qabul qilish butunlay to'g'ri emas.

Kategorik sillogizm (yoki oddiygina: sillogizm) deduktiv xulosa bo'lib, unda yangi toifali bayonot ikkita toifali bayonotdan kelib chiqadi.

Bunday xulosaning mantiqiy nazariyasi deyiladi sillogistika. U Aristotel tomonidan yaratilgan va uzoq vaqt davomida umuman mantiqiy nazariya uchun namuna bo'lib xizmat qilgan.

Sillogistikada "Hamma narsa ... mavjud ...", "Ba'zilar ... bu ...", "Hammasi ... emas ..." va "Ba'zilar ... emas ..." iboralari mantiqiy konstantalar, ya'ni bir butun sifatida olingan. Bu bayonotlar emas, balki aniq mantiqiy shakllar, undan ellips o'rniga ba'zi ismlarni almashtirish orqali bayonotlar olinadi. O'zgartirilgan ismlar chaqiriladi sillogizm shartlari.

Quyidagi an'anaviy cheklov juda muhimdir: sillogizm shartlari bo'sh yoki salbiy bo'lmasligi kerak.

Sillogizmga misol bo'lishi mumkin:

Barcha suyuqliklar bardoshlidir.

Suv suyuq.

Suv bardoshlidir.

Har bir sillogizm uchta atamadan iborat bo'lishi kerak: kichik, katta va o'rta.

Kichik muddat xulosa mavzusi deyiladi (misolda bu atama "suv" atamasi).

Katta muddat xulosa predikati ("elastik") deb nomlanadi. Binolarda mavjud bo'lgan, ammo xulosada bo'lmagan atama o'rta ("suyuq") deb nomlanadi. Kichikroq muddat odatda harf bilan belgilanadi S, kattaroq - harf R va o'rtada - xat bilan M. Kattaroq atamani o'z ichiga olgan paket deyiladi ko'proq. Kichikroq muddatga ega bo'lgan paket deyiladi kichikroq. Birinchi navbatda eng katta to'plam, ikkinchisi kichikroq - qayd etiladi. Ushbu sillogizmning mantiqiy shakli quyidagicha:

Hammasi M u yerda R.

Hammasi S u yerda M.

Hammasi S u yerda R.

O'rta davrning binolardagi mavqeiga qarab (u katta va kichik binolarda sub'ekt yoki predikatdir) to'rtta raqam sillogizm. Raqamlar sxematik tarzda quyidagicha ko'rsatilgan:

Sillogizm birinchi rasm sxemasi bo'yicha qurilgan:

Barcha qushlar (M) qanotlari bor (R).

Barcha tuyaqushlar (S) - qushlar (M).

Barcha tuyaqushlarning qanotlari bor.

Sillogizm ikkinchi rasm sxemasi bo'yicha qurilgan:

Barcha baliqlar (P) gil bilan nafas oladi (M).

Kitlar (S) gil bilan nafas olmang (M).

Barcha kitlar baliq emas.

Sillogizm uchinchi rasm sxemasi bo'yicha qurilgan:

Barcha bambuklar (M) umrida bir marta gullash (R).

Barcha bambuklar (M) - ko'p yillik o'simliklar (S).

Ba'zi ko'p yillik o'simliklar umrida bir marta gullaydi.

Sillogizm to'rtinchi rasm sxemasi bo'yicha qurilgan:

Barcha baliqlar (R) suzish (M).

Hammasi suzuvchi (M) suvda yashash (S).

Suvda yashovchilarning bir qismi baliqdir.

Sillogizmlarning asoslari va xulosalari to'rt xil toifadagi hukmlar bo'lishi mumkin: SaP, SiP, SeP va SoP.

Sillogizm usullari binolarning xarakteri va xulosalari bilan ajralib turadigan raqamlarning navlari deyiladi.

Umuman olganda, binolarning barcha mumkin bo'lgan kombinatsiyalari va xulosalar nuqtai nazaridan har bir rasmda 64 rejim mavjud. To'rtta rasmda 4 x 64 \u003d 256 rejim.

Sillogizmlar, barcha deduktiv xulosalar singari, bo'linadi to'g'ri va noto'g'ri... Sillogizmning mantiqiy nazariyasining vazifasi to'g'ri sillogizmlarni tizimlashtirish, ularning o'ziga xos xususiyatlarini ko'rsatishdir.

Sillogizmning mumkin bo'lgan barcha rejimlaridan faqat 24 ta rejim to'g'ri, har bir rasmda oltitadan. Birinchi ikkita raqamning to'g'ri rejimlari uchun an'anaviy ravishda qabul qilingan ismlar:

1-rasm: Barbara, Selarent, Darii, Ferio, Barbari, Selaront;

2-rasm: Sezare, Kamestres, Festino, Baroko, Sezaro, Kamestros.

Ushbu nomlarning har birida uchta unli mavjud. Ular modusda qaysi kategorik bayonotlar uning asoslari va xulosalari sifatida ishlatilishini aniq ko'rsatib beradi. Shunday qilib, ism Yorqin birinchi shaklning ushbu rejimida, odatda, katta salbiy xulosa degan ma'noni anglatadi (SeP), kichikroq - odatda ijobiy (SaP) va xulosada - umuman salbiy bayonot (SeP).

Sillogizmning 24 to'g'ri rejimidan 5 tasi zaiflashdi: ulardagi xulosalar qisman ijobiy yoki qisman salbiy bayonotlardir, ammo boshqa rejimlarda ham xuddi shu binolar umumiy ijobiy yoki umumiy salbiy xulosalar beradi (qarang. Sezare va Sezaro ikkinchi rasm). Agar zaiflashgan rejimlarni tashlasak, sillogizmning 19 to'g'ri rejimi qoladi.

Sillogizmning to'g'riligini baholash uchun Eyler doiralaridan foydalanish mumkin, bu nomlar jildlari o'rtasidagi bog'liqlikni aks ettiradi.

Masalan, sillogizmni olaylik:

Barcha metallar (M) zarb qilish (R).

Temir (S) - metall (M).

Temir (S) yumshoq (P).

Ushbu sillogizmning uchta atamasi (Barbara modasi) o'rtasidagi munosabatlar uchta konsentrik doiralar bilan ifodalanadi. Ushbu sxema quyidagicha talqin etiladi: agar barchasi bo'lsa M (metallar) hajmga kiritilgan R (egiluvchan jismlar), keyin zarurat bilan S (temir) ovoz balandligiga kiradi R (egiluvchan jismlar), bu "egiluvchan temir" xulosasida keltirilgan.

Sillogizmning yana bir misoli:

Barcha baliqlar (R) patlar yo'q (M).

Barcha qushlar (S) patlar bor (M).

Qush yo'q (S) baliq emas (R).

Berilgan sillogizm (modus) shartlari o'rtasidagi bog'liqlik Sezar) rasmda keltirilgan. U quyidagicha talqin etiladi: agar barchasi bo'lsa S (qushlar) jildga kiritilgan M (patlari bor) va M bilan hech qanday aloqasi yo'q R (baliq), keyin y S (qushlar) hech qanday aloqasi yo'q R (baliq), bu xulosada ko'rsatilgan.

Noto'g'ri sillogizmga misol:

Barcha yo'lbarslar (M) - sutemizuvchilar (R).

Barcha yo'lbarslar (M) - yirtqichlar (S).

Barcha yirtqich hayvonlar (S) sutemizuvchilardir (P).

Ushbu sillogizm atamalari o'rtasidagi bog'liqlikni rasmda ko'rsatilgandek ikki shaklda ifodalash mumkin. Ham birinchi, ham ikkinchi holatda hammasi M (yo'lbarslar) jildga kiritilgan R (sutemizuvchilar) va barchasi M shuningdek, qamrov doirasiga kiritilgan S (yirtqichlar). Bu sillogizmning ikkita asosidagi ma'lumotlarga mos keladi. Ammo jildlar orasidagi bog'liqlik R va S ikki marta bo'lishi mumkin. Quchoqlab M, hajmi S hajmiga to'liq kiritilishi mumkin R yoki ovoz balandligi S faqat tovush bilan kesishishi mumkin R. Birinchi holda, "Hamma yirtqich hayvonlar sutemizuvchilardir" degan umumiy xulosani chiqarish mumkin bo'lar edi, ammo ikkinchi holda, faqatgina "Ba'zi yirtqichlar sutemizuvchilar" degan alohida xulosa o'rinli bo'ladi. Ushbu ikkita variant o'rtasida tanlov qilish uchun binoda ma'lumot yo'q. Bu shuni anglatadiki, biz umumiy xulosa qilishga haqqimiz yo'q. Sillogizm to'g'ri emas.

Sillogizmda, har qanday deduktiv xulosada bo'lgani kabi, xulosada binolarda mavjud bo'lmagan ma'lumotlar bo'lishi mumkin emas. Xulosa faqat binolarning ma'lumotlarini kengaytiradi, ammo ularda mavjud bo'lmagan yangi ma'lumotlarni taqdim eta olmaydi.

Oddiy mulohazalarda sillogizmlar odatiy holatlardan biri bo'lib, unda binolardan biri yoki xulosa aniq ifodalanmagan. Bunday sillogizmlar deyiladi qo'shimchalar. Entimemaga misollar: "Saxiylik har qanday fazilat singari maqtovga loyiqdir", "U olim, shuning uchun qiziqish unga begona emas", "Kerosin suyuqlikdir, shuning uchun bosimni har tomonga teng ravishda uzatadi" va boshqalar. Birinchi holda, "Saxiylik fazilatdir" degan kichikroq shart chiqarib tashlangan, ikkinchidan, "Qiziqish har bir olim uchun begona emas" degan katta shart, uchinchidan, yana "Har qanday suyuqlik bosimni har tomonga bir tekis o'tkazadi" degan katta shart.

Entimemada fikr yuritishni to'g'riligini baholash uchun uni to'liq sillogizmga qaytarish kerak.

Oddiy kategorik sillogizm

Mediatsiya qilingan xulosalar - bu xulosa bir-biri bilan mantiqan bog'liq bo'lgan ikki yoki undan ortiq hukmlardan kelib chiqadigan xulosalar. Mediatsiya qilingan xulosalarning bir necha turlari mavjud: a) kategorik sillogizm; b) shartli xulosalar; v) ajratuvchi xulosalar.

Kategorik sillogizm (sillogizm - yunoncha "sillogismos" - hisoblash) so'zi deduktiv fikrlashning bir turi bo'lib, unda bitta termin bilan bog'langan ikkita haqiqiy kategorik hukmdan, uchinchi hukm - xulosa olinadi.

Masalan:

Barcha talabalar yaxshi o'qishadi xorijiy til

Ivanov - talaba

Ivanov chet tilini qunt bilan o'rganadi

Hukmlar - S va P atamalaridan farqli o'laroq, sillogizmni tashkil etadigan tushunchalar sillogizm atamalari deb ataladi. Kichikroq, kattaroq va o'rta atamalarni ajrating.

Sillogizmning kichik atamasi - bu kontseptsiya, bu xulosa qilish uchun mavzu. Sillogizmning katta atamasi - bu xulosa qilib, predikat bo'lgan tushunchadir. Kichikroq va kattaroq atamalar haddan tashqari deb nomlanadi. Ular navbati bilan S (kichik atama) va P (katta atama) lotin harflari bilan belgilanadi. Haddan tashqari atamalarning har biri nafaqat xulosaga, balki binolardan biriga ham kiritilgan. Kichikroq atamani o'z ichiga olgan shart kichikroq, kattaroq atamani o'z ichiga olgan shart katta shart deb ataladi.

Sillogizmning o'rta muddati bu ikkala bino tarkibiga kiradigan va xulosada mavjud bo'lmagan tushunchadir. O'rta atama lotincha M harfi bilan belgilanadi (lotincha medius - o'rta).

Bizning misolimizda sillogizm shartlarini hukm shartlari o'rniga qo'yib, biz quyidagilarni olamiz:

Barcha talabalar (M) chet tilini astoydil o'rganadilar (P)

Ivanov (S) - talaba (M)

Ivanov (S) chet tilini (R) astoydil o'rganmoqda

O'rta muddatli mavqega binoan ajralib turadigan sillogizm shakllarining xilma-xilligi sillogizm figuralari deb ataladi, ularning har biri o'ziga xos qoidalarga ega. To'rtta raqam mavjud.

Birinchi raqam - bu sillogizmning bir turi, unda o'rta muddatli mavzu predmetning o'rnini kattaroq asosda (M - P) egallaydi va predikatning o'rnini kichikroq (S - M) egallaydi, sxematik tarzda quyidagicha ifodalanadi:

Barcha talabalar (M) Vatan tarixini sinchkovlik bilan o'rganadilar (P)

Ivanov (S) - talaba (M)

Ivanov (S) Vatan tarixini qunt bilan o'rganadi (R)

Birinchi raqam qoidalari: 1. Kichik shart ijobiy bo'lishi kerak; 2. Katta paket umumiy bo'lishi kerak (A, E).

Ikkinchi raqam - bu ikkala binoda (P - M; S - M) o'rta muddatli predikat o'rnini egallaydigan sillogizmning bir turi:

Hech qanday kitob (P) davriy nashr emas (M)

Jurnal (S) - davriy (M)

Jurnal (S) kitob emas (P)

Ikkinchi rasmning qoidalari: 1. Binolardan biri salbiy bo'lishi kerak (E, 0), 2. Katta paket umumiy bo'lishi kerak (A, E).

Uchinchi raqam - bu ikkala binoda ham o'rta muddatli mavzu o'rnini egallaydigan sillogizmning bir turi (M - P; M - S). Uning sxemasi:

Ba'zi urushlar (M) adolatli (R)

Urush (M) - bu zo'ravonlik (S)

Ba'zi zo'ravonlik (S) - adolatli (P)

Uchinchi rasm qoidalari: 1. Kichik shart ijobiy bo'lishi kerak (A, I), 2. Xulosa shaxsiy bo'lishi kerak (I, O).

To'rtinchi raqam - bu sillogizmning bir turi, unda o'rta muddat predikatning o'rnini kattaroq qismida egallaydi va mavzu kichikroq asosda (P - M, - M - S) quyidagicha ifodalanadi:

Barcha zobitlar (P) harbiy xizmatchilar (M)

Hech bir askar (M) ishchi (S) emas

Hech bir ishchi (S) ofitser emas (P)

To'rtinchi rasmning qoidalari: 1. Agar katta shart ijobiy (A, I) bo'lsa, unda kichikroq shart umumiy bo'lishi kerak (A, E), 2. Agar binolardan biri salbiy bo'lsa (E, O), unda katta paket umumiy bo'lishi kerak (A, E)

Shartlar qoidalari (TP)

PT - 1. Har bir sillogizmda atigi uchta atama bo'lishi kerak. Agar ushbu qoida buzilgan bo'lsa, "atamalarni to'rt baravar oshirish" xatosi yuzaga keladi, bu atamalardan biri ikki ma'noda ishlatilishini anglatadi.

Masalan:

Hayot bu kurash

Karate - kurash

Hayot bu karate

PT - 2. O'rta muddatli bino kamida bittasida taqsimlanishi kerak. Agar o'rta muddatli bino biron bir joyda taqsimlanmagan bo'lsa, unda xulosadagi haddan tashqari atamalar o'rtasidagi munosabatlar aniqlanmagan bo'lib qoladi.

Masalan:

Ba'zi o'simliklar (M) zaharli (P)

Porcini (S) - o'simliklar (M)

Porcini qo'ziqorinlari (S) - zaharli (P)

PT - Z. Uydagi uchastkalarda ajratilmagan atama xulosada taqsimlanishi mumkin emas. Ushbu qoidaning buzilishi noqonuniy muddatli kengayish xatosiga olib keladi.

Masalan:

Barcha o'qituvchilar (M) o'qimishli (P)

U (S) o'qituvchi emas (M)

U (S) ko'tarilmagan (P)

Paket qoidalari (PP):

PP - 1. Agar bitta shart xususiy bo'lsa, unda xulosa xususiy bo'ladi.

Masalan:

Barcha deputatlar xalq tomonidan saylanadi

Ba'zi aktyorlar deputatdir

Ushbu binolardan umumiy xulosa chiqarish mumkin emas. Barcha aktyorlar xalqning saylangan vakillari ekanligi haqida bahslashish mumkin emas, chunki biz kichikroq muddat hajmining faqat bir qismi haqida gaplashamiz. Sxematik tarzda shunday ko'rinadi:

PP - 2. Ikkala aniq xonadan xulosa chiqarish mumkin emas. Bunday holda, sillogizm shartlari o'rtasida volumetrik aloqalarni o'rnatish mumkin emas, shuning uchun aniq xulosa ishlamaydi. Masalan, "Fanlar akademiyasining ba'zi a'zolari faylasuflar" va "ba'zi sotsiologlar Fanlar akademiyasining a'zolari" degan asoslardan aniq bir xulosa kelib chiqmaydi. Mavzuning hajmi ("ba'zi bir sotsiologlar") ma'lum darajada predikat ("faylasuflar") hajmi bilan kesishishi mumkin, ammo u tashqarida ham bo'lishi mumkin.

PP - 3. Ikki salbiy asosdan xulosa chiqarish mumkin emas. Bunday holda, barcha atamalar bir-birlarini istisno qiladi, ular orasidagi har qanday volumetrik munosabatlarni yo'q qiladi. Binolardan hech qanday xulosa chiqmaydi: "Hech bir sayyora o'z nuri bilan porlamaydi" va "Yerning sun'iy yo'ldoshi sayyora emas".

PP - 4. Agar binolardan biri salbiy hukm bo'lsa, unda xulosa ham salbiy bo'lishi kerak. Masalan: "Har qanday haqiqatan ham ommalashgan harakat progressivdir. Millatchilik progressiv harakat emas. Shuning uchun millatchilik haqiqiy xalq harakati emas."

Bular umumiy qoidalar, bu kategorik sillogizmni tuzishda hisobga olinishi kerak. Ularni kuzatmasdan to'g'ri xulosa chiqarish mumkin emas. Ushbu qoidalarni buzgan holda, kishi sillogizm aksiomasini buzadi. Xulosa qilish qoidalari kognitiv ahamiyatga ega, chunki ular ob'ektiv haqiqatning munosabatlari va xususiyatlarini etarli darajada aks ettiradi.

Shuni yodda tutish kerakki, sillogizm asoslari sifat va miqdor jihatidan har xil bo'lgan hukmlar bo'lishi mumkin: umumiy ijobiy (A), umumiy salbiy (E), qisman ijobiy (I) va qisman salbiy (O). Shu munosabat bilan oddiy kategorik sillogizmning usullari ajralib turadi.

To'rtta rasmda kombinatsiyalar soni 64 ta. Biroq, faqat 19 ta to'g'ri rejim mavjud.

1-rasm: AAA, EAE, AII, EIO, 2-rasm: EAE, AEE, EIO, AOO, 3-rasm: AAI, IAI, AII, EAO, OSC, EIO 4-rasm: AAI, AEE , IAI, EAO, EIO.

Umuman olganda, xulosaning mohiyati haqidagi savolga oydinlik kiritish uchun oddiy kategorik sillogizmlarni tahlil qilish quyidagi fikrlarni izchil belgilashni nazarda tutadi:

• kichikroq, kattaroq va o'rta atamalar;
• kichikroq va kattaroq posilkalar;
• raqamlar;
• rejim;
• binolarda atamalarni taqsimlash va xulosalar;
• xulosaning tabiati (zarur yoki ehtimol).

Bir misolni ko'rib chiqing: "Qonunlar bajarilishi kerak. Ko'rsatma qonun emas. Shuning uchun ko'rsatmalarga rioya qilinmaydi." Sillogizmni tahlil qilish xulosa bilan boshlanishi kerak, chunki unda haddan tashqari katta va kichik terminlar mavjud. Bizning misolimizda "ko'rsatma" tushunchasi xulosa mavzusi sifatida kichikroq atama hisoblanadi. "Muvofiqlik" tushunchasi, yoki " huquqiy aktrioya qilishga bo'ysunadi ", predikatning og'zaki shaklini nominal shaklga aylantirish natijasida bu kattaroq atama hisoblanadi, chunki u xulosaning predikati hisoblanadi. Ikkala bino tarkibiga kiritilgan, ammo xulosada yo'q bo'lgan" qonun "tushunchasi - bu o'rta muddatli.

"Qonunlar muvofiqlikka bo'ysunadi" degan ibora kattaroqdir, chunki u "muvofiqlikka bo'ysunadigan huquqiy akt" degan katta atamani o'z ichiga oladi va kichikroq "ko'rsatma" atamasini o'z ichiga olgan "Ko'rsatma qonun emas" degan ibora kichikroq. O'rta muddatli "qonun" kichikroq predmet va katta predmet predmeti bo'lganligi sababli, bu birinchi raqamning sillogizmi.

Katta shart - bu odatda ijobiy qaror (A), kichikroq odatda salbiy (E) va xulosa ham umuman salbiy (E). Shunday qilib, bizda AEE rejimi mavjud. Kattaroq taxmindagi o'rta muddat umumiy hukm mavzusi sifatida taqsimlanadi ( belgi M +), va kattaroq atama ijobiy taklifning predikati sifatida taqsimlanmagan (P- belgisi). Kichikroq sharoitda kichik atama umumiy hukmning predmeti sifatida taqsimlanadi (S +) va o'rta muddat salbiy hukmning predikati (M +) sifatida taqsimlanadi. Xulosa qilib aytish mumkinki, har ikkala haddan tashqari atama ham kichik asos (S +) va (P +) bilan taqsimlanadi. Tahlilimiz natijasini tuzataylik:

Qonunlar (M +) bajarilishi kerak (R-)

E ko'rsatmasi (S +) qonun emas (M +)

E ko'rsatmasi (S +) bajarilmasligi kerak (P +)

Xulosaning mohiyati ushbu misolda sillogizm qoidalari (rasm qoidalari va umumiy qoidalar) buzilganmi yoki yo'qmi degan savolga javob bilan belgilanadi: agar ular buzilgan bo'lsa, demak, xulosa ehtimoliy, agar bo'lmasa, u ishonchli bo'ladi. Bizning misolimiz birinchi raqamga qurilganligi sababli, uning qoidalaridan biri bu erda bajarilmasligini topish oson - kichik shart ijobiy bo'lishi kerak, bu erda u salbiy. Bu degani, xulosa ehtimoli bor. Ammo raqamlarning qoidalari umumiy qoidalarning oqibatlari bo'lganligi sababli, qaysi umumiy qoidalar buzilganligini aniqlash kerak. Ushbu misolda PT-Z kattaroq atamaga nisbatan buzilgan: oldingi shartdagi katta atama ijobiy hukmning predikati sifatida taqsimlanmagan, ammo xulosada u inkorning predikati sifatida taqsimlangan. Shuning uchun, misolda, "kattaroq atamani noqonuniy ravishda kengaytirish" xatosiga yo'l qo'yilgan.

Shartli va bo'linadigan xulosalar.

Xulosa nafaqat sodda, balki murakkab hukmlardan ham tuziladi. Xulosalar keng qo'llaniladi, ularning binolari bir-biri bilan yoki kategorik hukmlar bilan turli xil kombinatsiyalarda harakat qiladigan shartli va ajratuvchi hukmlardir. Ushbu xulosalarning o'ziga xos xususiyati shundaki, xonadan xulosa chiqarish kategorik sillogizmdagi kabi atamalar orasidagi bog'liqlik bilan emas, balki hukmlar o'rtasidagi mantiqiy aloqaning tabiati bilan belgilanadi. Shuning uchun binolarni tahlil qilishda ularning predmet-predikat tuzilishi hisobga olinmaydi. Murakkab hukmlardan xulosalarni ko'rib chiqing.

Shartli xulosa (shartli sillogizm) - vositalarning hech bo'lmaganda bittasi shartli hukm bo'lgan vositachilik deduktiv xulosasining bir turi. Faqatgina shartli va shartli kategorik xulosalar mavjud.

Faqatgina shartli xulosa - bu ikkala bino va xulosa shartli hukm bo'lgan bunday bilvosita xulosa. Uning mantiqiy tuzilishi quyidagicha:

Agar a bo'lsa, u holda b

Agar bo'lsa, unda bilan

Agar a bo'lsa, u holda c

masalan

Agar talabada mas'uliyat hissi rivojlanmagan bo'lsa, demak u advokat kasbini sifatli egallash zaruratini rivojlantirmaydi.

Agar tinglovchi advokatlik kasbini sifatli o'zlashtirish zaruratini rivojlantirmasa, u kambag'al mutaxassis bo'ladi.

Agar talabada mas'uliyat hissi rivojlanmagan bo'lsa, demak u kambag'al mutaxassis bo'ladi.

Yuqoridagi misolda har ikkala bino ham shartli takliflar bo'lib, ikkinchi asosning asosi birinchisining natijasidir, undan o'z navbatida yana bir oqibat kelib chiqadi. Ikki xonaning umumiy qismi birinchisining asosini va ikkinchisining natijasini bog'lashga imkon beradi. Shuning uchun xulosa shartli taklif shaklida ham ifodalanadi. Faqatgina shartli xulosadagi xulosa qoidaga asoslanadi: ta'sirning ta'siri poydevorning asosidir.

Agar a bo'lsa, u holda b

Ushbu ko'rinish Fikrlashning ikkita usuli bor - tasdiqlash va inkor etish. Ularning har biri ikki shaklda bo'ladi: to'g'ri va noto'g'ri. To'g'ri shakllarda xulosalar ishonchli, noto'g'ri xulosalar esa ehtimollikdir.

Tasdiqlash rejimining to'g'ri shakli - bu shartli-kategorik xulosaning bir turi bo'lib, unda xulosa chiqarish shartli shartning asosini tasdiqlashdan shartli asosning natijasini tasdiqlashga yo'naltiriladi.

Masalan:

Gapning boshida "a" so'zi paydo bo'ladi (a)

Ushbu jumldagi "kapital" so'zi bilan yozilishi kerak bosh harf (b)

Tasdiqlash rejimining noto'g'ri shakli - bu shartli-kategorik xulosaning bir turi, unda xulosa chiqarish natijani bayon qilishdan sababni bayon qilishga yo'naltiriladi.

Masalan:

Agar so'z jumlaning boshida bo'lsa (a), u katta harf bilan yozilishi kerak (b)

"Moskva" so'zi katta harf bilan yozilgan (b)

"Moskva" so'zi jumla boshida (a)

Inkor etish rejimining to'g'ri shakli - bu shartli-kategorik xulosaning bir turi, unda xulosa chiqarish natijani inkor qilishdan sababni inkor etishga yo'naltirilgan.

Masalan:

Agar so'z jumlaning boshida bo'lsa (a), u katta harf bilan yozilishi kerak (b)

Gapdagi "kapital" so'zi katta harf bilan yozilmagan (- b)

"Kapital" so'zi jumlaning boshida emas (- a)

Inkor etish rejimining tartibsiz shakli - bu shartli-kategorik xulosaning bir turi bo'lib, unda xulosa chiqarish jarayoni sababni inkor qilishdan ta'sirni inkor etishga yo'naltirilgan.

Masalan:

Agar so'z (a) jumlaning boshida bo'lsa, u katta (b) harf bilan yozilishi kerak

"Moskva" so'zi jumlaning boshida yo'q (- a)

"Moskva" so'zini katta harf bilan yozish shart emas (- b)

Bo'linish bir yoki bir nechta binolar hukmlarni ajratib turadigan xulosa deb ataladi. Kategorik va shartli ravishda ajratuvchi xulosalarni ajratish

Ajratuvchi-kategorik xulosalar deb ataladi, bunda binolardan biri ajratilgan, ikkinchisi esa asos va xulosa kategorik hukmlardir. Ajratuvchi-kategorik xulosalar ikkita rejimga ega: ijobiy-salbiy va salbiy-ijobiy.

Tasdiqlovchi-manfiy rejim - bu ajratuvchi-kategorik xulosaning bir turi, bunda ajratuvchi hukm a'zolaridan birini tasdiqlash orqali qolganlarning barchasi inkor etiladi. Uning mantiqiy tuzilishi quyidagicha:

Masalan:

Hukm ijobiy (a) yoki salbiy (b) bo'lishi mumkin

Ushbu hukm ijobiy (a)

Ushbu hukm salbiy emas (- b)

Ushbu rejim bo'yicha xulosada quyidagi qoidaga rioya qilish kerak: bo'linish sharti qat'iy disjunktsiya bo'lishi kerak.

Salbiy tasdiqlovchi rejim - bu divizion-kategorik xulosaning bir turi bo'lib, unda bo'linish hukmining barcha a'zolarini inkor qilish orqali, faqat bittasidan tashqari, qolgan a'zo tasdiqlanadi. Uning mantiqiy tuzilishi quyidagicha:

Masalan:

Hukm ijobiy (a) yoki salbiy (b) bo'lishi mumkin

Ushbu hukm ijobiy emas (- a)

Ushbu hukm salbiy (b)

Ushbu rejim bo'yicha xulosada quyidagi qoidaga rioya qilish kerak: kattaroq asosda barcha mumkin bo'lgan muqobil variantlar ro'yxatlangan bo'lishi kerak, boshqacha qilib aytganda, katta shart to'liq (yopiq) disjunktiv bayonot bo'lishi kerak.

Shartli ravishda bo'linish yoki lemmatik (lot. Lemme - taxmin) dan kelib chiqadigan xulosa deyiladi, unda bitta shart ikki yoki undan ortiq shartli hukmlardan iborat, ikkinchisi esa ajratuvchi hukmdir. Shartli asos (alternativalar) oqibatlari soni bo'yicha dilemmalar, trilemmalar va poliilemmalar ajratiladi.

Dilemma - bu ikkita muqobil bilan shartli ravishda bo'linadigan xulosa. Fikrlash amaliyotida ikki xil dilemma mavjud - konstruktiv va halokatli.

Konstruktiv dilemmaning shartli sharti ulardan kelib chiqadigan ikkita shart va ikkita oqibatlarning yuzaga kelish imkoniyatini belgilaydi. Ajratish sharti tanlovni faqat shu ikkita shart bilan cheklaydi va xulosa faqat bitta natijaga olib kelishi mumkinligini tasdiqlaydi.

Masalan:

Agar siyosiy nazariyalar ilg'or (a) bo'lsa, u holda jamiyat rivojiga hissa qo'shadi (b)

Agar siyosiy nazariyalar reaktsion (c) bo'lsa, ular jamiyat rivojlanishiga to'sqinlik qiladi (e)

Ammo siyosiy nazariyalar progressiv (a) yoki reaktsion (c) bo'lishi mumkin.

Siyosiy nazariyalar yoki jamiyat rivojlanishiga yordam beradi (b) yoki unga to'sqinlik qiladi (c)

Vayronkor dilemmaning shartli asosida ikkita oqibat ikki asosdan kelib chiqishi mumkinligi, bo'linadigan asosda mumkin bo'lgan oqibatlarning biri inkor etilishi va xulosada mumkin bo'lgan sabablardan biri inkor etilishi aniqlandi.

Masalan:

Agar faylasuf ong (a) bilan bog'liq holda materiyaning ustunligini tan olsa, demak u materialist (b)

Agar faylasuf ongning materiyaga nisbatan ustunligini tan olsa (c), demak u idealist (c) Ammo faylasuf yoki materialist emas (- b), yoki idealist emas (- c)

Faylasuf ong bilan bog'liq holda materiyaning ustunligini ham tan olmaydi
(- a) yoki ongning materiyaga nisbatan ustunligi (- c).

Sillogizmga misol:

Har bir inson o'likdir (katta taxmin) Suqrot - inson (kichikroq taxmin) ------------ Sokrat o'limlidir (xulosa)

Oddiy kategorik sillogizmning tuzilishi

Sillogizm to'liq o'z ichiga oladi uchta muddat:

• S - kichik muddat: xulosa mavzusi (kichikroq shartga kiritilgan);
• P - kattaroq atama: xulosa predikati (katta shartga kiritilgan);
• M - o'rta muddatli: ikkala binoga kiritilgan, ammo xulosaga kiritilmagan.

Mavzu S (mavzu) - biz nimani ifoda etamiz (ikki turga bo'lish mumkin):

1. Maxsus: bitta, xususiy, bir nechta
   • Yagona [hukmlar] - bu mavzu individual tushunchadir. Izoh: "Nyuton tortishish qonunini kashf etdi"
   • Xususiy hukm - unda hukm mavzusi uning doirasining bir qismida qabul qilingan tushunchadir. Izoh: "Ba'zi S - P"
   • Bir nechta hukmlar - bu bir nechta asosiy sinf tushunchalari mavjud. Izoh: "hasharotlar, o'rgimchaklar, kerevitlar - bu artropodlar"
2. Noaniq. Izoh: "tong", "og'riqli" va boshqalar.

Bashorat qiling P (predikat) - biz aytadigan narsalar (hukmlarning 2 turi):

• Qissalar - bu voqealar, holatlar, jarayonlar yoki vaqtinchaliklarning faoliyati to'g'risida hukm. Izoh: "Bog'da atirgul gullaydi".
• Ta'riflovchi - xususiyat bir yoki bir nechta ob'ektga tegishli bo'lganda. Mavzu har doim ma'lum bir narsadir. Izoh: "Olov issiq", "qor oppoq".

Sub'ekt va predikat o'rtasidagi munosabatlar:

1. Shaxsga oid hukmlar - sub'ekt va predikat tushunchalari bir xil doiraga ega. Izoh: "har bir teng qirrali uchburchak teng qirrali uchburchakdir"
2. Subordinatsiya bo'yicha hukmlar - unchalik keng bo'lmagan tushunchalar, kengroq doiradagi tushunchaga bo'ysunadi. Izoh: "It - bu uy hayvonidir"
3. Aloqalar bo'yicha hukmlar aniq makon, vaqt, munosabatlardir. Izoh: "Uy ko'chada"

Mavzu va predikat o'rtasidagi munosabatni belgilashda atamalarni aniq rasmiylashtirish muhim ahamiyatga ega, chunki itsiz it, garchi uyda yashash nuqtai nazaridan uy sharoitida bo'lmasa ham, ijtimoiy-biologik asosda bo'lish nuqtai nazaridan uy hayvonlari sinfiga kiradi. Ya'ni shuni tushunish kerakki, ijtimoiy-biologik tasnifga ko'ra "uy hayvonlari" ba'zi hollarda yashash joylari nuqtai nazaridan, ya'ni ijtimoiy nuqtai nazardan "uylanmagan hayvon" bo'lishi mumkin.

Oddiy atributli gaplarni sifat va miqdor bo'yicha tasnifi

Sifat va miqdor jihatidan to'rtta oddiy atributiv gaplar ajratiladi:

Eslatma. So'zlarni shartli harflar bilan belgilash uchun lotin so'zlaridan unlilar ishlatiladi tasdiqlangan (Men ha deb aytaman deb da'vo qilaman) va nego (Inkor qilaman, yo'q deb aytaman).

Yagona bayonotlar (mavzu bitta atama bo'lganlar) umumiy bayonotlarga tenglashtiriladi.

Terminlarni oddiy atributiv gaplarda taqsimlash

Mavzu har doim umumiy bayonotda tarqatiladi va hech qachon ma'lum bir bayonotda tarqatilmaydi.

Predikat har doim salbiy fikrlarda tarqatiladi, ijobiy ravishda u P hajmi bo'lganda taqsimlanadi<=S.

Ba'zi hollarda predmet predikat vazifasini o'tashi mumkin.

Oddiy kategorik sillogizm qoidalari

• O'rta muddatli bino kamida bittasida taqsimlanishi kerak.
• Xonada taqsimlanmagan atama xulosada taqsimlanmasligi kerak.
• Salbiy xabarlar soni salbiy xulosalar soniga teng bo'lishi kerak.
• Har bir sillogizm atigi uchta atamani o'z ichiga olishi kerak.

Raqamlar va rejimlar

Sillogizm raqamlari sillogizmning shakllari deb ataladi, ular binolarda o'rta muddatli joylashuvidan farq qiladi:

Har bir raqam binolar va xulosalar soni va sifati jihatidan farq qiluvchi sillogizm shakllariga mos keladi. O'rta asr maktablari tomonidan modalar o'rganilgan va har bir raqamning to'g'ri rejimlari uchun mnemonik nomlar ixtiro qilingan:

Har bir turdagi sillogizmlarga misollar.

Barcha hayvonlar o'likdir. Hamma odamlar hayvonlardir. Hamma odamlar o'likdir.

Yorqin

Hech qanday sudralib yuruvchining mo'ynasi yo'q. Barcha ilonlar sudralib yuruvchilar. Hech qanday ilonda mo'yna yo'q.

Barcha mushukchalar o'ynoqi. Ba'zi uy hayvonlari mushukchalar. Ba'zi uy hayvonlari o'ynoqi.

Hech qanday uy vazifasi qiziqarli bo'lmaydi. Ba'zi o'qish uy vazifasi. Ba'zi o'qish qiziqarli emas.

Hech qanday foydali ovqat yog 'bo'lmaydi. Hamma tortlar semiz. Hech qanday pirojnoe foydali ovqat emas.

Kamestrlar

Barcha otlarning shishishi bor. Hech kimda shishiradi. Hech bir odam ot emas.

Hech bir dangasa odam imtihon topshirmaydi. Ba'zi talabalar imtihon topshirishadi. Ba'zi talabalar dangasa emaslar.

Barcha ma'lumot beradigan narsalar foydalidir. Ba'zi saytlar foydali emas. Ba'zi saytlar ma'lumotga ega emas.

Barcha mevalar to'yimli. Barcha mevalar mazali. Ba'zi mazali ovqatlar to'yimli bo'ladi

Ba'zi krujkalar chiroyli. Barcha doiralar foydali. Ba'zi foydali narsalar chiroyli.

Ushbu maktabdagi barcha mehnatsevar o'g'il bolalar qizil sochlardir. Ushbu maktabdagi mehnatsevar o'g'il bolalarning ba'zilari pansionatdir. Ushbu maktabdagi barcha tirishqoq o'g'il bolalar qizil sochlardir.

Felapton

Ushbu kabinetda bitta idish ham yangi emas. Ushbu kabinetdagi barcha ko'zalar yorilib ketgan. Ushbu shkafdagi ba'zi yoriqlar yangi emas.

Ba'zi mushuklar quyruqsizdir. Barcha mushuklar sutemizuvchilardir. Ba'zi sutemizuvchilar quyruqsiz.

Hech qanday daraxt qutulish mumkin emas. Ba'zi daraxtlar yashil rangga ega. Ba'zi yashil narsalar qutulish mumkin emas.

Bramantip

Mening bog'imdagi barcha olma sog'lom. Barcha sog'lom mevalar pishgan. Ba'zi pishgan mevalar mening bog'imda olma.

Barcha yorqin gullar xushbo'y. Uyda xushbo'y gul o'stirilmaydi. Hech qanday yopiq gul yorqin emas.

Ba'zi kichik qushlar asal bilan oziqlanadi. Asal bilan oziqlanadigan barcha qushlar rangli. Ba'zi rangli qushlar kichikdir.

Hech bir inson mukammal emas. Barcha mukammal mavjudotlar afsonaviydir. Ba'zi afsonaviy mavjudotlar odam emas.

Fresison

Hech qanday vakolatli odam noto'g'ri. Ba'zi noto'g'ri odamlar bu erda ishlaydi. Bu erda ishlaydiganlarning ba'zilari qobiliyatsiz.

Qoidalarga ko'ra shakllar boshqa shakllarga, barcha shakllar esa birinchi shakllardan biriga aylantirilishi mumkin.

Tarix

Sillogizm ta'limotini birinchi marta Aristotel o'zining "Birinchi tahlilida" taqdim etgan. U mumkin bo'lgan to'rtinchisini eslamasdan, faqat kategorik sillogizmning uchta figurasi haqida gapiradi. Xususan, u xulosa chiqarish jarayonida hukmlarning modallik rolini o'rganadi. Botanika asoschisi Aristotelning vorisi Teofrast, Afrodisiyalik Aleksandrning fikriga ko'ra (Aristotelning birinchi analitikasiga sharhida) sillogizmning birinchi figurasiga yana beshta modi (modi) qo'shgan; keyinchalik ushbu beshta rejim maxsus to'rtinchi raqam sifatida Klavdiy Galen (milodiy II asrda yashagan) tomonidan aniqlangan. Bundan tashqari, Teofrastus va uning shogirdi Evdem shartli va bo'linadigan sillogizmlarni tahlil qilishni boshladilar. Ular beshta xulosani tan olishdi: ulardan ikkitasi shartli sillogizmga, uchtasi esa bo'linuvchiga to'g'ri keladi, ular shartli sillogizmning modifikatsiyasi deb hisoblashgan. Antik davrda sillogizm doktrinasining rivojlanishining oxiri, faqat stoiklarning an'anaviy sillogizm ta'limotiga qo'shganlari bundan mustasno. Sextus Empiricusning fikriga ko'ra, stoiklar shartli va bo'linadigan sillogizmning ayrim turlarini tan olishgan αναπόδεικτοι , ya'ni ularga dalil kerak emas va ularni sillogizmning prototiplari deb hisoblashgan (masalan, Sigvart sillogizmga qaraydi). Stoiklar Teofrastusga to'g'ri keladigan o'xshash sillogizmlarning beshta turini tan oldilar. Sextus Empiricus ushbu beshta turga quyidagi misollarni keltiradi:

1. Agar kun kelgan bo'lsa, demak u erda yorug'lik bor; ammo hozir kun, shuning uchun yorug'lik bor.
2. Agar kun kelgan bo'lsa, demak u erda yorug'lik bor, lekin yorug'lik yo'q, shuning uchun kun yo'q.
3. Kechayu kunduz (bir vaqtning o'zida) bo'lishi mumkin emas, lekin kun keldi, shuning uchun tun yo'q.
4. Kecha yoki kunduz bo'lishi mumkin, ammo hozir kun, shuning uchun tun yo'q.
5. Kechayu kunduz bo'lishi mumkin, ammo tun yo'q, shuning uchun endi kun.

Sextus Empiricus va umuman skeptiklarda biz sillogizmni tanqid qilish bilan ham uchrashamiz, ammo tanqidning maqsadi umuman isbotlashning iloji yo'qligini, shu jumladan sillogistikni isbotlashdir. Sxolastik mantiq sillogizmlar doktrinasiga hech qanday muhim narsa qo'shmadi; u faqat Aristotelda mavjud bo'lgan bilim nazariyasi bilan aloqani uzdi va shu bilan mantiqni sof rasmiy ta'limga aylantirdi. O'rta asrlarda mantiq bo'yicha namunaviy qo'llanma Martsian Kapellaning, namunali sharh Boetsiyning ishi edi. Boetsiyning ba'zi sharhlari, xususan, "Entlugio ad categoricos syllogismos", "De syllogismo categorico" va "De syllogismo hypothetico" kabi sillogizmlar bilan bog'liq. Boetsiy yozuvlari ba'zi tarixiy ahamiyatga ega; ular mantiqiy terminologiyaning o'rnatilishiga ham hissa qo'shdilar. Shu bilan birga, ta'limotlarga mantiqiy xarakterni rasmiy ravishda bergan Boetsiy edi.

"Mantiqiy kvadrat"

Sillogizm ta'limotiga nisbatan sxolastik falsafa davridan boshlab Foma Akvinskiy (+ 1274), ayniqsa, yolg'on xulosalarni batafsil tahlil qilishiga ("De fallaciis") e'tibor qaratishga loyiqdir. Ba'zi bir tarixiy ahamiyatga ega bo'lgan mantiq bo'yicha insho Vizantiya Maykl Psellusga tegishli. U "mantiqiy kvadrat" deb nomlangan taklifni taqdim etdi, unda har xil turdagi hukmlarga munosabat aniq ifoda etilgan. U turli xil modlarning nomlariga ega (yunoncha). τρόποι ) raqamlar. Rimlashtirilgan bu nomlar G'arb mantiqiy adabiyotiga o'tdi.

Maykl Psellus Teofrastga ergashib, to'rtinchi raqamning beshta modasini birinchisiga bog'ladi. Turlarning nomi uning ongida mnemonik maqsadlarni anglatardi. Shuningdek, u hukmlarning miqdori va sifatining (a, e, i, o) keng qo'llaniladigan harflariga egalik qiladi. Psellusning mantiqiy ta'limotlari rasmiydir. Psellusning asari Uilyam tomonidan Shervuddan tarjima qilingan va Ispaniya Pyotrining o'zgarishi (Papa Jon XXI) tufayli keng tarqaldi. Pyotr Ispaniya o'z darsligida mnemotexnik qoidalarga bo'lgan istakni ko'rsatmoqda. Rasmiy mantiqda berilgan raqamlar turlarining lotincha nomlari Ispaniyalik Pyotrdan olingan. Ispaniyalik Pyotr va Maykl Psellus O'rta asr falsafasida rasmiy mantiqning gullashini anglatadi. Rasmiy mantiqni tanqid qilish va sillogistik formalizm Uyg'onish davridan boshlanadi

Aristotel mantig'ining birinchi jiddiy tanqidchisi Per Rame bo'lib, u Avliyo Varfolomey kechasi vafot etgan. Uning "Dialektikasi" ning ikkinchi qismida sillogizm haqida so'z boradi; uning sillogizm bo'yicha ta'limoti, ammo Aristoteldan sezilarli og'ishlarni anglatmaydi. Bekon va Dekartdan boshlab falsafa yangi yo'llarni bosib o'tadi va tadqiqot usullarini himoya qiladi: sillogistik usulning tadqiqot usuli, haqiqatni topish ma'nosida noo'rinligi tobora ravshanlashib bormoqda.

Zamonaviy mantiqdagi sillogizm

Sillogizm 19-asrgacha mantiqda ustun bo'lgan va cheklangan qo'llanilgan, xususan, uning kategorik sillogizm bilan aloqasi tufayli. Sillogizm oddiyroq va kuchliroq bilan almashtiriladi

"Sillogizm" so'zi yunoncha syllogysmosdan kelib chiqqan bo'lib, "xulosa qilish" degan ma'noni anglatadi. Bu aniq sillogizm - bu tergovning xulosasi, muayyan binolardan xulosa. Sillogizm sodda, murakkab, qisqartirilgan va murakkab qisqartirilgan.

Binolari kategorik hukmlar bo'lgan sillogizm, navbati bilan, toifali.Sillogizmda ikkita posilka mavjud. Ular sillogizmning uchta atamasini o'z ichiga oladi, S, P va M harflari bilan belgilanadi. P katta atama, S kichikroq, M o'rtada birlashtiruvchi. Boshqacha qilib aytganda, P atamasi M va S ning ko'lami jihatidan kengroq (mazmunan bo'lsa ham), sillogizmdagi eng tor atama S. dir. Bundan tashqari, katta atama hukmning predikatini o'z ichiga oladi, kichigi uning predmetidir. S va P o'rta kontseptsiya (M) bilan bog'liq.

Barcha bokschilar sportchilar.

Bu odam bokschi.

Bu kishi sportchi.

Bu erda "bokschi" so'zi o'rta muddatli, birinchi shart katta atama, ikkinchisi kichikroq. Xatolikka yo'l qo'ymaslik uchun biz ushbu sillogizm hamma odamlarni emas, balki berilgan, aniq odamni anglatishini ta'kidlaymiz. Aks holda, albatta, ikkinchi taxmin ko'lami jihatidan ancha kengroq bo'lar edi.

Birinchi holda, kattaroq shart umumiy bo'lishi kerak, kichikroq esa ijobiy bo'lishi kerak. Kategorik sillogizmning ikkinchi shakli salbiy xulosa beradi va uning asoslaridan biri ham salbiydir. Kattaroq tushuncha, birinchi holatda bo'lgani kabi, umumiy bo'lishi kerak. Uchinchi shaklning xulosasi alohida bo'lishi kerak, kichikroq shart ijobiy bo'lishi kerak. Kategorik sillogizmlarning to'rtinchi shakli eng qiziqarli. Bunday xulosalardan umumiy ijobiy xulosani chiqarish mumkin emas va binolar o'rtasida tabiiy bog'liqlik mavjud. Shunday qilib, agar binolardan biri salbiy bo'lsa, kattaroq umumiy, kichikroq umumiy bo'lsa, kattaroq ijobiy bo'lishi kerak.

Mumkin bo'lgan xatolarga yo'l qo'ymaslik uchun, kategorik sillogizmlarni tuzishda, atamalar va binolarning qoidalariga amal qilish kerak. Shartlar qoidalari quyidagicha.

O'rta muddatli taqsimot (M).O'rtacha muddat, havola, boshqa ikki atamaning kamida bittasida - ko'pmi yoki ko'pmi taqsimlanishi kerak degan ma'noni anglatadi. Agar ushbu qoida buzilgan bo'lsa, xulosa yolg'ondir.

Keraksiz sillogistik atamalarning yo'qligi.Kategorik sillogizm faqat uchta a'zoni o'z ichiga olishi kerak degan ma'noni anglatadi - S, M va P atamalari. Har bir atama faqat bitta ma'noda ko'rib chiqilishi kerak.

Hibsda tarqatish.Xulosada tarqatish uchun atama sillogizm binolarida taqsimlanishi kerak.

Paket qoidalari.

1. Xususiy posilkalardan olib qo'yishning iloji yo'qligi. Ya'ni, agar ikkala bino ham shaxsiy hukm bo'lsa, ulardan xulosa chiqarish mumkin emas. Masalan:

Ba'zi mashinalar pikaplar.

Ba'zi mexanizmlar mashinalardir.

Ushbu binolardan xulosa chiqarish mumkin emas.

2. Salbiy binolardan xulosa chiqarishning iloji yo'qligi. Salbiy binolar xulosa chiqarishning iloji yo'q. Masalan:

Odamlar qush emas.

Itlar odamlar emas.

Pulni qaytarib olish mumkin emas.

3. Keyingi qoidada sillogizm asoslaridan biri xususiy bo'lsa, uning oqibati ham xususiy bo'ladi, deyilgan. Masalan:

Barcha bokschilar sportchilar.

Ba'zi odamlar bokschilar.

Ba'zi odamlar sportchilar.

4. Sillogizm asoslaridan faqat bittasi salbiy bo'lsa, xulosa qilish mumkin, ammo u ham salbiy bo'ladi, degan yana bir qoida mavjud. Masalan:

Barcha changyutgichlar maishiy texnika.

Ushbu texnika uy sharoitida emas.

Ushbu texnik changyutgich emas.