Logical Form: Between Logic and Natural Language

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

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.