عنوان
پدید آورنده
موضوع
رده
QA8.4 .C45 1990eb
QA8
.
4
.
C45
1990eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0191520004
(Number (ISBN
0191597198
(Number (ISBN
9780191520006
(Number (ISBN
9780191597190
Erroneous ISBN
0198239750
Erroneous ISBN
9780198239758
Erroneous ISBN
9780198248170
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Constructibility and mathematical existence /
General Material Designation
[Book]
First Statement of Responsibility
Charles S. Chihara.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Oxford Univ. Press,
Date of Publication, Distribution, etc.
©1990.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xv, 282 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 273-278) and index.
CONTENTS NOTE
Text of Note
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.
Text of Note
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.
Text of Note
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.
Text of Note
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.
Text of Note
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.
0
8
8
8
8
SUMMARY OR ABSTRACT
Text of Note
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.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
Title
Constructibility and mathematical existence.
International Standard Book Number
9780198248170
TOPICAL NAME USED AS SUBJECT
Constructive mathematics.
Logic, Symbolic and mathematical.
Mathematics-- Philosophy.
Logique symbolique et mathématique.
Mathématiques constructives.
Mathématiques-- Philosophie.
Constructieve wiskunde.
Constructive mathematics.
Filosofia da matemática.
Filosofie.
Logic, Symbolic and mathematical.
Lógica matemática.
Matemática construtiva.
MATHEMATICS-- Infinity.
MATHEMATICS-- Logic.
Mathematics-- Philosophy.
Ontologie (filosofie)
(SUBJECT CATEGORY (Provisional
MAT-- 016000
MAT-- 018000
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA8
.
4
Book number
.
C45
1990eb
OTHER CLASS NUMBERS
Class number
31
.
02
System Code
bcl
PERSONAL NAME - PRIMARY RESPONSIBILITY
Chihara, Charles S.,1932-
ORIGINATING SOURCE
Date of Transaction
20200822091948.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
