Stoik mantiq - Stoic logic - Wikipedia

Stoik mantiq tizimidir taklif mantig'i tomonidan ishlab chiqilgan Stoik faylasuflar qadimgi Yunoniston. Bu klassik dunyodagi ikkita buyuk mantiq tizimidan biri edi. U asosan qurilgan va shakllangan Xrizipp, miloddan avvalgi 3-asrda stoik maktabining uchinchi rahbari. Krizippning mantiqi Aristotelnikidan farq qilar edi muddatli mantiq chunki bu tahlilga asoslangan edi takliflar atamalar o'rniga. Stoik mantig'idagi eng kichik birlik an ishonchli (taklifning stoik ekvivalenti), bu "bu kun" kabi so'zlarning mazmuni. Assertibllar haqiqat qiymatiga ega, shunda ular istalgan vaqtda ular rost yoki yolg'ondir. Murakkab assertibllar yordamida oddiylardan tuzish mumkin mantiqiy bog`lovchilar. Olingan sillogistik beshta asosiy dalillarga asoslangan bo'lib, ular asosida boshqa barcha sillogizmlar kamaytirilishi mumkin deb da'vo qilingan.

Antik davrning oxiriga kelib Aristotel mantig'i foydasiga stoik mantiqqa e'tibor berilmadi va natijada mantiqqa oid stoik yozuvlar omon qolmadi va bu haqda faqat boshqa yozuvchilarning to'liq bo'lmagan hisobotlari edi. Stoik mantiq tizim haqida bilim 20-asrga qadar zamonaviyni yaxshi biladigan mantiqchilar yo'qolgan taklif hisobi uning qadimiy hisobotlarini qayta ko'rib chiqdi.

Fon

Stoizm da rivojlangan falsafa maktabi Ellinizm davri davridan keyingi avlod atrofida Aristotel.[1] Stoiklar koinot aqlga muvofiq ishlaydi, deb ishonishgan, ya'ni tabiatning o'ziga singib ketgan Xudo tomonidan.[1] Mantiq (mantiq) falsafaning aqlni o'rganadigan qismi edi (logotiplar).[2] Baxtli hayotga - yashashga arziydigan hayotga erishish uchun mantiqiy fikr talab etiladi.[1] Stoiklar axloqni tushunish mantiqsiz imkonsiz deb hisoblashgan.[3] So'zlari bilan Bred Invud, stoiklar quyidagilarga ishonishgan:[4]

Mantiq odamga nima bo'lganini ko'rishga, amaliy ishlar to'g'risida mulohaza yuritishga, chalkashliklar paytida o'z o'rnida turishga, aniqni ehtimoldan farqlashga va boshqalarga yordam beradi.

Stoik mantig'ining ko'p qismini yaratgan Xrizipp

Aristotelniki muddatli mantiq tasniflash mantig'i sifatida qaralishi mumkin.[5] Bunda to'rtta mantiqiy "hamma", "ba'zi", "mavjud / mavjud" va "mavjud / emas" atamalaridan foydalaniladi va shu qadar statik bo'ladi.[5][6] Stoiklarga tanlov va natijani tekshiradigan mantiq kerak edi.[3] Shuning uchun stoiklar mantig'ini ishlab chiqdilar takliflar "agar ... u holda", "yoki ... yoki" va "ikkalasi ham emas" kabi biriktiruvchi vositalardan foydalaniladi.[7] Bunday biriktiruvchilar kundalik fikrlashning bir qismidir.[7] Suqrot ichida Aflotunning dialoglari tez-tez bir vatandoshidan so'raydi agar ular ma'lum bir narsaga ishonadilar; ular rozi bo'lganlarida, Suqrot keyinchalik asl e'tiqod noto'g'ri bo'lishi kerak degan xulosaga kelib, oqibatlari qanday mantiqan yolg'on yoki bema'ni ekanligini ko'rsatishga kirishadi.[7] Shunga o'xshash sud ekspertizasi urinishlari sud sudlarida qo'llanilgan bo'lishi kerak va ular yunon matematikasining asosiy qismidir.[7] Aristotelning o'zi va uning o'quvchilari takliflar bilan tanish edi Teofrastus va Evdemus tekshirgan edi faraziy sillogizmlar, lekin tomonidan hech qanday urinish bo'lmagan Peripatetik maktab ushbu g'oyalarni mantiq tizimiga aylantirish.[8]

