Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Bøger
Bestsellers
Kommer snart
Nyheder
Spil og hobby
Kurv
  1. Bog
  2. Emner i filosofi
  3. Filosofi: logik

Core Logic

Af: Neil Tennant Engelsk Hardback

Core Logic

Af: Neil Tennant Engelsk Hardback
Tjek vores konkurrenters priser
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.
Vis mere
Tjek vores konkurrenters priser
Normalpris
kr 764
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
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.
Vis mere
Se mere i:
Produktdetaljer
Sprog: Engelsk
Sider: 376
ISBN-13: 9780198777892
Indbinding: Hardback
Udgave:
ISBN-10: 0198777892
Kategori: Filosofi: logik
Udg. Dato: 7 sep 2017
Længde: 34mm
Bredde: 266mm
Højde: 452mm
Forlag: Oxford University Press
Oplagsdato: 7 sep 2017
Forfatter(e): Neil Tennant
Forfatter(e) Neil Tennant

Kategori Filosofi: logik

ISBN-13 9780198777892

Sprog Engelsk

Indbinding Hardback

Sider 376

Udgave

Længde 34mm

Bredde 266mm

Højde 452mm

Udg. Dato 7 sep 2017

Oplagsdato 7 sep 2017

Forlag Oxford University Press