George Bealer

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.

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism.

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind.

This paper begins with a brief summary of the Self-consciousness Argument, developed in the author’s paper “Self-consciousness.” (This argument is designed to refute the extant versions of functionalism -- American functionalism, Australian functionalism, and language-of-thought functionalism.) After this summary is given, two thesis are defended. The first is that the Self-consciousness Argument is not guilty of a Fregean equivocation regarding embedded occurrences of mental predicates, as has been suggested by many commentators, including Mark McCullagh. The second thesis is that the Self-consciousness Argument cannot be avoided by weakening the psychological theory upon which Ramsified functional definitions are based. Specifically, it does no good to excise psychological principles involving embedded mental predicates. Why? Because functional definitions based on the resulting sparse theories are exposed to an interesting new family of counterexamples.

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula.

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it incorporates the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals.

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- 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.

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body 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 argued 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.