Tracking reason : proof, consequence, and truth
Azzouni, Jody · Oxford New York : Oxford University Press, 2006
- Nhà xuất bản
- Oxford New York : Oxford University Press, 2006
- Mô tả vật lý
- 248 trang
- ISBN
- 019518713X (acid-free paper)
- Phân loại Dewey
- 511.36
- Ngôn ngữ
- Tiếng Anh
Tóm tắt nội dung
"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
Bản điện tử
Thông tin biên mục
| Thông tin | Chi tiết |
|---|---|
| 001Số kiểm soát | 19969 |
| 003Mã cơ quan gán số kiểm soát | OCoLC |
| 005Ngày và thời gian giao dịch lần cuối với biểu ghi | 23/01/2006 · 02:14 |
| 008Các yếu tố dữ liệu có độ dài cố định | 060123s2006 enk 001 0 eng |
| 010Số kiểm soát của thư viện quốc hội hoa kỳ | 2005040565 |
| 015Số thư mục quốc gia | GBA581534 bnb |
| 020Số sách chuẩn quốc tế ISBN | 019518713X (acid-free paper) |
| 041Mã ngôn ngữ | eng |
| 042Mã xác thực | pcc |
| 050Ký hiệu xếp giá theo phân loại thư viện quốc hội hoa kỳ | QA9.54 .A99 2006 |
| 082Ký hiệu xếp giá theo phân loại thập phân dewey | 511.36 22 |
| 100Tiêu đề chính - Tên cá nhân | Azzouni, Jody. |
| 245Nhan đề chính | Tracking reason : proof, consequence, and truth / Jody Azzouni. |
| 260Địa chỉ xuất bản, phát hành... (in ấn) | Oxford ; New York : Oxford University Press, 2006 |
| 300Mô tả vật lý | vi, 248 p. ; 25 cm. |
| 504Phụ chú thư mục v.v... | Includes bibliographical references (p. 231-238) and index. |
| 520Tóm tắt/chú giải | "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. |
| 650Tiêu đề bổ sung chủ đề - thuật ngữ chủ đề |
|
| 999Bộ sưu tập | Tài liệu Download |
=001 19969=003 OCoLC=005 20060123021438.0=008 060123s2006 enk 001 0 eng=010 ##$a2005040565=015 ##$aGBA581534 $2bnb=020 ##$a019518713X (acid-free paper)=041 0#$aeng=042 ##$apcc=050 00$aQA9.54 $b.A99 2006=082 00$a511.36 $222=092 ##$a511.36 $bA9=100 1#$aAzzouni, Jody.=245 10$aTracking reason : $bproof, consequence, and truth / $cJody Azzouni.=260 ##$aOxford ; $aNew York : $bOxford University Press, $c2006=300 ##$avi, 248 p. ; $c25 cm.=504 ##$aIncludes bibliographical references (p. 231-238) and index.=520 1#$a"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.=650 #0$aLogic, Symbolic and mathematical.=650 #0$aProof theory.=970 11$l1 $tTruth and truth conditions $p13=970 11$l2 $tThe transcendence of truth $p37=970 11$l3 $tAnaphorically unrestricted quantifiers $p60=970 11$l4 $tRegimentation and paradox $p74=970 11$l5 $tThe inconsistency of natural languages $p92=970 11$l6 $tThe uniqueness of mathematics as a social practice $p123=970 11$l7 $tThe derivation-indicator view of mathematical practice $p140=970 11$l8 $tHow to nominalize formalism $p168=970 11$l9 $tSemantics and the notion of consequence $p194=LDR 02144cam a22004094a 4500

