skip to content
Constructibility and mathematical existence Preview this item
ClosePreview this item
Checking...

Constructibility and mathematical existence

Author: Charles S Chihara
Publisher: Oxford : Clarendon Press ; New York : Oxford University Press, 1990.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Chihara, Charles S., 1932-
Constructibility and mathematical existence.
Oxford : Clarendon Press ; New York : Oxford University Press, 1990
(OCoLC)622240381
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Charles S Chihara
ISBN: 0198248172 9780198248170 0198239750 9780198239758
OCLC Number: 20132227
Description: xv, 282 pages : illustrations ; 23 cm
Contents: I. The constructibility theory. 1. The problem of existence in mathematics. 2. The constructibility quantifiers. 3. Constructiblity and open-sentences. 4. The deductive system. 5. Cardinality and number theory. 6. Measurable quantities and analysis --
II. Philosophical developments. 7. Mathematical structuralism. 8. Science without numbers. 9. Why Burgess is a moderate realist. 10. Maddy's solution to the problem of reference. 11. Kitcher's ideal agents. 12. Deflationism and mathematical truth.
Responsibility: Charles S. Chihara.
More information:

Abstract:

Concerned with the problem of existence in mathematics, this volume develops a mathematical system in which there are no existence assertions but only assertions of constructibility. It explores the  Read more...

Reviews

Editorial reviews

Publisher Synopsis

'an important work in the philosophy of mathematics, well deserving of more careful study and analysis than there has been room for here'John P. Burgess, Princeton University, The Philosophical Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/20132227> # Constructibility and mathematical existence
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20132227" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/19611994#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/filosofia_da_matematica> ; # Filosofia da matemática
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/constructieve_wiskunde> ; # Constructieve wiskunde
   schema:about <http://id.worldcat.org/fast/876172> ; # Constructive mathematics
   schema:about <http://dewey.info/class/511/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/matematica_construtiva> ; # Matemática construtiva
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/logica_matematica> ; # Lógica matemática
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/mathematiques_constructives> ; # Mathématiques constructives
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/ontologie_filosofie> ; # Ontologie (filosofie)
   schema:about <http://experiment.worldcat.org/entity/work/data/19611994#Topic/filosofie> ; # Filosofie
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/27227299> ; # Charles S. Chihara
   schema:datePublished "1990" ;
   schema:description ""Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science"--Publisher's description."@en ;
   schema:description "I. The constructibility theory. 1. The problem of existence in mathematics. 2. The constructibility quantifiers. 3. Constructiblity and open-sentences. 4. The deductive system. 5. Cardinality and number theory. 6. Measurable quantities and analysis -- II. Philosophical developments. 7. Mathematical structuralism. 8. Science without numbers. 9. Why Burgess is a moderate realist. 10. Maddy's solution to the problem of reference. 11. Kitcher's ideal agents. 12. Deflationism and mathematical truth."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/19611994> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/622240381> ;
   schema:name "Constructibility and mathematical existence"@en ;
   schema:productID "20132227" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20132227#PublicationEvent/oxford_clarendon_press_new_york_oxford_university_press_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/19611994#Agent/oxford_university_press> ; # Oxford University Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/19611994#Agent/clarendon_press> ; # Clarendon Press
   schema:url <http://www.gbv.de/dms/hbz/toc/ht003425401.pdf> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1908942&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9780198239758> ;
   schema:workExample <http://worldcat.org/isbn/9780198248170> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8909534> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9133516> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20132227> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/constructieve_wiskunde> # Constructieve wiskunde
    a schema:Intangible ;
   schema:name "Constructieve wiskunde"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/filosofia_da_matematica> # Filosofia da matemática
    a schema:Intangible ;
   schema:name "Filosofia da matemática"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/logica_matematica> # Lógica matemática
    a schema:Intangible ;
   schema:name "Lógica matemática"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/matematica_construtiva> # Matemática construtiva
    a schema:Intangible ;
   schema:name "Matemática construtiva"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/mathematiques_constructives> # Mathématiques constructives
    a schema:Intangible ;
   schema:name "Mathématiques constructives"@en ;
   schema:name "Mathématiques constructives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/mathematiques_philosophie> # Mathématiques--Philosophie
    a schema:Intangible ;
   schema:name "Mathématiques--Philosophie"@en ;
   schema:name "Mathématiques--Philosophie"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/19611994#Topic/ontologie_filosofie> # Ontologie (filosofie)
    a schema:Intangible ;
   schema:name "Ontologie (filosofie)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/876172> # Constructive mathematics
    a schema:Intangible ;
   schema:name "Constructive mathematics"@en ;
    .

<http://viaf.org/viaf/27227299> # Charles S. Chihara
    a schema:Person ;
   schema:birthDate "1932" ;
   schema:familyName "Chihara" ;
   schema:givenName "Charles S." ;
   schema:name "Charles S. Chihara" ;
    .

<http://worldcat.org/isbn/9780198239758>
    a schema:ProductModel ;
   schema:isbn "0198239750" ;
   schema:isbn "9780198239758" ;
    .

<http://worldcat.org/isbn/9780198248170>
    a schema:ProductModel ;
   schema:isbn "0198248172" ;
   schema:isbn "9780198248170" ;
    .

<http://www.worldcat.org/oclc/622240381>
    a schema:CreativeWork ;
   rdfs:label "Constructibility and mathematical existence." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20132227> ; # Constructibility and mathematical existence
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.