جون إل. بولوك

يُعدّ كتاب "المعرفة والتبرير" الكتاب الذي رسّخ مكانة بولوك في نظرية المعرفة. وقد صدر في وقتٍ كانت فيه الفلسفة الأمريكية، ولا سيما نظرية المعرفة الأمريكية، مهووسة بتحليل معنى معرفة شيء ما. فعلى سبيل المثال، تتساءل معضلة جيتير ، وهي إحدى أكثر المعضلات شيوعًا في ذلك الوقت، عن سبب عدم تكافؤ امتلاك "اعتقاد صحيح مُبرَّر" بأن س مع العلم بأن س هو معرفة ذلك س. يتراجع كتاب بولوك عن محاولة تحديد "المعايير التحليلية" التي قد تُشكّل الشروط الضرورية والكافية للمعرفة. تخضع معاييره المعرفية للاستدلال القابل للدحض؛ فهي شروط ثابتة مع إمكانية وجود استثناءات. وقد كتب العديد من علماء نظرية المعرفة الآخرين (ولا سيما في جامعة براون ، مثل إرنست سوسا ، وخاصة رودريك تشيشولم )، بالإضافة إلى زميله كيث ليرر من جامعة أريزونا ، عن قابلية الدحض ونظرية المعرفة. لكن كتاب بولوك، الذي جمع بين نطاق واسع وابتكار حاسم، أدخل الأفكار إلى التيار الفلسفي السائد.

اشتهر بولوك بين الفلاسفة بلقب "سيد الاستدلال القابل للدحض" خلال العقدين السابقين لوفاته. وفي مجال الذكاء الاصطناعي ، حيث أحدث الاستدلال غير الرتيب ثورة فكرية، حظي بولوك بتقدير كبير من قبل الباحثين المتعاطفين مع أعماله لالتزامه المبكر ووضوحه. ويُعدّ بحثه "الاستدلال القابل للدحض" المنشور في مجلة " العلوم المعرفية " عام ١٩٨٧، أبرز ما كتبه بولوك صراحةً، على الرغم من أن أفكاره غير النحوية كانت قد نضجت تمامًا تقريبًا في كتابه "المعرفة والتبرير" . تتبّع بولوك تاريخ فكره (على سبيل المثال، في حاشية في كتاب بولوك وكروز، " نظريات المعرفة المعاصرة"، 1999، ص  36، الحاشية 37، وفي مواضع أخرى) إلى ورقته البحثية الأولى في نظرية المعرفة، "المعايير ومعرفتنا بالعالم المادي"، المنشورة في مجلة " Philosophical Review" المجلد 76 ، عام 1967. كان يعتقد أن رودريك تشيشولم قد أثّر في فكره حول هذا الموضوع، ولكنه صرّح أيضًا بأنه كان يحاول تفسير لودفيج فيتجنشتاين بشكل مباشر، ونسب الفضل أحيانًا إلى ستيفن تولمين في موضوع الحجاج. على الرغم من أن عمله كان له تأثير كبير في مجال الذكاء الاصطناعي والقانون ، إلا أن بولوك لم يكن مهتمًا كثيرًا بعلم القانون أو نظريات الاستدلال القانوني، ولم يعترف قط بتوريث الاستدلال القابل للدحض من خلال هارت . كما كان بولوك ينظر إلى علماء المنطق غير الرسمي وعلماء البلاغة بنظرة متحفظة، على الرغم من أن الاستدلال القابل للدحض له أوجه تشابه طبيعية في الحجاج .

أصبح مفهوما "الهزيمة المقوّضة" و"الهزيمة الدحضية" لبولوك من الثوابت في أدبيات الاستدلال القابل للدحض. وقد أضاف لاحقاً مفهوم "الهزيمة الذاتية" وأنواعاً أخرى من آليات الهزيمة، لكن التمييز الأصلي لا يزال الأكثر شيوعاً.

على الرغم من أن الذكاء الاصطناعي وبعض الفلاسفة المعاصرين ذوي التفكير المماثل (مثل دونالد نوت ونيكولاس آشر وبوب كوزي) قد ساعدوا في ذلك، فمن المؤكد أن التفكير القابل للدحض انتقل من كونه غامضًا إلى التيار الرئيسي في الفلسفة بسبب جون بولوك، في الفترة القصيرة بين نشر كتاب " المعرفة والتبرير" والطبعة الثانية من كتاب " نظريات المعرفة المعاصرة" .

