Chapter

The Constructibility Quantifiers

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.0002

Series: Clarendon Paperbacks

 The Constructibility Quantifiers

Show Summary Details

Preview

Sketches the basic idea for the approach taken. A mathematical system is to be developed in which the existential theorems of traditional mathematics are to be replaced by constructibility theorems: where, in traditional mathematics, it is asserted that such and such exists, it will be asserted in this system that something or other can be constructed. Thus, constructibility quantifiers are introduced in this chapter as logical constants of formal systems. The logic of the constructibility quantifier is explained in each case via possible worlds semantics, which is used as a didactic or heuristic device.

Keywords: constructibility quantifier; mathematical existence; possible worlds semantics

Chapter.  6021 words.  Illustrated.

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.