Jon L. Pollok - John L. Pollock - Wikipedia

Jon L. Pollok
Tug'ilgan1940
MintaqaG'arb falsafasi
MaktabAnalitik
Asosiy manfaatlar
epistemologiya, falsafiy mantiq, kognitiv fan

Jon L. Pollok (1940–2009) - ta'sirli faoliyati bilan tanilgan amerikalik faylasuf epistemologiya, falsafiy mantiq, kognitiv fan va sun'iy intellekt.

Hayot va martaba

Kanzasning Atchison shahrida tug'ilgan Jon Lesli Pollok, 1940 yil 28-yanvar, Pollok 1961 yilda Minnesota universitetida uch kishilik fizika, matematika va falsafa darajasiga ega bo'ldi. 1965 yilda doktorlik dissertatsiyasi Analitiklik va implikatsiya da Berkli Kaliforniya universiteti Ernest Adams maslahat bergan (Pollokni intellektual avlodiga aylantirish) Gotfrid Leybnits va Immanuil Kant, orqali Ernest Nagel va Patrik Suppes ).[1] Ushbu dissertatsiya ishida qo'shimcha mavjud edi mag'lub bo'ladigan mulohaza bu oxir-oqibat uning falsafaga qo'shgan asosiy hissasi sifatida gullab-yashnaydi.

Pollok fakultetda lavozimlarda ishlagan SUNY Buffalo, Rochester universiteti, Michigan universiteti va Arizona universiteti, u kariyerasining ko'p qismini shu erda o'tkazgan. Arizonada u topishga yordam berdi Kognitiv fan Dastur. U g'ayratli tog 'velosipedchisi bo'lgan va Janubiy Arizonada chavandozlar klubini tashkil qilgan.

Falsafiy ish

Bilim va asoslash

Bilim va asoslash Pollockni epistemologiyada asos solgan kitob. Bu Amerika falsafasi va ayniqsa Amerika epistemologiyasi tahlil nimani anglatishini bilish nimadur. Masalan, Gettier muammosi, kunning eng tez-tez muhokama qilinadigan muammolaridan biri, nima uchun x ni "bilish uchun teng emas" degan xaqiqiy e'tiqodni ushlab turish "deb so'raydi. Pollokning kitobi "analitik mezonlarni" aniqlashga urinishdan qaytadi zarur va etarli shartlar bilim uchun. Uning epistemik normalar mag'lub bo'ladigan mulohazalar bilan boshqariladi; ular ceteris paribus istisnolarni qabul qilishi mumkin bo'lgan shartlar. Boshqa bir qator epistemologlar (xususan Braun universiteti, kabi Ernest Sosa va ayniqsa Roderik Chisholm ), shuningdek, uning Arizona hamkasbi Keyt Lerer, mag'lubiyat va epistemologiya haqida yozgan edi. Ammo Pollokning keng qamrovli va hal qiluvchi yangilikni birlashtirgan kitobi g'oyalarni falsafiy oqimga olib kirdi.

Muvaffaqiyatsiz fikrlash

