Logic Language

A Structural Account of Mathematics - download pdf or read online

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 give an explanation for a couple of amazing good points of arithmetic that experience questioned philosophers for hundreds of years. The view is used to teach that, with the intention to know the way mathematical platforms are utilized in technology and way of life, it isn't essential to think that its theorems both presuppose mathematical items or are even real. Chihara builds upon his prior paintings, during which he awarded a brand new method of arithmetic, the constructibility conception, which failed to make connection with, or resuppose, mathematical gadgets. Now he develops the venture extra via interpreting mathematical platforms at present utilized by scientists to teach how such platforms fit with this nominalistic outlook. He advances a number of new methods of undermining the seriously mentioned indispensability argument for the life of mathematical items made recognized via Willard Quine and Hilary Putnam. And Chihara offers a motive for the nominalistic outlook that's really diverse from these as a rule recommend, which he continues have resulted in critical misunderstandings.A Structural Account of arithmetic might be required studying for someone operating during this box.

Show description

Read or Download A Structural Account of Mathematics PDF

Best logic & language books

Controvert, or On the Lie, and Other Philosophical Dialogues by Nicholas Pappas PDF

Taking a quizzical, philosophical examine the conundrums existence areas prior to us, the writer explores paradoxical events in philosophical dialogues, each one geared to stimulate concept and resonate with the reader s personal stories in a fashion either unique and demanding. Implications relating to politics and politicians, management and democracy are investigated alongside the best way.

Download PDF by Grigori Mints, Reinhard Muskens: Games, Logic, and Constructive Sets

Mathematical online game conception has been embraced by means of numerous students: social scientists, biologists, linguists, and now, more and more, logicians. This quantity illustrates the new advances of online game conception within the box. Logicians reap the benefits of such things as video game theory's skill to give an explanation for informational independence among connectives; in the meantime, online game theorists have even began to profit from logical epistemic analyses of online game states.

Pure Inductive Logic by Jeffrey Paris, Alena Vencovská PDF

Natural inductive good judgment is the examine of rational likelihood handled as a department of mathematical good judgment. This monograph, the 1st dedicated to this process, brings jointly the foremost effects from the previous seventy years plus the most contributions of the authors and their collaborators over the past decade to give a finished account of the self-discipline inside a unmarried unified context.

New PDF release: Introduction to Propositional Satisfiability

Propositional good judgment permits description after which fixing of an important category of constraint pride difficulties, specifically those who require that the domain names of variables are finite. As such, propositional common sense reveals purposes in describing difficulties stemming from desktop technological know-how, computing device engineering and combinatorial optimization.

Extra info for A Structural Account of Mathematics

Sample text

If we can't "see" it, then how do we come to know of its existence? What allows us to assert its existence? Perhaps Brown believes that mathematicians "see" with the "mind's eye" that such an entity exists. But that just gives rise to further questions: What sort of "seeing" is this seeing with the mind's eye? What does such an "explanation" come to (if one eliminates the metaphorical element)? Is it a scientifically respectable explanation? I suspect that few philosophers or scientists would regard Brown's defense of the Platonist's epistemological claims as a reasonable way of defending the belief in the empty set.

GEOMETRY AND MATHEMATICAL EXISTENCE / 37 After Hilbert broke off the correspondence, Frege published a paper sharply criticizing Hilbert's views about the foundations of geometry, repeating many of the objections in his letters. In the essay, the gloves came off and Frege expressed his true attitude toward the above Hilbertian doctrine. This time, he set forth the following set of axioms: EXPLANATION: We conceive of objects which we call gods. AXIOM 1. Every god is omnipotent. AXIOM 2. There is at least one god.

If the axioms do express facts basic to our intuition, then they are assertions and cannot be definitions (since definitions for Frege are stipulated or postulated). And if they are definitions, then they cannot express facts basic to our intuition. That Hilbert gave these apparently conflicting characterizations of his axioms implied to Frege that Hilbert hadn't yet arrived at a clear understanding of his own approach to geometry. 7 The suggestion is that, since Frege's criticisms of Hilbert rest upon an idiosyncratic view of concepts, those who do not share such a conception can safely ignore Frege's objections.

Download PDF sample

A Structural Account of Mathematics by Charles S. Chihara

by Paul

Rated 4.65 of 5 – based on 17 votes