The Development of Modern Logic PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download The Development of Modern Logic PDF full book. Access full book title The Development of Modern Logic by Leila Haaparanta. Download full books in PDF and EPUB format.
Author: Leila Haaparanta
Publisher: OUP USA
ISBN: 0195137310
Category : Philosophy
Languages : en
Pages : 1005
Get Book Here
Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Author: Leila Haaparanta
Publisher: OUP USA
ISBN: 0195137310
Category : Philosophy
Languages : en
Pages : 1005
Get Book Here
Book Description
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Author: W. D. Hart
Publisher: Cambridge University Press
ISBN: 1139491202
Category : Philosophy
Languages : en
Pages :
Get Book Here
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.
Author: Thomas Drucker
Publisher: Springer Science & Business Media
ISBN: 0817647694
Category : Mathematics
Languages : en
Pages : 218
Get Book Here
Book Description
This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical Society meeting, the chapters explore technical innovations, the philosophical consequences of work during the period, and the historical and social context in which the logicians worked. The discussions herein will appeal to mathematical logicians and historians of mathematics, as well as philosophers and historians of science.
Author: Howard DeLong
Publisher: Courier Corporation
ISBN: 0486139158
Category : Mathematics
Languages : en
Pages : 322
Get Book Here
Book Description
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.
Author: Michael Shenefelt
Publisher: Columbia University Press
ISBN: 0231161050
Category : Philosophy
Languages : en
Pages : 352
Get Book Here
Book Description
While logical principles seem timeless, placeless, and eternal, their discovery is a story of personal accidents, political tragedies, and broad social change. If A, Then B begins with logic's emergence twenty-three centuries ago and tracks its expansion as a discipline ever since. It explores where our sense of logic comes from and what it really is a sense of. It also explains what drove human beings to start studying logic in the first place. Logic is more than the work of logicians alone. Its discoveries have survived only because logicians have also been able to find a willing audience, and audiences are a consequence of social forces affecting large numbers of people, quite apart from individual will. This study therefore treats politics, economics, technology, and geography as fundamental factors in generating an audience for logic--grounding the discipline's abstract principles in a compelling material narrative. The authors explain the turbulent times of the enigmatic Aristotle, the ancient Stoic Chrysippus, the medieval theologian Peter Abelard, and the modern thinkers René Descartes, David Hume, Jeremy Bentham, George Boole, Augustus De Morgan, John Stuart Mill, Gottlob Frege, Bertrand Russell, and Alan Turing. Examining a variety of mysteries, such as why so many branches of logic (syllogistic, Stoic, inductive, and symbolic) have arisen only in particular places and periods, If A, Then B is the first book to situate the history of logic within the movements of a larger social world. If A, Then B is the 2013 Gold Medal winner of Foreword Reviews' IndieFab Book of the Year Award for Philosophy.
Author: Harrie de Swart
Publisher: Springer
ISBN: 3030032558
Category : Philosophy
Languages : en
Pages : 558
Get Book Here
Book Description
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
Author: Carlo Cellucci
Publisher: Springer Science & Business Media
ISBN: 9400760914
Category : Philosophy
Languages : en
Pages : 391
Get Book Here
Book Description
This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. trigger
Author: Ettore Carruccio
Publisher: Routledge
ISBN: 1351506617
Category : Mathematics
Languages : en
Pages : 400
Get Book Here
Book Description
This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought.
Author: Terence Parsons
Publisher:
ISBN: 0199688842
Category : History
Languages : en
Pages : 346
Get Book Here
Book Description
Studies the development and logical complexity of medieval logic, the expansion of Aristotle's notation by medieval logicians, and the development of additional logical principle--
Author: Jean van Heijenoort
Publisher: Harvard University Press
ISBN: 0674257243
Category : Philosophy
Languages : en
Pages : 684
Get Book Here
Book Description
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege’s Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. Frege’s book, translated in its entirety, begins the present volume. The emergence of two new fields, set theory and foundations of mathematics, on the borders of logic, mathematics, and philosophy, is depicted by the texts that follow. Peano and Dedekind illustrate the trend that led to Principia Mathematica. Burali-Forti, Cantor, Russell, Richard, and König mark the appearance of the modern paradoxes. Hilbert, Russell, and Zermelo show various ways of overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory. Skolem generalizes Löwenheim’s theorem, and he and Fraenkel amend Zermelo’s axiomatization of set theory, while von Neumann offers a somewhat different system. The controversy between Hubert and Brouwer during the twenties is presented in papers of theirs and in others by Weyl, Bernays, Ackermann, and Kolmogorov. The volume concludes with papers by Herbrand and by Gödel, including the latter’s famous incompleteness paper. Of the forty-five contributions here collected all but five are presented in extenso. Those not originally written in English have been translated with exemplary care and exactness; the translators are themselves mathematical logicians as well as skilled interpreters of sometimes obscure texts. Each paper is introduced by a note that sets it in perspective, explains its importance, and points out difficulties in interpretation. Editorial comments and footnotes are interpolated where needed, and an extensive bibliography is included.
