Download PDF by Charles S. Chihara: A Structural Account of Mathematics

By Charles S. Chihara

ISBN-10: 0191533106

ISBN-13: 9780191533105

ISBN-10: 0199228078

ISBN-13: 9780199228072

ISBN-10: 0199267537

ISBN-13: 9780199267538

Charles Chihara's new e-book develops and defends a structural view of the character of arithmetic, and makes use of it to provide an explanation for a few awesome gains of arithmetic that experience questioned philosophers for hundreds of years. The view is used to teach that, so that it will know the way mathematical platforms are utilized in technology and lifestyle, it isn't essential to think that its theorems both presuppose mathematical gadgets or are even actual. Chihara builds upon his past paintings, during which he provided a brand new procedure of arithmetic, the constructibility conception, which didn't make connection with, or resuppose, mathematical items. Now he develops the venture additional by way of examining mathematical platforms at the moment utilized by scientists to teach how such structures fit with this nominalistic outlook. He advances numerous new methods of undermining the seriously mentioned indispensability argument for the lifestyles of mathematical items made well-known via Willard Quine and Hilary Putnam. And Chihara offers a motive for the nominalistic outlook that's rather assorted from these commonly recommend, which he continues have resulted in severe misunderstandings.A Structural Account of arithmetic should be required studying for a person operating during this box.

Show description

Read or Download A Structural Account of Mathematics PDF

Similar logic & language books

New PDF release: Language and Reason: A Study of Habermas's Pragmatics

Readers of Jürgen Habermas's concept of Communicative motion and his later social concept be aware of that the belief of communicative rationality is important to his model of severe idea. Language and cause opens up new territory for social theorists by way of delivering the 1st common advent to Habermas's application of formal pragmatics: his reconstruction of the common ideas of attainable knowing that, he argues, are already operative in daily communicative practices.

Download e-book for iPad: Semiotics and the Philosophy of Language by Umberto Eco

"Eco wittily and enchantingly develops topics usually touched on in his earlier works, yet he delves deeper into their advanced nature. .. this assortment may be learn with excitement by means of these unversed in semiotic concept. " ―Times Literary complement

Extra info for A Structural Account of Mathematics

Example text

Then, what properties of Bill Clinton and this singleton determine that it is Bill Clinton and nothing else that is in the membership relation to this unit set? Who knows? Set theory does not tell us. Perhaps membership is not that sort of relation. Perhaps membership is like the relation of being married. Perhaps it is in virtue of some things Bill Clinton, the singleton, and some third being have done that brings it about that Clinton is in the membership relation to the set in question. Again, we haven't the vaguest notion of what actions, if any, are required for the relation to obtain.

B. Extrinsic properties The property of being married is classified by philosophers as one of your extrinsic properties—properties that a thing has in virtue of its relation or lack of relation to other things. c. Internal and external relations Now here is how we distinguish the two kinds of intrinsic relations: Definition: Internal relations are relations that "supervene" on the intrinsic properties of the relata. What does this mean? To assert supervenience is to deny independent variation. As David Lewis describes it: "To say that so-and-so supervenes on suchand-such is to say that there can be no difference in respect of so-and-so without difference in respect of such-and-such" (Lewis, 1983: 358).

This objection again illustrates Frege's misunderstanding of Hilbert's views. Hilbert's axioms of geometry are not assertions about the real world. The terms occurring in Hilbert's axioms, such as 'point' and Tine', are parameters, unlike the terms 'intelligent being', 'omnipresent', and 'omnipotent' occurring in Frege's examples. One would think that Hilbert could have pointed out such differences without much trouble, and in this way advanced the discussion considerably. But he didn't. The gulf between Hilbert's views and those of Frege It can be seen that the gulf between Hilbert's new conception of geometry and Frege's classical Euclidean conception was enormous.

Download PDF sample

A Structural Account of Mathematics by Charles S. Chihara

by George

Rated 4.77 of 5 – based on 32 votes