Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Core Logic (Hardcover)
Loot Price: R2,519
Discovery Miles 25 190
|
|
Core Logic (Hardcover)
Expected to ship within 12 - 19 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.