کتاب الکترونیکی

راه به سمت منطق مدرن یک تفسیر

The Road to Modern Logic. An Interpretation

دانلود کتاب The Road to Modern Logic. An Interpretation (به فارسی: راه به سمت منطق مدرن یک تفسیر) نوشته شده توسط «Ferreiros J.»

اطلاعات کتاب راه به سمت منطق مدرن یک تفسیر

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

نویسنده: Ferreiros J.

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 45

حجم کتاب: 6 مگابایت

توضیحات کتاب راه به سمت منطق مدرن یک تفسیر

هدف این مقاله تحلیل و تفسیر فرآیندی است که به منطق مرتبه اول و تثبیت آن به عنوان یک سیستم اصلی منطق مدرن منجر شد. ما با مروری اجمالی تاریخی از نقاط عطف در مسیر منطق مدرن شروع می کنیم و به بحثی فلسفی می پردازیم که امکان توجیه عقلانی صرفاً برای تحدید حدود واقعی منطق درجه اول را مورد تردید قرار می دهد. بر این اساس، ما این نظریه را پیش می بریم که یک سنت تاریخی خاص برای ظهور منطق مدرن ضروری است. این زمینه سنتی به عنوان مشتمل بر برخی اصول راهنما و به ویژه مجموعه ای از نمونه ها (به عنوان مثال، نمونه های پارادایمیک) تحلیل می شود. سپس به تفسیر سیر تاریخی توسعه بررسی شده در بخش 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.

دانلود کتاب «راه به سمت منطق مدرن یک تفسیر»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان