*Charles S. Chihara*

- Published in print:
- 1991
- Published Online:
- November 2003
- ISBN:
- 9780198239758
- eISBN:
- 9780191597190
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0198239750.001.0001
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

A continuation of the study of mathematical existence begun in Ontology and the Vicious‐Circle Principle (published in 1973); in the present work, Quine's indispensability argument is rebutted by the ...
More

A continuation of the study of mathematical existence begun in Ontology and the Vicious‐Circle Principle (published in 1973); in the present work, Quine's indispensability argument is rebutted by the development of a new nominalistic version of mathematics (the Constructibility Theory) that is specified as an axiomatized theory formalized in a many‐sorted first‐order language. What is new in the present work is its abandonment of the predicative restrictions of the earlier work and its much greater attention to the applications of mathematics in science and everyday life. The book also contains detailed discussions of rival views (Mathematical Structuralism, Field's Instrumentalism, Burgess's Moderate Realism, Maddy's Set Theoretical Realism, and Kitcher's Ideal Agent account of mathematics), in which many comparisons with the Constructibility Theory are made.Less

A continuation of the study of mathematical existence begun in *Ontology and the Vicious‐Circle Principle* (published in 1973); in the present work, Quine's indispensability argument is rebutted by the development of a new nominalistic version of mathematics (the Constructibility Theory) that is specified as an axiomatized theory formalized in a many‐sorted first‐order language. What is new in the present work is its abandonment of the predicative restrictions of the earlier work and its much greater attention to the applications of mathematics in science and everyday life. The book also contains detailed discussions of rival views (Mathematical Structuralism, Field's Instrumentalism, Burgess's Moderate Realism, Maddy's Set Theoretical Realism, and Kitcher's Ideal Agent account of mathematics), in which many comparisons with the Constructibility Theory are made.

*Charles S. Chihara*

- Published in print:
- 1991
- Published Online:
- November 2003
- ISBN:
- 9780198239758
- eISBN:
- 9780191597190
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0198239750.003.0004
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are ...
More

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.Less

The promised mathematical system—the Constructibility Theory—is presented as an axiomatized deductive theory formalized in a many‐sorted first‐order logical language. The axioms of the theory are specified and a justification for each of the axioms is given. Objections to the theory are considered.

*Charles S. Chihara*

- Published in print:
- 1991
- Published Online:
- November 2003
- ISBN:
- 9780198239758
- eISBN:
- 9780191597190
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0198239750.003.0005
- Subject:
- Philosophy, Logic/Philosophy of Mathematics

The fundamentals of cardinality theory are laid out within the framework of the Constructibility Theory. Finite cardinality theory is developed along the lines described by Frege in his Foundations ...
More

The fundamentals of cardinality theory are laid out within the framework of the Constructibility Theory. Finite cardinality theory is developed along the lines described by Frege in his Foundations of Arithmetic, and applications of theory are discussed.Less

The fundamentals of cardinality theory are laid out within the framework of the Constructibility Theory. Finite cardinality theory is developed along the lines described by Frege in his *Foundations of Arithmetic*, and applications of theory are discussed.