Nuel Belnap on Indeterminism and Free Action

این جلد به دنبال استفاده از روش‌های رسمی در روشن ساختن یکی از مشکلات اصلی فلسفه است: مسئله اختیار انسان آزاد و جایگاه آن در جهان نامعین ما. این کتاب کمک‌های مهمی را که نوئل بلنپ، منطق‌دان و فیلسوف آمریکایی در این زمینه انجام داده است، تجلیل می‌کند.

از نظر فلسفی، عدم تعین‌گرایی و کنش آزاد می‌توانند بسیار از هم دور به نظر برسند، اما در آثار بلناپ، این دو ارتباط تنگاتنگی با هم دارند. این کتاب ارتباط متقابل فلسفی آنها را از طریق منتخبی از مقالات تحقیقاتی اصلی که بر اساس کار منطقی و فلسفی بلنپ استوار است، بررسی می کند. برخی از مشارکت‌ها به شکل بحث‌های انتقادی درباره آثار منتشر شده بلناپ هستند، برخی نکاتی را که در نشریات او ارائه شده در جهت‌های جدید توسعه می‌دهند، و برخی دیگر بینش‌های بیشتری در مورد موضوعات عدم قطعیت و کنش آزاد ارائه می‌دهند.

در کار نوئل بلنپ در مورد عدم تعین گرایی و کنش آزاد، سه چارچوب رسمی برجسته هستند: چارچوب تاریخ های انشعاب ساده معروف به "زمان شاخه ای"؛ بسط فضایی-زمانی نسبیتی آن، انشعاب فضا-زمان ها. و منطق نمایندگی. از آنجایی که این چارچوب‌ها پیش‌زمینه رسمی مقالات ارائه‌شده را فراهم می‌کنند، مقدمه جلد یک نمای کلی از وضعیت فعلی توسعه آنها ارائه می‌کند. همچنین منطق مرتبه اول موردی (CIFOL) را معرفی می‌کند، یک منبع منطقی کلی برای توسعه مرتبه اول چارچوب‌های ذکر شده و تمرکز تحقیقات اخیر Belnap. این جلد همچنین حاوی یک مصاحبه بیوگرافیک گسترده با نوئل بلنپ است.

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher.

Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.

In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” (stit ) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap.