It has been maintained by such philosophers as Quine and Goodman that purely ‘extensional’ language suffices for all the purposes of properly formalized scientific discourse. Those entities that were traditionally called ‘universals’ — properties, concepts, forms, etc. — are rejected by these extensionalist philosophers on the ground that ‘the principle of individuation is not clear’. It is conceded that science requires that we allow something tantamount to quantification over non-particulars (or, anyway, over things that are not material objects, not space-time (...) points, not physical fields, etc.), but, the extensionalists contend, quantification over sets serves the purposes nicely. The ‘ontology’ of modern science, at least as Quine formalizes it, comprises material objects (or, alternatively, space-time points), sets of material objects, sets of sets of material objects,... but no properties, concepts,or forms. Let us thus examine the question: Can the principle of individuation for properties ever be made clear? (shrink)

Two chief problems of the theory of knowledge are the question of meaning and the question of verification. The first question asks under what conditions a sentence has meaning, in the sense of cognitive, factual meaning. The second one asks how we get to know something, how we can find out whether a given sentence is true or false. The second question presupposes the first one. Obviously we must understand a sentence, i.e. we must know its meaning, before we can (...) try to find out whether it is true or not. But, from the point of view of empiricism, there is a still closer connection between the two problems. In a certain sense, there is only one answer to the two questions. If we knew what it would be for a given sentence to be found true then we would know what its meaning is. And if for two sentences the conditions under which we would have to take them as true are the same, then they have the same meaning. Thus the meaning of a sentence is in a certain sense identical with the way we determine its truth or falsehood; and a sentence has meaning only if such a determination is possible. (shrink)

Somewhat loose arguments that non-reductive physicalist realism is untenable. Anomalous monism makes the mental irrelevant, functionalism is compatible with species-specific reduction, and supervenience is weak or reductive.

THIS PAPER CORRECTS AN ERROR IN MY EARLIER PAPER, "CONCEPTS OF SUPERVENIENCE" ("PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH", VOLUME 45, 1984), AND PRESENTS FURTHER MATERIAL ON SUPERVENIENCE. THE ERROR IS THE CLAIM THAT "GLOBAL" SUPERVENIENCE ENTAILS "STRONG" SUPERVENIENCE. HOWEVER, IT IS ARGUED THAT THIS FAILURE OF ENTAILMENT ONLY GOES TO SHOW THE INADEQUACY OF GLOBAL SUPERVENIENCE AS AN EXPLICATION OF "DEPENDENCY" OR "DETERMINATION" RELATION, AND, IN PARTICULAR, THAT MATERIALISM FORMULATED IN TERMS OF GLOBAL SUPERVENIENCE APPEARS TOO WEAK. (IT IS POINTED OUT, AMONG (...) OTHER THINGS, THAT GLOBAL SUPERVENIENCE DOES NOT ENTAIL "WEAK" SUPERVENIENCE). A STRONGER FORM OF GLOBAL SUPERVENIENCE, BASED ON "SIMILARITY" RATHER THAN "INDISCERNIBILITY" BETWEEN WORLDS, IS FORMULATED AND BRIEFLY DISCUSSED. (shrink)

Two concepts of supervenience, "strong supervenience" and "weak supervenience," are characterized and contrasted, And their major properties established. Supervenience as commonly characterized by philosophers is shown to correspond to weak supervenience, Whereas the intended concept is often the stronger relation. Strong supervenience is applied to explicate the notion of "supervenient causation," and it is argued that macro-Causal relations can be understood as cases of supervenient causation, And that causal relations involving psychological events, Too, Can be so understood.

The main topic of this paper is the question of how supervenience can be understood as a relation between two families of properties each applicable to a distinct domain of individuals.

Chapter One The most plausible arguments for the identity of mind and body that have been advanced in this century have been for the identity of mental ...

The functionalist view of the nature of the mind is now widely accepted. Like behaviorism and physicalism, functionalism seeks to answer the question "What are mental states?" I shall be concerned with identity thesis formulations of functionalism. They say, for example, that pain is a functional state, just as identity thesis formulations of physicalism say that pain is a physical state.

Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system whose descendants will literally be persons.

Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is not (...) always available for this mediating role. (shrink)

In this paper, I examine, from a metaphysical point of view, a recent notable attempt by Jaegwon Kim to explain how macro-events are dependent on micro-events and how causal transactions between macro-events are dependent on causal transactions between micro-events.

