Studies and Exercises in Formal Logic

«پژوهش‌ها و تمرین‌ها در منطق صوری» درسنامه‌ای مشهور از جان نویل کینز است که نخستین‌بار در سال ۱۸۸۴ منتشر شد و چاپ چهارم آن، با بازنویسی و افزوده‌های فراوان، در ۱۹۰۶ درآمد. این چاپ همان است که در اینجا می‌خوانید. کینز در دانشگاه کمبریج تدریس می‌کرد و پدر اقتصاددان بزرگ جان مینارد کینز است.

کتاب منطق قیاسی ارسطویی و منطق سنتی را آموزش می‌دهد: تعریف نام‌ها و اصطلاحات، انواع گزاره‌ها، قیاس‌ها و استنتاج‌های مستقیم و غیرمستقیم. در این چاپ تعریف تازه‌ای از «نام اشاره‌گر» آمده، دربارهٔ معنای وجودی گزاره‌ها بحث بیشتری شده و ضمیمه‌ای دربارهٔ قوانین بنیادین اندیشه افزوده شده است. نویسنده از کتاب منطق زیگوارت وام گرفته و از نظرهای همکارانش نیز بهره برده است.

نام «تمرین‌ها» در عنوان از آن‌رو است که هر بخش مسئله‌هایی برای حل دارد. این کتاب در انگلستان دهه‌ها به‌عنوان متن درسی به کار می‌رفت و برای دانشجویان فلسفه و کسانی که می‌خواهند با ساختار استدلال در منطق سنتی آشنا شوند هنوز مفید است.