國立虎尾科技大學 |

Philosophical and Mathematical Logic

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Philosophical and Mathematical Logic/ by Harrie de Swart.
作者:	de Swart, Harrie.
面頁冊數:	XX, 539 p.online resource. :
Contained By:	Springer Nature eBook
標題:	Epistemology. -
電子資源:	https://doi.org/10.1007/978-3-030-03255-5
ISBN:	9783030032555

Philosophical and Mathematical Logic
de Swart, Harrie.

Philosophical and Mathematical Logic[electronic resource] /by Harrie de Swart. - 1st ed. 2018. - XX, 539 p.online resource. - Springer Undergraduate Texts in Philosophy,2569-8737. - Springer Undergraduate Texts in Philosophy,.

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.

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.

ISBN: 9783030032555

Standard No.: 10.1007/978-3-030-03255-5doiSubjects--Topical Terms:

671538
Epistemology.

LC Class. No.: BD143-237

Dewey Class. No.: 120

Philosophical and Mathematical Logic
LDR:03276nam a22003975i 4500 001 990330
003 DE-He213
005 20200630020149.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783030032555 $9 978-3-030-03255-5
024 7 $a 10.1007/978-3-030-03255-5 $2 doi
035 $a 978-3-030-03255-5
050 4 $a BD143-237
072 7 $a HPK $2 bicssc
072 7 $a PHI004000 $2 bisacsh
072 7 $a QDTK $2 thema
082 0 4 $a 120 $2 23
100 1 $a de Swart, Harrie. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1282047
245 1 0 $a Philosophical and Mathematical Logic $h [electronic resource] / $c by Harrie de Swart.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XX, 539 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Springer Undergraduate Texts in Philosophy, $x 2569-8737
505 0 $a 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.
520 $a 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.
650 0 $a Epistemology. $3 671538
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030032531
776 0 8 $i Printed edition: $z 9783030032548
830 0 $a Springer Undergraduate Texts in Philosophy, $x 2569-8737 $3 1267574
856 4 0 $u https://doi.org/10.1007/978-3-030-03255-5
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)