Philosophical and Mathematical Logic

این کتاب به عنوان مقدمه ای برای منطق نوشته شده است و در هر فصل - در صورت وجود - تاکید ویژه ای بر تعامل بین منطق و فلسفه، ریاضیات، زبان و علوم کامپیوتر (نظری) شده است. خواننده نه تنها مقدمه ای بر منطق کلاسیک، بلکه منطق فلسفی (وجهی، معرفتی، دین شناختی، زمانی) و منطق شهودی نیز ارائه می کند. فصل اول یک مقدمه غیر فنی آسان برای موضوعات کتاب است. فصل های بعدی متوالی در مورد منطق گزاره ای، مجموعه ها (متناهی و نامتناهی)، منطق محمول، قضایای حساب و ناتمام بودن گودل، منطق مدال، فلسفه زبان، شهودگرایی و منطق شهودی، کاربردها (پرولوگ؛ پایگاه های داده رابطه ای و SQL؛ اجتماعی، انتخاب) است. به ویژه قضاوت اکثریت) و در نهایت، مغالطه ها و روش های بحث ناعادلانه. نویسنده در سرتاسر متن، برداشت هایی از پیشرفت تاریخی منطق ارائه می دهد: منطق رواقی و ارسطویی، منطق در قرون وسطی و کتاب بگریفشریفت فرگه، همراه با آثار جورج بول (1815-1864) و آگوست دی مورگان (1806-1871). ) خاستگاه منطق مدرن. از آنجایی که می‌توان «اگر…، پس…» را قلب منطق در نظر گرفت، در سراسر این کتاب به شرط‌ها توجه زیادی شده است: مادی، دلالت‌های دقیق و مرتبط، دلالت‌ها، خلاف واقع‌ها و مضامین محاوره‌ای و ارجاعات بسیاری برای ادامه مطلب. خواندن داده می شود. هر فصل با پاسخ تمرینات به پایان می رسد.

This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and Gödel’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL; Social Choice Theory, in particular Majority Judgment) and finally, Fallacies and Unfair Discussion Methods. Throughout the text, the author provides some impressions of the historical development of logic: Stoic and Aristotelian logic, logic in the Middle Ages and Frege's Begriffsschrift, together with the works of George Boole (1815-1864) and August De Morgan (1806-1871), the origin of modern logic. Since "if …, then …" can be considered to be the heart of logic, throughout this book much attention is paid to conditionals: material, strict and relevant implication, entailment, counterfactuals and conversational implicature are treated and many references for further reading are given. Each chapter is concluded with answers to the exercises.