مشخصات کتاب

Philosophy and Model Theory

ویرایش:  
نویسندگان: Tim Button. Sean Walsh  
سری:  
ISBN (شابک) : 0198790392, 9780198790396 
ناشر: Oxford University Press 
سال نشر: 2018 
تعداد صفحات: 534 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب فلسفه و نظریه مدل: تاریخ و فلسفه، علم و ریاضی، تاریخ، ریاضیات، علم و ریاضی، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی، متافیزیک، فلسفه، سیاست و علوم اجتماعی، متافیزیک ,علوم انسانی,کتابهای درسی جدید, مستعمل و اجاره ای,بوتیک تخصصی,منطق,فلسفه,علوم انسانی,کتابهای درسی جدید, مستعمل و اجاره ای,بوتیک تخصصی,ریاضیات,جبر و مثلثات,حساب حساب دیفرانسیل و انتگرال,هندسه,مقاله و آمار, کتاب های درسی، اس

در صورت تبدیل فایل کتاب Philosophy and Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب فلسفه و نظریه مدل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب فلسفه و نظریه مدل

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

توضیحاتی درمورد کتاب به خارجی

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.
But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers.
The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures.
Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings

دانلود کتاب Biomedical Imaging. Applications and Advances

دانلود کتاب Integration of Earth Science Research on the Turkish and Greek 1999 Earthquakes: Proceedings of the NATO Seminar on Integration of Earth Science Research on the Turkish and Greek 1999 Earthquakes and Needs for Future Cooperative Research Istanbul, Turkey 14–17 May 2000

دانلود کتاب Loved Dead and Others

دانلود کتاب Bourke Street Bakery The Ultimate Baking Companion