Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of (...) the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (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, ...

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Professor Hilary Putnam has been one of the most influential and sharply original of recent American philosophers in a whole range of fields. His most important published work is collected here, together with several new and substantial studies, in two volumes. The first deals with the philosophy of mathematics and of science and the nature of philosophical and scientific enquiry; the second deals with the philosophy of language and mind. Volume one is now issued in a new edition, including an (...) essay on the philosophy of logic first published in 1971. (shrink)

Only human beings have a rich conceptual repertoire with concepts like tort, entropy, Abelian group, mannerism, icon and deconstruction. How have humans constructed these concepts? And once they have been constructed by adults, how do children acquire them? While primarily focusing on the second question, in The Origin of Concepts , Susan Carey shows that the answers to both overlap substantially. Carey begins by characterizing the innate starting point for conceptual development, namely systems of core cognition. Representations of core cognition (...) are the output of dedicated input analyzers, as with perceptual representations, but these core representations differ from perceptual representations in having more abstract contents and richer functional roles. Carey argues that the key to understanding cognitive development lies in recognizing conceptual discontinuities in which new representational systems emerge that have more expressive power than core cognition and are also incommensurate with core cognition and other earlier representational systems. Finally, Carey fleshes out Quinian bootstrapping, a learning mechanism that has been repeatedly sketched in the literature on the history and philosophy of science. She demonstrates that Quinian bootstrapping is a major mechanism in the construction of new representational resources over the course of childrens cognitive development. Carey shows how developmental cognitive science resolves aspects of long-standing philosophical debates about the existence, nature, content, and format of innate knowledge. She also shows that understanding the processes of conceptual development in children illuminates the historical process by which concepts are constructed, and transforms the way we think about philosophical problems about the nature of concepts and the relations between language and thought. (shrink)

The analytic/synthetic distinction looks simple. It is a distinction between two different kinds of sentence. Synthetic sentences are true in part because of the way the world is, and in part because of what they mean. Analytic sentences - like all bachelors are unmarried and triangles have three sides - are different. They are true in virtue of meaning, so no matter what the world is like, as long as the sentence means what it does, it will be true. -/- (...) This distinction seems powerful because analytic sentences seem to be knowable in a special way. One can know that all bachelors are unmarried, for example, just by thinking about what it means. But many twentieth-century philosophers, with Quine in the lead, argued that there were no analytic sentences, that the idea of analyticity didn't even make sense, and that the analytic/synthetic distinction was therefore an illusion. Others couldn't see how there could fail to be a distinction, however ingenious the arguments of Quine and his supporters. -/- But since the heyday of the debate, things have changed in the philosophy of language. Tools have been refined, confusions cleared up, and most significantly, many philosophers now accept a view of language - semantic externalism - on which it is possible to see how the distinction could fail. One might be tempted to think that ultimately the distinction has fallen for reasons other than those proposed in the original debate. -/- In Truth in Virtue of Meaning, Gillian Russell argues that it hasn't. Using the tools of contemporary philosophy of language, she outlines a view of analytic sentences which is compatible with semantic externalism and defends that view against the old Quinean arguments. She then goes on to draw out the surprising epistemological consequences of her approach. (shrink)

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

Gödel argued that intuition has an important role to play in mathematical epistemology, and despite the infamy of his own position, this opinion still has much to recommend it. Intuitions and folk platitudes play a central role in philosophical enquiry too, and have recently been elevated to a central position in one project for understanding philosophical methodology: the so-called ‘Canberra Plan’. This philosophical role for intuitions suggests an analogous epistemology for some fundamental parts of mathematics, which casts a number of (...) themes in recent philosophy of mathematics (concerning a priority and fictionalism, for example) in revealing new light. (shrink)

This essay distinguishes between metaphysical and epistemological conceptions of analyticity. The former is the idea of a sentence that is ‘true purely in virtue of its meaning’ while the latter is the idea of a sentence that ‘can be justifiably believed merely on the basis of understanding its meaning’. It further argues that, while Quine may have been right to reject the metaphysical notion, the epistemological notion can be defended from his critique and put to work explaining a priori justification. (...) Along the way, a number of further distinctions relevant to the theory of analyticity and the theory of apriority are made and their significance is explained. (shrink)

Philosophers from Hume, Kant, and Wittgenstein to the recent realists and antirealists have sought to answer the question, What are concepts? This book provides a detailed, systematic, and accessible introduction to an original philosophical theory of concepts that Christopher Peacocke has developed in recent years to explain facts about the nature of thought, including its systematic character, its relations to truth and reference, and its normative dimension. Particular concepts are also treated within the general framework: perceptual concepts, logical concepts, and (...) the concept of belief are discussed in detail. The general theory is further applied in answering the question of how the ontology of concepts can be of use in classifying mental states, and in discussing the proper relation between philosophical and psychological theories of concepts. Finally, the theory of concepts is used to motivate a nonverificationist theory of the limits of intelligible thought. Peacocke treats content as broad rather than narrow, and his account is nonreductive and non-Quinean. Yet Peacocke also argues for an interactive relationship between philosophical and psychological theories of concepts, and he plots many connections with work in cognitive psychology. (shrink)

The paper asks under what conditions deductive reasoning transmits justification from its premises to its conclusion. It argues that both standard externalist and standard internalist accounts of this phenomenon fail. The nature of this failure is taken to indicate the way forward: basic forms of deductive reasoning must justify by being instances of 'blind but blameless' reasoning. Finally, the paper explores the suggestion that an inferentialist account of the logical constants can help explain how such reasoning is possible.

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of Berkeley's (...) master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

In their theories of know how, proponents of Intellectualism routinely appeal to ‘practical modes of presentation’. But what are practical modes of presentation? And what makes them distinctively practical? In this essay, I develop a Fregean account of practical modes of presentation: I argue that there are such things as practical senses and I give a theory of what they are. One of the challenges facing the proponent of a distinctively Fregean construal of practical modes of presentation is to provide (...) an account of their nature on which they are plausible qua Fregean senses. I take up this challenge, arguing that we find examples of practical senses in the semantic values assigned to programs by operational semantics for programming languages. By looking at a species of practical senses, we will have taken one important step towards legitimizing the genus. In particular, I show that certain features of operational semantic values can be generalized towards a comprehensive theory of practical senses. The upshot is a full-fledged account of what practical senses are, which can be put to use in an explanatory theory of know how. (shrink)

Many philosophers have discussed the ability of thinkers to think thoughts that the thinker cannot justify because the thoughts involve concepts that the thinker incompletely understands. A standard example of this phenomenon involves the concept of the derivative in the early days of the calculus: Newton and Leibniz incompletely understood the derivative concept and, hence, as Berkeley noted, they could not justify their thoughts involving it. Later, Weierstrass justified their thoughts by giving a correct explication of the derivative concept. This (...) paper discusses various accounts of how a thinker manages to think with a concept that they incompletely understand and finds them wanting in the case at hand. Part of the overlooked complexity is that there are many derivative concepts, and it is unclear in virtue of what a thinker would be thinking with one of them rather than another. After critical evaluation of standard accounts, this paper suggests a novel account of how one should think about the derivative concepts with which Newton and Leibniz thought and how Weierstrass could have managed to justify their thoughts even if their thoughts did not involve the same derivative concept as Weierstrass’s. (shrink)

The paper is a defense of the project of explaining the a priori via the notion of meaning or concept possession. It responds to certain objections that have been made to this project—in particular, that there can be no epistemically analytic sentences that are not also metaphysically analytic, and that the notion of implicit definition cannot explain a priori entitlement. The paper goes on to distinguish between two different ways in which facts about meaning might generate facts about entitlement—inferential and (...) constitutive. It concludes by outlining a theory of the latter. (shrink)

Gödel initiated the program of finding and justifying axioms that effect a significant reduction in incompleteness and he drew a fundamental distinction between intrinsic and extrinsic justifications. Reflection principles are the most promising candidates for new axioms that are intrinsically justified. Taking as our starting point Tait’s work on general reflection principles, we prove a series of limitative results concerning this approach. These results collectively show that general reflection principles are either weak ) or inconsistent. The philosophical significance of these (...) results is discussed. (shrink)

