Online research in philosophy

Natural deduction systems with indefinite and definite descriptions (ε-terms and ι-terms) are presented, and interpreted in Martin-Löf's intensional type theory. The interpretations are formalizations of ideas which are implicit in the literature of constructive mathematics: if we have proved that an element with a certain property exists, we speak of 'the element such that the property holds' and refer by that phrase to the element constructed in the existence proof. In particular, we deviate from the practice of interpreting descriptions by contextual definitions.

Definite descriptions (e.g. 'The king of France in 1997', 'The teacher of Aristotle') do not stand for particulars. Or so I will assume. The semantic alternative has seemed to be that descriptions only have meaning within sentences: i.e., that their semantic contribution is given syncategorimatically. This doesn't seem right, however, because descriptions can be used and understood outside the context of any sentence. Nor is this use simply a matter of "ellipsis." Since descriptions do not denote particulars, but seem to have a meaning in isolation, I propose that they be assigned generalized quantifiers as denotations — i.e. a kind of function, from sets/properties to propositions. I then defend the pragmatic plausibility of this proposal, using Relevance Theory. Specifically, I argue that, even taken as standing for generalized quantifiers, descriptions could still be used and understood in interpersonal communication.

In this paper I will provide a hylomorphic critique of Jeff McMahan’s “An Alternative to Brain Death.” I will evaluate three puzzles—the dicephalus, the braintransplant, and the split-brain phenomenon—proposed by McMahan which allow him to deny that a human being is identical to an organism. I will contend thatMcMahan’s solution entails counterintuitive consequences that pose problems to organ transplant cases. A Thomistic hylomorphic metaphysics not only avoids these unwelcome consequences and provides solutions to the three puzzles but in doing so allows for an alternative definition of death. Since McMahan has constructed his definition of death around his own metaphysics, alternative metaphysics, in this case a hylomorphic metaphysics, allow for an alternative definition of death.

The article rebutts Michael Kremer’s contention that Russell’s contextual definition of set-theoretic language in Principia Mathematica constituted the ontological achievement of eliminating commitment to classes. Although Russell’s higher-order quantifiers, used in the definition, need not range over classes, none of the plausible substitutes provide a solid basis for eliminating them. This point is used to defend the presentation, in The Dawn of Analysis, of Russell’s logicist reduction, using a first-order version of naive set theory.

We have argued against a standard way of defining Humean supervenience about laws, and in favor of an alternative definition. Skow says that our argument against the standard definition makes a big mistake. He is right about this. But that mistake is correctable. Skow also argues that our alternative definition is seriously flawed. We think he is wrong about this.

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

In almost all of his writings on ontology, Quine celebrated the discovery of contextual definition as a milestone of the history of philosophy. The philosophical appeal of this tool resides in the hope that it allows us to reduce the ontological commitments of theories in substantial ways. The goal of this paper is to show that contextual definition does not really come up to this hope. It is argued that the material adequacy of such definitions presupposes a very strong context-principle, one implying that theories do not have any ontological commitments at all.

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best versions of the unificationist “explicit” approach given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning.