Tracking Reason: Proof, Consequence, and Truth

Ordinary people grasp when they take something to follow (deductively) from something else. This is the backbone of our self-ascribed ability to reason. This book investigates the connection between that ordinary notion and formal analogues developed by logicians. Despite our apparent grasp of consequence, we have no introspective insight into the rule by which we reason, nor their scope and limits.