哲学・数学的論理学（学部生用テキスト）<br>Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)

個数：
  • ポイントキャンペーン

哲学・数学的論理学（学部生用テキスト）
Philosophical and Mathematical Logic (Springer Undergraduate Texts in Philosophy)

  • オンデマンド(OD/POD)版です。キャンセルは承れません。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版／ページ数 539 p.
  • 言語 ENG
  • 商品コード 9783030032531

Full Description

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.

Philosophical and Mathematical Logic is a very recent book (2018), but with every aspect of a classic. What a wonderful book!
Work written with all the necessary rigor, with immense depth, but without giving up clarity and good taste.
Philosophy and mathematics go hand in hand with the most diverse themes of logic.
An introductory text, but not only that. It goes much further.
It's worth diving into the pages of this book, dear reader!
Paulo Sérgio Argolo

Contents

Chapter 1. Propositional Logic.- Chapter 2. Predicate Logic.- Chapter 3. Arithmetic and Gödel's incompleteness theorem.- Chapter 4. Sets (finite and infinite).- Chapter 5. Philosophical logic: modal, epistemic, deontic, temporal.- Chapter 6. Philosophy of language.- Chapter 7. Intuitionism and intuitionistic logic.- Chapter 8. Applications of logic and set theory: logic programming; relational databases.