019518713X (acid-free paper)
IR
EN-53205
انگلیسی
IR
Tracking reason :
[Book]
:proof, consequence, and truth
/ Jody Azzouni
Oxford ; New York
: Oxford University Press,
, 2006.
vi, 248 p. , 25 cm.
Electronic
Includes bibliographical references (p. 231-238) and index.
"Ordinary people - mathematicians among them - grasp when they take something to follow (deductively) from something ease. 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. One crucial claim of the book is that, despite our apparent intuitive grasp of when something follows from something else, we have no introspective access to the rules by which we reason, nor to the scope and range of the domain, as it were, of our reasoning. The point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof."--BOOK JACKET.
1. Truth and truth conditions -- 2. The transcendence of truth -- 3. Anaphorically unrestricted quantifiers -- 4. Regimentation and paradox -- 5. The inconsistency of natural languages -- 6. The uniqueness of mathematics as a social practice -- 7. The derivation-indicator view of mathematical practice -- 8. How to nominalize formalism -- 9. Semantics and the notion of consequence.
Proof theory
Logic, Symbolic and mathematical
E-BOOK
Azzouni, Jody.
ایران
019518713X.pdf
عادی
عادی
019518713X.pdf
متن
old catalog
e
BL
1
a
Y
