Stock image for illustration purposes only - book cover, edition or condition may vary.
Description for Core Logic
Hardcover. Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning. Num Pages: 360 pages. BIC Classification: CFG; HPL; PBCD. Category: (G) General (US: Trade). Dimension: 246 x 171. .
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitive irrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ... Read more
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitive irrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ... Read more
Product Details
Publisher
Oxford University Press
Format
Hardback
Publication date
2017
Condition
New
Weight
28g
Number of Pages
384
Place of Publication
Oxford, United Kingdom
ISBN
9780198777892
SKU
V9780198777892
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-27
About Neil Tennant
Neil Tennant isArts & Humanities Distinguished Professor of Philosophy and Distinguished University Scholar at the Ohio State University. He has taught at the Universities of Edinburgh and Stirling and at the Australian National University. His books include Anti-Realism and Logic (OUP 1987), The Taming of the True (OUP 1997), Changes of Mind (OUP 2012), and Introducing Philosophy: God, Mind, ... Read more
Reviews for Core Logic
Although the author's approach is purely logical and philosophical, rather than mathematical, it seems likely that the book would be extremely interesting to mathematicians specializing in logic and the foundations of mathematics. Due to the author's clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and philosophers. Students with a basic understanding of ... Read more