EBOOK Tracking Reason Proof, Consequence, and Truth
Opis
Ordinary people - mathematicians among them - 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 of consequence and the formal analogues developed by logicians.