Pollok vafotidan oldingi yigirma yil ichida faylasuflar orasida "janob mag'lub bo'ladigan mulohaza" nomi bilan tanilgan. Sun'iy aqlda, qaerda monotonik bo'lmagan fikrlash intellektual qo'zg'alishni keltirib chiqargan edi, Pollokning ishiga xayrixoh bo'lgan olimlar uni dastlabki sadoqati va aniqligi uchun katta hurmat qilishdi. Pollokning eng to'g'ridan-to'g'ri talaffuzi - bu "Mumkin fikrlash" qog'ozidir Kognitiv fan, 1987, garchi uning sintaktik bo'lmagan g'oyalari deyarli to'liq pishgan bo'lsa ham Bilim va asoslash. Pollok o'zining fikrlash tarixini kuzatdi (masalan, Pollok va Kruzdagi izohda, Zamonaviy bilim nazariyalari, 1999, p. 36, 37-yozuv va boshqa joylarda) o'zining epistemologiya bo'yicha birinchi maqolasida "Mezon va moddiy dunyo haqidagi bilimlarimiz" Falsafiy sharh 76, 1967. U shunday deb o'yladi Roderik Chisholm uning bu boradagi fikrlashiga ta'sir ko'rsatgan, ammo u tarjima qilishga urinayotganini ham aytgan Lyudvig Vitgenstayn to'g'ridan-to'g'ri, ba'zan esa kreditga beriladi Stiven Tulmin bahs mavzusi bo'yicha. Garchi uning faoliyati bu sohada sezilarli ta'sir ko'rsatgan bo'lsa ham Sun'iy aql va qonun, Pollokning o'zi unchalik qiziqmasdi huquqshunoslik yoki qonuniy fikrlash nazariyalari va u hech qachon mag'lub bo'ladigan mulohazalarning merosini tan olmagan H.L.A. Xart. Pollock ham o'tkazdi norasmiy mantiqchilar va olimlari ritorika masofada, garchi mag'lubiyatga uchraydigan fikrlash tabiiy yaqinliklarga ega bo'lsa ham argument (mantiq).

Pollokning "mag'lubiyatga uchragan mag'lubiyati" va "mag'lubiyatni rad etish" - bu endi mag'lubiyatga uchragan fikrlash adabiyotida asosiy rol o'ynaydi. Keyinchalik u "o'zini yo'qotish" va boshqa turdagi mag'lubiyat mexanizmlarini qo'shdi, ammo asl farq eng mashhur bo'lib qolmoqda.

Sun'iy intellektning kuchli dumoli shamoli va xuddi shu kabi fikrlovchi faylasuflarning bir nechtasi (masalan, Donald Nute, Nikolas Asher, Bob Kuzi) yordam bergan bo'lsa-da, mag'lubiyatga asoslangan mulohazalar Jon Pollok tufayli falsafaning asosiy oqimiga aylandi. ning nashr etilishi orasidagi qisqa vaqt Bilim va asoslash va ikkinchi nashri Zamonaviy bilim nazariyalari.

OSCAR / Shaxsni qanday qurish kerak

Pollok faoliyati davomida ancha vaqtni dasturiy ta'minot loyihasiga bag'ishladi OSCAR, sun'iy intellekt dasturiy ta'minotining prototipini u "artilekt" deb atagan. OSCAR asosan Pollokning mag'lubiyatga asoslangan fikrlash bo'yicha g'oyalarini amalga oshirar edi, ammo shu bilan birga uning niyatlari, manfaatlari, muammolarni hal qilish strategiyasi va boshqa kognitiv me'moriy dizayn haqidagi unchalik taniqli bo'lmagan va ko'pincha nashr etilmagan g'oyalarini o'zida mujassam etgan. OSCAR a LISP "qiziqishlarga asoslangan" mantiqiy asosga ega dastur. Pollok o'zining teorema-proverining samaradorligi uning "qiziq bo'lmagan" xulosalar chiqarishni istamasligidan kelib chiqqan deb da'vo qildi. Garchi OSCAR ko'plab professional dasturchilarning hissalaridan foyda ko'rmagan bo'lsa ham, uni taqqoslash kerak CyC, Soar (bilim me'morchiligi) va Novamente ixtirochi ambitsiyasi uchun.

Pollok Oskarning asosiy xususiyatlarini idrok, o'zgarish va qat'iyatlilik, sabablar, ehtimolliklar, rejani tuzish va baholash va qarorlar to'g'risida mag'lubiyat bilan fikr yuritish qobiliyati deb ta'riflagan.[2] U Oskar evolyutsiyasini tasvirlab berdi Oskar haqidagi ertak uning kitobida.

OSCAR Prologemena-da o'sdi Shaxsni qanday qurish kerak, bu hamkasblar tomonidan juda qulay foydalanish deb taxmin qilishgan shaxsiyat vaqtida. Biroq, Pollokning OSCARga bo'lgan munosabati ancha yumshoq edi: u kelajakda OSCARni qonuniy antropomorfik shakl sifatida tasniflaydigan kognitiv taksonomiyalarni kutdi.

Nomik ehtimollik

Nomik ehtimollik va induksiya asoslari, Oksford, 1990 yil Pollok mag'lub bo'lgan mulohazalar va chastotalardan ehtimollikni baholash (ehtimollikning to'g'ridan-to'g'ri xulosasi) o'rtasidagi munosabatni chuqur o'rganib chiqdi. Bu dastlab 1983 yilda topilgan g'oyalarning kamolotidir Nazariya va qaror qog'oz. Ushbu ishni taqqoslash kerak Genri E. Kyburg ehtimollik nazariyalari, garchi Pollok kengroq xilma-xillik haqida nazariya qilmoqda deb ishongan bo'lsa-da statistik xulosalar.

Nashrlar

Kitoblar

  • Symbolic Logic-ga kirish, Xolt Raynxart Uinston, 1969 yil.
  • Bilim va asoslash, Princeton, 1974 yil.
  • Subjunktiv fikrlash, Springer, 1976 yil.
  • Til va fikr, Princeton, 1982 yil.
  • Falsafiy semantikaning asoslari, Prinston, 1984 yil.
  • Zamonaviy bilim nazariyalari, birinchi nashr, Rowman-Littlefield, 1987 y.
  • Shaxsni qanday qurish kerak: prolegomena, MIT Press, 1989 yil.
  • Falsafadagi texnik usullar, Westview, 1990 yil.
  • Nomik ehtimollik va induksiya asoslari, Oksford, 1990 yil.
  • Falsafa va sun'iy intellekt: interfeysdagi insholar, R. Cummins bilan, MIT Press, 1995 y.
  • Kognitiv duradgorlik: insonni qanday qurish rejasi, MIT Press, 1995 yil.
  • Zamonaviy bilim nazariyalari, J. Cruz bilan, ikkinchi nashr, Rowman-Littlefield, 1999 y.
  • Aktyorlik to'g'risida o'ylash: Ratsional qaror qabul qilishning mantiqiy asoslari, Oksford, 2006 yil.

