📚 Intermediate Logic 🖌 David Bostock (دوره میانی در منطق) #منطق #فلسفه_عمومی #فلسفه #Logic ▶️ CONTENTS Part I SEMANTICS 1 Introduction 2 Truth-Functors 3 Quantifiers Part II PROOFS 4 Semantic Tableaux 5 Axiomatic Proofs 6 Natural Deduction 7 Sequent Calculi Part III FURTHER TOPICS 8 Existence and Identity ▶️ ABOUT This book is intended for those who have studied a first book in logic, and wish to know more. The book is confined to elementary logic, i.e. to what is called first-order predicate logic, but it aims to treat the subject in very much more detail than a standard introductory text. It is concerned to develop logical theory, but not to apply that theory to the analysis of ordinary reasoning. For one with no concern with such applications, it would be possible to read this book as a first book in logic, but the explanations proceed on a fairly abstract level. 💻 پی دی اف: رایگان 📖 تعداد صفحات: 404 صفحه @book_phi
3
