Author | : Dov M. Gabbay,John Woods |

Publisher | : North Holland |

Release Date | : 2004 |

ISBN 10 | : |

Pages | : 1056 pages |

In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.

Author | : Dov M. Gabbay,John Hayden Woods |

Publisher | : N.A |

Release Date | : 2004 |

ISBN 10 | : |

Pages | : 329 pages |

Author | : Dov M. Gabbay,John Woods |

Publisher | : Elsevier |

Release Date | : 2009-06-16 |

ISBN 10 | : 0080885470 |

Pages | : 1068 pages |

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. • The entire range of modal logic is covered • Serves as a singular contribution to the intellectual history of the 20th century • Contains the latest scholarly discoveries and interpretative insights

Author | : Alonzo Church |

Publisher | : N.A |

Release Date | : 1965 |

ISBN 10 | : |

Pages | : 329 pages |

Author | : Alfred North Whitehead,Bertrand Russell |

Publisher | : Cambridge University Press |

Release Date | : 1997-09-11 |

ISBN 10 | : 0521626064 |

Pages | : 410 pages |

This abridged text of the most famous work ever written on the foundations of mathematics contains material that is most relevant to an introductory study of logic and the philosophy of mathematics.

Author | : Paul C. Rosenbloom |

Publisher | : Courier Dover Publications |

Release Date | : 2005 |

ISBN 10 | : 9780486446172 |

Pages | : 214 pages |

This introduction to mathematical logic stresses the use of logical methods in attacking nontrivial problems. It covers the logic of classes, of propositions, of propositional functions, and the general syntax of language, with a brief introduction to so-called undecidability and incompleteness theorems; and much more. 1950 edition.

Author | : I. Grattan-Guinness |

Publisher | : Princeton University Press |

Release Date | : 2011-02-11 |

ISBN 10 | : 9781400824045 |

Pages | : 624 pages |

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content, and impact of the mathematical logic and philosophy of mathematics that Russell developed with A. N. Whitehead in their Principia mathematica (1910-1913). ? This definitive history of a critical period in mathematics includes detailed accounts of the two principal influences upon Russell around 1900: the set theory of Cantor and the mathematical logic of Peano and his followers. Substantial surveys are provided of many related topics and figures of the late nineteenth century: the foundations of mathematical analysis under Weierstrass; the creation of algebraic logic by De Morgan, Boole, Peirce, Schröder, and Jevons; the contributions of Dedekind and Frege; the phenomenology of Husserl; and the proof theory of Hilbert. The many-sided story of the reception is recorded up to 1940, including the rise of logic in Poland and the impact on Vienna Circle philosophers Carnap and Gödel. A strong American theme runs though the story, beginning with the mathematician E. H. Moore and the philosopher Josiah Royce, and stretching through the emergence of Church and Quine, and the 1930s immigration of Carnap and GödeI. Grattan-Guinness draws on around fifty manuscript collections, including the Russell Archives, as well as many original reviews. The bibliography comprises around 1,900 items, bringing to light a wealth of primary materials. Written for mathematicians, logicians, historians, and philosophers--especially those interested in the historical interaction between these disciplines--this authoritative account tells an important story from its most neglected point of view. Whitehead and Russell hoped to show that (much of) mathematics was expressible within their logic; they failed in various ways, but no definitive alternative position emerged then or since.

Author | : Dov M. Gabbay,John Woods |

Publisher | : Elsevier |

Release Date | : 2004-03-08 |

ISBN 10 | : 9780080532875 |

Pages | : 780 pages |

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

Author | : A. D. Irvine |

Publisher | : Psychology Press |

Release Date | : 1998 |

ISBN 10 | : 9780415130547 |

Pages | : 1320 pages |

This set offers the reader a way into the critical writings on Russell's work on Logic, Mathematics, Language, Knowledge, the World, History of Philosophy, Ethics, Education, Religion and Politics, and on his life and influence.

Author | : Kevin C. Klement |

Publisher | : Routledge |

Release Date | : 2017-09-25 |

ISBN 10 | : 1136710922 |

Pages | : 272 pages |

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

Author | : N.A |

Publisher | : Universal-Publishers |

Release Date | : |

ISBN 10 | : 1612339514 |

Pages | : 329 pages |

Author | : William THORPE (D.D.) |

Publisher | : N.A |

Release Date | : 1850 |

ISBN 10 | : |

Pages | : 32 pages |