Language, Logic and Method

مشکلات اساسی استفاده از تکنیک‌های رسمی و شیوه‌های طبیعی و ابزاری بارها و بارها در دو دهه گذشته، در بسیاری از بخش‌ها و از دیدگاه‌های مختلف مطرح شده است. ما تعدادی از مطالعات کاملاً اساسی در مورد این موضوعات را در این جلد گردآوری کرده‌ایم که نه از لحاظ مفهومی و نه با هیچ مسئله‌ای دقیق تعریف شده، بلکه به سادگی برخی از جالب‌ترین و حتی تحریک‌کننده‌ترین دستاوردهای تحقیقاتی اخیر هستند. بیشتر این مقالات از کولوکیوم بوستون برای فلسفه علم در طی سال‌های 1973-1980 مشتق شده‌اند، دو استثنای کارل برکا (در مقیاس‌های اندازه‌گیری) و A. A. Zinovev (در مورد یک نظریه غیر سنتی از کمی‌سازها) . این نتایج (یا حدس‌ها؟) چقدر برای ما جذاب به نظر می‌رسند را می‌توان از برخی نقل قول‌های کوتاه مشاهده کرد: (1) جادسون وب: \"... مفهوم ماشین انتزاعی بسیاری از انواع ویژگی‌های مناسب برای مدل‌سازی زندگی و بازتولید دارد. موجودات متعاقب قاعده، خود بازتابنده، حادثه خیز و خوش شانس... نتایج منطقی پیشینی مرتبط با مفهوم ماشین انتزاعی، بالاتر از همه گودل، نمی توانست برای مکانیک بهتر از این باشد.» (2). ) M. L. Dalla Chiara: \"... تفسیر مودال (از منطق کوانتومی) به وضوح نشان می دهد که دارای معنای منطقی است که کاملاً مستقل از مکانیک کوانتومی است. \" (3) Isaac Levi: (در مقابل پیرس و پوپر) \" ... عصمت با اصلاح گرایی سازگار است و دیدگاهی که پرهیز از خطا را رعایت می کند، خواست مهمی برای علم است.

Fundamental problems of the uses of formal techniques and of natural and instrumental practices have been raised again and again these past two decades, in many quarters and from varying viewpoints. We have brought a number of quite basic studies of these issues together in this volume, not linked con­ ceptually nor by any rigorously defined problematic, but rather simply some of the most interesting and even provocative of recent research accomplish­ ments. Most of these papers are derived from the Boston Colloquium for the Philosophy of Science during 1973-80, the two exceptions being those of Karel Berka (on scales of measurement) and A. A. Zinov'ev (on a non-tradi­ tional theory of quantifiers). Just how intriguing these results (or conjectures?) seem to us may be seen from some brief quotations: (1) Judson Webb: " . . . . the abstract machine concept has many of the appropriate kinds of properties for modelling living, reproducing, rule­ following, self-reflecting, accident-prone, and lucky creatures . . . the a priori logical results relevant to the abstract machine concept, above all Godel's, could not conceivably have turned out any better for the mechanist. " (2) M. L. Dalla Chiara: " . . . modal interpretation (of quantum logic) shows clearly that it possesses a logical meaning which is quite independent of quantum mechanics. " (3) Isaac Levi: (as against Peirce and Popper) " . . . infallibilism is con­ sistent with corrigibilism, and a view which respects avoidance of error is an important desideratum for science.