Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Springer Undergraduate Texts in Philosophy

Philosophical and Mathematical Logic

Authors: de Swart, Harrie

  • ​Offers a treatment of logic that touches upon all of its aspects
  • Focuses attention upon the relation of logic to other disciplines
  • Scrutinizes beyond definitions and theorems by providing explanations to the underlying ideas
see more benefits

Buy this book

eBook $39.99
price for USA in USD (gross)
  • ISBN 978-3-030-03255-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $49.99
price for USA in USD
  • ISBN 978-3-030-03253-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

About the authors

Harrie de Swart has almost fifty years of experience in teaching Logic in all its aspects at three different universities. The author has great experience in making the insights and highlights of logic accessible to students, also to those students who are not keen on mathematical methods. He is convinced that the interest of logic is in its relationships with philosophy, mathematics, artificial intelligence, computer science and linguistics. Apart from logic, also the theory of social choice belongs to his research interests.

Video

Table of contents (10 chapters)

  • Logic; a First Impression

    de Swart, H. C. M. (Harrie)

    Pages 1-20

  • Propositional Logic

    de Swart, H. C. M. (Harrie)

    Pages 21-128

  • Sets: finite and infinite

    de Swart, H. C. M. (Harrie)

    Pages 129-180

  • Predicate Logic

    de Swart, H. C. M. (Harrie)

    Pages 181-260

  • Arithmetic: Gödel’s Incompleteness Theorems

    de Swart, H. C. M. (Harrie)

    Pages 261-276

Buy this book

eBook $39.99
price for USA in USD (gross)
  • ISBN 978-3-030-03255-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $49.99
price for USA in USD
  • ISBN 978-3-030-03253-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Philosophical and Mathematical Logic
Authors
Series Title
Springer Undergraduate Texts in Philosophy
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-03255-5
DOI
10.1007/978-3-030-03255-5
Hardcover ISBN
978-3-030-03253-1
Series ISSN
2569-8737
Edition Number
1
Number of Pages
XX, 539
Topics