Introduction to the Basic Concepts and Problems of Modern Logic

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

The field of modern logic is too extensive to be worked through by open­ cast mining. To open it up, we need to sink shafts and construct adits. This is the method of most text books: a systematic exposition of a number of main topics, supplemented by exercises to teach skill in the appurtenant techniques, lays a secure foundation for subsequent dis­ cussion of selected questions. Compared with this, the present treatment is more like a network of exploratory drillings to show that it would be worthwhile to start mining operations, or to work the existing shafts and adits, as the case may be. Within this metaphor we may also describe the inherent weakness of this conception: once a cavity is pierced, the duct's capacity will in general not be sufficient to carry away the discovered riches. But whether we are concerned with a new or an already worked mine - at any rate, the experience should stimulate us into either reviving an existing system of shafts or even, in particularly fortunate cases, designing a new ap­ proach.