Perceiving things to be a certain way may in some cases lead directly to action that is intelligent. This phenomenon has not often been discussed, though it is of broad philosophical interest. It also raises a difficult question: how can perception produce intelligent action? After clarifying the question—which I call the question of “practical perception”—and explaining what is required for an adequate answer, I critically examine two candidate answers drawn from work on related topics: the first, inspired by Hubert Dreyfus's (...) phenomenological analysis of absorbed coping, focuses on awareness of situational features; the other, suggested by Gilbert Ryle's classic treatment of knowledge-how, focuses on possession of behavioral dispositions. I argue that neither approach is adequate. Subsequently, I develop and defend an alternative answer that emphasizes the agent's conceptual understanding. (shrink)

We begin with a puzzle: why do some know-how attributions entail ability attributions while others do not? After rejecting the tempting response that know-how attributions are ambiguous, we argue that a satisfactory answer to the puzzle must acknowledge the connection between know-how and concept possession (specifically, reasonable conceptual mastery, or understanding). This connection appears at first to be grounded solely in the cognitive nature of certain activities. However, we show that, contra anti-intellectualists, the connection between know-how and concept possession can (...) be generalized via reflection on the cognitive nature of intentional action and the potential of certain misunderstandings to undermine know-how even when the corresponding abilities and associated propositional knowledge are in place. Such considerations make explicit the intimate relation between know-how and understanding, motivating a general intellectualist analysis of the former in terms of the latter. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...) are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

