'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)

Emerson said that idealism sees the world in God: not as “painfully accumulated, atom after atom, act after act, in a aged creeping Past,” but as “a vast picture” painted by God “on the instant eternity.” Emerson’s portrait fits A.C. Grayling’s Berkeley, who sees the world in an infinite spirit whose power is unfailing and ubiquitous. Berkeley’s arguments, Grayling suggests, move at three levels, and at the metaphysical level, God’s activity accounts for what occurs at the level of sensory experience (...) and at “the level of ordinary thought and talk about everyday experience and its objects”. Level 3 explanations invoking matter, violate Berkeley’s “austere constraints” on “sensefulness”. Grayling himself accepts these constraints. This permits him to conclude that although Berkeley cannot establish the God his level 3 accout requires, his claim that the esse of sensible things is percipi is “substantially defensible”. (shrink)

The student of philosophy usually is not irritated by obscure formulations. On the contrary, reading the quoted passage he would presumably be convinced ...

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

Sense, Reference, and Philosophy develops the far-reaching consequences for philosophy of adopting non-Fregean intensionalism, showing that long-standing problems in the philosophy of language, and indeed other areas, that appeared intractable can now be solved. Katz proceeds to examine some of those problems in this new light, including the problem of names, natural kind terms, the Liar Paradox, the distinction between logical and extra-logical vocabulary, and the Raven paradox. In each case, a non-Fregean intentionalism provides a philosophically more satisfying solution.

Noam Chomsky's book on syntactic structures is a serious attempts on the part of a linguist to construct within the tradition of scientific theory-construction ...

In this book the author analyzes the work of physicists, mathematicians, biologists, historians, and philosophers in order to discover the principles that underlie their various ways of knowing and in terms of which they describe the ...

This book puts forward a new role for mathematics in the natural sciences. In the traditional understanding, a strong viewpoint is advocated, on the one hand, according to which mathematics is used for truthfully expressing laws of nature and thus for rendering the rational structure of the world. In a weaker understanding, many deny that these fundamental laws are of an essentially mathematical character, and suggest that mathematics is merely a convenient tool for systematizing observational knowledge. The position developed in (...) this volume combines features of both the strong and the weak viewpoint. In accordance with the former, mathematics is assigned an active and even shaping role in the sciences, but at the same time, employing mathematics as a tool is taken to be independent from the possible mathematical structure of the objects under consideration. Hence the tool perspective is contextual rather than ontological. Furthermore, tool-use has to respect conditions like suitability, efficacy, optimality, and others. There is a spectrum of means that will normally differ in how well they serve particular purposes. The tool perspective underlines the inevitably provisional validity of mathematics: any tool can be adjusted, improved, or lose its adequacy upon changing practical conditions. (shrink)

In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be (...) other than true. Because of his adherence to this view, Frege was precluded from the sort of metatheoretical considerations that were available to Hilbert; but from this, we shall argue, it does not follow that Frege was blocked from metatheory in toto. Indeed, Frege suggests in Die Grundlagen der Geometrie a metatheoretical method for establishing independence proofs in the context of the New Science. Frege had reservations about the method, however, primarily because of the apparent need to stipulate the logical terms, those terms that must be held invariant to obtain such proofs. We argue that Frege’s skepticism on this score is not warranted, by showing that within the New Science a characterization of logical truth and logical constant can be obtained by a suitable adaptation of the permutation argument Frege employs in indicating how to prove independence. This establishes a foundation for Frege’s metatheoretical method of which he himself was unsure, and allows us to obtain a clearer understanding of Frege’s conception of logic, especially in relation to contemporary conceptions. (shrink)

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

We claim that adjustable parameters play a crucial role in building and applying simulation models. We analyze that role and illustrate our findings using examples from equations of state in thermodynamics. In building simulation models, two types of experiments, namely, simulation and classical experiments, interact in a feedback loop, in which model parameters are adjusted. A critical discussion of how adjustable parameters function shows that they are boon and bane of simulation. They help to enlarge the scope of simulation far (...) beyond what can be determined by theoretical knowledge, but at the same time undercut the epistemic value of simulation models. (shrink)

George Berkeley notoriously claimed that his immaterialist metaphysics was not only consistent with common sense but that it was also integral to its defense. Roberts argues that understanding the basic connection between Berkeley's philosophy and common sense requires that we develop a better understanding of the four principle components of Berkeley's positive metaphysics: The nature of being, the divine language thesis, the active/passive distinction, and the nature of spirits. Roberts begins by focusing on Berkeley's view of the nature of being. (...) He elucidates Berkeley's view on Locke and the Cartesians and by examining Berkeley's views about related concepts such as unity and simplicity. From there he moves on to Berkeley's philosophy of language arguing that scrutiny of the famous "Introduction" to the Principles of Human Knowledge reveals that Berkeley identified the ideational theory of meaning and understanding as the root cause of some of the worst of man's intellectual errors, not "abstract ideas." Abstract ideas are, rather, the most debilitating symptom of this underlying ailment. In place of the ideational theory, Berkeley defends a rudimentary "use theory" of meaning. This understanding of Berkeley's approach to semantics is then applied to the divine language thesis and is shown to have important consequences for Berkeley's pragmatic approach to the ontology of natural objects and for his approach to our knowledge of, and relation to other minds, including God's. Turning next to Berkeley's much aligned account of spirits, the author defends the coherence of Berkeley's view of spirits by way of providing an interpretation of the active/passive distinction as marking a normative distinction and by focusing on the role that divine language plays in letting Berkeley identify the soul with the will. With these four principles of Berkeley's philosophy in hand, he then returns to the topic of common sense and offers a defense of Berkeley's philosophy as built upon and expressive of the deepest metaphysical commitments of mainstream Christianity. Roberts' reappraisal of this important figure should appeal to all historians of philosophy as well as scholars in metaphysics and philosophy of language. (shrink)

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this work (...) is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

