Chihara, Charles S.
Professor of Philosophy, University of California, Berkeley
Print publication date: 1991 (this edition)
Published to Oxford Scholarship Online:
Print ISBN-13: 978-0-19-823975-8
doi:10.1093/0198239750.003.0004
Published to Oxford Scholarship Online:
Print ISBN-13: 978-0-19-823975-8
doi:10.1093/0198239750.003.0004
4 The Deductive System
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
Keywords: Constructibility Theory
doi:10.1093/0198239750.003.0004
Citation Export