Coverart for item
The Resource Tracking reason : proof, consequence, and truth, Jody Azzouni

Tracking reason : proof, consequence, and truth, Jody Azzouni

Label
Tracking reason : proof, consequence, and truth
Title
Tracking reason
Title remainder
proof, consequence, and truth
Statement of responsibility
Jody Azzouni
Creator
Subject
Language
eng
Summary
"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
Cataloging source
DLC
http://library.link/vocab/creatorName
Azzouni, Jody
Index
index present
LC call number
QA9.54
LC item number
.A99 2006
Literary form
non fiction
http://library.link/vocab/subjectName
  • Proof theory
  • Logic, symbolic and mathematical
Label
Tracking reason : proof, consequence, and truth, Jody Azzouni
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 231-238) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 1.
  • Truth and truth conditions.
  • p. 13
  • 2.
  • transcendence of truth.
  • p. 37
  • 3.
  • Anaphorically unrestricted quantifiers.
  • p. 60
  • 4.
  • Regimentation and paradox.
  • p. 74
  • 5.
  • inconsistency of natural languages.
  • p. 92
  • 6.
  • uniqueness of mathematics as a social practice.
  • p. 123
  • 7.
  • derivation-indicator view of mathematical practice.
  • p. 140
  • 8.
  • How to nominalize formalism.
  • p. 168
  • 9.
  • Semantics and the notion of consequence.
  • p. 194
Control code
ocm57893497
Dimensions
24 cm.
Extent
vi, 248 p.
Isbn
9780195370690
Lccn
2005040565
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Label
Tracking reason : proof, consequence, and truth, Jody Azzouni
Publication
Bibliography note
Includes bibliographical references (p. 231-238) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 1.
  • Truth and truth conditions.
  • p. 13
  • 2.
  • transcendence of truth.
  • p. 37
  • 3.
  • Anaphorically unrestricted quantifiers.
  • p. 60
  • 4.
  • Regimentation and paradox.
  • p. 74
  • 5.
  • inconsistency of natural languages.
  • p. 92
  • 6.
  • uniqueness of mathematics as a social practice.
  • p. 123
  • 7.
  • derivation-indicator view of mathematical practice.
  • p. 140
  • 8.
  • How to nominalize formalism.
  • p. 168
  • 9.
  • Semantics and the notion of consequence.
  • p. 194
Control code
ocm57893497
Dimensions
24 cm.
Extent
vi, 248 p.
Isbn
9780195370690
Lccn
2005040565
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n

Library Locations

    • Sydney Jones LibraryBorrow it
      Chatham Street, Liverpool, L7 7BD, GB
      53.403069 -2.963723
Processing Feedback ...