كرّس بولوك جزءًا كبيرًا من وقته لاحقًا في مسيرته المهنية لمشروع برمجي يُدعى OSCAR ، وهو نموذج أولي لبرنامج ذكاء اصطناعي أطلق عليه اسم "artilect". كان OSCAR في جوهره تطبيقًا لأفكار بولوك حول الاستدلال القابل للدحض، ولكنه جسّد أيضًا أفكاره الأقل شهرة، والتي غالبًا ما لم تُنشر، حول النوايا والمصالح واستراتيجيات حل المشكلات، وغيرها من جوانب التصميم المعماري المعرفي. كان OSCAR برنامجًا قائمًا على لغة LISP، ويحتوي على مُستدل "قائم على المصالح". ادّعى بولوك أن كفاءة مُثبت نظريته تستند إلى عدم رغبته في استخلاص استنتاجات "غير مثيرة للاهتمام". على الرغم من أن OSCAR لم يستفد من مساهمات عدد كبير من المبرمجين المحترفين، إلا أنه يجب مقارنته ببرامج CyC و Soar (الهندسة المعمارية المعرفية) و Novamente من حيث طموح مُخترعه.

وصف بولوك السمات الرئيسية لأوسكار بأنها القدرة على التفكير المنطقي القابل للدحض فيما يتعلق بالإدراك والتغيير والثبات، والسببية، والاحتمالات، وبناء الخطط وتقييمها، واتخاذ القرارات. ^{[ 2 ]} وقد وصف تطور شخصية أوسكار في خرافة أوسكار في كتابه.

نشأت فكرة أوسكار من مقدمة كتاب " كيف تبني إنسانًا" ، والتي ربما اعتبرها الزملاء في ذلك الوقت استخدامًا ساخرًا لمفهوم الشخصية . مع ذلك، كان موقف بولوك تجاه أوسكار أكثر دهاءً: فقد كان يتطلع إلى تصنيفات معرفية مستقبلية من شأنها أن تصنف أوسكار، بسخاء، كشكل بشري مشروع.

كتاب "الاحتمالية الاسمية وأسس الاستقراء" ( أكسفورد، 1990) هو بحث معمق أجراه بولوك حول العلاقة بين الاستدلال القابل للدحض وتقدير الاحتمالية من التكرارات (الاستدلال المباشر للاحتمالية). وهو بمثابة تطوير لأفكار طُرحت في ورقة بحثية نُشرت عام 1983 في مجلة "النظرية والقرار" . يجب مقارنة هذا العمل بنظريات هنري إي. كيبورغ في الاحتمالات، مع أن بولوك كان يعتقد أنه يُنظّر لمجموعة أوسع من الاستدلالات الإحصائية .

• مقدمة في المنطق الرمزي، هولت راينهارت وينستون، 1969.
• المعرفة والتبرير، برينستون، 1974.
• الاستدلال الشرطي، سبرينغر، 1976.
• اللغة والفكر، برينستون، 1982.
• أسس علم الدلالة الفلسفية، برينستون، 1984.
• النظريات المعاصرة للمعرفة، الطبعة الأولى، روومان-ليتلفيلد، 1987.
• كيفية بناء الإنسان: مقدمة، مطبعة معهد ماساتشوستس للتكنولوجيا، 1989.
• الأساليب التقنية في الفلسفة، ويستفيو، 1990.
• الاحتمالات الاسمية وأسس الاستقراء، أكسفورد، 1990.
• الفلسفة والذكاء الاصطناعي: مقالات على مستوى التفاعل، بالاشتراك مع ر. كامينز، مطبعة معهد ماساتشوستس للتكنولوجيا، 1995.
• النجارة المعرفية: مخطط لكيفية بناء الإنسان، مطبعة معهد ماساتشوستس للتكنولوجيا، 1995.
• النظريات المعاصرة للمعرفة، مع ج. كروز، الطبعة الثانية، روومان-ليتلفيلد، 1999.
• التفكير في الفعل: الأسس المنطقية لاتخاذ القرارات العقلانية، أكسفورد، 2006.