Stoik mantiq an'anasi miloddan avvalgi 4-asrda turli xil falsafa maktabida paydo bo'lgan Megariya maktabi.[9] Bu maktabning ikki dialetigi edi, Diodorus Cronus va uning o'quvchisi Filo o'zlarining nazariyalarini ishlab chiqqan usullar va of shartli takliflar.[9] Stoitsizm asoschisi, Citium of Zeno, Megariyaliklar ostida o'qigan va u Filo bilan o'rtoq bo'lganligi aytilgan.[10] Biroq, Stoik mantig'ining rivojlanishidagi eng buyuk shaxs edi Soli Chrysippus (taxminan 279 - miloddan avvalgi 206 y.), stoik maktabining uchinchi rahbari.[9] Krizippus Stoik mantig'ining aksariyat qismini shakllantirdi, chunki biz uning propozitsion mantiq tizimini yaratishini bilamiz.[11] Mantiqchi sifatida Xrizipp ba'zan Arastu bilan bo'yi bo'yicha raqib deb aytiladi.[10] Xrizippusning mantiqiy yozuvlari deyarli yo'qolgan,[9] o'rniga uning tizimini keyingi mualliflarning asarlarida saqlangan qisman va to'liq bo'lmagan hisoblardan tiklash kerak Sextus Empiricus, Diogenes Laërtius va Galen.[10]

Takliflar

Stoiklar uchun mantiq o'rganishni o'z ichiga olgan keng bilim maydoni bo'lgan til, grammatika, ritorika va epistemologiya.[2] Biroq, bu sohalarning barchasi bir-biri bilan o'zaro bog'liq edi va stoiklar o'zlarining mantiqlarini (yoki "dialektikasini") o'zlarining til va epistemologiya nazariyalari doirasida rivojlantirdilar.[12]

Assertibllar

Stoiklar har qanday mazmunli so'zlashuv uchta narsani o'z ichiga oladi: ovozlar; gapda aytilgan yoki tasvirlangan narsa; va g'ayritabiiy narsa - bu lekton (aytish mumkin) - bu tilda etkazilgan narsa.[13] The lekton gap emas, balki gap mazmunidir va u to'liq aytishga mos keladi.[14][15] A lekton savol yoki buyruq kabi bir narsa bo'lishi mumkin, ammo Stoik mantiqi bularda ishlaydi lekta ular "assertibles" deb nomlangan (aksiomata), to'g'ri yoki yolg'on bo'lgan yoki tasdiqlaydigan yoki inkor qiladigan taklif sifatida tavsiflanadi.[14][16] Tasdiqlangan narsalarga "bu tun", "bugun tushdan keyin yomg'ir yog'moqda" va "hech kim yurmayapti" kiradi.[17][18] Tasdiqlangan narsalar haqiqat keltiruvchilar.[19] Ular bir vaqtning o'zida hech qachon rost va yolg'on bo'la olmaydi (qarama-qarshiliklar qonuni ) va ular bo'lishi kerak kamida To'g'ri yoki noto'g'ri (chiqarib tashlangan o'rta qonun ).[20] Stoiklar ushbu sodda taxminlarni ijobiy yoki salbiy yoki aniq yoki noaniq (yoki ikkalasi) bo'lishiga qarab kataloglashtirdilar.[21] Tasdiqlangan narsalar zamonaviyga o'xshaydi takliflar Biroq, ularning haqiqat qiymati qarab o'zgarishi mumkin qachon ular tasdiqlanmoqda.[22] Shunday qilib, "bu tun" kabi biron bir talab kunduzi emas, balki faqat kechasi bo'lganda to'g'ri bo'ladi.[16]

Murakkab tasdiqlar

Oddiy assertibllar bir-biri bilan bog'lanib, qo'shma yoki oddiy bo'lmagan assertibllarni hosil qilishi mumkin.[23] Bunga foydalanish orqali erishiladi mantiqiy bog`lovchilar.[23] Chrysippus uchta asosiy bog'lovchi turini joriy qilish uchun mas'ul bo'lgan ko'rinadi: the shartli (agar), birlashtiruvchi (va) va ajratuvchi (yoki).[24] Odatiy shartli "agar p keyin q" shaklini oladi;[25] holbuki, birikma "ikkala p va q" shakllarini oladi;[25] va disjunksiya "yoki p yoki q" shaklini oladi.[26] The yoki ular ishlatilgan eksklyuziv, farqli o'laroq shu jumladan yoki odatda zamonaviy rasmiy mantiqda qo'llaniladi.[27] Ushbu biriktiruvchi vositalar ishlatish bilan birlashtirilgan emas inkor uchun.[28] Shunday qilib, shart quyidagi to'rt shaklda bo'lishi mumkin:[29]

Agar p bo'lsa, u holda q | bo'ladi Agar p bo'lmasa, u holda q | bo'ladi Agar p bo'lsa, u holda q | bo'lmaydi Agar p bo'lmasa, u holda q emas

