Advertisement

Philosophical and Mathematical Logic

  • Harrie de Swart

Part of the Springer Undergraduate Texts in Philosophy book series (SUTP)

Table of contents

  1. Front Matter
    Pages i-xx
  2. H. C. M. (Harrie) de Swart
    Pages 1-20
  3. H. C. M. (Harrie) de Swart
    Pages 21-128
  4. H. C. M. (Harrie) de Swart
    Pages 129-180
  5. H. C. M. (Harrie) de Swart
    Pages 181-260
  6. H. C. M. (Harrie) de Swart
    Pages 261-276
  7. H. C. M. (Harrie) de Swart
    Pages 277-328
  8. Luc Bergmans, John Burgess, Amitabha Das Gupta, Harrie de Swart
    Pages 329-378
  9. H. C. M. (Harrie) de Swart
    Pages 379-426
  10. H. C. M. (Harrie) de Swart
    Pages 489-530
  11. Back Matter
    Pages 531-539

About this book

Introduction

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.

Keywords

arithmetic and Gödel’s incompleteness theorem modal logic philosophical logic predicate logic propositional logic set theory

Authors and affiliations

  • Harrie de Swart
    • 1
  1. 1.Faculty of Philosophy, Erasmus University Rotterdam, Rotterdam, The NetherlandsDepartment of Philosophy, Tilburg UniversityTilburgThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-03255-5
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Religion and Philosophy
  • Print ISBN 978-3-030-03253-1
  • Online ISBN 978-3-030-03255-5
  • Series Print ISSN 2569-8737
  • Series Online ISSN 2569-8753
  • Buy this book on publisher's site