Items related to Core Logic
Synopsis
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 ensure that one can make deductive progress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes.
"synopsis" may belong to another edition of this title.
About the Author
Neil Tennant, Arts & Humanities Distinguished Professor of Philosophy, Ohio State University
Neil Tennant is Arts & 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, World, and Logic (Routledge 2015).
"About this title" may belong to another edition of this title.
Search results for Core Logic
Stock Image
Core Logic Format: Hardcover
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780198777892
Quantity: Over 20 available
Stock Image
Core Logic
Published by
Oxford University Press, Oxford, 2017
ISBN 10: 0198777892
ISBN 13: 9780198777892
Used
Hardcover
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. Hardcover with unclipped dust jacket in very good condition. Creasing to the jacket edges, and large crease to the rear of the jacket towards the lower edge and the inner flap. Boards, pages and text are clear and unmarked throughout. LW. Used. Seller Inventory # 536525
Quantity: 1 available
Seller Image
Core Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 28532418-n
Quantity: 18 available
Stock Image
Core Logic
Seller: Asano Bookshop, Nagoya, AICHI, Japan
Seller rating 5 out of 5 stars
Condition: Brand New. 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. Seller Inventory # b41741
Quantity: 1 available
Stock Image
Core Logic
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780198777892
Quantity: 15 available
Seller Image
Core Logic
Published by
Oxford University Press, 2017
ISBN 10: 0198777892
ISBN 13: 9780198777892
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 28532418
Quantity: 18 available
Stock Image
Core Logic (eng)
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 221897169978ab8d382f09a115ae1305
Quantity: 17 available
Stock Image
Core Logic
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FU-9780198777892
Quantity: 15 available
Seller Image
Core Logic (Hardcover)
Published by
Oxford University Press, Oxford, 2017
ISBN 10: 0198777892
ISBN 13: 9780198777892
New
Hardcover
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 counterintuitiveirrelevancies. 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 allmathematical and scientific reasoning. They are also the first systems to ensure that one can make deductive progress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for theautomation of deduction and our appreciation of the paradoxes. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780198777892
Quantity: 1 available
Stock Image
Core Logic
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 357 pages. 9.75x7.00x1.00 inches. In Stock. Seller Inventory # __0198777892
Quantity: 1 available