Keyinchalik stoiklar ko'proq bog'lovchilarni qo'shdilar: psevdo-shartli "beri p keyin q" shaklini oldi; va sabab-da'vo "chunki p keyin q" shaklini oldi.[a] Shuningdek, qiyosiy (yoki dissertativ) mavjud edi: "q dan ko'proq / kamroq (ehtimol) p".[30]

Mantiqiy bog'lovchilar
IsmTuriMisol
Shartliagaragar u kun, u yorug'lik
Birlashmavabu kun va yorug'lik
Ajratishyoxudyoki bu kun yoki kecha
Soxta shartliberiberi u kun, u yorug'lik
Sababchunkichunki u kun, u yorug'lik
Qiyosiyko'proq / kamroq ehtimol ... danehtimol ko'proq bu kun dan kecha

Modallik

Assertibllarni o'zlari bilan ham ajratish mumkin modal xususiyatlar[b]- ular mumkin, mumkin emas, zarur yoki kerak emas.[31] Stoiklar Diodor Kronus boshlagan avvalgi megariyalik munozaraga asoslanib ish olib borishdi.[31] Diodor aniqlagan edi imkoniyat shaklini qabul qilganday tuyulgan tarzda fatalizm.[32] Diodor aniqlangan mumkin sifatida "haqiqat yoki haqiqat bo'lgan narsa".[33] Shunday qilib, abadiy amalga oshirilmaydigan imkoniyatlar mavjud emas, iloji bor yoki bir kun to'g'ri bo'ladi.[32] Uning shogirdi Filo buni rad etib, qaror qildi mumkin "taklifning o'ziga xos xususiyati bilan haqiqat bo'lishi mumkin bo'lgan narsa" sifatida,[33] shu tariqa "bu o'tin kuyishi mumkin" degan ibora mumkin, hatto butun mavjudligini okean tubida o'tkazgan bo'lsa ham.[34] Boshqa tomondan, Krizipp nedensel determinist edi: u haqiqiy sabablar muqarrar ravishda ularning ta'sirini keltirib chiqaradi va hamma narsa shu tarzda paydo bo'ladi deb o'ylardi.[35] Ammo u mantiqiy deterministik yoki fatalist emas edi: u mumkin bo'lgan va zarur haqiqatlarni ajratib ko'rsatishni xohladi.[35] Shunday qilib u Diodor va Filo o'rtasida ikkala modal tizim elementlarini birlashtirgan o'rta pozitsiyani egalladi.[36] Krizippusning Stoik modal ta'riflari to'plami quyidagicha edi:[37]

