George Bealer

This chapter targets functionalism as the most cogent form of contemporary materialism. In particular, it takes aim at ‘ontic’ or reductive functionalism: a theory that attempts to specify the essences of mental states, in a non-circular fashion, by means of physicalistic functional definitions (i.e., by means of the Ramsification of causal theories of the mind). The chapter points out that functionalism must account for thoughts that have psychological attitudes embedded within them. It effectively sets asides worries that the intensionality of the context of thought renders the argument invalid. It also draws attention to the devastating consequences of the other strategies for avoiding the dilemma. including language-of-thought functionalism. When the language-of-thought theorists attempt to define the content-of relation, they face a dilemma concerning the content of psychological predicates in the language. The language-of-thought theorist must either accept a definitional circularity incompatible with materialism, or resort again to Ramsified definitions that misdescribe the contents of self-conscious thoughts. In addition, such language-of-thought functionalism readily leads to epiphenomenalism. Finally, attempts to avoid the definitional circularity by means of something like a Tarskian hierarchy of distinct psychological attitudes founder on the type-free nature of introspection. The chapter concludes that the only viable functionalism is a non-reductive one that accepts mental properties as ontologically primary, on a par with physical properties.

In the history of epistemology, discussions of the a priori have been bound up with discussions of necessity and analyticity, often in confusing ways. Disentangling these confusions is an essential step in the study of the a priori. This will be the aim of my introductory remarks. The goal of the remainder of the paper will then be to try to develop a unified account of the a priori, dealing with the notions of intuition and a priori evidence, the question of why intuitions quality as evidence, and the question of how they can be a reliable guide to the truth about a priori matters.

This paper has three parts. First, a discussion of our use of intuitions as evidence (reasons) in logic, mathematics, philosophy (hereafter, “the a priori disciplines”). Second, an explanation of why intuitions are evidence. The explanation is provided by modal reliabilism—the doctrine that there is a certain kind of qualified modal tie between intuitions and the truth. Third, an explanation of why there should be such a tie between intuitions and the truth. This tie is a consequence of what, by definition, it is to possess the concepts involved in our intuitions. These three parts form the basis of a unified account of a priori evidence and, in turn, a priori knowledge.

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism.

First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube is ice', and 'Ice is water' all have the form 'A is B'. On the basis of the logical behavior of stuff-names with respect to this univocal copula, definitions are suggested for 'X is a stuff', 'X composes Y', 'X is a material object', and even 'Matter'. Hence an expanded form of logicism.

Suppose that, for every event, whether mental or physical, there is some physical event causally sufficient for it. Suppose, moreover, that physical reductionism in its various forms fails—that mental properties cannot be reduced to physical properties and mental events cannot be reduced to physical events. In this case, how could there be mental causation? More specifically, how could mental events cause other mental events, physical events, and intentional actions? The primary goal of this paper is to answer this question.

The dominant school of logic, semantics, and the foundation of mathematics construct its theories within the framework of set theory. There are three strategies by means of which a member of this school might attempt to justify his ontology of sets. One strategy is to show that sets are already included in the naturalistic part of our everyday ontology. If they are, then one may assume that whatever justifies the everyday ontology justifies the ontology of sets. Another strategy is to show that set theory is already part of logic. In this case, the ontology of sets would be justified in the sam way logic is justified. The third strategy is to show that set theory plays some unique role in theoretical work. If it does, then its ontology would be justified pragmatically. In this paper it is shown that none of these strategies is successful. One properly constructs foundations, not within set theory. bit within an intensional logic that takes properties, relations, propositions as basic.

In this paper, the arguments against the mind-body identity thesis from the author’s [1994] paper, “Mental Properties,” are presented but in significantly more detail. It is shown that, because of scientific essentialism, two currently popular arguments against the identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then shown that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity thesis, but also the metaphysical possibility of disembodiment. The paper ends with a discussion of the nature of the relation between the mind and the body.

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge.

In the history of epistemology, discussions of the a priori have been bound up with discussions of necessity and analyticity, often in confusing ways. Disentangling these confusions is an essential step in the study of the a priori. This will be the aim of my introductory remarks. The goal of the remainder of the paper will then be to try to develop a unified account of the a priori, dealing with the notions of intuition and a priori evidence, the question of why intuitions qualify as evidence, and the question of how they can be a reliable guide to the truth about a priori matters.

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of philosophy.

This paper summarizes and extends the transmodal argument for the existence of universals (developed in full detail in "Universals"). This argument establishes not only the existence of universals, but also that they exist necessarily, thereby confirming the ante rem view against the post rem and in re views (and also anti-existentialism against existentialism). Once summarized, the argument is extended to refute the trope theory of properties and is also shown to succeed even if possibilism is assumed. A nonreductionist theory of universals and properties is then outlined, and it is sketched how to reap the benefits of possibilism and Meinongianism in an actualist setting.

This paper answers critical responses to the author’s “A Theory of Concepts and Concept Possession.” The paper begins with a discussion of candidate counterexamples to the proposed analysis of concept possession -- including, e.g., a discussion of its relationship to Frank Jackson’s Mary example. Second, questions concerning the author’s general methodological approach are considered. For instance, it is shown that -- contrary to the critics’ suggestions -- an analysis of concept possession cannot invoke belief alone, but must also invoke intuition. Finally, a defense is given for the realist framework within which the theory of concepts, and of their possession conditions, is formulated.

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts. This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating.

This paper contains replies to comments on the author's paper "A Priori Knowledge and the Scope of Philosophy." Several points in the argument of that paper are given further clarification: the notion of our standard justificatory procedure, the notion of a basic source of evidence, and the doctrine of modal reliabilism. The reliability of intuition is then defended against Lycan's skepticism and a response is given to Lycan's claim that the scope of a priori knowledge does not include philosophically central topics such as the nature of consciousness. Next a counterfactual account of intuitions proposed by Sosa is criticized. Finally, in response to certain questions raised by Sosa, the explanation of the evidential status of intuition offered in the original paper receives further elaboration.

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions.

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments.

Ontological functionalism's defining tenet is that mental properties can be defined wholly in terms of the general pattern of interaction of ontologically prior realizations. Ideological functionalism's defining tenet is that mental properties can only be defined nonreductively, in terms of the general pattern of their interaction with one another. My Self-consciousness Argument establishes: ontological functionalism is mistaken because its proposed definitions wrongly admit realizations into the contents of self-consciousness; ideological functionalism is the only viable alternative for functionalists. Michael Tooley's critique misses the target: he offers no criticism of - except for an incidental, and incorrect, attack on certain self-intimation principles - and, since he himself proposes a certain form of nonreductive definition, he tacitly accepts. Finally, as with all other nonreductive definitions, Tooley's proposal can be shown to undermine functionalism's ultimate goal: its celebrated materialist solution to the Mind-Body Problem. The explanation of these points will require a discussion of: Frege-Russell disagreements regarding intensional contexts; the relationship between self-consciousness and the traditional doctrine of acquaintance; the role of self-intimation principles in functionalist psychology; and the Kripke-Lewis controversy over the nature of theoretical terms.

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.