دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Ferreiros J. سری: ناشر: سال نشر: 2001 تعداد صفحات: 45 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت تبدیل فایل کتاب The Road to Modern Logic. An Interpretation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راه منطق مدرن. تفسیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
هدف این مقاله تحلیل و تفسیر فرآیندی است که به منطق مرتبه اول و تثبیت آن به عنوان یک سیستم اصلی منطق مدرن منجر شد. ما با مروری اجمالی تاریخی از نقاط عطف در مسیر منطق مدرن شروع میکنیم و به بحثی فلسفی میپردازیم که امکان توجیه عقلانی صرفاً برای تحدید حدود واقعی منطق مرتبه اول را مورد تردید قرار میدهد. بر این اساس، ما این نظریه را پیش می بریم که یک سنت تاریخی خاص برای ظهور منطق مدرن ضروری است. این زمینه سنتی به عنوان متشکل از برخی اصول راهنما و به ویژه مجموعه ای از نمونه ها (به عنوان مثال، نمونه های پارادایمی) تحلیل می شود. سپس به تفسیر سیر تاریخی توسعه بررسی شده در بخش 1 می پردازیم که به طور کلی می توان آن را یک حرکت دو مرحله ای گسترش و سپس محدود کردن دامنه نظریه منطقی توصیف کرد. ما سعی خواهیم کرد دوسویهها را در این فرآیند و انگیزههای اصلی تغییرات بعدی را مشخص کنیم. در میان دومیها، میتوان بر روح بدیهیات مدرن، وضعیت ناامنی بنیادی در دهه 1920، تمایل ناشی از یافتن سیستمهایی با رفتار خوب از نقطهنظر اثبات نظری و نتایج فرانظری دهه 1930 تأکید کرد. جای تعجب نیست که به نظر می رسد که زمینه ریاضی و به طور خاص، زمینه بنیادی که منطق مرتبه اول در آن رشد کرده است، نقش اصلی را در شکل دادن به آن ایفا کرده است.
This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.