Modal ta'riflar
IsmTa'rif
mumkinHaqiqat bo'lishi mumkin bo'lgan ishonchli va tashqi narsalar haqiqat bo'lishiga to'sqinlik qilmaydi
imkonsizHaqiqatga aylanib bo'lmaydigan qat'iylik yoki haqiqat bo'lishi mumkin, ammo tashqi narsalar haqiqat bo'lishiga to'sqinlik qiladi
zarur(Agar rost bo'lsa) yolg'onga aylanib bo'lmaydigan ishonchli yoki bu yolg'onga aylanishi mumkin, ammo tashqi narsalar yolg'on bo'lishiga to'sqinlik qiladi
kerak emasSoxta bo'lishi mumkin bo'lgan ishonchli va tashqi narsalar yolg'onga aylanishiga to'sqinlik qilmaydi

Sillogistik

Argumentlar

Stoik mantig'ida argument shakli sabab va natija sifatida bir-biriga bog'liq bo'lgan ikkita (yoki undan ortiq) oldindan qabul qilishni o'z ichiga oladi.[38] Oddiy stoik sillogizm bu:[39]

Agar kun bo'lsa, u engil;
Bu kun;
Shuning uchun u engil.

Unda birinchi qabul qilish uchun oddiy bo'lmagan tasdiq ("Agar u kun bo'lsa, u engil") va ikkinchi oldindan qabul qilish uchun oddiy tasdiq ("Bu kun").[39] Ikkinchi ogohlantirish buni qilmaydi har doim oddiy bo'lishi kerak, lekin u birinchisiga qaraganda kamroq qismlarga ega bo'ladi.[39]

Ko'proq rasmiy ma'noda ushbu sillogizm turi:[16]

Agar p bo'lsa, u holda q;
p;
Shuning uchun q.

Shunday qilib, Aristotelning mantiqiy atamasi singari, Stoik mantig'ida ham o'zgaruvchilar ishlatiladi, lekin o'zgaruvchilarning qiymatlari atamalar emas, balki takliflardir.[40] Krizippus beshta asosiy argument shakllarini sanab o'tdi, ularni munozarasiz haqiqat deb hisobladi.[c] Ushbu beshta dalil shartli, ajratilgan va inkor qo'shma birikmalaridan iborat,[41] va boshqa barcha argumentlarni ushbu beshta dalilga kamaytirish mumkin.[15]

Ko'rsatib bo'lmaydigan dalillar
Ism[d]TavsifZamonaviy ketma-ketlikMisol
Modus ponenslariAgar p bo'lsa, u holda q. p. Shuning uchun q.Agar kun bo'lsa, u nurdir. Bu kun. Shuning uchun, u engil.
Modulli tollensAgar p bo'lsa, u holda q. Q emas. Shuning uchun emas, balki p.Agar kun bo'lsa, u nurdir. Bu yorug'lik emas. Shuning uchun, bu kun emas.
Konjunktiv sillogizmIkkala p va q ham emas. p. Shuning uchun q emas.Bu kun ham, tun ham emas. Bu kun. Shuning uchun, bu tun emas. 
To'lendo ponenslariYoki p yoki q. P emas. Shuning uchun q.Bu kun yoki tun. Bu kun emas. Shuning uchun, bu tun.
Ponendo tollenslariYoki p yoki q. p. Shuning uchun q emas.Bu kun yoki tun. Bu kun. Shuning uchun, bu tun emas.

Ushbu beshta dalilning o'zgarishi juda ko'p bo'lishi mumkin.[42] Masalan, binolardagi tasdiqlovlar murakkabroq bo'lishi mumkin, va quyidagi sillogizm ikkinchisining namoyish etilishi mumkin bo'lgan misolidir (mod tollens):[29]

agar ikkala p va q bo'lsa, u holda r;
r emas;
shuning uchun ham emas: p ham q

Xuddi shunday, ushbu dalillarga inkorni kiritish mumkin.[29] To'rtinchi namoyish etilishi mumkin bo'lgan haqiqiy misol (tollendo ponens modus yoki disjunktiv sillogizm) bu:[43]

yoki [emas p] yoki q;
emas [p emas];
shuning uchun q

printsipini o'z ichiga olgan ikki tomonlama inkor, quyidagilarga teng:[43]

yoki [emas p] yoki q;
p;
shuning uchun q

Tahlil

Ko'pgina dalillar beshta namoyish qilinmaydigan shaklda emas va vazifa ularni beshta turdan biriga qanday kamaytirish mumkinligini ko'rsatishdir.[28] Stoikni kamaytirishning oddiy misoli Sextus Empiricus:[44]

agar ikkala p va q bo'lsa, u holda r;
r emas;
shuningdek, p;
Shuning uchun q emas

Buni ikkinchi va uchinchi turdagi ikkita alohida dalillarga kamaytirish mumkin:[45]

agar ikkala p va q bo'lsa, u holda r;
r emas;
shuning uchun ham emas: p ham q
emas: ikkala p va q
p;
shuning uchun q emas

Stoiklar, to'rtta asosiy qoidalardan foydalanish yoki murakkab sillogizmlarni ko'rinmas darajaga tushirish mumkinligini ta'kidladilar mavzular.[46] Ushbu to'rttadan mavzular, faqat ikkitasi omon qoldi.[33] Birinchisi, birinchi deb nomlangan mavzu, antilogizm qoidasi edi:[33]

Agar ikkitadan [tasdiqlangan narsalardan] uchinchisi kelib chiqsa, unda ikkalasidan xulosaning qarama-qarshiligi bilan boshqasining qarama-qarshiligi kelib chiqadi (Apuleius, De Interpretatione 209. 9–14).

Ikkinchisi, uchinchisi mavzu, edi a kesilgan qoida shu orqali zanjirli sillogizmlarni oddiy sillogizmlarga kamaytirish mumkin.[e] Ushbu qoidalarning ahamiyati umuman aniq emas.[47] Miloddan avvalgi II asrda Tarsus antipateri kamroqdan foydalanishni o'z ichiga olgan oddiyroq usulni joriy etganligi aytiladi mavzular, ammo bu borada ozgina tafsilotlar saqlanib qolgan.[47] Har qanday holatda ham mavzular har bir tahlilning zaruriy qismi bo'lishi mumkin emas.[48]

Paradokslar

Nega faylasuf o'z aqlini rivojlantirmasligi kerak? Siz kristall idishlarga, men chaqirilgan sillogizmga murojaat qilasiz Yolg'onchi; siz mirrinli shisha idishga, men chaqirilgan sillogizmga Denyer.

Epiktet, Ma'ruzalar, iii.9.20

Haqiqiy xulosalarni tavsiflashning yonida, stoiklarni jalb qilgan yana bir mavzu - yolg'on dalillarni sanash va rad etish, xususan paradokslar.[49] Stoikning mantiqiy mashg'ulotining bir qismi faylasufni paradokslarga tayyorlash va echimlarni topishga yordam berish edi.[50] Soxta dalil yolg'on taxmin qilingan yoki rasmiy ravishda noto'g'ri bo'lgan bo'lishi mumkin, ammo paradokslar stoiklarning haqiqat yoki yolg'on kabi asosiy mantiqiy tushunchalariga qarshi kurashni anglatadi.[51] Sifatida tanilgan mashhur paradokslardan biri Yolg'onchi, "Bir kishi yolg'on gapirayotganini aytadi; u aytadigan gapi rostmi yoki yolg'onmi?" - agar erkak rost gapirsa, demak u yolg'onga o'xshaydi, lekin agar u yolg'on gapirsa, demak u rost gapirmaydi va hokazo.[52] Xrizippus ushbu paradoksga bag'ishlangan bir nechta kitoblar yozgani ma'lum, ammo buning uchun qanday echim taklif qilgani noma'lum.[53] Nomi bilan tanilgan yana bir paradoks Soritlar yoki "To'plam" "Uyum olishdan oldin sizga qancha don bug'doy kerak?"[53] Haqiqiy yoki yolg'on g'oyasini noaniqlik imkoniyatini taklif qilish bilan qarshi olish aytilgan.[53] Ammo Krizippning javobi quyidagicha edi: "Bu menga zarar qilmaydi, chunki men mohir haydovchiga o'xshab, otlarimni chekkaga yetguncha jilovlayman ... Shu tarzda o'zimni oldindan ushlab turaman va murakkab savollarga javob berishni to'xtataman."[53]

Stoika mashqlari

Mantiq bo'yicha mashg'ulotlar mantiqiy jumboqlarni o'zlashtirishni, paradokslarni o'rganishni va dalillarni ajratishni o'z ichiga olgan.[54] Biroq, bu o'z-o'zidan maqsad emas edi, aksincha uning maqsadi stoiklarning o'zlarining oqilona kuchlarini rivojlantirish edi.[55]

Masalan, mantiq faqat mavhum fikrlash nazariyasi bilan chegaralanib qolmagan, hatto sillogistika bo'yicha maktab mashqlari bilan ham cheklanmagan; aksincha, kundalik hayot muammolariga tatbiq etiladigan mantiqning har kungi amaliyoti mavjud edi. Shunday qilib, mantiq ichki nutqning mohirligi edi. ... Stoiklar insonning ehtiroslari inson nutqidan suiiste'mol qilishga to'g'ri keladi deb hisoblashgan. Boshqacha qilib aytganda, ular hukm va fikrlashdagi xatolar natijasidir. Shuning uchun biz o'zimizning ichki nutqimizni kuzatib borishimiz kerak, chunki unga noto'g'ri baho hukmlari kirib kelganmi.[56]

Stoik mantiq o'z-o'zini kashf qilish usuli edi.[57] Uning maqsadi axloqiy aks ettirishga imkon berish, ishonchli va ishonchli bahslashishga imkon berish va o'quvchini haqiqatga olib borish edi.[54] Natijada natija izchil, aniq va aniq bo'lib, chalkashlik, muruvvat va nomuvofiqlikni ochib beradi.[58] Diogenes Laërtius ehtimol Krizipp tomonidan ixtiro qilingan dialektik fazilatlar ro'yxatini keltiradi:[59]

Avval u eslatib o'tadi aproptoziya, bu so'zma-so'z "oldinga siljimaslik" degan ma'noni anglatadi va "qachon fikr bildirish yoki bermaslik kerakligini bilish" (ma'qullash) deb ta'riflanadi; Keyingisi aneikaiotes, "shoshilmaslik", "unga berilmaslik uchun, ehtimol (yoki ishonchli) ga qarshi kuchli fikr"; uchinchidan, anelenxiya, "inkor etib bo'lmaydiganlik", uning ta'rifi "tortishuvdagi kuch, uni ziddiyatga olib kelmaslik uchun"; va to'rtinchisi, amataiotes, "taassurotlarga ishora qiluvchi kayfiyat" deb ta'riflangan 'bo'shliqning etishmasligi'fantaziya) to'g'ri logotiplar.[59]

Keyinchalik qabul

Taxminan besh yuz yil davomida stoik mantiq ikki mantiqiy tizimdan biri edi.[60] Krizippning mantig'i Aristotel bilan bir qatorda muhokama qilingan va ehtimol Stoitsizm hukmron falsafiy maktab bo'lganidan buyon yanada ravshanroq bo'lishi mumkin.[61] Zamonaviy nuqtai nazardan Aristotelning mantiqiy atamasi va takliflarning stoik mantig'i bir-birini to'ldiruvchi bo'lib ko'rinadi, ammo ba'zida ular raqib tizim sifatida qaraladi.[28] Oxirgi antik davrda stoik maktabi tanazzulga yuz tutdi va so'nggi butparast falsafiy maktab Neoplatonistlar, Aristotelning mantig'ini o'zlari uchun qabul qildilar.[62] Kabi keyingi sharhlovchilarning mantiqiy yozuvlariga faqat Stoik mantig'ining elementlari yo'l oldi Boetsiy, Stoik mantig'ining aralashgan qismlarini o'rta asrlarga etkazish.[61] Taklif mantig'i qayta ishlab chiqilgan Piter Abelard 12-asrda, ammo 15-asrning o'rtalariga kelib Aristotelning soddalashtirilgan versiyasi o'rganilayotgan yagona mantiq edi.[63] 18-asrda Immanuil Kant "Aristoteldan beri ... mantiq bir qadam oldinga siljiy olmadi va shuning uchun hamma ko'rinishda yopiq va to'liq ta'limotga aylanadi" deb talaffuz qilishi mumkin edi.[64] Bunga ishongan 19-asr tarixchilariga Ellinizm falsafasi Aflotun va Aristotelning pasayishini anglatadi, Stoik mantig'ini faqat nafrat bilan ko'rish mumkin edi.[65] Karl Prantl Stoik mantiq "xiralik, ahamiyatsizlik va sxolastik chayqalish" deb o'ylardi va u Krizipp asarlari endi mavjud emasligini mamnuniyat bilan qabul qildi.[66] Eduard Zeller "Stoiklarning mantiq sohasiga qo'shgan barcha hissasi Peripatetik mantig'ini yangi terminologiya bilan kiyintirishdan iborat" deb ta'kidladi.[67]

Zamonaviy mantiq 19-asrning o'rtalarida asari bilan boshlanadi Jorj Bul va Augustus de Morgan,[63] ammo stoik mantiq faqat 20-asrda qayta kashf etildi.[66] O'z g'oyalarini qayta baholagan birinchi kishi polshalik mantiqchi edi Yan Lukasevich 1920-yillardan boshlab.[66] Uning orqasidan ergashdi Benson Mates.[66] Stoik tushunchalar ko'pincha zamonaviy tushunchalardan farq qiladi, ammo shunga qaramay, stoik va 20-asr nazariyalari o'rtasida juda ko'p o'xshashliklar mavjud.[68]

Natijada biz fikrlash usullari va raqamli kompyuterlarning xatti-harakatlari o'rtasida yaqin o'xshashlikni ko'rmoqdamiz. ... Kod o'n to'qqizinchi asrning mantigi va matematikasi Jorj Buldan keladi, uning maqsadi Krizipp tomonidan ancha ilgari o'rganilgan munosabatlarni kodlash edi (katta mavhumlik va nafosat bilan bo'lsa ham). Keyingi avlodlar Boulning tushunchalari asosida qurilgan ... ammo buning hammasini amalga oshirgan mantiq - qadimgi Afina stoyasi ostida ishlagan qadimgi Krizipp tomonidan kashf etilgan o'zaro bog'liq koinotning o'zaro bog'liqligi.[69]

Izohlar

a. ^ Shartning minimal talabi shundan iboratki, oqibat avvalgidan kelib chiqadi.[25] Psevdo-shartli, avvalgi voqea ham to'g'ri bo'lishi kerakligini qo'shimcha qiladi. Nedensellik assimetriya qoidasini qo'shadi, agar p p q uchun sabab / sabab bo'lsa, u holda p p uchun sabab / sabab bo'la olmaydi. Bobzien 1999 yil, p. 109
b. ^ "Stoik modal mantiq modal takliflarning mantig'i emas (masalan," kun bo'lishi mumkin "turidagi takliflar ...) ... aksincha, ularning modal nazariyasi" bu kun. ', iloji boricha zarur, va hokazo. " Bobzien 1999 yil, p. 117
v. ^ Ushbu tortishuv shakllarining aksariyati Teofrastus tomonidan muhokama qilingan edi, ammo: "Teofrastus (1) - (5) ni muhokama qilgan bo'lsa ham, u Krizippning yutug'ini kutmagan edi ... uning o'rganish va tashkilotga Aristoteliy yondashuvi. argument shakllari uning aralash gipotetik sillogizmlar haqidagi munozarasini mutlaqo g'ayritabiiy tomonga aylantirgan bo'lar edi. " Barns 1999 yil, p. 83
d. ^ Bular Lotin ismlar O'rta asrlarga tegishli. Shenefelt & White 2013, p. 288
e. ^ Bularning qisqacha mazmuni uchun mavzular Susanne Bobziennikiga qarang Qadimgi mantiq Stenford falsafa ensiklopediyasi uchun maqola. Ning batafsil (va texnik) tahlili uchun mavzular, shu jumladan, yo'qolgan ikkitasini taxminiy qayta qurish, qarang Bobzien 1999 yil, 137–148 betlar

Iqtiboslar

  1. ^ a b v Shenefelt & White 2013, p. 74
  2. ^ a b Sellar 2006 yil, p. 55
  3. ^ a b Shenefelt & White 2013, p. 78
  4. ^ Inwood 2003 yil, p. 229
  5. ^ a b Shenefelt & White 2013, p. 73
  6. ^ Sellar 2006 yil, p. 57
  7. ^ a b v d Shenefelt & White 2013, p. 79
  8. ^ Ierodiakonou 2009 yil, p. 507
  9. ^ a b v d Bobzien 1996a, p. 880
  10. ^ a b v Sellar 2006 yil, p. 56
  11. ^ Shenefelt & White 2013, p. 80
  12. ^ O'Tul va Jennings 2004 yil, p. 400
  13. ^ Everson 1994 yil, p. 85
  14. ^ a b Yoxansen va Rozenmayer 1998 yil, p. 466
  15. ^ a b Ierodiakonou 2006 yil, p. 678
  16. ^ a b v Sellar 2006 yil, p. 58
  17. ^ Sellar 2006 yil, 58-9 betlar
  18. ^ Bobzien 1999 yil, p. 102
  19. ^ Bobzien 1999 yil, p. 92
  20. ^ Shenefelt & White 2013, p. 88
  21. ^ Bobzien 1999 yil, 97-8 betlar
  22. ^ Bobzien 1999 yil, p. 95
  23. ^ a b Bobzien 1999 yil, p. 103
  24. ^ Bobzien 1999 yil, p. 105
  25. ^ a b v Bobzien 1999 yil, p. 106
  26. ^ Bobzien 1999 yil, p. 109
  27. ^ Inwood 2003 yil, p. 231
  28. ^ a b v Sellar 2006 yil, p. 60
  29. ^ a b v Bobzien 1999 yil, p. 129
  30. ^ Bobzien 1999 yil, 109-111 betlar
  31. ^ a b Sellar 2006 yil, p. 59
  32. ^ a b Adamson 2015 yil, p. 136
  33. ^ a b v d Bobzien, Syuzanna. "Qadimgi mantiq". Yilda Zalta, Edvard N. (tahrir). Stenford falsafa entsiklopediyasi.
  34. ^ Adamson 2015 yil, p. 138
  35. ^ a b Adamson 2015 yil, p. 58
  36. ^ Bobzien 1999 yil, p. 120
  37. ^ Bobzien 1999 yil, p. 118
  38. ^ Zeller 1880, p. 113
  39. ^ a b v Bobzien 1999 yil, p. 121 2
  40. ^ Bobzien 1996a, p. 881
  41. ^ Asmus & Restall2012, p. 21
  42. ^ Bobzien 1999 yil, p. 128
  43. ^ a b Shenefelt & White 2013, p. 87
  44. ^ Ierodiakonou 2009 yil, p. 521
  45. ^ Ierodiakonou 2009 yil, p. 522
  46. ^ Bobzien 1996b, p. 133
  47. ^ a b Barns 1997 yil, p. 82
  48. ^ Barns 1997 yil, p. 83
  49. ^ Zeller 1880, p. 122
  50. ^ Inwood 2003 yil, p. 232
  51. ^ Ierodiakonou 2009 yil, p. 525
  52. ^ Asmus & Restall 2012, p. 20
  53. ^ a b v d Ierodiakonou 2009 yil, p. 526
  54. ^ a b Nussbaum 2009 yil, p. 349
  55. ^ Uzoq 2001 yil, p. 95
  56. ^ Hadot 2002 yil, p. 135
  57. ^ Uzoq 2001 yil, p. 102
  58. ^ Nussbaum 2009 yil, 348-9-betlar
  59. ^ a b Uzoq 2001 yil, p. 92 Diogenes Laërtiusga asoslanib, vii. 46f.
  60. ^ Kneale & Kneale 1962 yil, p. 113
  61. ^ a b Kneale & Kneale 1962 yil, p. 177
  62. ^ Sharples 2003 yil, p. 156
  63. ^ a b Xurli 2011 yil, p. 6
  64. ^ O'Tul va Jennings 2004 yil, p. Kantning so'zlarini keltirgan 403 Sof fikrni tanqid qilish.
  65. ^ O'Tul va Jennings 2004 yil, p. 403
  66. ^ a b v d O'Tul va Jennings 2004 yil, p. 397
  67. ^ Zeller 1880, p. 124
  68. ^ Bonevac & Dever 2012, p. 181
  69. ^ Shenefelt & White 2013, 96-7 betlar

Adabiyotlar

  • Adamson, Piter (2015), Ellinistik va Rim olamidagi falsafa, Oksford universiteti matbuoti, ISBN  978-0-19-872802-3
  • Asmus, Konrad; Qayta tiklang, Greg (2012), "Natija aloqalari tarixi", Gabbayda, Dov M.; Pelletier, Frensis Jeffri; Vuds, Jon (tahr.), Mantiq tarixi bo'yicha qo'llanma, 2, Elsevier, ISBN  978-0-444-52937-4
  • Barns, Jonatan (1997), Mantiq va imperatorlik stoasi, Brill, ISBN  90-04-10828-9
  • Barns, Jonatan (1999), "Mantiq: Peripatetiklar", Algra, Keimpe (tahr.), Ellinizm falsafasining Kembrij tarixi, Kembrij universiteti matbuoti, ISBN  0-521-25028-5
  • Bobzien, Syuzanna (1996a), "Mantiq", Xornblowerda Simon; Spawforth, Antoni (tahr.), Oksford klassik lug'ati, Oksford universiteti matbuoti, ISBN  978-0-1986-6172-6
  • Bobzien, Susanne (1996b), "Stoic Syllogistic", Qadimgi falsafada Oksfordshunoslik 14, Oksford universiteti matbuoti, ISBN  978-0-1982-3670-2
  • Bobzien, Susanne (1999), "Mantiq: Stoikalar", Algra, Keimpe (tahr.), Ellinizm falsafasining Kembrij tarixi, Kembrij universiteti matbuoti, ISBN  0-521-25028-5
  • Bonevak, Doniyor; Dever, Josh (2012), "Birlashtiruvchi tarix", Gabbayda, Dov M.; Pelletier, Frensis Jeffri; Vuds, Jon (tahr.), Mantiq tarixi bo'yicha qo'llanma, 2, Elsevier, ISBN  978-0-444-52937-4
  • Everson, Stiven (1994), Qadimgi fikr 3 sheriklari: til, Kembrij universiteti matbuoti
  • Hadot, Per (2002), Qadimgi falsafa nima?, Garvard universiteti matbuoti, ISBN  0-674-00733-6
  • Xarli, Patrik J. (2011), Mantiqqa qisqacha kirish, Uodsvort, ISBN  978-0-8400-3417-5
  • Ierodiakonou, Katerina (2006), "Stoitsizm", Uilsonda, Nayjel (tahr.), Qadimgi Yunoniston entsiklopediyasi, Psixologiya matbuoti, ISBN  978-0-4158-7396-3
  • Ierodiakonou, Katerina (2009), "Stoic Logic", Gillda, Meri Luiza; Pellegrin, Per (tahr.), Qadimgi falsafaning hamrohi, Vili-Blekvell, ISBN  978-1-4051-8834-0
  • Invud, Bred (2003), "Stoitsizm", Furli, Devid (tahr.), Routledge Falsafa tarixi II jild: Arastu Avgustingacha, Routledge, ISBN  978-0-4153-0874-8
  • Yoxansen, Karsten Friis; Rozenmayer, Henrik (1998), Qadimgi falsafa tarixi: boshidan Avgustingacha, Routledge, ISBN  0-415-12738-6
  • Kenni, Entoni (2006), Qadimgi falsafa, Oksford universiteti matbuoti, ISBN  978-0-19-875272-1
  • Kneal, Uilyam; Kneale, Marta (1962), Mantiqning rivojlanishi, Clarendon Press
  • Long, A. A. (2001), "Dialektika va Stoik Sage", Stoik tadqiqotlar, Kaliforniya universiteti matbuoti, ISBN  0-520-22974-6
  • Nussbaum, Marta C. (2009), Istak terapiyasi: Ellinistik axloq nazariyasi va amaliyoti, Prinston universiteti matbuoti, ISBN  978-0-691-14131-2
  • O'Tul, Robert R.; Jennings, Raymond E. (2004), "Megariyaliklar va stoikalar", Gabbayda, Dov M.; Vuds, Jon (tahr.), Mantiq tarixi bo'yicha qo'llanma, 1, Elsevier, ISBN  0-444-51596-8
  • Sellars, Jon (2006), Qadimgi falsafalar: stoitsizm, Zukko, ISBN  978-1-84465-053-8
  • Shenefelt, Maykl; Oq, Heidi (2013), Agar A bo'lsa, unda B: Mantiq dunyoni qanday shakllantirgan, Columbia University Press, ISBN  0-231-53519-8
  • Sharples, Robert V. (2003), "Peripatetik maktab", Furli shahrida, Devid (tahr.), Routledge Falsafa tarixi II jild: Arastu Avgustingacha, Routledge, ISBN  978-0-4153-0874-8
  • Zeller, Eduard (1880), Stoiklar, epikurchilar va skeptiklar, Longmans, Green va Co.

Tashqi havolalar