Tracking Reason

Author: Jody Azzouni
Publisher: Oxford University Press on Demand
ISBN: 019518713X
Format: PDF, ePub, Docs
Download Now
When ordinary people including mathematicians, take something to follow from something else, they are exposing the backbone of our ability to reason. Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians.

Logic and Knowledge

Author: Carlo Cellucci
Publisher: Cambridge Scholars Pub
Format: PDF, Kindle
Download Now
The problematic relation between logic and knowledge has given rise to some of the most important works in the history of philosophy, from Books VIVII of Platos Republic and Aristotles Prior and Posterior Analytics, to Kants Critique of Pure Reason and Mills A System of Logic, Ratiocinative and Inductive. It provides the title of an important collection of papers by Bertrand Russell (Logic and Knowledge. Essays, 19011950). However, it has remained an underdeveloped theme in the last century, because logic has been treated as separate from knowledge. This book does not hope to make up for a century-long absence of discussion. Rather, its ambition is to call attention to the theme and stimulating renewed reflection upon it. The book collects essays of leading figures in the field and it addresses the theme as a topic of current debate, or as a historical case study, or when appropriate as both. Each essay is followed by the comments of a younger discussant, in an attempt to transform what might otherwise appear as a monologue into an ongoing dialogue; each section begins with an historical essay and ends with an essay by one of the editors.

Mechanizing Proof

Author: Donald MacKenzie
Publisher: MIT Press
ISBN: 9780262632959
Format: PDF, Mobi
Download Now
A sociological approach to the history of proof, as applied to and performed by computer systems.