Jump to ContentJump to Main Navigation
Constructibility and Mathematical Existence$
Users without a subscription are not able to see the full content.

Charles S. Chihara

Print publication date: 1991

Print ISBN-13: 9780198239758

Published to Oxford Scholarship Online: November 2003

DOI: 10.1093/0198239750.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2018. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see http://www.oxfordscholarship.com/page/privacy-policy).date: 17 July 2018

The Constructibility Quantifiers

The Constructibility Quantifiers

Chapter:
(p.24) 2 The Constructibility Quantifiers
Source:
Constructibility and Mathematical Existence
Author(s):

Charles S. Chihara (Contributor Webpage)

Publisher:
Oxford University Press
DOI:10.1093/0198239750.003.0002

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

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .