Cargando…
Constructibility and mathematical existence /
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 philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford Univ. Press,
©1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn340722421 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090522s1990 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d LGG |d IDEBK |d UBY |d E7B |d OCLCQ |d OCLCF |d OCLCE |d OCLCO |d NLGGC |d MEAUC |d BAKER |d TXI |d YDXCP |d OCLCQ |d STBDS |d AGLDB |d FIE |d COCUF |d LOA |d K6U |d STF |d OCLCQ |d VTS |d VT2 |d OCLCQ |d U3W |d WYU |d LVT |d YOU |d OCLCQ |d AU@ |d TKN |d SOI |d OCLCQ |d W2U |d CNTRU |d OCLCQ |d INARC |d UKCRE |d UCW |d EZ9 |d OCLCQ |d OCLCO |d DKU |d OCLCQ |d SFB |d OCLCQ |d BRX |d OCLCQ |d OCLCO | ||
| 019 | |a 63294539 |a 252540483 |a 622240381 |a 646805090 |a 680506984 |a 967267681 |a 978591207 |a 978890258 |a 1030817172 |a 1030833339 |a 1030899723 |a 1033539643 |a 1035656159 |a 1035710775 |a 1044937886 |a 1047950653 |a 1055367384 |a 1056496082 |a 1056500614 |a 1058498892 |a 1066679061 |a 1077945176 |a 1078114251 |a 1081132738 |a 1081187098 |a 1087243957 |a 1088465929 |a 1097092470 |a 1119005415 |a 1119114661 |a 1135603095 |a 1148602377 |a 1153552476 |a 1157988769 |a 1178724494 |a 1183916115 |a 1196344828 |a 1198082871 |a 1200115289 |a 1228556790 | ||
| 020 | |a 9780191520006 |q (electronic bk.) | ||
| 020 | |a 0191520004 |q (electronic bk.) | ||
| 020 | |a 9780191597190 | ||
| 020 | |a 0191597198 | ||
| 020 | |z 0198248172 |z 0198239750 | ||
| 020 | |z 9780198248170 | ||
| 020 | |z 9780198239758 |q (pbk.) | ||
| 029 | 1 | |a AU@ |b 000051576291 | |
| 029 | 1 | |a DEBBG |b BV043165230 | |
| 029 | 1 | |a DEBSZ |b 421995211 | |
| 029 | 1 | |a GBVCP |b 802849725 | |
| 029 | 1 | |a NZ1 |b 15852257 | |
| 035 | |a (OCoLC)340722421 |z (OCoLC)63294539 |z (OCoLC)252540483 |z (OCoLC)622240381 |z (OCoLC)646805090 |z (OCoLC)680506984 |z (OCoLC)967267681 |z (OCoLC)978591207 |z (OCoLC)978890258 |z (OCoLC)1030817172 |z (OCoLC)1030833339 |z (OCoLC)1030899723 |z (OCoLC)1033539643 |z (OCoLC)1035656159 |z (OCoLC)1035710775 |z (OCoLC)1044937886 |z (OCoLC)1047950653 |z (OCoLC)1055367384 |z (OCoLC)1056496082 |z (OCoLC)1056500614 |z (OCoLC)1058498892 |z (OCoLC)1066679061 |z (OCoLC)1077945176 |z (OCoLC)1078114251 |z (OCoLC)1081132738 |z (OCoLC)1081187098 |z (OCoLC)1087243957 |z (OCoLC)1088465929 |z (OCoLC)1097092470 |z (OCoLC)1119005415 |z (OCoLC)1119114661 |z (OCoLC)1135603095 |z (OCoLC)1148602377 |z (OCoLC)1153552476 |z (OCoLC)1157988769 |z (OCoLC)1178724494 |z (OCoLC)1183916115 |z (OCoLC)1196344828 |z (OCoLC)1198082871 |z (OCoLC)1200115289 |z (OCoLC)1228556790 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA8.4 |b .C45 1990eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 084 | |a 31.02 |2 bcl | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Chihara, Charles S., |d 1932- | |
| 245 | 1 | 0 | |a Constructibility and mathematical existence / |c Charles S. Chihara. |
| 260 | |a Oxford : |b Clarendon Press ; |a New York : |b Oxford Univ. Press, |c ©1990. | ||
| 300 | |a 1 online resource (xv, 282 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 504 | |a Includes bibliographical references (pages 273-278) and index. | ||
| 520 | 8 | |a 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 philosophical implications of such an approach in the writings of Field, Burgess, Maddy and Kitcher. | |
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 505 | 0 | |a Preface -- Acknowledgements -- Contents -- I: The Constructibility Theory -- 1. The Problem of Existence in Mathematics -- 1. The Philosophical Problem -- 2. Quine's Platonism -- 3. Gödel's Platonism -- 4. Heyting's Intuitionism -- 2. The Constructibility Quantifiers -- 1. Introduction -- 2. The Language L -- 3. The Language L* -- 4. Some Objections Considered -- 3. Constructibility and Open-Sentences -- 1. The Constructibility of Open-Sentences -- 2. A Simple Type Theory for Open-Sentences -- 3. A Comparison with a Predicative System -- 4. The Logical Space of Open-Sentences. | |
| 505 | 8 | |a 5. The Kinds of Open-Sentences to be Discussed -- 6. Quine's Objections to Modality -- 4. The Deductive System -- 1. The Language Lt -- 2. The Theory Ct -- 3. Objections to Type Theory -- 4. Objections to the Constructibility Theory -- 5. Cardinality and Number Theory -- 1. Formal Developments -- 2. Philosophical Amplifications -- 6. Measurable Quantities and Analysis -- 1. A Standard Development of Real Analysis -- 2. A Theory of Lengths -- 3. Geometrical Representations of Functions -- 4. Putnam's Case for Realism -- 5. Complex Analysis -- 6. Applications by Means of Structural Identity. | |
| 505 | 8 | |a II: Philosophical Developments -- 7. Mathematical Structuralism -- 1. Introduction -- 2. The Structuralist View of Applications -- 3. Resnik on the Nature of Structures -- 4. An Evaluation of Shapiro's Account of Mathematics -- 5. An Evaluation of Resnik's Account of Structures -- 8. Science without Numbers -- 1. Introduction to Field's Instrumentalism -- 2. The Conservation Theorem -- 3. Field's Cardinality Theory -- 4. Field's Nominalistic Physics -- 5. Some Doubts about the Adequacy of Field's View -- 6. A Comparison with the Constructibility Theory -- 7. A Re-examination of Resnik's Reasoning. | |
| 505 | 8 | |a 8. The Neo-Quinian Argument Reconsidered -- 9. Why Burgess Is a Moderate Realist -- 1. A Dilemma for the Nominalist -- 2. A False Dilemma -- 3. Burgess's Objection to Field's Preference for Nominalism -- 10. Maddy's Solution to the Problem of Reference -- 1. Involved Platonists -- 2. Problems of Reference for Mathematical Platonism -- 3. Maddy's Solution -- 4. Doubts about Maddy's Solution -- 5. Concluding Comments -- 11. Kitcher's Ideal Agents -- 1. Kitcher's Account of Mathematical Knowledge -- 2. An Analysis of Kitcher's View: Details and Doubts -- 12. Deflationism and Mathematical Truth. | |
| 505 | 8 | |a 1. Field's Deflationism -- 2. A Reconsideration of the Veridicality of Mathematics -- Appendix: Field's Nominalistic Logical Theory -- Postscript -- Bibliography -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- V -- W -- Z. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 650 | 0 | |a Constructive mathematics. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 6 | |a Mathématiques constructives. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 650 | 1 | 7 | |a Constructieve wiskunde. |2 gtt |
| 650 | 1 | 7 | |a Filosofie. |2 gtt |
| 650 | 1 | 7 | |a Ontologie (filosofie) |2 gtt |
| 650 | 7 | |a Filosofia da matemática. |2 larpcal | |
| 650 | 7 | |a Matemática construtiva. |2 larpcal | |
| 650 | 7 | |a Lógica matemática. |2 larpcal | |
| 653 | |a Mathematics | ||
| 776 | 0 | 8 | |i Print version: |a Chihara, Charles S., 1932- |t Constructibility and mathematical existence. |d Oxford : Clarendon Press ; New York : Oxford Univ. Press, ©1990 |z 0198248172 |z 9780198248170 |w (DLC) 89037162 |w (OCoLC)20132227 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=273478 |z Texto completo |
| 938 | |a Baker & Taylor |b BKTY |c 45.00 |d 45.00 |i 0198239750 |n 0001982562 |s active | ||
| 938 | |a ebrary |b EBRY |n ebr10283720 | ||
| 938 | |a EBSCOhost |b EBSC |n 273478 | ||
| 938 | |a Internet Archive |b INAR |n constructibility0000chih | ||
| 938 | |a Oxford University Press USA |b OUPR |n EDZ0000075542 | ||
| 938 | |a YBP Library Services |b YANK |n 11586941 | ||
| 938 | |a YBP Library Services |b YANK |n 3038015 | ||
| 994 | |a 92 |b IZTAP | ||