نويل بيلناب

نويل دينسمور بيلناب الابن ( 1 مايو 1930 - 12 يونيو 2024 ) كان منطقيًا وفيلسوفًا أمريكيًا ، قدم إسهامات في فلسفة المنطق ، والمنطق الزمني ، ونظرية البرهان البنيوي . درّس في جامعة بيتسبرغ من عام 1963 حتى تقاعده عام 2011.

وُلد بيلناب في الأول من مايو عام 1930. ^{[ 1 ]} التحق بمدرسة نيو ترير الثانوية في وينتكا، إلينوي ، وحصل على درجة البكالوريوس في الآداب من جامعة إلينوي . ^{[ 1 ]} ويتذكر أن ماكس فيش كان يُكلف الطلاب بقراءة أعمال وايتهيد .

عمل بيلناب كمبرمج على جهاز IBM 701 لصالح وكالة الأمن القومي من خلال القوات الجوية الأمريكية لمدة عامين قبل التحاقه بالدراسات العليا في جامعة ييل . ^{[ 1 ]} كان يستمتع بعلم ما وراء الطبيعة ، وكان من بين أساتذته بول فايس ، وآرثر باب ، وهنري مارجيناو ، وفريدريك فيتش ، ورولون ويلز.

في عام 1958، حصل على منحة فولبرايت وسافر إلى لوفان للدراسة على يد الكاهن روبرت فيس . استقر بيلناب في بروكسل مع زوجته وابنه البالغ من العمر عامين. أوصى فيس بيلناب بقراءة مقال فيلهلم أكرمان حول الاستلزام الصارم في مجلة المنطق الرمزي . ^{[ 2 ]}

بدأ آلان روس أندرسون وبيلناب مناقشة الاستلزام ذي الصلة. في عام ١٩٦٠، طلب أندرسون من بيلناب كتابة بحثه حول منطق الصلة ، وكانت هذه أطروحة الدكتوراه التي قدمها بيلناب في جامعة ييل (بعنوان " صياغة الاستلزام "). نُشرت الأطروحة عن طريق عمر كايام مور في مكتب البحوث البحرية، فرع علم النفس الجماعي.

أصبح بيلناب أستاذاً مساعداً في جامعة ييل. وتذكر أنه وظف جون باروايز وجون والاس كمساعدين باحثين. ^{[ 3 ]}

كانت جامعة بيتسبرغ ترغب في ضم ويلفريد سيلارز ، ووفقًا لبيلناب، "اعتمدنا أنا وجيري سنويند عليه". كان أدولف غرونباوم ونيكولاس ريشر يعملان في بيتسبرغ. أحضر نائب رئيس الجامعة، تشارلي بيك، آلان أندرسون إلى بيتسبرغ عام 1965، حيث عمل حتى وفاته عام 1973. شارك أندرسون وبيلناب في تأليف كتاب "الاستلزام: منطق الصلة والضرورة" . ^{[ 4 ] [ 5 ]} "كانت طريقة عملنا معًا بسيطة للغاية. كنا نجلس ونكتب الجمل معًا." ^{[ 3 ]}

أصبح بيلناب أستاذاً متفرغاً عام 1966. وكان كورت باير رئيساً للقسم. بدأ بيلناب بتدريس فلسفة العلوم الاجتماعية، وكان من بين طلابه باس فان فراسن وجون مايكل دان . وفي عام 1967 أصبح أستاذاً لعلم الاجتماع، وفي عام 1971 أستاذاً لفلسفة العلوم. وفي نهاية المطاف، شغل كرسي الأستاذية الممول الذي سُمي تيمناً باسم آلان روس أندرسون. وتذكر ريتش توماسون، طالب الأنظمة الذكية، الذي كان يدرس في جامعة بيتسبرغ. ^{[ 3 ]}

ونظرًا لحذره من عواقب البيانات المخزنة المتناقضة، اقترح بيلناب منطقًا رباعي القيم لتجنب الاستدلالات المتسلسلة مثل ( A & ~ A ) → B لعبارة B عشوائية . ^{[ 6 ]} يُعرف هذا المنطق بمبدأ الانفجار في المنطق الكلاسيكي ، ويوفر المنطق رباعي القيم أساسًا للمنطق المتناقض لتجنب هذه المشكلة في المنطق ثنائي القيم.

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

خلال إجازته التفرغية، عمل بيلناب أستاذاً زائراً في جامعة كاليفورنيا، إرفاين ، وجامعة إنديانا بلومنجتون ، في خريف أعوام 1977 و1978 و1979 مع جون مايكل دان. وفي عام 1982، عمل في مركز الدراسات المتقدمة في العلوم السلوكية بجامعة ستانفورد ، وفي عام 1996 في مركز الدراسات العليا في لايبزيغ مع هايريش وانسينغ. وكان عضواً مؤسساً في جمعية الفلسفة الدقيقة، التي تعاونت مع كنديين مثل ماريو بونج . وقد عمل بيلناب محكماً للعديد من الأوراق البحثية الأكاديمية. ^{[ 3 ]}

في عام 1992، نشر بيلناب كتاب "الزمكان المتفرع" ، الذي يقدم إطارًا منطقيًا يحاول الربط بين النسبية واللا حتمية الكم ، ويقدم تفسيرًا لتجارب من نوع EPR . ^{[ 7 ]}

تم انتخابه زميلاً في الأكاديمية الأمريكية للفنون والعلوم في عام 2008. ^{[ 8 ]}

أنجب بيلناب ثلاثة أبناء وابنة من زوجته الأولى، جوان غوده بيلناب. ^{[ 1 ]} توفي في وايتفيلد، نيو هامبشاير في 12 يونيو 2024، عن عمر يناهز 94 عامًا. ^{[ 1 ]}

• 1975: (مع دوروثي إل. جروفر وجوزيف إل. كامب) "النظرية الشرطية للحقيقة"، الدراسات الفلسفية 27(1): 73-125
• 1993: (مع أنيل غوبتا ) نظرية مراجعة الحقيقة ، مطبعة معهد ماساتشوستس للتكنولوجيا
• 2001: (مع مينغ شو وميشيل بيرلوف) مواجهة المستقبل: الفاعلون والخيارات في عالمنا غير الحتمي ، مطبعة جامعة أكسفورد ( ISBN) 0195138783).

• الانسجام المنطقي

• أعمال نويل بيلناب في PhilPapers
• نويل بيلناب في جامعة بيتسبرغ