Leśniewski's Systems of Logic and Foundations of Mathematics

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

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

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

p>

This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw  Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic.  

One of the undisputed leaders of the cohort of brilliant logicians that congregated in Poland in the early twentieth century, Leśniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski was his PhD student). His primary achievement was a system of foundational mathematical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strands―‘protothetic’, ‘ontology’, and ‘mereology’, are detailed in discrete sections of this volume, alongside a wealth other chapters grouped to provide the fullest possible coverage of Leśniewski’s academic output.

With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great pioneers.​