Tanlangan hujjatlar

  • "Mezon va moddiy dunyo haqidagi bilimimiz" Falsafiy sharh, 1967.
  • "Asosiy modal mantiq" Symbolic Logic jurnali, 1967.
  • "Epistemologik muammo nima? Amerika falsafiy chorakligi, 1968.
  • "Epistemik asoslashning tuzilishi" Amerika falsafiy chorakligi, 1970.
  • "Sezgi bilim" Falsafiy sharh, 1971.
  • "Loyihalash mantig'i" Ilmiy falsafa, 1972.
  • "Subjunktiv umumlashmalar" Sintez, 1974.
  • "To'rt xil shartli shartlar" Amerika falsafiy chorakligi, 1975.
  • "Qarama-qarshi narsalarni" mumkin bo'lgan dunyolar "tahlili" Falsafiy tadqiqotlar, 1976.
  • "Ob'ekt haqida o'ylash" O'rta g'arbiy falsafa tadqiqotlari, 1980.
  • "Qarama-qarshi narsalarning takomillashgan nazariyasi" Falsafiy mantiq jurnali, 1981.
  • "Epistemologiya va ehtimollik" Sintez, 1983.
  • "Qanday qilib kutish qiymatini maksimal darajaga ko'tarasiz?" Nus, 1983.
  • "To'g'ridan-to'g'ri xulosa qilish nazariyasi" Nazariya va qaror, 1983.
  • "Induksiya muammosining echimi" Nus, 1984.
  • "Ishonchlilik va asosli ishonch" Kanada falsafa jurnali, 1984.
  • "Axloqiy fikrlash nazariyasi" Axloq qoidalari, 1986.
  • "Muqaddima paradoksi" Ilmiy falsafa, 1986.
  • "Epistemik normalar" Sintez, 1987.
  • "Muvofiq fikrlash" Kognitiv fan, 1987.
  • "Qanday qilib odamni qurish kerak: aqliylikning jismoniy asoslari" Falsafiy istiqbollar, 1987.
  • "Mening akam, mashina" Nus, 1988.
  • "OSCAR: ratsionallikning umumiy nazariyasi" Eksperimental va nazariy sun'iy aql jurnali, 1989.
  • "Qiziqishlarga asoslangan taxminiy fikrlar" Avtomatlashtirilgan fikrlash jurnali, 1990.
  • "O'zini mag'lubiyatga uchratadigan dalillar" Aql va mashinalar, 1991.
  • "Mag'lub bo'ladigan fikrlash nazariyasi" Intelligent Systems xalqaro jurnali, 1991.
  • "Amaliy fikrlashning yangi asoslari" Aql va mashinalar, 1992.
  • "Qanday qilib mag'lubiyat bilan fikr yuritish kerak" Sun'iy intellekt, 1992.
  • "Nominal ehtimollar nazariyasi" Sintez, 1992.
  • "Ratsionallikning filogeniyasi" Kognitiv fan, 1993.
  • "To'g'ridan-to'g'ri xulosa chiqarish asoslari" Nazariya va qaror, 1994.
  • "Oqish va mag'lubiyat" Sun'iy intellekt, 1994.
  • "Loyihalashning cheklanishi" Grue! Induktsiya bo'yicha yangi jumboq, tahrir. Duglas Stalker, Ochiq sud, 1994 y.
  • "Mag'lub bo'lmaydigan mulohazalarni amalga oshirish" Hisoblash dialektikasi bo'yicha seminar - FAPR, 1996.
  • "Oskar - umumiy maqsadda mag'lubiyatga uchragan sababchi" Amaliy klassik bo'lmagan mantiq jurnali, 1996.
  • "Xudoning mavjud emasligini isbotlash" So'rov: fanlararo falsafa jurnali, 1996.
  • "Idrokka jiddiy yondashish" Avtonom agentlar bo'yicha birinchi xalqaro konferentsiya materiallari, 1997.
  • "O'zgarishlar va qat'iyatlilik haqida mulohaza yuritish: kadrlar muammosiga yechim" Nus, 1997.
  • "Avtonom agentlarda maqsad regressiyasini rejalashtirishning mantiqiy asoslari" Sun'iy intellekt, 1998.
  • "O'zgaruvchan dunyoni idrok etish va fikrlash" Hisoblash intellekti, 1998.
  • "Protsessual epistemologiya" Raqamli Feniks: Kompyuterlar falsafani qanday o'zgartirmoqda, Bynum va Mur, nashrlar, Vili, 1998 y.
  • "Rejalashtirish agentlari" Ratsional agentlikning asoslari, tahrir. Rao va Vuldrij, Klyuver, 1999 yil.
  • "Diqqatni qayta ko'rib chiqish va epistemologiya", AS Gillies bilan, Sintez, 2000.
  • "OSCAR-da ratsional idrok," Kompyuter fanidan ma'ruza matnlari, 2000.
  • "O'zgaruvchan asoslash darajalari bilan mumkin bo'lmagan fikrlash" Sun'iy intellekt, 2001.
  • "Sabab ehtimoli" Sintez, 2002.
  • "O'rtacha fikrlashning mantiqiy asoslari" Oddiy tuyg'u, mulohaza va ratsionallik, 2002.
  • "Ratsional tanlov va harakatlarning qudrati" Falsafiy sharh, 2002.
  • "Rejalar va qarorlar" Nazariya va qaror, 2004.
  • "Men nima edim? Virtual mashinalar va ong / tana muammosi" Falsafa va fenomenologik tadqiqotlar, 2008.

Adabiyotlar

  1. ^ http://johnpollock.us/
  2. ^ "Arxivlangan nusxa". Arxivlandi asl nusxasi 2009-06-18. Olingan 2009-12-09.CS1 maint: nom sifatida arxivlangan nusxa (havola)

Tashqi havolalar