"Cassirer employs his remarkable gift of lucidity to explain the major ideas and intellectual issues that emerged in the course of nineteenth century scientific and historical thinking. The translators have done an excellent job in reproducing his clarity in English. There is no better place for an intelligent reader to find out, with a minimum of technical language, what was really happening during the great intellectual movement between the age of Newton and our own."—_New York Times._.

Important study focuses on the revival and assimilation of ancient Greek mathematics in the 13th–16th centuries, via Arabic science, and the 16th-century development of symbolic algebra. This brought about the crucial change in the concept of number that made possible modern science — in which the symbolic "form" of a mathematical statement is completely inseparable from its "content" of physical meaning. Includes a translation of Vieta's Introduction to the Analytical Art. 1968 edition. Bibliography.

R. G. Collingwood saw one of the main tasks of philosophers and of historians of human thought in uncovering what he called the ultimate presuppositions of different thinkers, of different philosophical movements and of entire eras of intellectual history. He also noted that such ultimate presuppositions usually remain tacit at first, and are discovered only by subsequent reflection. Collingwood would have been delighted by the contrast that constitutes the overall theme of the essays collected in this volume. Not only has (...) this dichotomy ofviews been one ofthe mostcrucial watersheds in the entire twentieth-century philosophical thought. Not only has it remained largely implicit in the writings of the philosophers for whom it mattered most. It is a truly Collingwoodian presupposition also in that it is not apremise assumed by different thinkers in their argumentation. It is the presupposition of a question, an assumption to the effect that a certain general question can be raised and answered. Its role is not belied by the fact that several philosophers who answered it one way or the other seem to be largely unaware that the other answer also makes sense - if it does. This Collingwoodian question can be formulated in a first rough approximation by asking whether language - our actual working language, Tarski's "colloquiallanguage" - is universal in the sense of being inescapable. This formulation needs all sorts of explanations, however. (shrink)

Like the latter, it unites into one and the same function the possibility of giving things a sign, of representing one thing by another, and the possibility of causing a sign to shift in relation to what it designates. The four functions that define the ...

In this double-volume work, a great modern philosopher propounds a system of thought in which Einstein's theory of relativity represents only the latest (albeit the most radical) fulfillment of the motives inherent to mathematics and the physical sciences. In the course of its exposition, it touches upon such topics as the concept of number, space and time, geometry, and energy; Euclidean and non-Euclidean geometry; traditional logic and scientific method; mechanism and motion; Mayer's methodology of natural science; Richter's definite proportions; relational (...) concepts and the activity of the ego; Einstein's relativity and "reality"; and the philosophical concept of truth and its role in relativity theory. 1923 edition. (shrink)

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the content of a (...) scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics. (shrink)

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

Platonism is the most pervasive philosophy of mathematics. Indeed, it can be argued that an inarticulate, half-conscious Platonism is nearly universal among mathematicians. The basic idea is that mathematical entities exist outside space and time, outside thought and matter, in an abstract realm. In the more eloquent words of Edward Everett, a distinguished nineteenth-century American scholar, "in pure mathematics we contemplate absolute truths which existed in the divine mind before the morning stars sang together, and which will continue to exist (...) there when the last of their radiant host shall have fallen from heaven." In What is Mathematics, Really?, renowned mathematician Rueben Hersh takes these eloquent words and this pervasive philosophy to task, in a subversive attack on traditional philosophies of mathematics, most notably, Platonism and formalism. Virtually all philosophers of mathematics treat it as isolated, timeless, ahistorical, inhuman. Hersh argues the contrary, that mathematics must be understood as a human activity, a social phenomenon, part of human culture, historically evolved, and intelligible only in a social context. Mathematical objects are created by humans, not arbitrarily, but from activity with existing mathematical objects, and from the needs of science and daily life. Hersh pulls the screen back to reveal mathematics as seen by professionals, debunking many mathematical myths, and demonstrating how the "humanist" idea of the nature of mathematics more closely resembles how mathematicians actually work. At the heart of the book is a fascinating historical account of the mainstream of philosophy--ranging from Pythagoras, Plato, Descartes, Spinoza, and Kant, to Bertrand Russell, David Hilbert, Rudolph Carnap, and Willard V.O. Quine--followed by the mavericks who saw mathematics as a human artifact, including Aristotle, Locke, Hume, Mill, Peirce, Dewey, and Lakatos. In his epilogue, Hersh reveals that this is no mere armchair debate, of little consequence to the outside world. He contends that Platonism and elitism fit well together, that Platonism in fact is used to justify the claim that "some people just can't learn math." The humanist philosophy, on the other hand, links mathematics with geople, with society, and with history. It fits with liberal anti-elitism and its historical striving for universal literacy, universal higher education, and universal access to knowledge and culture. Thus Hersh's argument has educational and political ramifications. Written by the co-author of The Mathematical Experience, which won the American Book Award in 1983, this volume reflects an insider's view of mathematical life, based on twenty years of doing research on advanced mathematical problems, thirty-five years of teaching graduates and undergraduates, and many long hours of listening, talking to, and reading philosophers. A clearly written and highly iconoclastic book, it is sure to be hotly debated by anyone with a passionate interest in mathematics or the philosophy of science. (shrink)

Controversies are boiling these days among distinguished men over true and false ideas. This is an issue of great importance for recognizing truth—an issue on which Descartes himself is not altogether satisfactory. So I want to explain briefly what I think can be established about the distinctions and criteria that relate to ideas and knowledge. [Here and in..