Online research in philosophy

This paper concerns what Jerry Fodor calls a 'metaphysical mystery': How can there by macroregularities that are realized by wildly heterogeneous lower level mechanisms? But the answer to this question is not as mysterious as many, including Jaegwon Kim, Ned Block, and Jerry Fodor might think. The multiple realizability of the properties of the special sciences such as psychology is best understood as a kind of universality, where 'universality' is used in the technical sense one finds in the physics literature. It is argued that the same explanatory strategy used by physicists to provide understanding of universal behavior in physics can be used to explain how special science properties can be heterogeneously multiply realized.

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties.

This paper proves that the disjunction property, the numerical existence property. Church's rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory. CZF. and also for the theory CZF augmented by the Regular Extension Axiom. As regards the proof technique, it features a self-validating semantics for CZF that combines realizability for extensional set theory and truth.

Can a certain sort of property supervene on another sort of property without reducing to it? Many philosophers find the superveniencel irreducibility combination attractive in the philosophy of mind and in moral philosophy (Davidson 1980 and Moore 1903). They think that mental properties supervene upon physical properties but do not reduce to them, or that moral properties supervene upon natural properties without reducing to them. Other philosophers have tried to show that the combination is ultimately untenable, however attractive it might initially appear. Thus Ted Honderich and Jaegwon Kim argue that the combination cannot explain the causal efhcacy of the supervening properties (Honderich 1982, Kim 1984b). And Simon..

Can a certain sort of property supervene on another sort of property without reducing to it? Many philosophers find the superveniencel irreducibility combination attractive in the philosophy of mind and in moral philosophy (Davidson 1980 and Moore 1903). They think that mental properties supervene upon physical properties but do not reduce to them, or that moral properties supervene upon natural properties without reducing to them. Other philosophers have tried to show that the combination is ultimately untenable, however attractive it might initially appear. Thus Ted Honderich and Jaegwon Kim argue that the combination cannot explain the causal efhcacy of the supervening properties (Honderich 1982, Kim 1984b). And Simon..

I will discuss two possible options how a defender of the type identity-theory with respect to mental properties can avoid the conclusion of Putnam's Multiple Realizability Argument. I begin by offering a rigorous formulation of Putnam's argument, which has been lacking so far in the literature (section 2). This rigorous formulation shows that there are basically two possible options for avoiding the argument's conclusion. Contrary to current mainstream, I reject the first option?Kim's 'local reductionism'?as untenable (section 3). I endorse the second option, which has been brought into discredit by being too closely associated with disjunctive properties. I first show that many of the criticisms of disjunctive properties miss their target or beg the question against their opponent view (sections 4 & 5). Then I argue that it is not necessary to tie the second option closely to disjunctive properties. Hence, even if we deny the legitimacy of disjunctive properties, the identity-theorist still need not accept the conclusion of the Multiple Realizability Argument since there is an alternative, though related, way to spell out the second response (section 6).