یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
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
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )