دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: John N. Crossley (auth.), Johan van Benthem, Amitabha Gupta, Rohit Parikh (eds.) سری: Synthese Library 352 ISBN (شابک) : 9400700792, 9789400700796 ناشر: Springer Netherlands سال نشر: 2011 تعداد صفحات: 397 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب اثبات، محاسبات و عاملیت: منطق در تقاطع: منطق، منطق ریاضی و مبانی، منطق ریاضی و زبان های رسمی، فلسفه غیر غربی
در صورت تبدیل فایل کتاب Proof, Computation and Agency: Logic at the Crossroads به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات، محاسبات و عاملیت: منطق در تقاطع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
اثبات، محاسبات و آژانس: منطق در چهارراه نمای کلی از منطق مدرن و رابطه آن با سایر رشته ها را ارائه می دهد. به عنوان برجسته، چندین مقاله الگوی الهامبخشی به نام «نرمافزار اجتماعی» را دنبال میکنند که الگوهای تعامل اجتماعی را با استفاده از تکنیکهای منطق و علوم رایانه مورد مطالعه قرار میدهد. این کتاب همچنین نشان می دهد که چگونه منطق می تواند نیروهای خود را با نظریه بازی و نظریه انتخاب اجتماعی بپیوندد. خط اصلی دوم، ارتباط منطق-زبان-شناخت است که در آن مقالات گردآوری شده در اینجا چندین دیدگاه تازه را به ارمغان می آورند. در نهایت، این کتاب منطق هندی و ارتباط آن با معرفت شناسی و فلسفه علم را مورد بررسی قرار می دهد و نشان می دهد که چگونه این موضوعات به طور طبیعی با یکدیگر برخورد می کنند.
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Front Matter....Pages i-xxiv
Front Matter....Pages 1-1
What Is Mathematical Logic? A Survey....Pages 3-17
Is There a Logic of Society?....Pages 19-31
Front Matter....Pages 33-33
What Is a Proof?....Pages 35-52
A Visit to Tarski’s Seminar on Elimination of Quantifiers....Pages 53-66
Deductive Systems of Fuzzy Logic....Pages 67-78
Front Matter....Pages 79-79
What Is the Difference Between Proofs and Programs?....Pages 81-97
Zero-One Laws: Thesauri and Parametric Conditions....Pages 99-114
Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic....Pages 115-131
Two Applications of Epistemic Logic in Computer Security....Pages 133-144
An Introduction to Quantum Computing....Pages 145-180
Front Matter....Pages 181-181
Logic Games: From Tools to Models of Interaction....Pages 183-216
In memory of Jasu Magan Bhana Panchia (1963–1991): Iterated Belief Revision in Dynamic Doxastic Logic....Pages 217-227
Towards a Logical Analysis of Adjusted Winner ....Pages 229-239
Temporal Logic with Preferences and Reasoning About Games....Pages 241-258
Front Matter....Pages 259-259
From Sentence Meanings to Full Semantics....Pages 261-276
Some Reflections on Discrete Mathematical Models in Behavioral, Cognitive and Social Sciences....Pages 277-307
Front Matter....Pages 309-309
History and Development of Indian Logic: An Overview....Pages 311-331
Indian Logic and Philosophy of Science: The Logic-Epistemology Link....Pages 333-353
The Concept of Hetvābhāsa in Nyāya-śāstra....Pages 355-371