Overview

Full Product Details

9781575869513

Table of Contents

Reviews

Traditional systems of formal logic would have us believe that good reasoning is being good at some sort of game of abstract symbol manipulation. Not so for <i>Hyperproof</i>. <i>Hyperproof</i> not only makes logic symbols come alive by relating them to actual concrete content, but also demonstrates the power and reality of multi-representational human reasoning. --Bram Van Heuveln, Rensselaer Polytechnic Institute

Traditional systems of formal logic would have us believe that good reasoning is being good at some sort of game of abstract symbol manipulation. Not so for Hyperproof. Hyperproof not only makes logic symbols come alive by relating them to actual concrete content, but also demonstrates the power and reality of multi-representational human reasoning. --Bram Van Heuveln, Rensselaer Polytechnic Institute

""Traditional systems of formal logic would have us believe that good reasoning is being good at some sort of game of abstract symbol manipulation. Not so for Hyperproof. Hyperproof not only makes logic symbols come alive by relating them to actual concrete content, but also demonstrates the power and reality of multi-representational human reasoning.""--Bram Van Heuveln, Rensselaer Polytechnic Institute

Author Information

Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI). Jon Barwise (1942 2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of CSLI. John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of CSLI.

Tab Content 6

Countries Available