Chapter

The Deductive System

Charles S. Chihara

in Constructibility and Mathematical Existence

Published in print June 1991 | ISBN: 9780198239758
Published online November 2003 | e-ISBN: 9780191597190 | DOI: http://dx.doi.org/10.1093/0198239750.003.0004

Series: Clarendon Paperbacks

 The Deductive System

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.

Keywords: Constructibility Theory

Chapter.  9624 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.