• "المعايير ومعرفتنا بالعالم المادي"، المجلة الفلسفية ، 1967.
• "المنطق الموجه الأساسي"، مجلة المنطق الرمزي ، 1967.
• "ما هي المشكلة المعرفية؟" المجلة الفلسفية الأمريكية الفصلية ، 1968.
• "بنية التبرير المعرفي"، المجلة الفلسفية الأمريكية الفصلية ، 1970.
• "المعرفة الإدراكية"، المجلة الفلسفية ، 1971.
• "منطق الإسقاط"، فلسفة العلوم ، 1972.
• "التعميمات الشرطية"، سينثيز ، 1974.
• "أربعة أنواع من الجمل الشرطية"، المجلة الفلسفية الأمريكية الفصلية ، 1975.
• "تحليل "العوالم الممكنة" للوقائع المضادة للواقع"، دراسات فلسفية ، 1976.
• "التفكير في شيء ما"، دراسات الغرب الأوسط في الفلسفة ، 1980.
• "نظرية محسنة للوقائع المضادة"، مجلة المنطق الفلسفي ، 1981.
• "علم المعرفة والاحتمالية"، سينثيز ، 1983.
• "كيف يمكنك تعظيم القيمة المتوقعة؟" نوس ، 1983.
• "نظرية الاستدلال المباشر"، النظرية والقرار ، 1983.
• "حل لمشكلة الاستقراء"، نوس ، 1984.
• "الموثوقية والاعتقاد المبرر"، المجلة الكندية للفلسفة ، 1984.
• "نظرية في التفكير الأخلاقي"، الأخلاق ، 1986.
• "مفارقة المقدمة"، فلسفة العلوم ، 1986.
• "المعايير المعرفية"، سينثيز ، 1987.
• "التفكير القابل للدحض"، العلوم المعرفية ، 1987.
• "كيفية بناء الإنسان: الأساس المادي للعقلية"، وجهات نظر فلسفية ، 1987.
• "أخي، الآلة"، نوس ، 1988.
• "أوسكار: نظرية عامة للعقلانية"، مجلة الذكاء الاصطناعي التجريبي والنظري ، 1989.
• "الاستدلال الافتراضي المدفوع بالمصلحة"، مجلة الاستدلال الآلي ، 1990.
• "الحجج ذاتية الهزيمة"، العقول والآلات ، 1991.
• "نظرية الاستدلال القابل للدحض"، المجلة الدولية للأنظمة الذكية ، 1991.
• "أسس جديدة للتفكير العملي"، العقول والآلات ، 1992.
• "كيفية التفكير بطريقة قابلة للدحض"، الذكاء الاصطناعي ، 1992.
• "نظرية الاحتمالية الاسمية"، سينثيز ، 1992.
• "تطور العقلانية"، العلوم المعرفية ، 1993.
• "أسس الاستدلال المباشر"، النظرية والقرار ، 1994.
• "التبرير والهزيمة"، الذكاء الاصطناعي ، 1994.
• "قيد الإسقاط"، في كتاب Grue! The New Riddle of Induction ، تحرير دوغلاس ستالكر، أوبن كورت، 1994.
• "تطبيق الاستدلال القابل للدحض"، ورشة عمل حول الجدلية الحسابية - FAPR ، 1996.
• "أوسكار - مُستدل قابل للدحض للأغراض العامة"، مجلة المنطق غير الكلاسيكي التطبيقي ، 1996.
• "إثبات عدم وجود الله"، مجلة Inquiry  : مجلة متعددة التخصصات في الفلسفة ، 1996.
• "أخذ الإدراك على محمل الجد"، وقائع المؤتمر الدولي الأول حول الوكلاء المستقلين ، 1997.
• "التفكير في التغيير والثبات: حل لمشكلة الإطار"، نوس ، 1997.
• "الأسس المنطقية لتخطيط الانحدار الهدف في العوامل المستقلة"، الذكاء الاصطناعي ، 1998.
• "إدراك العالم المتغير والتفكير فيه"، الذكاء الحسابي ، 1998.
• "نظرية المعرفة الإجرائية"، في كتاب "العنقاء الرقمية: كيف تغير أجهزة الكمبيوتر الفلسفة"، تحرير بينوم ومور، وايلي، 1998.
• "وكلاء التخطيط"، في كتاب أسس الوكالة العقلانية ، تحرير راو وولدريدج، كلوير، 1999.
• "مراجعة المعتقدات ونظرية المعرفة"، بالاشتراك مع أ.س. جيليز، سينثيز ، 2000.
• "الإدراك العقلاني في أوسكار"، ملاحظات المحاضرات في علوم الحاسوب ، 2000.
• "التفكير القابل للدحض بدرجات متفاوتة من التبرير"، الذكاء الاصطناعي ، 2001.
• "الاحتمالية السببية"، سينثيز ، 2002.
• "الأسس المنطقية للتفكير في الوسائل والغايات"، الحس السليم، والتفكير، والعقلانية ، 2002.
• "الاختيار العقلاني والقدرة المطلقة على الفعل"، المجلة الفلسفية ، 2002.
• "الخطط والقرارات"، النظرية والقرار ، 2004.
• "ما أنا؟ الآلات الافتراضية ومشكلة العقل/الجسد"، مجلة الفلسفة والبحوث الظاهراتية ، 2008.