Reminiscences of Peter, by P. Oppenheim.--Natural kinds, by W. V. Quine.--Inductive independence and the paradoxes of confirmation, by J. Hintikka.--Partial entailment as a basis for inductive logic, by W. C. Salmon.--Are there non-deductive logics?, by W. Sellars.--Statistical explanation vs. statistical inference, by R. C. Jeffre--Newcomb's problem and two principles of choice, by R. Nozick.--The meaning of time, by A. Grünbaum.--Lawfulness as mind-dependent, by N. Rescher.--Events and their descriptions: some considerations, by J. Kim.--The individuation of events, by D. Davidson.--On properties, by (...) H. Putnam.--A method for avoiding the Curry paradox, by F. B. Fitch.--Publications (1934-1969) by Carl G. Hempel (p. [266]-270). (shrink)

Cognitivism in psychology and philosophy is roughly the position that intelligent behavior can (only) be explained by appeal to internal that is, rational thought in a very broad sense. Sections 1 to 5 attempt to explicate in detail the nature of the scientific enterprise that this intuition has inspired. That enterprise is distinctive in at least three ways: It relies on a style of explanation which is different from that of mathematical physics, in such a way that it is not (...) basically concerned with quantitative equational laws; the states and processes with which it deals are in the sense that they are regarded as meaningful or representational; and it is not committed to reductionism, but is open to reduction in a form different from that encountered in other sciences. Spelling these points out makes it clear that the Cognitivist study of the mind can be rigorous and empirical, despite its unprecedented theoretical form. The philosophical explication has another advantage as well: It provides a much needed framework for articulating questions about whether the Cognitivist approach is right or wrong. The last three sections take that advantage of the account, and address several such questions, pro and con. (shrink)

The following paper presents a characterization of three distinctions fundamental to computationalism, viz., the distinction between analog and digital machines, representation and nonrepresentation-using systems, and direct and indirect perceptual processes. Each distinction is shown to rest on nothing more than the methodological principles which justify the explanatory framework of the special sciences.

The mind-body problem arises because of our status as double agents apparently en rapport both with the mental and with the physical. We think, desire, decide, plan, suffer passions, fall into moods, are subject to sensory experiences, ostensibly perceive, intend, reason, make believe, and so on. We also move, have a certain geographical position, a certain height and weight, and we are sometimes hit or cut or burned. In other words, human beings have both minds and bodies. What is the (...) relation between these? Religion often tells us that we are really embodied souls released at death from our bodily prisons. Could this be right? (shrink)

THIS PAPER ARGUES THAT GLOBAL SUPERVENIENCE IS NOT\nEQUIVALENT TO KIM'S STRONG SUPERVENIENCE (AS HE HAS ARGUED\nIT IS) AND THAT IT DOES NOT ENTAIL THE TYPE OR TOKEN\nREDUCIBILITY OF THE SUPERVENIENT PROPERTIES TO THE\nPROPERTIES UPON WHICH THEY SUPERVENE (AS STRONG\nSUPERVENIENCE DOES). IT THEN TURNS TO AN EXAMINATION OF THE\nARGUMENT THAT GLOBAL SUPERVENIENCE IS EQUIVALENT TO\nIMPLICIT DEFINABILITY WHICH ACCORDING TO BETH'S THEOREM\nENTAILS EXPLICIT DEFINABILITY. THE AUTHOR HOPES TO SHOW\nTHAT GLOBAL SUPERVENIENCE IS A DISTINCT AND ESPECIALLY\nINTERESTING RELATION WHICH CAPTURES ASPECTS OF THE\nRELATIONSHIP BETWEEN (...) PHYSICAL PROPERTIES AND THOSE\nPROPERTIES WHICH ARE DETERMINED BY THEM THAT OTHER\nRELATIONS DO NOT DO JUSTICE TO. (shrink)

The thesis of "token identity" or "token physicalism" advanced by fodor and others attempts to reconcile materialism with a non-Reductionist view of the special sciences. However, I argue that since the individual events or "tokens" of any science are only designated according to its general types, The former cannot be specified physicalistically while the latter are not. Though attempting to combat a positivistic view of the sciences, Fodor's thesis rests on a positivistic opposition of token and type.