The Evolution of Logic

The Evolution of Logic

Author: W. D. Hart

Publisher: Cambridge University Press

Published: 2010-08-23

Total Pages:

ISBN-13: 1139491202

DOWNLOAD EBOOK

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.


The History of Philosophical and Formal Logic

The History of Philosophical and Formal Logic

Author: Alex Malpass

Publisher: Bloomsbury Publishing

Published: 2017-06-29

Total Pages: 333

ISBN-13: 1472507177

DOWNLOAD EBOOK

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages (Aristotle and The Stoics) The early modern period (Bolzano, Boole) High modern period (Frege, Peano & Russell and Hilbert) Early 20th century (Godel and Tarski) Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments in the context of contemporary debates. To support independent study, comprehensive lists of primary and secondary reading are included at the end of chapters, along with exercises and discussion questions. By clearly presenting and explaining the changes to logic across the history of philosophy, The History of Philosophical and Formal Logic constructs an easy-to-follow narrative. This is an ideal starting point for students looking to understand the historical development of logic.


If A, Then B

If A, Then B

Author: Michael Shenefelt

Publisher: Columbia University Press

Published: 2013-06-11

Total Pages: 352

ISBN-13: 0231161050

DOWNLOAD EBOOK

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.


Games for Your Mind

Games for Your Mind

Author: Jason Rosenhouse

Publisher: Princeton University Press

Published: 2020-11-24

Total Pages: 348

ISBN-13: 0691200343

DOWNLOAD EBOOK

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreation Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share deep foundations in mathematical logic and are worthy of serious intellectual inquiry. Games for Your Mind explores the history and future of logic puzzles while enabling you to test your skill against a variety of puzzles yourself. In this informative and entertaining book, Jason Rosenhouse begins by introducing readers to logic and logic puzzles and goes on to reveal the rich history of these puzzles. He shows how Carroll's puzzles presented Aristotelian logic as a game for children, yet also informed his scholarly work on logic. He reveals how another pioneer of logic puzzles, Raymond Smullyan, drew on classic puzzles about liars and truthtellers to illustrate Kurt Gödel's theorems and illuminate profound questions in mathematical logic. Rosenhouse then presents a new vision for the future of logic puzzles based on nonclassical logic, which is used today in computer science and automated reasoning to manipulate large and sometimes contradictory sets of data. Featuring a wealth of sample puzzles ranging from simple to extremely challenging, this lively and engaging book brings together many of the most ingenious puzzles ever devised, including the "Hardest Logic Puzzle Ever," metapuzzles, paradoxes, and the logic puzzles in detective stories.


The Development of Modern Logic

The Development of Modern Logic

Author: Leila Haaparanta

Publisher: OUP USA

Published: 2009-06-18

Total Pages: 1005

ISBN-13: 0195137310

DOWNLOAD EBOOK

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.


The Development of Logic

The Development of Logic

Author: William Calvert Kneale

Publisher:

Published: 1978

Total Pages: 783

ISBN-13:

DOWNLOAD EBOOK

This book traces the development of formal logic from its origins in ancient Greece to the present day. The authors first discuss the work of logicians from Aristotle to Frege, showing how they were influenced by the philosophical or mathematical ideas of their time.


The Logic of the History of Ideas

The Logic of the History of Ideas

Author: Mark Bevir

Publisher: Cambridge University Press

Published: 2002-06-20

Total Pages: 356

ISBN-13: 9780521016841

DOWNLOAD EBOOK

Human cultures generate meanings, and the history of ideas, broadly conceived, is the study of these meanings. An adequate theory of culture must therefore rest on a suitable philosophical enquiry into the nature of the history of ideas. Mark Bevir's book explores the forms of reasoning appropriate to the history of ideas, enhancing our understanding by grappling with central questions such as: What is a meaning? What constitutes objective knowledge of the past? What are beliefs and traditions? How can we explain why people held the beliefs they did? The book ranges widely over issues and theorists associated with post-analytic philosophy, post-modernism, hermeneutics, literary theory, political thought, and social theory.


Perspectives on the History of Mathematical Logic

Perspectives on the History of Mathematical Logic

Author: Thomas Drucker

Publisher: Springer Science & Business Media

Published: 2009-05-21

Total Pages: 218

ISBN-13: 0817647694

DOWNLOAD EBOOK

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.


A History of Indian Logic

A History of Indian Logic

Author: Satis Chandra Vidyabhusana

Publisher: Motilal Banarsidass Publishe

Published: 1988

Total Pages: 698

ISBN-13: 9788120805651

DOWNLOAD EBOOK

The author has in this work clearly marked the principal stages of Indian logic in the vast period of about two thousand years beginning from 640 and has traced how from Anviksiki the science of debate Indian logic developed into the science of knowledge Pramanasastra and then into the science of dialectics Prakarana of Tarkasastra.The treatment of the subject is both historical and critical. The author has traced some Greek influence on indian logic. For instance he has shown how the five membered syllogism of Aristotle found its way through Alexandria Syria and other countries into Taxila and got amalgamated with the Nyaya doctrine of inference.The book is one of the pioneer works on the subjects. It has drawn on original sources exhaustively. Besides the preface introduction, foreword and table of contents the work contains several appendices and indexes.