Contemporary philosophy standardly accepts Frege's conceptions of sense as the determiner of reference and of analyticity as (necessary) truth in virtue of meaning. This paper argues that those conceptions are mistaken. It develops referentially autonomous notions of sense and analyticity and applies them to the semantics of natural kind terms. The arguments of Donnellan, Putnam, and Kripke concerning natural kind terms are widely taken to refute internalist and rationalist theories of meaning. This paper shows that the counter-intuitive consequences about (...) the reference of natural kind terms depend as much on Frege's conceptions of sense and analyticity as on what such theories of meaning say about the senses of natural kind terms. Rather than refuting the internalist and rationalist theories of meaning, the arguments of Donnellan, Putnam, and Kripke are best recast as refutations of their own Fregean assumptions. The paper also shows how autonomous notions of sense and analyticity enable us to reconstruct such theories, formulate an internalist/ rationalist account of semantic knowledge, and preserve Donnellan's, Putnam's, and Kripke's insights about reference. (shrink)
I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)
Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to (...) individual things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)
Chalmers and Jackson (2001) offer an epistemic interpretation of the two-dimensional semantic framework advanced by Kaplan (1979, 1989), Stalnaker (1978), and others. Epistemic two-dimensional semantics (E2D) aims to re-forge the link between necessity and a priority seemingly broken by Kripke (1972/1980). On the E2D strategy, a priori knowledge of certain semantic intensions provides a route to a priori knowledge of a wide range of modal truths---nice outcome, if we can get it. E2D faces the serious challenge, however, that we (...) typically don't have even in-principle a priori access to the intensions at issue (Byrne and Pryor 2006, Melnyk 2001; see also Wilson 1982). As we substantiate, the "access-based challenge" to Chalmers and Jackson's version of E2D is successful; but the problem here isn't for E2D per se, but rather to E2D interpreted as appealing to a conceiving-based epistemology of intensions. Here we develop a version of E2D appealing to abduction rather than conceivability. We argue that abduction gives rise to beliefs that are reasonably taken to be a priori; and we show that E2D when combined with an abductive epistemology of intensions---that is, abductive two-dimensionalism---can successfully respond to the access-based challenge. We finish up with a case study, involving zombies and the mind-body problem, illustrating how the two versions of E2D may differ in application. (shrink)
Among anti-skeptical arguments based on premises about meaning, Davidson’s is distinctive because of the holistic element in both his semantic starting point and his epistemological conclusion. Davidson takes the primary bearers of meaning to be belief systems, and it is actually-held belief systems whose overall correctness he concludes to be knowable. Critical attention has gravitated toward a part of the argument that claims that any meaningful discourse must be radically interpretable by one who is omniscient except for the meanings of (...) the speaker’s words and thoughts. I argue that there is a reading of this claim on which skeptics have good reason to accept it. But on this reading the argument goes through only if another crucial premise---the necessity for radical interpretation to be done charitably---is construed in a way that leaves skeptics free to reject it. (shrink)
Modal inquiry is plagued by methodological problems. The best-developed views on modal semantics and modal ontology take modalstatements to be true in virtue of relations between possible worlds. Unfortunately, such views turn modal epistemology into a mystery, and this paper is about ways to avoid that problem. It looks at different remedies suggested by Quine, Blackburn and Peacocke and finds them all wanting. But although Peacocke’s version of the popular conceptualist approach fails to give a normative account of correct (...) modal judgments, it goes a long way in suggesting how we come to make particular judgments of absolute necessity. Building on that suggestion, the paper explains how conceptualism can be transformed into a radically naturalist account of correct modal judgment that fits into a more general approach to naturalized semantics, represented by the writings of Richard Boyd and Ruth Millikan, and suggests some lessons for modal epistemology. (shrink)
Conceptions of analytic truth -- Hume's fork -- Kant and the analytic/synthetic distinction -- Synthetic a priori propositions -- Bolzano and analyticity -- Analyticity in frege -- Russell's paradox and the theory of descriptions -- The Vienna circle -- Carnap and logical empiricism -- Carnap and Quine -- Demise of the aufbau -- Philosophy as logical syntax -- Logical and descriptive languages -- Physical languages -- Analyticity in syntax -- Carnap's move to semantics -- Explications -- Analyticity in a (...) semantic setting -- Eliminating metaphysics : Carnap's final try -- W.V. Quine : explication is elimination -- Behaviorists ex officio -- Analyticity in the crosshairs -- Analyticity and its discontents -- Questioning analyticity -- Quine's two dogmas of empiricism -- Objections to the coherence of analytic -- Quine's coherence arguments : Carnap's reply -- Other responses to the coherence objection : Grice and Strawson on Quine -- A second dogma of empiricism -- Responses to the existence objections to analyticity -- Analyticity by convention -- Quine's developed attitude toward analyticity -- Analyticity and ontology -- Quine's naturalized ontology -- The indeterminacy of translation -- Some consequences of the indeterminacy arguments : ontological relativity and analyticity -- Responses to Quine's indeterminacy arguments -- Carnap's empiricism, semantics, and ontology -- Some Quinean and other responses to empiricism, semantics, and ontology -- Some recent connections between conceptual truths and ontology -- Quine's criterion of ontological commitment, causality, and exists -- Eli Hirsch and Ted Sider on mereological principles -- The Canberra Project : a resurrection of Carnap's aufbau -- Analyticity and epistemology -- Analytic truths and their role in epistemology : the classical position -- Objecting to the classical position -- Bonjour on moderate empiricism -- Quine's epistemology naturalized -- Quine and evidence : responses to circularity -- Kripke on a priority, analyticity, and necessity -- Analyticity repositioned -- The concept analytic -- One type of statement that might be reasonably called analytic -- Aside on two dimensionalism -- Analyticity and T-analyticity -- How analyticity avoids many common objections to analyticity -- Some brief comments on two other approaches to analyticity -- Mathematical claims as T-analytic -- A further potential application : pure and impure stipulata. (shrink)
Metaphysics is concerned with the foundations of reality. It asks questions about the nature of the world, such as: Aside from concrete objects, are there also abstract objects like numbers and properties? Does every event have a cause? What is the nature of possibility and necessity? When do several things make up a single bigger thing? Do the past and future exist? And so on. -/- Metametaphysics is concerned with the foundations of metaphysics. It asks: Do the questions of metaphysics (...) really have answers? If so, are these answers substantive or just a matter of how we use words? And what is the best procedure for arriving at them—common sense and conceptual analysis? Or assessing competing hypotheses with quasi-scientific criteria? -/- This volume gathers together sixteen new essays that are concerned with the semantics, epistemology, and methodology of metaphysics. My aim is to introduce these essays within a more general (and mildly opinionated) survey of contemporary challenges to metaphysics . (shrink)
The philosophy of mathematics of the later Wittgenstein is normally not taken very seriously. According to a popular objection, it cannot account for mathematical necessity. Other critics have dismissed Wittgenstein's approach on the grounds that his anti-platonism is unable to explain mathematical objectivity. This latter objection would be endorsed by somebody who agreed with Paul Benacerraf that any anti-platonistic view fails to describe mathematical truth. This paper focuses on the problem proposed by Benacerraf of reconciling the semantics with the (...) epistemology for mathematics. It is claimed that there is a way of solving Benacerrafs problem along the lines suggested by Wittgenstein's later remarks on mathematics. This will require demonstrating that a satisfactory conception of mathematical objectivity can be extracted from his mature philosophy. (shrink)
Conceptions of analytic truth -- Hume's fork -- Kant and the analytic/synthetic distinction -- Synthetic a priori propositions -- Bolzano and analyticity -- Analyticity in frege -- Russell's paradox and the theory of descriptions -- The Vienna circle -- Carnap and logical empiricism -- Carnap and Quine -- Demise of the aufbau -- Philosophy as logical syntax -- Logical and descriptive languages -- Physical languages -- Analyticity in syntax -- Carnap's move to semantics -- Explications -- Analyticity in a (...) semantic setting -- Eliminating metaphysics : Carnap's final try -- W.V. Quine : explication is elimination -- Behaviorists ex officio -- Analyticity in the crosshairs -- Analyticity and its discontents -- Questioning analyticity -- Quine's two dogmas of empiricism -- Objections to the coherence of analytic -- Quine's coherence arguments : Carnap's reply -- Other responses to the coherence objection : Grice and Strawson on Quine -- A second dogma of empiricism -- Responses to the existence objections to analyticity -- Analyticity by convention -- Quine's developed attitude toward analyticity -- Analyticity and ontology -- Quine's naturalized ontology -- The indeterminacy of translation -- Some consequences of the indeterminacy arguments : ontological relativity and analyticity -- Responses to Quine's indeterminacy arguments -- Carnap's empiricism, semantics, and ontology -- Some Quinean and other responses to empiricism, semantics, and ontology -- Some recent connections between conceptual truths and ontology -- Quine's criterion of ontological commitment, causality, and exists -- Eli Hirsch and Ted Sider on mereological principles -- The Canberra Project : a resurrection of Carnap's aufbau -- Analyticity and epistemology -- Analytic truths and their role in epistemology : the classical position -- Objecting to the classical position -- Bonjour on moderate empiricism -- Quine's epistemology naturalized -- Quine and evidence : responses to circularity -- Kripke on a priority, analyticity, and necessity -- Analyticity repositioned -- The concept analytic -- One type of statement that might be reasonably called analytic -- Aside on two dimensionalism -- Analyticity and T-analyticity -- How analyticity avoids many common objections to analyticity -- Some brief comments on two other approaches to analyticity -- Mathematical claims as T-analytic -- A further potential application : pure and impure stipulata. (shrink)
It is widely believed that at least two developments in the last third of the 20th century have given dispositionalism—the view that powers, capacities, potencies, etc. are irreducible real properties—new credibility: (i) the many counterexamples launched against reductive analyses of dispositional predicates in terms of counterfactual conditionals and (ii) a new anti-Humean faith in necessary connections in nature which, it is said, owes a lot to Kripke’s arguments surrounding metaphysical necessity. I aim to show in this paper that necessity is, (...) in fact, of little help for the dispositionalists. My argument makes use of one of the above mentioned counterexamples against Humean reduction: antidotes. Turning the tables, I ask how the dispositionalists themselves can deal with antidotes. The result will be to show that if the dispositionalists are to demystify antidote cases, they must make plausible a conceptualisation of dispositions that does not invoke any kind of necessity. I will cautiously suggest that the anti-Humean link dispositions bring to the world has to be thought of in terms of (Newtonian) forces. (shrink)
Structure and content of the philosophical investigations -- Wittgenstein's metaphilosophy -- The method of description -- Wittgenstein's distinctive arguments : from mistake to paradox -- Two domains : linguistic mastery vs. initiate learning -- The structure of the book -- Playing the game -- The Fregean picture of language -- Wittgenstein's rejection of Frege's idea -- Builders game : language or signaling? -- Dummett's challenge : sense vs. force -- The domestication of reference -- The problem of normative similarity 1 (...) : ostension -- Rejection of Quine's picture of language -- Objects and paradigms -- Ostensive teaching and social practices -- Logical form and the paradox of thought -- The subliming of logic -- Frege's idea and the paradox of thought -- Davidson's challenge : meaning and logical form -- The limits of systematicity -- Meaning and the paradox of interpretation -- The problem of normative similarity 2 : rules -- Two pleas for interpretation -- The community view and reductionism -- The individualist view and mystification normativity and the threat of regularism -- Rules and regularities -- The public basis of normativity -- The social basis of normativity : the negative argument -- The social basis of normativity : the positive argument -- Necessity and the threat of psychologism -- Two forms of holism -- Stage-setting : conventions without decisions -- Background technique : necessity without metaphysics -- Normativity and "psychologized" necessity -- Learning, trust, and certainty -- The paradoxes of consciousness -- The problem of normative similarity 3 : consciousness -- The epistemology of subjectivity : paradox of self-knowledge -- The ontology of subjectivity : paradox of sensation -- Cartesian thought experiments and the expressivist view -- Criteria, deception, and the new problem of other minds. (shrink)
Steffen Borge (2007). A Modal Defence of Strong AI. In Dermot Moran Stephen Voss (ed.), Epistemology. The Proceedings of the Twenty-First World Congress of Philosophy. Vol. 6. The Philosophical Society of Turkey.score: 15.0
John Searle has argued that the aim of strong AI of creating a thinking computer is misguided. Searle’s Chinese Room Argument purports to show that syntax does not suffice for semantics and that computer programs as such must fail to have intrinsic intentionality. But we are not mainly interested in the program itself but rather the implementation of the program in some material. It does not follow by necessity from the fact that computer programs are defined syntactically that the (...) implementation of them cannot suffice for semantics. Perhaps our world is a world in which any implementation of the right computer program will create a system with intrinsic intentionality, in which case Searle’s Chinese Room Scenario is empirically (nomically) impossible. But, indeed, perhaps our world is a world in which Searle’s Chinese Room Scenario is empirically (nomically) possible and that the silicon basis of modern day computers are one kind of material unsuited to give you intrinsic intentionality. The metaphysical question turns out to be a question of what kind of world we are in and I argue that in this respect we do not know our modal address. The Modal Address Argument does not ensure that strong AI will succeed, but it shows that Searle’s challenge on the research program of strong AI fails in its objectives. (shrink)
According to Donald Davidson, linguistic meaning is determined by the principle of charity. Because of Davidson's semantic behaviourism, charity's significance is both epistemic and metaphysical: charity not only provides the radical interpreter with a method for constructing a semantic theory on the basis of his data, but it does so because it is the principle metaphysically determining meaning. In this paper, I assume that charity does determine meaning. On this assumption, I investigate both its epistemic and metaphysical status: is charity (...) a priori or a posteriori? And what kind of necessity does it have? According to Davidson himself, charity is an a priori truth and its necessity is conceptual: it is essential to, or constitutive of, our common concepts of meaning and belief. Not only does this generate tension within Davidson's own, Quine-inspired epistemology, but there is independent reason to think of charity as an empirical truth. Even so, charity might be essential to belief and meaning in the sense of being an a posteriori necessity. I conclude that our ordinary modal intuitions might well support charity's psychological-nomological necessity, but that they do not reach all the way to metaphysical necessity. (shrink)
The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non-trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)
This dissertation is a critique of synthetic ethical naturalism (SEN). SEN is a view in metaethics that comprises three key theses: first, there are moral properties and facts that are independent of the beliefs and attitudes of moral appraisers (moral realism); second, moral properties and facts are identical to (or constituted only by) natural properties and facts (ethical naturalism); and third, sentences used to assert identity or constitution relations between moral and natural properties are expressions of synthetic, a posteriori necessities. (...) The last of these theses, which distinguishes SEN from other forms of ethical naturalism, is supported by a fourth: the semantic contents of the central moral predicates such as 'morally right' and 'morally good' are fixed in part by features external to the minds of speakers (moral semantic externalism). Chapter 1 introduces SEN and discusses the most common motivations for accepting it. The next three chapters discuss the influential "Moral Twin Earth" argument against moral semantic externalism. In Chapter 2, I defend this argument from the charge that the thought experiment upon which it depends is defective. In Chapters 3 and 4, I consider two attempts to amend SEN so as to render it immune to the Moral Twin Earth argument. I show that each of these proposed amendments amounts to an abandonment of SEN. Chapter Five explores Richard Boyd's proposal that moral goodness is a "homeostatic property cluster." If true, Boyd's hypothesis could be used to support several metaphysical, epistemological, and semantic claims made on behalf of SEN. I advance three arguments against this account of moral goodness. In the sixth chapter, I argue that moral facts are not needed in the best a posteriori explanations of our moral beliefs and moral sensibility. Because of this, those who accept a metaphysical naturalism ought to deny the existence of such facts or else accept skepticism about moral knowledge. In Chapter 7, I consider a counterargument on behalf of SEN to the effect that moral facts are needed in order to explain the predictive success of our best moral theories. I show that this argument fails. (shrink)
In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)