Cantitate/Preț
Produs
Total produse
Vezi coșul
Philosophical and Mathematical Logic de Harrie de Swart

Philosophical and Mathematical Logic: Springer Undergraduate Texts in Philosophy

Autor Harrie de Swart
en Limba Engleză Hardback – 10 dec 2018
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
Citește tot Restrânge

Din seria Springer Undergraduate Texts in Philosophy

  • 15% Philosophy of Science for Scientists
    Preț: 45856 lei
  • 15% The Nature of Scientific Knowledge: An Explanatory Approach
    Preț: 49088 lei
  • 15% Introduction to Formal Philosophy
    Preț: 70517 lei
  • LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
    Preț: 40616 lei

Preț: 32033 lei

Nou

Puncte Express: 480
Preț estimativ în valută:
6131€ • 6468$ • 5109£

Carte disponibilă

Livrare economică 13-27 decembrie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030032531
ISBN-10: 3030032531
Pagini: 16
Ilustrații: XX, 539 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.95 kg
Ediția:1st ed. 2018
Editura: Springer International Publishing
Colecția Springer
Seria Springer Undergraduate Texts in Philosophy

Locul publicării:Cham, Switzerland

Cuprins

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.

Recenzii

“The book can be recommended not only to students and teachers of mathematic and philosophy, but also to a wider circle of readers interested in all aspects of applications of modern symbolic logic in linguistic, computer science, and philosophy and methodology of science.” (Branislav Boričić, zbMATH 1446.03001, 2020)

“The book is very well-written and obviously includes some very serious mathematical logic … . For the reader for whom this subject, or these subjects with their particular philosophical connections, is (are) candy … this book is a wonderful source indeed.” (Michael Berg, MAA Reviews, July 21, 2019)

Notă biografică

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.

Textul de pe ultima copertă

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.

Caracteristici

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