دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Pollock J.L.
سری: Focus Series
ISBN (شابک) : 0813378729, 9780813378725
ناشر: Westview
سال نشر: 1990
تعداد صفحات: 134
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 698 کیلوبایت
در صورت تبدیل فایل کتاب Technical methods in philosophy به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای فنی در فلسفه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب ابزارها و مفاهیم فنی را معرفی می کند که برای کار پیشرفته در فلسفه ضروری هستند. با شروع با مبانی نظریه مجموعه ها، نویسنده قبل از استفاده از این ابزارها برای روشن شدن فرانظریه حساب محمول، خواننده را از طریق روابط، توابع و نظریه حساب راهنمایی می کند. بحث هایی در مورد تعاریف بازگشتی، قضیه گودل و کامل بودن حساب محمول وجود دارد. متن بر ساختار این سیستم ها و فرانظریه پشت آنها تاکید دارد.
This book introduces the technical tools and concepts that are indispensable for advanced work in philosophy. Beginning with the fundamentals of set theory, the author guides the reader through relations, functions and the theory of arithmetic before using these tools to clarify the metatheory of the predicate calculus. There are discussions of recursive definitions, Godel's Theorem, and completeness for the predicate calculus. The text emphasizes the structure of these systems and the metatheory behind them.