00773nam0 2200265 450 00001159220180618144141.020080521d1942----km-y0itay50------baengUSy-------001yyMicrowave transmissionby J. C. SlaterNew York [etc.]McGraw Hill1942X, 309 p.24 cmInternational series in physics2001International series in physicsElettromagnetismoMicroonde621.38119Slater,John C.17883ITUNIPARTHENOPE20080521RICAUNIMARC000011592621.381/12913399PISTMicrowave transmission1204314UNIPARTHENOPE03894nam 22005295 450 991030062300332120200630020149.03-030-03255-810.1007/978-3-030-03255-5(CKB)4100000007181253(DE-He213)978-3-030-03255-5(MiAaPQ)EBC6314108(EXLCZ)99410000000718125320181128d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierPhilosophical and Mathematical Logic /by Harrie de Swart1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XX, 539 p.) Springer Undergraduate Texts in Philosophy,2569-87373-030-03253-1 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.Springer Undergraduate Texts in Philosophy,2569-8737Knowledge, Theory ofLogic, Symbolic and mathematicalEpistemologyhttps://scigraph.springernature.com/ontologies/product-market-codes/E13000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Knowledge, Theory of.Logic, Symbolic and mathematical.Epistemology.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.511.3de Swart Harrieauthttp://id.loc.gov/vocabulary/relators/aut932891MiAaPQMiAaPQMiAaPQBOOK9910300623003321Philosophical and Mathematical Logic2099715UNINA