Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Metaphysics --- Ontology --- Platonists --- Vicious circle principle (Logic) --- Logic --- Platonism --- Philosophers --- Philosophy, Ancient --- Being --- Philosophy --- Necessity (Philosophy) --- Substance (Philosophy) --- Godel, Kurt --- Russell, Bertrand --- Gkentel, Kourt --- גדל --- Ontology. --- Platonists. --- Vicious circle principle (Logic). --- Gödel, Kurt. --- Quine, W. V. --- Russell, Bertrand, --- Quine, Willard Van Orman --- Kuaĭn, Uillard van Ormen --- קואיין, ו. ו. א.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constructieve wiskunde --- Constructive mathematics --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Mathematique constructive --- 510.21 --- Logic, Symbolic and mathematical --- Mathematics --- -Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematics, Constructive --- 510.21 General philosophical considerations. Critical aspects. Logical antinomies --- General philosophical considerations. Critical aspects. Logical antinomies --- Math --- Science --- Philosophy --- Algebra of logic --- Logic of mathematics --- Mathematics, Logic of --- Mathematics - Philosophy. --- Constructive mathematics. --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This work develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries.

Mathematics --- Structuralism. --- Constructive mathematics. --- Mathematics, Constructive --- Logic, Symbolic and mathematical --- Structure (Philosophy) --- Philosophy --- Whole and parts (Philosophy) --- Form (Philosophy) --- Poststructuralism --- Logic of mathematics --- Mathematics, Logic of --- Philosophy.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries. The view is used to show that, in order to understand how mathematical systems are applied in science and everyday life, it is not necessary to assume that its theorems either presuppose mathematical objects or are even true. Chihara builds upon his previous work, in which he presented a new system of mathematics, the constructibility theory, which did not make reference to, or presuppose, mathematical objects. Now he develops the project further by analysing mathematical systems currently used by scientists to show how such systems are compatible with this nominalistic outlook. He advances several new ways of undermining the heavily discussed indispensability argument for the existence of mathematical objects made famous by Willard Quine and Hilary Putnam. And Chihara presents a rationale for the nominalistic outlook that is quite different from those generally put forward, which he maintains have led to serious misunderstandings. A Structural Account of Mathematics will be required reading for anyone working in this field.

Mathematics --- Mathématiques --- Philosophy --- Philosophie --- Philosophy. --- Mathématiques --- Logic of mathematics --- Mathematics, Logic of --- Mathematics - Philosophy --- Structuralism --- Constructive mathematics