This article discusses the thesis that a subject can have a concept, think thoughts containing it, that she incompletely understands. The central question concerns how to construe the distinction between having a concept and understanding it. Two important versions of the thesis are distinguished: a metasemantic version and an epistemic version. According to the first, the subject may have concept C without being a fully competent user, in virtue of deference to other speakers or to the world. According to the (...) second, the subject may have a concept without being able to provide a proper explication of it. It is argued that whereas the epistemic version is plausible, the metasemantic version faces some challenges. First, it needs to be explained precisely how deference enables a speaker to have C. Second, metasemantic incomplete understanding is in tension with the idea that concepts serve to capture the subject’s cognitive perspective. (shrink)

Such contradictions arise “at the limits of thought” in the following sense: we have reason to set boundaries to certain conceptual processes, which, however, turn out to actually cross those boundaries. The boundaries cannot be crossed, yet they can, for they are crossed. For example, Kant regarded noumena as beyond the limit of the conceivable, yet he made judgments about them, so he did conceive of them. For another example, Russell’s theory of types cannot be expressed, yet he does express (...) it. And so on, from Aristotle’s notion of prime matter to Derrida’s différance. The boundaries that cannot be but are crossed may concern iteration, expression, cognition, or conception. In most cases, a single argument pattern is operative, according to Priest. He calls it the Inclosure Schema [=IS]. It is a contradiction-generating mechanism that works as follows: suppose we define a set Ω, on the basis of a condition φ ); suppose that Ω exists and that it has property ψ. Next, suppose we can define a function δ such that, for any subset x of Ω that has property ψ, we have both δ ∉ x and δ ∈ Ω. As Ω is a subset of itself and it has ψ by hypothesis, a contradiction follows: both δ ∈ Ω and δ ∉ Ω. The two sides of the contradiction—or perhaps the operations by which they are established—are called Closure and Transcendence. ). For example, take Burali Forti’s paradox that is greater than all members of On, and therefore not an ordinal). Here Ω = On, and δ is the function that assigns to x the least ordinal greater than all members of x is both an ordinal—δ ∈ Ω, “Closure”—and not a member of x ). The condition φ is just the property of being an ordinal. (shrink)