(1) Sopol idishlar sirlangan. P a M
(2) Bu chashka sirlangan emas. S e M
(3) Bu kosa sopol emas. S e P

(1) va (2) satrlar binolarni ifodalaydi, (3) - xulosa. Birinchi shartda "sopol idishlar" tushunchasi va "sirlangan" tushunchasi o'rtasidagi bog'liqlik, ikkinchisi - xuddi shu "sirlangan" o'ziga xos (yagona) stakan. Shunday qilib, "sirlangan" o'rta atama vazifasini bajaradi. Qolgan ikki atamaning unga munosabatini bilib, ularning bir-biriga qanday aloqasi borligi haqida xulosa chiqarish mumkin: bu kosa sopol emas. Xulosa predmeti (biz uchun bu “bu kosa”) odatda S harfi bilan belgilanadi. U kichik atama deb ataladi va shunga muvofiq, u mavjud bo'lgan asos kichik deb ataladi; u har doim ikkinchi o'rinda (ikkinchi qatorda) joylashtiriladi. Xulosa predikati (bizning holimizda bu "tuproq") lotincha P harfi bilan belgilanadi va asosiy atama deb ataladi; shuning uchun u joylashgan posilka "katta" nomini oladi; birinchi qatorda yozilgan. O'rta muddatli atama lotincha M. Bu atama: yuqorida aytib o'tilganidek, ikkala binoda ham mavjud. Xulosa predmeti (kichik atama) topilgan asos (boshlovchi taklif) kichik asos deyiladi, xulosaning predikati (asosiy termin) topilgan bosh gap esa bosh asos deyiladi. Ko'rinib turibdiki, binolardagi o'rta termin xulosaning predmeti va predikati o'rtasida, xulosaning ushbu ekstremal shartlari o'rtasida bog'lovchi vazifasini bajaradi.
Sillogizmdagi har bir taklif yonida joylashgan qisqartmaga e'tibor bering. U yerda kichik asos va xulosa umumiy salbiy hukmlar S e M va S e P sifatida belgilanadi. S deganda biz “bu kosa” – yakka tushunchani nazarda tutamiz. Va eslaylikki, individual tushunchalar har doim butun hajmni o'z ichiga oladi (chunki ular shunchaki qismlarga ega emas), u holda ular bilan mavzu o'rnida hukmlar har doim umumiydir va hech qachon shaxsiy emas. Sillogizm nazariyasi va undan foydalanish amaliyotida bu fundamental ahamiyatga ega.
Oddiy kategorik sillogizmning tuzilishi uchta va faqat uchta atamadan iborat: kichik, o'rta va katta. Ushbu sillogizmdagi asoslar bizga ma'lum bo'lgan to'rt turdagi oddiy kategorik hukmlar bo'lishi mumkin: umumiy tasdiqlovchi, umumiy salbiy, alohida tasdiqlovchi va alohida inkor. Xulosa qilish uchun asos bo'lishi mumkin bo'lgan ushbu hukmlarning kombinatsiyasi mantiqning ma'lum talablariga bo'ysunadi, ma'lum bir tuzilgan tashkilotning qonunlari, ma'lum fikrlash shaklining qonunlari, ya'ni. oddiy kategorik sillogizm qonunlari. Ushbu talablar berilgan xulosa uchun ikkita qoidalar guruhini tashkil qiladi: binolar qoidalari va atamalar qoidalari.
Binolar qoidalari: ikkita salbiy binodan (ya'ni ikkita boshlang'ich oddiy kategorik salbiy hukmlardan) xulosa qilish shart emas; xulosa, shuningdek, ikkita alohida binodan kelib chiqishi shart emas; agar binolardan biri salbiy hukm bo'lsa, unda xulosa albatta salbiy bo'ladi; agar binolardan biri xususiy hukm bo'lsa, unda xulosa, albatta, shaxsiy bo'ladi. Ko'rinib turibdiki, agar binolardan biri qisman, ikkinchisi salbiy bo'lsa yoki binolardan biri qisman salbiy hukm bo'lsa, unda xulosa, albatta, qisman salbiy bo'ladi; Bundan tashqari, salbiy xulosa ikkita ijobiy binodan kelib chiqmasligi aniq (binolarning dastlabki to'rtta qoidasi hal qiluvchi, qolganlari esa hosiladir).
Terminlar qoidalari: oddiy kategorik sillogizmda uchta va faqat uchta atama bo'lishi kerak: kichik, o'rta, katta; o'rta muddat kamida bitta binolarda taqsimlanishi kerak (to'liq yoki to'liq ko'rib chiqilishi shart emas); asosda taqsimlanmagan atama xulosada taqsimlanishi mumkin emas.
Sillogizm - bu ikkita ekstremal atamaning o'rta deb ataladigan uchinchi atama bilan munosabatiga asoslangan xulosa. O'rta terminning binolardagi o'rniga qarab (u sub'ekt yoki asosiy va kichik binolarda predikat bo'ladimi) sillogizmning to'rtta figurasi farqlanadi. Grafik va allaqachon qabul qilingan belgilardan foydalangan holda, raqamlar rasmda tasvirlangan. 1.
Har bir figura, o'z navbatida, modlar deb ataladigan bir nechta sillogizm turlarini o'z ichiga oladi. Rejim - bu xulosaga kiritilgan binolar bilan belgilanadigan xulosaning turi (turi, o'zgarishi). Hammasi bo'lib, binolar va xulosalarning barcha mumkin bo'lgan kombinatsiyalari nuqtai nazaridan har bir rasmda 64 ta rejim mavjud. To'rtta raqamda 4? 64 = 256 rejim. Sillogizmlar, barcha deduktiv xulosalar singari, to'g'ri va noto'g'ri bo'linadi.

Sillogizmning mantiqiy nazariyasining vazifasi to'g'ri sillogizmlarni tizimlashtirish va ularning o'ziga xos xususiyatlarini ko'rsatishdir. Sillogizmning barcha mumkin bo'lgan usullaridan faqat 24 tasi to'g'ri, har bir rasmda oltitadan. Sillogizmning 24 ta to'g'ri uslubidan 5 tasi zaiflashgan: ulardagi xulosalar alohida tasdiqlovchi yoki alohida salbiy bayonotlardir, ammo boshqa rejimlarda xuddi shu asoslar odatda ijobiy yoki umuman salbiy xulosalar beradi. Agar zaiflashgan rejimlarni bekor qilsak, sillogizmning 19 ta to'g'ri rejimi qoladi. Ularning ramziy tasviri sillogizm usullarining 1-jadvalida ko'rsatilgan.

Sillogizm usullari
1-jadval.

Sillogizmning birinchi figurasi bosh gapdagi oraliq termin predmet o‘rnida, kichikda esa predikat o‘rnida turganda hosil bo‘ladi. Rejimlar ro'yxatida ular chapdagi birinchi ustunda to'planadi. Ushbu rejimlarning barchasida M belgisi diagonal ravishda joylashgan. Aristotel bu figurani mukammal deb atadi. Bu eng vizual va tushunarli. Bu tushunchalar#x2011;termalar orasidagi eng oddiy hajmli munosabatlarni ifodalashi bilan izohlanadi.
Kichik atama to'liq o'rta terminda, o'rta termin esa to'liq kiritilgan yoki to'liq kiritilmagan. Bundan tashqari, faqat birinchi raqam umumiy tasdiqlovchi xulosalar chiqarishga imkon beradi; bu deduksiya yo‘li bilan umumiy qonunlarni chiqarishda eng yuqori isbotlovchi kuchga ega ekanligini bildiradi. Jadvaldan ko'rinib turibdiki, bu raqam jami to'rtta rejimga ega. Biz bu yerda faqat ikkitasini misol tariqasida keltiramiz.

Barcha odamlar (M) o'lik (P). M a P
Sokrat (S) - odam (M). S va M
Sokrat (S) o'lik (P). S va P

Jinoyatchi (M) qonunga bo'ysunmaydi (P). M e P
Firibgar (S) - jinoyatchi (M). S va M
Firibgar (S) qonunga bo'ysunmaydi (P). S e P

Sillogizmning ikkinchi figurasi ikkala binodagi o'rta termin predikat o'rnini egallaganida olinadi. Biz birinchi marta sopol idishlar bilan bergan misol bu raqamning ikkinchi rejimini (ikkinchi ustun, rejimlar ro'yxatidagi ikkinchi qator) ifodalaydi. Bu raqam binolardan biri va xulosa har doim salbiy ekanligi bilan tavsiflanadi. Shuning uchun u ko'pincha rad etish yoki qarama-qarshilik bilan isbotlashda qo'llaniladi. Ikkinchi raqam to'rtta muntazam rejimni beradi.
Sillogizmning uchinchi figurasi ikkala binodagi sub'ekt o'rnida o'rta terminni o'z ichiga oladi.

Barcha tovarlar (M) pulga (P) almashtiriladi. M a P
Ba'zi mahsulotlar (M) mahsulotlar (S). M va S
Ayrim buyumlar (S) pulga (P) almashtiriladi. S i P

Bu raqam faqat qisman xulosalar beradi. Ammo bundan ilm-fan uchun yaroqsiz degan xulosaga kelmaslik kerak. Gap shundaki, umumiy va xususiyga bo'linish ma'lum darajada nisbiydir. Aytaylik, energiyaning saqlanish va o'zgarishining umumiy qonuni mavjud. Bu harakatning barcha shakllariga tegishli. Binobarin, u uchinchi raqam yordamida ularning ayrim turlariga kengaytirilishi mumkin. Biroq, harakatning bu alohida turlariga nisbatan - issiqlik, elektr va boshqalar - natijada paydo bo'lgan qonunlar xususiy emas, umumiydir. Shuning uchun bu raqam ilmiy bilimlarda boshqalardan kam qo'llaniladi. U eng ko'p rejimlarni o'z ichiga oladi - oltita.
Sillogizmning to‘rtinchi figurasi bosh gapdagi o‘rta ergash gap bosh gap o‘rnida, kichik ergash gapda esa predmet o‘rnida bo‘lganda hosil bo‘ladi.

Qush yo'q (P) - sutemizuvchilar yo'q (M). P e M
Barcha sutemizuvchilar (M) umurtqali hayvonlar (S). M a S
Ba'zi umurtqali hayvonlar (S) qushlar emas (P). S o P

Bu sillogizm figurasi Aristoteldan keyin paydo bo'lgan. Uning usullarini buyuk mutafakkir Teofrast va Evdemusning shogirdlari o'rgangan. Va uni mantiqqa mustaqil shaxs sifatida shifokor, olim va mantiq tadqiqotchisi C. Galen (130–200) kiritgan. Ba'zan bu raqam qaram, sun'iy hisoblanadi. Bunda ma'lum darajada haqiqat bor. Aytaylik, qolgan uchta raqamning har biri uchun maxsus qoidalar ishlab chiqilishi mumkin. Biz ularga allaqachon berganmiz: hajm nisbatlari, salbiy binoning mavjudligi va boshqalar To'rtinchi raqamda bunday qoidalar yo'q. Shunga qaramay, uning beshta rejimini e'tibordan chetda qoldirmaslik kerak, faqat tasnifning to'liqligi uchun.
Sillogistik xulosalarning asosi qismlar va butun o'rtasidagi munosabatlar to'g'risida o'z-o'zidan ravshan bir fikrdir. Shuning uchun u sillogizm aksiomasi deb ataladi. U ikkita versiyada tuzilgan, ularning har biri o'zining kuchli tomonlariga ega zaif tomonlari. Eng mashhur formula:
Berilgan sinfning barcha ob'ektlariga nisbatan tasdiqlangan yoki inkor etilgan har bir narsa ma'lum sinfning har bir ob'ektiga nisbatan tasdiqlanadi yoki rad etiladi.
Boshqa variant: Belgining belgisi narsaning o'zi belgisidir.
Ikkala formula ham bir-birini takrorlaydi, ammo ular orasida kelishmovchiliklar ham mavjud. Aksariyat ekspertlar ulardan birinchisini afzal ko'rishadi, ammo ikkinchisining tarafdorlari ham bor.
Sillogizm aksiomasining eng to'g'ridan-to'g'ri qo'llanilishi birinchi rasmda tushunchalar va atamalar o'rtasidagi oddiy uch o'lchovli munosabatlar bilan seziladi. Qolgan raqamlar birinchisiga qisqartiriladi. Asosan, buning uchun ikkinchi, uchinchi va to'rtinchi raqamlarning binolari va xulosalarini transformatsiya va inversiya operatsiyalariga bo'ysundirish, shuningdek binolarni qayta tartibga solish kifoya. Faqat ikkita holatda murakkabroq fikrga murojaat qilish kerak. Sillogizm aksiomasi deb ataladigan taklif so'zning nazariy ma'nosida sillogistik xulosalarning butun majmuasini yagona, uyg'un tizimga birlashtiradi.
O'rta asrlarda oddiy kategorik sillogizmning barcha usullariga lotincha nomlar berildi: Barbara, Sezar, Darii va boshqalar. Masalan, birinchi ikkita raqamning to'g'ri rejimlarining an'anaviy qabul qilingan nomlari:
1#x2011;Men tushunaman: Barbara, Celarent, Darii, Ferio, Barbari, Celaront;
2-raqam: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

Bu nomlarning har biri uchta unlidan iborat. Ular rejimda qaysi kategorik bayonotlar uning asosi va xulosasi sifatida ishlatilishini ko'rsatadi. Shunday qilib, Barbara har uchala taklif ham odatda tasdiqlovchi sillogizmni anglatadi. Bu birinchi raqam, birinchi rejim. Celarent nomi birinchi raqamning ushbu rejimida asosiy asos umumiy salbiy bayonot (SeP), kichik - umumiy tasdiq (SaP) va xulosa umumiy salbiy bayonot (SeP) ekanligini anglatadi. Hozirgi kunda bunday nomlar juda kam qo'llaniladi.
Sillogizm sxemalari yordamida mantiqiy operatsiyalarni bajarishda siz uning qoidalarini bilishingiz kerak. Biz faqat barcha raqamlar uchun umumiy qoidalarni taqdim etamiz (ular bilan bir qatorda, yuqorida aytib o'tilganidek, birinchi uchta raqamning har biri uchun alohida qoidalar mavjud).
1. Kategorik sillogizm uchta va faqat uchta atamaga ega bo'lishi kerak. Ko'pincha, so'zlarning noaniqligi tufayli, aslida to'rtta atama noto'g'ri uchta atama uchun olinadi.
2. O'rta muddat binolarning kamida bittasida taqsimlanishi kerak.
3. Agar u binolarda taqsimlanmagan bo'lsa, xulosada atama taqsimlanishi mumkin emas.
4. Ikki manfiy asosdan xulosa chiqarish mumkin emas.
5. Agar bitta asos salbiy hukm bo'lsa, unda xulosa salbiy bo'lishi kerak.
6. Xulosa ikkita aniq asosdan kelib chiqa olmaydi.
7. Agar binolardan biri xususiy sud qarori bo'lsa, unda xulosa xususiy bo'lishi kerak.
Sillogizm qoidalarining eng tipik buzilishlarini bilish foydalidir. Ulardan biri birinchi qoidaning buzilishi bo'lib, atamalarni to'rt marta ko'paytirish xatosi deb ataladi, ya'ni uchta shart o'rniga to'rttasi olinadi. Buning sababi so'zlarning ko'p ma'noliligidir. Bitta so'zda bitta so'z bitta ma'noga ega bo'lsa, boshqasida yoki xulosada - boshqasi bo'lsa, uchta atama o'rniga to'rtta so'z bo'ladi. Bu qanday ko'rinishi mumkin:

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

Birinchi qismdagi "qora" so'zi qora rangni anglatadi (bu haqiqatan ham o'ziga xos emas ta'm hissi), ikkinchisida esa - qora ob'ekt. Xulosa kulgili edi. Garchi sillogizmlar jadvalida bunday tartib birinchi rasmda mavjud bo'lsa ham. Terminlarni taqsimlash qoidalarini buzish bilan bog'liq xatolar mavjud (2 va 3-qoidalar).

O'g'irlangan (P) narsalar bog'ga ko'milgan (M). P a M
Jinoyatchidan (S) olingan narsalar bog‘ga ko‘milgan (M). S va M
Jinoyatchidan olingan ashyolar o‘g‘irlab ketilgan. S va P

2-qoida buzilgan, chunki o'rta termin - ikkita umumiy tasdiqlovchi binolarning predikati - ularning hech birida taqsimlanmagan. Demak, u bizga mol-mulki borligi ham, yo‘qligi ham to‘liq ma’lum emas. Shuning uchun, aslida, bu binolardan xulosa kelib chiqmaydi (sillogizmlar jadvalida bunday rejim mavjud emas, xuddi sillogizm qoidalarini buzgan holda tuzilgan boshqa rejimlar mavjud emas).

Har bir zavod (M) soliq to'lashi kerak (P). M a P
Bu korxona (S) zavod (M) emas. S e M
Ushbu korxona (S) soliq to'lashi shart emas (P). S e P

Asosiy atama prevalda taqsimlanmagan, lekin xulosada taqsimlangan bo'lib chiqdi (3-qoida buzilgan). Shuning uchun, xulosa binolardan umuman kelib chiqmaydi.
4-qoidaning buzilishi natijasida yuzaga kelgan xatoga quyidagi sillogizm misol bo'la oladi: Insofsiz odam (M) sudya bo'la olmaydi (P). M e P Advokat Petrov (S) insofsiz odam emas (M). S e M Advokat Petrov (S) sudya (P) bo'lishi mumkin. S e P
Aslida, bunday xulosa bu binolardan kelib chiqmaydi, chunki ularning ikkalasi ham sifat jihatidan salbiydir.
Va nihoyat, binolarning miqdoriy xarakteristikalari bo'yicha qoidani buzish misoli (6-qoida) quyidagi sillogizm bo'lishi mumkin:

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

Xulosa to'g'ri taklif bo'lsa-da, uni bunday asoslar bilan oqlab bo'lmaydi. Ulardan oqib chiqmaydi.
Boshqa qoidalar ham buzilishi mumkin. "Asosiy asosning xayoliy umumiyligi" deb nomlangan xato alohida rol o'ynaydi. Bu jamoaviy yoki ustun xususiyatlar odatda ijobiy yoki umuman salbiy hukm sifatida qabul qilinganda paydo bo'ladi. Masalan, ular shunday deyishlari mumkin: "Hamma odamlar o'z harakatlari uchun javobgardirlar, shuning uchun bunday odam o'z harakatlari uchun ham javobgar bo'lishi kerak". Aksariyat hollarda odamlar o'z ishlari uchun haqiqatan ham javobgardirlar. Lekin har doim ham emas. Tazyiq ostida sodir etilgan harakatlar bir qator hollarda javobgarlikka sabab bo'lmaydi. Shuning uchun, tegishli bayonotni umuman tasdiqlovchi deb qabul qilish mutlaqo to'g'ri emas.

Kategorik sillogizm(yoki oddiygina: sillogizm) deduktiv xulosa boʻlib, unda ikkita kategorik gapdan yangi kategorik gap olinadi.

Bunday xulosa chiqarishning mantiqiy nazariyasi deyiladi sillogistika. U Aristotel tomonidan yaratilgan va uzoq vaqt davomida umuman mantiqiy nazariyaning namunasi bo'lib xizmat qilgan.

Sillogistikada "Hammasi ... ...", "Ba'zi ... ...", "Hammasi ... emas ..." va "Ba'zi ... emas ..." iboralari. sifatida qaraladi mantiqiy konstantalar, ya'ni. bir butun sifatida olingan. Bu bayonotlar emas, balki aniq mantiqiy shakllar, qaysi gaplardan nuqtalar oʻrniga baʼzi nomlarni qoʻyish orqali olinadi. O'rinbosar ismlar chaqiriladi sillogizm nuqtai nazaridan.

Quyidagi an'anaviy cheklash muhim: sillogizm shartlari bo'sh yoki salbiy bo'lmasligi kerak.

Sillogizmga misol bo'lishi mumkin:

Barcha suyuqliklar elastikdir.

Suv suyuqlikdir.

Suv elastik.

Har bir sillogizmda uchta atama bo'lishi kerak: kichik, katta va o'rta.

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

Katta muddat xulosa predikati ("elastik") deb ataladi. Binolarda mavjud bo'lgan, ammo xulosada bo'lmagan atama o'rta ("suyuqlik") deb ataladi. Kichik atama odatda harf bilan belgilanadi S, kattaroq - harf R va o'rta - harf M. Kattaroq atamani o'z ichiga olgan asos deyiladi kattaroq. Kichikroq atamasi bo'lgan asos deyiladi Ozroq. Avval kattaroq xabar yoziladi, kichikroq - ikkinchi. Yuqoridagi sillogizmning mantiqiy shakli:

Hammasi M Mavjud R.

Hammasi S Mavjud M.

Hammasi S Mavjud R.

O'rta terminning binolardagi pozitsiyasiga qarab (u asosiy va kichik binolarda sub'ekt yoki predikat bo'ladimi), ular farqlanadi. to'rtta raqam sillogizm. Sxematik ravishda raqamlar quyidagicha tasvirlangan:

Birinchi rasmning diagrammasi bo'yicha sillogizm tuziladi:

Barcha qushlar (M) qanotlari bor (R).

Barcha tuyaqushlar (S)- qushlar (M).

Barcha tuyaqushlarning qanotlari bor.

Sillogizm ikkinchi rasmning sxemasiga muvofiq tuzilgan:

Barcha baliqlar (P) gillalar orqali nafas oladi (M).

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

Hamma kitlar baliq emas.

Uchinchi rasmning diagrammasi bo'yicha sillogizm tuziladi:

Barcha bambuklar (M) hayotda bir marta gullaydi (R).

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

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

To'rtinchi rasmning diagrammasi bo'yicha sillogizm tuziladi:

Hamma baliq (R) suzish (M).

Hammasi suzuvchi (M) suvda yashash (S).

Ba'zi baliqlar suvda yashaydi.

Sillogizmlarning asoslari va xulosalari to'rt turdagi kategorik hukmlar bo'lishi mumkin: SaP, SiP, SeP Va SoP.

Sillogizm usullari Binolar va xulosalarning tabiati bilan farq qiluvchi raqamlarning navlari deyiladi.

Hammasi bo'lib, binolar va xulosalarning barcha mumkin bo'lgan kombinatsiyalari nuqtai nazaridan har bir rasmda 64 ta rejim mavjud. To'rtta raqamda 4 x 64 = 256 rejim mavjud.

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

Sillogizmning barcha mumkin bo'lgan usullaridan faqat 24 tasi to'g'ri, har bir rasmda oltitadan. Mana birinchi ikkita raqamning to'g'ri rejimlarining an'anaviy qabul qilingan nomlari:

1-rasm: Barbara, Celarent, Darii, Ferio, Barbari, Celaront;

2-rasm: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

Bu nomlarning har biri uchta unlidan iborat. Ular rejimda qaysi kategorik bayonotlar uning asosi va xulosasi sifatida ishlatilishini ko'rsatadi. Ha, ism Celarent birinchi raqamning bu rejimida katta asos umumiy manfiy bayonot ekanligini anglatadi (SeP), kamroq - universal tasdiqlovchi (SaP) va xulosa - umuman salbiy bayonot (SeP).

Sillogizmning 24 ta to'g'ri uslubidan 5 tasi zaiflashgan: ulardagi xulosalar alohida tasdiqlovchi yoki alohida salbiy bayonotlardir, garchi boshqa rejimlar bo'lsa, xuddi shu binolar odatda ijobiy yoki umuman salbiy xulosalar beradi (tartiblarga qarang). Qaysar Va Sezar ikkinchi raqam). Agar zaiflashgan rejimlarni bekor qilsak, sillogizmning 19 ta to'g'ri rejimi qoladi.

Sillogizmning to'g'riligini baholash uchun Eyler doiralari nomlar jildlari o'rtasidagi munosabatlarni tasvirlash uchun ishlatilishi mumkin.

Masalan, sillogizmni olaylik:

Barcha metallar (M) zarb qilish (R).

Temir (S)- metall (M).

Temir (S) egiluvchan (P).

Ushbu sillogizmning uchta atamasi (Barbara rejimi) o'rtasidagi munosabatlar uchta konsentrik doiralar bilan ifodalanadi. Ushbu sxema quyidagicha talqin qilinadi: agar hammasi bo'lsa M(metalllar) hajmiga kiritilgan R(egiluvchan jismlar), keyin zarurat bilan S(temir) ovoz balandligini kiritadi R(egiluvchan jismlar), bu "Temir soxta" degan xulosada aytilgan.

Sillogizmning yana bir misoli:

Hamma baliq (R) patlari yo'q (M).

Barcha qushlar (S) patlar bor (M).

Bitta qush emas (S) baliq emas (R).

Berilgan sillogizm shartlari o'rtasidagi munosabat (tartib Qaysar) rasmda keltirilgan. U quyidagicha talqin qilinadi: agar hamma narsa bo'lsa S(qushlar) jildga kiritilgan M(tuklari bor) va M bilan hech qanday aloqasi yo'q R(baliq), keyin S(qushlar) bilan hech qanday aloqasi yo'q R(baliq), bu xulosada aytilgan.

Noto'g'ri sillogizmga misol:

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

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

Barcha yirtqichlar (S) sutemizuvchilardir (P).

Berilgan sillogizmning terminlari orasidagi munosabatlar rasmda ko'rsatilganidek, ikki xil ko'rinishda ifodalanishi mumkin. Birinchi va ikkinchi holatda ham hamma narsa M(yo'lbarslar) jildga kiritilgan R(sutemizuvchilar) va barchasi M doirasiga ham kiritilgan S(yirtqichlar). Bu sillogizmning ikkita binosida mavjud bo'lgan ma'lumotlarga mos keladi. Lekin jildlar orasidagi munosabat R Va S ikki xil bo'lishi mumkin. Qoplash M, hajm S to‘liq hajmga kiritilishi mumkin R yoki hajm S faqat hajm bilan kesishishi mumkin R. Birinchi holda, "Barcha yirtqichlar sutemizuvchilardir" degan umumiy xulosaga kelish mumkin, ammo ikkinchi holatda faqat "Ba'zi yirtqichlar sutemizuvchilardir" degan maxsus xulosa qonuniydir. Xabarlarda ushbu ikki variantdan birini tanlash imkonini beruvchi ma'lumotlar mavjud emas. Demak, umumiy xulosa chiqarishga 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, lekin tanishtira olmaydi yangi ma'lumotlar, ulardan etishmaydi.

Oddiy mulohaza yuritishda ko'pincha sillogizmlar mavjud bo'lib, unda binolardan biri yoki xulosa aniq ifodalanmagan. Bunday sillogizmlar deyiladi entimmalar. Entimemalarga misollar: "Saxiylik har qanday fazilat kabi maqtovga loyiqdir", "U olim, shuning uchun qiziquvchanlik unga begona emas", "Kerosin suyuqlikdir, shuning uchun u bosimni har tomonga teng ravishda uzatadi" va hokazo. Birinchi holatda “Saxiylik fazilatdir” kichik gapi, ikkinchi holatda “Har bir olim qiziq begona emas” bosh gapi, uchinchi holatda “Har bir suyuqlik bosimni bir tekisda o‘tkazadi” bosh gapi olib tashlanadi. barcha yo‘nalishlar” ko‘rsatilmagan.

Entimemadagi fikrlashning to'g'riligini baholash uchun uni to'liq sillogizmga qaytarish kerak.

Oddiy kategorik sillogizm

Bilvosita xulosalar - bir-biri bilan mantiqiy bog'liq bo'lgan ikki yoki undan ortiq mulohazalardan xulosa kelib chiqadigan xulosalar. Bilvosita xulosaning bir necha turlari mavjud: a) kategorik sillogizm; b) shartli xulosalar; v) ajratuvchi xulosalar.

Kategorik sillogizm (sillogizm - yunoncha "syllogismos" - sanash so'zidan) - bir termin bilan bog'langan ikkita haqiqiy kategorik hukmdan uchinchi hukm - xulosa olinadigan deduktiv xulosaning bir turi.

Masalan:

Barcha talabalar astoydil o'qishadi xorijiy til

Ivanov - talaba

Ivanov chet tilini qunt bilan o'rganmoqda

Hukm shartlaridan farqli ravishda - S va P - sillogizmga kiritilgan tushunchalar sillogizm terminlari deb ataladi. Kichik, katta va o'rta atamalar mavjud.

Sillogizmning kichik atamasi xulosada mavzu bo'lgan tushunchadir. Sillogizmning asosiy atamasi xulosada predikat bo'lgan tushunchadir. Kichik va katta atamalar ekstremal deyiladi. Ular mos ravishda S (kichik atama) va P (asosiy atama) lotin harflari bilan belgilanadi. Ekstremal atamalarning har biri nafaqat xulosaga, balki binolardan biriga ham kiritilgan. Kichik atamani o'z ichiga olgan asos kichik, kattaroq atamani o'z ichiga olgan asosiy asos deyiladi.

Sillogizmning o'rta termini - bu ikkala binoga kiritilgan va xulosada mavjud bo'lmagan tushuncha. O'rta atama lotincha M harfi bilan belgilanadi (lotincha medius - o'rtadan).

Bizning misolimizdagi hukm shartlari o'rniga sillogizm atamalarini qo'yib, biz quyidagilarni olamiz:

Barcha talabalar (M) chet tilini qunt bilan o'rganishadi (R)

Ivanov(S) - talaba(M)

Ivanov (S) chet tilini qunt bilan o'rganadi (R)

O'rta terminning binolardagi o'rni bilan ajralib turadigan sillogizm shakllarining navlari sillogizm figuralari deb ataladi, ularning har biri o'ziga xos qoidalarga ega. To'rtta raqam mavjud.

Birinchi figura sillogizmning bir turi bo'lib, unda o'rta termin katta bosh gapdagi predmet o'rnini (M - P) va kichik gapdagi predikat o'rnini (S - M) egallab, sxematik tarzda quyidagicha ifodalanadi:

Barcha talabalar (M) Vatan tarixini qunt bilan o'rganadilar (R)

Ivanov (S) - talaba (M)

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

Birinchi raqam uchun qoidalar: 1. Kichik asos tasdiqlovchi bo'lishi kerak; 2. Katta posilka umumiy bo'lishi kerak (A, E).

Ikkinchi raqam sillogizmning bir turi bo'lib, unda o'rta termin ikkala binoda (P - M; S - M) predikat o'rnini egallaydi, sxematik tarzda ifodalanadi:

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

Jurnal (S) - davriy nashr(M)

Jurnal (S) kitob emas (P)

Ikkinchi raqam qoidalari: 1. Binolardan biri salbiy (E, 0),2 bo'lishi kerak. Asosiy shart umumiy bo'lishi kerak (A, E).

Uchinchi raqam sillogizmning bir turi bo'lib, unda o'rta termin ikkala binoda (M - P; M - S) sub'ekt o'rnini egallaydi. Uning diagrammasi:

Ba'zi urushlar (M) shunchaki (R)

Urush (M) - zo'ravonlik (S)

Ba'zi zo'ravonlik(lar) adolatli(R)

Uchinchi raqam qoidalari: 1. Kichik bosh gap tasdiqlovchi (A, I),2. Xulosa shaxsiy bo'lishi kerak (I, O).

To'rtinchi raqam - sillogizmning bir turi bo'lib, unda o'rta termin kattaroqdagi predikat o'rnini va kichik predmetdagi o'rnini egallaydi (P - M, - M - S), sxematik tarzda ifodalanadi:

Barcha ofitserlar (P) harbiy xizmatchilar (M)

Hech bir askar (M) ishchi emas (S)

Hech bir ishchi(lar) ofitser(R) emas

To‘rtinchi figuraning qoidalari: 1. Katta ergash gap tasdiqlovchi (A, I) bo‘lsa, kichik ergash gap umumiy bo‘lishi kerak (A, E), 2. Agar binolardan biri manfiy bo'lsa (E, O), u holda asosiy asos umumiy bo'lishi kerak (A, E)

Shartlar qoidalari (RT)

PT - 1. Har bir sillogizmda faqat uchta atama bo'lishi kerak. Agar ushbu qoida buzilgan bo'lsa, atamalardan biri ikki ma'noda qo'llanilishidan iborat bo'lgan "atamalarning to'rt barobari" xatosi yuzaga keladi.

Masalan:

Hayot - bu kurash

Karate - kurash

Hayot karate

PT - 2. O'rta muddat binolarning kamida bittasida taqsimlanishi kerak. Agar o'rta atama biron bir xonada taqsimlanmagan bo'lsa, unda xulosadagi ekstremal shartlar o'rtasidagi munosabatlar noaniq bo'lib qoladi.

Masalan:

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

Porcini qo'ziqorinlari (S) - o'simliklar (M)

Cho'chqa qo'ziqorinlari (S) - zaharli (P)

PT - Z. Binolarda taqsimlanmagan atama xulosada taqsimlanishi mumkin emas. Agar ushbu qoida buzilgan bo'lsa, "noqonuniy muddatni uzaytirish" xatosi paydo bo'ladi.

Masalan:

Barcha o'qituvchilar (M) yaxshi xulqli (R)

U (S) o'qituvchi emas (M)

U (S) tarbiyalanmagan (R)

Posilka qoidalari (PP):

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

Masalan:

Barcha deputatlar xalq tomonidan saylanadi

Ba'zi aktyorlar deputatlar

Bu binolardan umumiy xulosa chiqarish mumkin emas. Barcha aktyorlarni xalq tanlaydi, deb bahslashtirib bo'lmaydi, chunki biz kichikroq atamaning faqat bir qismi haqida gapiramiz. Sxematik ravishda u quyidagicha ko'rinadi:

PP - 2. Ikkita alohida binodan xulosa chiqarish mumkin emas. Bunday holda, sillogizm terminlari o'rtasida har tomonlama aloqalarni o'rnatish mumkin emas, shuning uchun aniq bir xulosa olinmaydi. Masalan, “Fanlar akademiyasining ba’zi a’zolari faylasuflardir” va “Ba’zi sotsiologlar Fanlar akademiyasining a’zolaridir” degan binolardan aniq xulosa kelib chiqmaydi. Mavzu doirasi ("ayrim sotsiologlar") ma'lum darajada predikat ("faylasuflar") doirasi bilan mos kelishi mumkin, lekin undan tashqarida ham bo'lishi mumkin.

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

PP - 4. Agar binolardan biri salbiy hukm bo'lsa, unda xulosa salbiy bo'lishi kerak. Masalan: "Har bir chinakam xalq harakati ilg'ordir. Millatchilik ilg'or harakat emas. Shuning uchun millatchilik haqiqiy xalq harakati emas".

Bular umumiy qoidalar, bu kategorik sillogizmni tuzishda e'tiborga olinishi kerak. Ularga rioya qilmasdan, to'g'ri xulosa chiqarish mumkin emas. Bu qoidalarni buzish bilan odam sillogizm aksiomasini buzadi. Xulosa qilish qoidalari katta kognitiv ahamiyatga ega, chunki ular ob'ektiv voqelikning munosabatlari va xususiyatlarini etarli darajada aks ettiradi.

Shuni yodda tutish kerakki, sillogizmning asoslari sifat va miqdor jihatidan farq qiluvchi hukmlar bo'lishi mumkin: umumiy tasdiq (A), umumiy inkor (E), alohida tasdiq (I) va alohida inkor (O). Shu munosabat bilan oddiy kategorik sillogizmning rejimlari ajratiladi.

To'rtta raqamda kombinatsiyalar soni 64. 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, OAO, EIO 4-rasm: AAI, AEE , IAI, EAO, EIO.

Umuman olganda, xulosaning mohiyati haqidagi savolga aniqlik kiritish uchun oddiy kategorik sillogizmlarni tahlil qilish quyidagi fikrlarni izchil aniqlashni o'z ichiga oladi:

• kichik, katta va o'rta atamalar;
• kichikroq va kattaroq posilkalar;
• raqamlar;
• rejim;
• binolarda atamalar taqsimoti va xulosa;
• xulosaning tabiati (zarur yoki ehtimol).

Bir misol keltiraylik: "Qonunlar rioya qilinishi kerak. Ko'rsatmalar qonun emas. Shuning uchun ko'rsatmalarga rioya qilinmaydi". Sillogizmni tahlil qilish xulosadan boshlanishi kerak, chunki u ekstremal atamalarni o'z ichiga oladi - katta va kichik. Bizning misolimizda "ko'rsatma" tushunchasi xulosa mavzusi sifatida kichikroq atamadir. "Muvofiqlik" yoki "kontseptsiya" huquqiy akt Predikatning og'zaki shaklini nominalga aylantirish natijasida "kuzatish" - kattaroq atama, chunki u xulosaning predikatidir."Huquq" tushunchasi ikkala binoga ham kiradi, lekin. xulosada yo'q, o'rta muddatli.

“Qonunlarga rioya qilish kerak” tushunchasi asosiy hisoblanadi, chunki unda “qoida qilinishi kerak bo‘lgan huquqiy hujjat” kattaroq atamasi, kichikroq “ko‘rsatma” atamasini o‘z ichiga olgan “Ko‘rsatmalar qonunlar emas” tushunchasi kichikroqdir. O‘rtadagi “qonun” atamasi katta bosh gapning predmeti va kichikning predikati bo‘lgani uchun u birinchi figuraning sillogizmidir.

Katta asos - umumiy tasdiqlovchi (A), kichik - umumiy inkor (E) va xulosa ham odatda salbiy (E). Shunday qilib, bizda AEE rejimi mavjud. Asosiy shartdagi o'rta muddat umumiy hukmning predmeti sifatida taqsimlanadi ( ramzi M+) va kattaroq atama tasdiqlovchi hukmning predikati sifatida taqsimlanmaydi (P- belgisi). Kichik shartda kichik atama umumiy hukmning predmeti sifatida taqsimlanadi (S +), o'rta termin esa salbiy hukmning predikati (M +) sifatida taqsimlanadi. Xulosa qilib aytadigan bo'lsak, ikkala ekstremal atamalar ham kichik (S +) va (P +)dagi kabi bir xil asosda taqsimlanadi. Keling, tahlil natijalarini yozaylik:

Va qonunlar (M+) muvofiq bo'lishi kerak (R-)

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

E ko'rsatmalari (S +) muvofiqlashtirilmaydi (P +)

Xulosa tabiati ushbu misolda sillogizm qoidalari (figura qoidalari va umumiy qoidalar) buzilganmi yoki yo'qmi degan savolga javob bilan belgilanadi: agar buzilgan bo'lsa, xulosa ehtimollikdir, agar bo'lmasa, ishonchli. Bizning misolimiz birinchi raqamga qurilganligi sababli, uning qoidalaridan biri bu erda kuzatilmaganligini aniqlash oson - kichik asos tasdiqlovchi bo'lishi kerak, bu erda u salbiy. Bu shuni anglatadiki, xulosa ehtimollik xususiyatiga ega. Ammo raqamlar qoidalari umumiy qoidalarning oqibatlari bo'lganligi sababli, qaysi umumiy qoidalar buzilganligini ham aniqlash kerak. Ushbu misolda kattaroq atamaga nisbatan PT-3 buzilgan: oldingi gapdagi kattaroq atama tasdiqlovchi hukmning predikati sifatida taqsimlanmaydi, lekin xulosada u salbiyning predikati sifatida taqsimlanadi. Shuning uchun, misolda "kattaroq muddatning noqonuniy uzaytirilishi" xatosi mavjud.

Shartli va disjunktiv xulosalar.

Xulosalar nafaqat oddiy, balki murakkab mulohazalar asosida ham tuziladi. Xulosalar keng qo'llaniladi, ularning asoslari shartli va ayirboshlovchi hukmlar bo'lib, bir-biri bilan yoki kategorik hukmlar bilan turli kombinatsiyalarda namoyon bo'ladi. Bu xulosalarning o‘ziga xos xususiyati shundan iboratki, xulosaning asoslardan kelib chiqishi kategorik sillogizmdagi kabi atamalar o‘rtasidagi munosabatlar bilan emas, balki hukmlar orasidagi mantiqiy bog‘liqlik xarakteri bilan belgilanadi. Shuning uchun binolarni tahlil qilishda ularning predmet-predikat tuzilishi hisobga olinmaydi. Keling, murakkab hukmlardan olingan xulosalarni ko'rib chiqaylik.

Shartli xulosa (shartli sillogizm) vositachilik qilingan deduktiv xulosaning bir turi bo'lib, unda hech bo'lmaganda bitta shart shartli taklif bo'ladi. Sof shartli va shartli kategoriyali xulosalar mavjud.

Sof shartli xulosa shunaqa bilvosita xulosadirki, unda ikkala asos ham, xulosa ham shartli taklifdir. Uning mantiqiy tuzilishi:

Agar a bo'lsa, b

Agar kirgan bo'lsa, u holda

Agar a bo'lsa, c

Masalan

Agar talaba rivojlangan mas'uliyat tuyg'usiga ega bo'lmasa, unda yuridik kasbni sifat jihatidan o'zlashtirish zarurati paydo bo'lmaydi.

Agar talaba yuridik kasbni sifatli o‘zlashtirish zaruratini shakllantirmasa, u yomon mutaxassis bo‘lib qoladi.

Agar talabada mas'uliyat hissi rivojlangan bo'lmasa, u yomon mutaxassis bo'ladi.

Keltirilgan misolda ikkala asos shartli gap bo‘lib, ikkinchi asosning asosi birinchining oqibati bo‘lib, undan o‘z navbatida boshqa natija kelib chiqadi. Ikki xonaning umumiy qismi bizga birinchisining asosini va ikkinchisining natijasini bog'lash imkonini beradi. Demak, xulosa shart gap shaklida ham ifodalanadi. Sof shartli xulosadagi xulosa qoidaga asoslanadi: oqibatning oqibati sababning asosidir.

Agar a bo'lsa, b

Bu tur Xulosa qilishning ikkita usuli bor - tasdiqlovchi va inkor qiluvchi. Ularning har biri ikki shaklda uchraydi: muntazam va tartibsiz. To'g'ri shakllarda xulosalar ishonchli, noto'g'ri shakllarda ular ehtimollikdir.

Tasdiqlovchining to`g`ri shakli shartli kategoriyali xulosaning bir turi bo`lib, bunda xulosaning borishi shart ergash gap asosining bayonidan to shart ergash gapning natijasi bayoniga yo`naltiriladi.

Masalan:

"Kapital" so'zi jumlaning boshida keladi (a)

Ushbu jumladagi "kapital" so'zi bilan yozilishi kerak Bosh harflar(b)

Tasdiqlovchining noto‘g‘ri shakli shartli kategoriyali xulosaning bir turi bo‘lib, unda xulosaning borishi oqibat bayonidan sabab bayoniga yo‘naltiriladi.

Masalan:

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

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

"Moskva" so'zi (a) jumlaning boshida keladi.

Inkor qilish uslubining to'g'ri shakli shartli kategoriyali xulosaning bir turi bo'lib, unda xulosa chiqarish jarayoni oqibatni inkor qilishdan asosni inkor etishga qaratilgan.

Masalan:

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

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

Gap(lar) boshida “kapital” so‘zi ko‘rinmaydi.

Inkor qilish uslubining noto'g'ri shakli - shartli kategoriyali xulosaning bir turi bo'lib, unda xulosaning borishi asosni inkor qilishdan oqibatni inkor etishga qaratilgan.

Masalan:

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

"Moskva" so'zi jumla(lar) boshida ko'rinmaydi.

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

Dizyunktiv xulosa - bu bir yoki bir nechta asoslar dis'yunktiv hukmlar bo'lgan xulosa. Bo'linuvchi-kategorik va shartli bo'linuvchi xulosalar mavjud

Dizyunktiv-kategorik xulosa - bu xulosalar bo'lib, unda asoslardan biri bo'linuvchi, ikkinchi asos va xulosa esa kategorik hukmlardir. Separativ-kategorik xulosaning ikkita usuli bor: tasdiqlovchi-salbiy va inkor qiluvchi-tasdiqlovchi.

Tasdiqlovchi-inkor shakli ajratuvchi-kategorial xulosaning bir turi bo‘lib, unda ajratuvchi hukm a’zolaridan birini tasdiqlab, qolganlarning hammasi inkor qilinadi. Uning mantiqiy tuzilishi:

Masalan:

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

Bu taklif ijobiy (a)

Bu hukm salbiy emas (- b)

Ushbu rejimga muvofiq xulosa qilishda quyidagi qoidaga rioya qilish kerak: bo'linish sharti qat'iy diszyunksiyani tashkil qilishi kerak.

Inkor qiluvchi-tasdiqlovchi usuli - bu bo'linuvchi-kategorial xulosaning bir turi bo'lib, bunda bo'lish hukmining barcha a'zolarini inkor qilish orqali, bittadan tashqari qolgan a'zo tasdiqlanadi. Uning mantiqiy tuzilishi:

Masalan:

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

Bu hukm tasdiqlovchi emas

Bu hukm salbiy (b)

Ushbu rejimga muvofiq xulosa chiqarishda quyidagi qoidaga rioya qilish kerak: asosiy asos barcha mumkin bo'lgan muqobillarni sanab o'tishi kerak, boshqacha aytganda, asosiy asos to'liq (yopiq) ayirma gap bo'lishi kerak.

Shartli di'yunktiv yoki lemmatik (lotincha lemme - farazdan) xulosa bo'lib, unda bir bosh gap ikki yoki undan ortiq shartli gaplardan, ikkinchisi esa ayirma gapdan iborat. Shartli asos (muqobil) oqibatlari soniga qarab dilemmalar, trilemmalar va polilemmalar ajratiladi.

Dilemma - bu ikki muqobil shartli di'yunktiv xulosa. Fikrlash amaliyotida ikki xil dilemma mavjud - konstruktiv va buzg'unchi.

Konstruktiv dilemmaning shartli asosi ikkita shart va ulardan kelib chiqadigan ikkita oqibat ehtimolini belgilaydi. Ajratish sharti tanlovni faqat shu ikki shart bilan cheklaydi va xulosa faqat bitta oqibat ehtimolini tasdiqlaydi.

Masalan:

Agar siyosiy nazariyalar progressiv bo'lsa (a), u holda ular jamiyat rivojlanishiga hissa qo'shadi (b)

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

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

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

Buzg'unchi dilemmaning shartli asosi ikkita sababdan ikkita oqibat kelib chiqishi mumkinligini aytadi, bo'lish sharti mumkin bo'lgan oqibatlardan birini inkor etadi va xulosa mumkin bo'lgan sabablardan birini inkor etadi.

Masalan:

Agar faylasuf ongga (a) nisbatan materiyaning ustuvorligini tan olsa, u materialist (b) hisoblanadi.

Agar faylasuf materiyaga nisbatan ongning ustuvorligini tan olsa (c), demak u idealist (c) Lekin faylasuf yo materialist emas (- b) yoki idealist emas (- c)

Faylasuf materiyaning ongga nisbatan ustuvorligini ham tan olmaydi
(- a), yoki materiyaga nisbatan ongning ustuvorligi (- c).

Sillogizmga misol:

Har bir inson o'likdir (asosiy asos) Sokrat insondir (kichik asos) ------------ Sokrat o'likdir (xulosa)

Oddiy kategorik sillogizmning tuzilishi

Sillogizm aynan o'z ichiga oladi uch muddat:

• S - kichik termin: xulosa predmeti (shuningdek, kichik asosga kiritilgan);
• P - asosiy atama: xulosa predikati (shuningdek, bosh gapga kiradi);
• M - o'rta atama: ikkala binoga kiritilgan, ammo xulosaga kiritilmagan.

Mavzu S(mavzu) - biz ifodalagan narsa (ikki turga bo'lingan):

1. Aniq: birlik, alohida, ko‘plik
   • Yagona [hukmlar] - bunda sub'ekt individual tushunchadir. Eslatma: "Nyuton tortishish qonunini kashf etdi"
   • Maxsus hukm - bunda hukmning predmeti o'z doirasiga kiruvchi tushunchadir. Eslatma: "Ba'zi Slar P"
   • Ko'p takliflar - bu bir nechta mavzu sinf tushunchalari mavjud bo'lganlar. Eslatma: "hasharotlar, o'rgimchaklar, kerevitlar artropodlardir"
2. Noaniq. Eslatma: "yorug'lik", "og'riyapti" va boshqalar.

Predikat P(predikat) - biz nimani ifodalaymiz (2 turdagi hukmlar):

• Rivoyat - bu tez o'tadigan voqealar, holatlar, jarayonlar yoki faoliyatlar haqidagi hukm. Eslatma: "Bog'da atirgul gullaydi."
• Ta'riflovchi - ba'zi bir xususiyat bir yoki bir nechta ob'ektlarga tegishli bo'lganda. Mavzu har doim ma'lum bir narsadir. Eslatma: "Olov issiq", "qor oq".

Predikat va predmet o'rtasidagi munosabat:

1. Shaxs mulohazalari - predmet va predikat tushunchalari bir xil qamrovga ega. Eslatma: "har bir teng qirrali uchburchak teng burchakli uchburchakdir"
2. Bo'ysunish haqidagi hukmlar - ko'lami kamroq bo'lgan tushuncha kengroq qamrovli tushunchaga bo'ysunadi. Eslatma: "It - uy hayvonidir"
3. Aloqa hukmlari - ya'ni makon, vaqt, munosabatlar. Eslatma: "Uy ko'chada"

Mavzu va predikat o'rtasidagi munosabatni aniqlashda atamalarning aniq rasmiylashtirilishi muhim ahamiyatga ega, chunki uysiz it, uyda yashash nuqtai nazaridan uy iti bo'lmasa ham, hali ham uy hayvonlari sinfiga kiradi. ijtimoiy-biologik asosda mansublik nuqtai nazari. Ya'ni, ijtimoiy-biologik tasnifga ko'ra, "uy hayvon" ba'zi hollarda yashash joyi nuqtai nazaridan, ya'ni ijtimoiy va maishiy nuqtai nazardan "uy bo'lmagan hayvon" bo'lishi mumkinligini tushunish kerak. ko'rish.

Oddiy atributiv gaplarni sifat va miqdorga qarab tasniflash

Sifat va miqdorga ko'ra, oddiy atributiv bayonotlarning to'rt turi ajratiladi:

Eslatma. Bayonotlarning an'anaviy harflari uchun lotincha so'zlardan unlilar qo'llaniladi tasdiq(Tasdiqlayman, ha deyman) va muzokara(Men rad etaman, yo'q deyman).

Yagona gaplar (mavzu yagona atama bo'lganlar) umumiy gaplarga tenglashtiriladi.

Oddiy atributiv gaplarda atamalarning taqsimlanishi

Mavzu har doim umumiy bayonotda taqsimlanadi va hech qachon ma'lum bir bayonotda taqsimlanmaydi.

Predikat har doim salbiy hukmlarda taqsimlanadi; tasdiqlovchi hukmlarda u P hajmi bo'yicha taqsimlanadi.<=S.

Ba'zi hollarda sub'ekt predikat rolini o'ynashi mumkin.

Oddiy kategorik sillogizm qoidalari

• O'rta muddat binolarning kamida bittasida taqsimlanishi kerak.
• Xulosa ichida taqsimlanmagan atama taqsimlanmasligi kerak.
• Salbiy binolar soni salbiy xulosalar soniga teng bo'lishi kerak.
• Har bir sillogizmda faqat uchta atama bo'lishi kerak.

Raqamlar va rejimlar

Sillogizmning shakllari - bu o'rta terminning binolarda joylashishi bilan farq qiluvchi sillogizm shakllari:

Har bir raqam binolar va xulosaning miqdori va sifati bilan farq qiluvchi rejimlarga - sillogizm shakllariga mos keladi. Modalar o'rta asr maktablari tomonidan o'rganilgan va har bir raqamning to'g'ri rejimlari uchun mnemonik nomlar ixtiro qilingan:

Sillogizmning har bir turiga misollar.

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

Celarent

Hech bir sudraluvchining mo'ynasi yo'q. Barcha ilonlar sudralib yuruvchilardir. Hech bir ilonning mo'ynasi yo'q.

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

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

Hech qanday sog'lom ovqat sizni semirtirmaydi. Barcha tortlar to'la. Hech qanday tort sog'lom taom emas.

Kamestrlar

Hamma otlarning shishishi bor. Hech kimda shishiradi. Hech kim ot emas.

Hech bir dangasa imtihondan o'tmaydi. Ba'zi talabalar imtihon topshirishmoqda. Ba'zi talabalar dangasa emas.

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

Barcha mevalar to'yimli. Barcha mevalar mazali. Ba'zi mazali taomlar to'yimli

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

Bu maktabdagi barcha yaxshi bolalar qizil sochli. Bu maktabda o‘qiydigan o‘g‘il bolalarning ba’zilari internatda o‘qishadi. Ushbu maktabdagi barcha mehnatsevar bolalar qizil sochli.

Felapton

Bu kabinetdagi bitta ko'za ham yangi emas. Bu kabinetdagi barcha ko‘zalar yorilib ketgan. Bu shkafdagi darz ketgan buyumlarning ba'zilari yangi emas.

Ba'zi mushuklarning dumi yo'q. Barcha mushuklar sutemizuvchilardir. Ayrim sutemizuvchilar dumisiz.

Bitta daraxtni yeyish mumkin emas. Ba'zi daraxtlar yashil rangga ega. Ba'zi yashil narsalarni yeyish mumkin emas.

Bramantip

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

Barcha yorqin gullar xushbo'y. Uyda bitta xushbo'y gul o'stirilmaydi. Uyda o'stiriladigan hech qanday gul yorqin emas.

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

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

Frezison

Hech bir malakali odam xato qilmaydi. Bu erda ba'zi xato odamlar ishlaydi. Bu yerda ishlaydigan ba'zi odamlar qobiliyatsiz.

Qoidalarga ko'ra, shakllar boshqa shakllarga o'zgartirilishi mumkin va barcha shakllar birinchi shaklning shakllaridan biriga aylantirilishi mumkin.

Hikoya

Sillogizm ta’limotini birinchi marta Aristotel o‘zining “Birinchi analitika” asarida tushuntirgan. U mumkin bo'lgan to'rtinchisini eslatmasdan, kategorik sillogizmning faqat uchta figurasi haqida gapiradi. U, ayniqsa, xulosa chiqarish jarayonida hukmlar modalligining rolini batafsil ko'rib chiqadi. Aristotelning vorisi, botanika fanining asoschisi Teofrast, Aleksandr Afrodisiyning (Aristotelning birinchi “Analitika”siga sharhida) koʻra, sillogizmning birinchi figurasiga yana beshta mod (modi) qoʻshgan; bu besh rejim keyinchalik Klavdiy Galen (eramizning 2-asrida yashagan) tomonidan maxsus to'rtinchi figuraga ajratilgan. Bundan tashqari, Teofrast va uning shogirdi Evdemus shartli va ayiruvchi sillogizmlarni tahlil qila boshladilar. Ular xulosa chiqarishning besh turiga ruxsat berdilar: ulardan ikkitasi shartli sillogizmga, uchtasi esa shartli sillogizmning modifikatsiyasi sifatida qaraladigan ajratuvchiga mos keladi. Stoiklar shartli sillogizm ta'limotiga qo'shgan qo'shimchani hisobga olmaganda, qadimgi davrlarda sillogizm ta'limotining rivojlanishi shu bilan tugaydi. Sextus Empiricusga ko'ra, stoiklar shartli va di'yunktiv sillogizmning ayrim turlarini tan olganlar. αναπόδεικτοι , ya'ni isbotni talab qilmaydigan va ularni sillogizmning prototiplari deb hisoblagan (masalan, Sigvart sillogizmga qaraydi). Stoiklar Teofrast bilan mos keladigan bunday sillogizmlarning besh turini tan oldilar. Sextus Empiricus ushbu besh turga quyidagi misollarni beradi:

1. Agar kun bo'lsa, yorug'lik bor; lekin hozir kunduz, shuning uchun yorug'lik bor.
2. Agar kun bo'lsa, unda yorug'lik bor, lekin yorug'lik yo'q, shuning uchun kun ham yo'q.
3. Kun va tun (bir vaqtning o'zida) bo'lishi mumkin emas, lekin kun keldi, shuning uchun tun yo'q.
4. Kun yoki tun bo'lishi mumkin, lekin hozir kun, shuning uchun tun yo'q.
5. Kun yoki tun bo'lishi mumkin, lekin tun yo'q, shuning uchun hozir kunduz.

Sextus Empiricus va umuman skeptiklarda biz sillogizmning tanqidiga ham duch kelamiz, ammo tanqiddan maqsad umuman isbotning, jumladan sillogistik isbotning mumkin emasligini isbotlashdir. Sxolastik mantiq sillogizmlar haqidagi ta'limotga hech qanday muhim narsa qo'shmagan; u faqat Aristotelda mavjud bo'lgan bilim nazariyasi bilan aloqani uzdi va shu bilan mantiqni sof rasmiy ta'limotga aylantirdi. O'rta asrlarda mantiqning namunali qo'llanmasi Marsian Kapellaning ishi, namunali sharh Boethiusning ishi edi. Boethiusning ba'zi sharhlari sillogizmlar haqidagi ta'limotga maxsus bag'ishlangan, masalan, "Introductio ad categoricos syllogismos", "De syllogismo categorico" va "De syllogismo hypothetico". Boethiusning asarlari ma'lum bir tarixiy ahamiyatga ega; mantiqiy terminologiyaning vujudga kelishiga ham hissa qo‘shganlar. Ammo shu bilan birga, mantiqiy ta'limotlarga sof rasmiy xususiyatni bergan Boethius edi.

"mantiqiy kvadrat"

Sxolastik falsafa davridan boshlab, Foma Akvinskiy († 1274) sillogizm ta'limotiga, ayniqsa uning noto'g'ri xulosalarini batafsil tahliliga ("De fallaciis") e'tibor berishga loyiqdir. Mantiqqa oid ma'lum bir tarixiy ahamiyatga ega bo'lgan asar Vizantiya Maykl Psellusga tegishli. U har xil turdagi hukmlarning o'zaro bog'liqligini aniq ifodalovchi "mantiqiy kvadrat" ni taklif qildi. U turli xil modi nomlariga ega (yunoncha. τρόποι ) raqamlar. Lotinlashtirilgan bu nomlar G'arb mantiqiy adabiyotiga o'tdi.

Maykl Psellus, Teofrastga ergashib, to'rtinchi raqamning beshta modini birinchisiga bog'ladi. Turlarning nomlanishi mnemonik maqsadlarni nazarda tutgan. Shuningdek, u hukmlarning miqdori va sifatining harflari bilan tez-tez ishlatiladigan belgiga ega (a, e, i, o). Psellosning mantiqiy ta'limoti rasmiy xarakterga ega. Psellusning asari Shervudlik Uilyam tomonidan tarjima qilingan va Ispaniyalik Pyotr (Papa Ioann XXI) moslashuvi orqali valyutaga ega bo'lgan. Ispaniyalik Pyotrda mnemotexnik qoidalarga bo'lgan xuddi shunday istak uning darsligida seziladi. Rasmiy mantiqda berilgan raqamlar turlarining lotincha nomlari ispaniyalik Piterdan olingan. Ispaniyalik Pyotr va Maykl Psellus o'rta asr falsafasida rasmiy mantiqning gullashini ifodalaydi. Uyg'onish davridan boshlab formal mantiq va sillogistik formalizmni tanqid qilish boshlanadi

Aristotel mantiqining birinchi jiddiy tanqidchisi Bartolomey kechasida vafot etgan Per Ramet edi. Uning "Dialektika" ning ikkinchi qismida sillogizm haqida so'z boradi; Biroq, uning sillogizm haqidagi ta'limoti Aristoteldan sezilarli og'ishlarni anglatmaydi. Bekon va Dekartdan boshlab falsafa yangi yo‘llardan boradi va tadqiqot usullarini himoya qiladi: tadqiqot usuli, haqiqatni topish ma’nosida sillogistik usulning yaroqsizligi tobora yaqqol ko‘zga tashlanadi.

Zamonaviy mantiqda sillogizm

Syllogizm 19-asrgacha mantiqda hukmronlik qildi va qisman kategorik sillogizm bilan bogʻlanganligi sababli cheklangan qoʻllanilishiga ega edi. Sillogizmning o'rnini bosish oddiyroq va kuchliroqdir

"Sillogizm" so'zi yunoncha syllogysmos so'zidan kelib chiqqan bo'lib, "xulosa qilish" degan ma'noni anglatadi. Bu aniq sillogizm- bu ma'lum binolardan oqibat, xulosaning kelib chiqishi. Sillogizm oddiy, murakkab, qisqartirilgan va murakkab qisqartirilgan bo'lishi mumkin.

Tegishli asoslari kategorik mulohazalar bo'lgan sillogizm deyiladi. kategorik. Sillogizmda ikkita asos mavjud. Ularda S, P va M harflari bilan belgilangan sillogizmning uchta atamasi mavjud. P - katta, S - kichik, M - o'rta, bog'lovchi termin. Boshqacha qilib aytganda, P atamasi M va S ga qaraganda ko'lami jihatidan kengroqdir (mazmun jihatidan torroq bo'lsa-da). Sillogizmdagi eng tor atama S. Bundan tashqari, katta atama hukmning predikatini, kichikroq atama - uning predmetini o'z ichiga oladi. . S va P o'rta tushuncha (M) bilan bir-biriga bog'langan.

Barcha bokschilar sportchi.

Bu odam bokschi.

Bu odam sportchi.

Bu erda "bokschi" so'zi o'rta atama bo'lib, birinchi shart - katta atama, ikkinchisi - kichik. Xatolarga yo'l qo'ymaslik uchun biz ushbu sillogizm hamma odamlarga emas, balki ma'lum bir shaxsga tegishli ekanligini ta'kidlaymiz. Aks holda, albatta, ikkinchi posilka ko'lami ancha kengroq bo'lar edi.

Birinchi holda, katta asos umumiy bo'lishi kerak, kichik esa tasdiqlovchi 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 qisman, kichik asos tasdiqlovchi bo'lishi kerak. Kategorik sillogizmlarning to'rtinchi shakli eng qiziq. Bunday xulosalardan umumiy tasdiqlovchi xulosa chiqarish mumkin emas, lekin binolar o'rtasida tabiiy bog'liqlik mavjud. Shunday qilib, agar binolardan biri salbiy bo'lsa, kattasi umumiy bo'lishi kerak, kichiki esa umumiy bo'lishi kerak, agar kattasi tasdiq bo'lishi kerak.

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

O'rta muddatning taqsimlanishi (M). O'rta termin, bog'lovchi bo'g'in boshqa ikkita atamaning kamida bittasida - katta yoki kichikda taqsimlanishi kerakligini anglatadi. Agar bu qoida buzilgan bo'lsa, xulosa noto'g'ri.

Keraksiz sillogizm atamalarining yo'qligi. Kategorik sillogizm faqat uchta atama - S, M va P atamalarini o'z ichiga olishi kerakligini anglatadi. Har bir atama faqat bitta ma'noda ko'rib chiqilishi kerak.

Hibsda tarqatish. Xulosada tarqatish uchun atama sillogizmning binolarida ham taqsimlanishi kerak.

Posilka qoidalari.

1. Xususiy posilkalardan olib qo'yishning mumkin emasligi. Ya'ni, agar ikkala asos ham qisman taklif bo'lsa, ulardan xulosa chiqarish mumkin emas. Masalan:

Ba'zi mashinalar pikap.

Ba'zi mexanizmlar mashinalardir.

Bu binolardan hech qanday xulosa chiqarish mumkin emas.

2. Salbiy binolardan xulosa chiqarishning mumkin emasligi. Salbiy binolar xulosa chiqarishni imkonsiz qiladi. Masalan:

Odamlar qush emas.

Itlar odamlar emas.

Olib tashlash mumkin emas.

3. Keyingi qoidada aytilishicha, agar sillogizmning asoslaridan biri xususiy bo‘lsa, uning oqibati ham xususiy bo‘ladi. Masalan:

Barcha bokschilar sportchi.

Ba'zi odamlar bokschi.

Ba'zi odamlar sportchidir.

4. Yana bir qoida borki, agar sillogizmning asoslaridan faqat bittasi salbiy bo'lsa, xulosa qilish mumkin, lekin u ham salbiy bo'ladi. Masalan:

Barcha changyutgichlar maishiy texnikadir.

Ushbu jihoz maishiy texnika emas.

Ushbu texnika changyutgich emas.