جستجوي پيشرفته | کتابخانه مجازی الفبا

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