Online research in philosophy

Due to several socio-political factors, to many psychiatrists only a strictly objective definition of mental disorder, free of value components, seems really acceptable. In this paper, I will explore a variant of such an objectivist approach to defining metal disorder, natural function objectivism. Proponents of this approach make recourse to the notion of natural function in order to reach a value-free definition of mental disorder. The exploration of Christopher Boorse's 'biostatistical' account of natural function (1) will be followed an investigation of the 'hybrid naturalism' approach to natural functions by Jerome Wakefield (2). In the third part, I will explore two proposals that call into question the whole attempt to define mental disorder (3). I will conclude that while 'natural function objectivism' accounts fail to provide the backdrop for a reliable definition of mental disorder, there is no compelling reason to conclude that a definition cannot be achieved.

First we have individual variables, as usual in first-order logics. (We do not have individual constants, but this is a minor point.) The propositional logic LP has justification constants, but in FOLP these are generalized to allow individual variables as arguments. Thus we have as justification constants c, c(x), c(x, y), . . . . Similarly LP has justification variables, but in FOLP these can be parametrized with individual variables p, p(x), p(x, y), . . . . To keep terminology in line with past papers, we will still refer to things as justification constants and justification variables, even though they have structure to them. As in LP, justification terms are built up from justification constants and justification variables using ·, +, ! as usual. In addition there is a new constructor, genx, introduced by Artemov, and there is one further new constructor, exsx, introduced in this paper. If t is a justification term and x is an individual variable, genxt and exsxt are justification terms. An individual variable x is free in a justification term unless it is bound by genx or exsx. More specifically, the free variables of p(x, y, . . .) and of c(x, y, . . .) are {x, y, . . .}, the free variables of s · t and of s + t are the free variables of s together with the free variables of t, the free variables of !s are the free variables of s, and the free variables of genxt and of exsxt are the free variables of t except for x. Formulas are built up from atomic formulas, including ⊥, in the way standard in first-order logic, together with the additional formation rule: t:X is a formula provided t is a justification term, X is a formula, and all free variables of X occur in t. We assume ⊃, ⊥, and ∀ are basic, with other connectives and quantifier defined. The axiomatization used here is a combination of an LP axiomatization and a standard axiomatization of first-order logic, together with a version of the Barcan formula, and one additional axiom that corresponds to the converse Barcan formula..

Anderson-like ontological proofs, studied in this paper, employ contingent identity, free principles of quantification of the 1st order variables and classical principles of quantification of the 2nd order variables. All these theories are strongly complete wrt. classes of modal structures containing families of world-varying objectual domains of the 1st order and constant conceptual domains of the 2nd order. In such structures, terms of the 1st order receive only rigid extensions, which are elements of the union of all 1st order domains. Terms of the 2nd order receive extensions and intensions. Given a family of preselected world-varying objectual domains of the 2nd order, non-rigid extensions of the 2nd order terms belong always to a preselected domain connected with a given world. Rigid intensions of the 2nd order terms are chosen from among members of a conceptual domain of the 2nd order, which is the set of all functions from the set of worlds to the union of all 2nd order preselected domains such that values of these functions at a given world belong to a preselected domain connected with this world.

The notion of competence in A Philosophical Basis of Medcial Practice presents a problem concerning the ontology of the body. This paper will maintain that an ontology of the body can only be based upon Cartesian grounds whereby the scientific knowable order is supposed to be identical to the natural order of things. Moral questions are not a part of this order and depend upon free will. Foucault has demonstrated that such a dualism between nature and morality cannot be warranted for contemporary medical practice. Medical science does not derive its foundation from a natural order but from the order of knowing which is present in the body of knowledge (episteme). This body of knowledge is the significative cultural force in the way of looking at problems of disease, life and death. Thus in contemporary medical practice, concepts of morality and competence which are based on notions of free will, shall be discarded as non-sensical, even for the patient.

We do not have to choose between belief in a divinely ordained cosmic moral order and the arbitrariness of our moral commitments. The alternative is a secular view that accepts that there is a natural cosmic order, denies that the order is moral, and relies on the values of the human world to provide a moral order by which we can reasonably live. These values are human constructions. Reliance on them is reasonable if they have passed the test of critical reflection. Our well-being depends on living according to the values that passed that test. Natural necessities, the contingencies of life, and our fallibility, however, limit the extent to which we can control how we live. We cannot free ourselves from necessities, but we can reduce the extent to which we are vulnerable to contingencies, and we can, within limits, increase the control we have by correcting mistakes we make when we are insufficiently critical of our attitudes, commitments, and values.

According to Margaret Cavendish the entire natural world is essentially rational such that everything thinks in some way or another. In this paper, I examine why Cavendish would believe that the natural world is ubiquitously rational, arguing against the usual account, which holds that she does so in order to account for the orderly production of very complex phenomena (e.g. living beings) given the limits of the mechanical philosophy. Rather, I argue, she attributes ubiquitous rationality to the natural world in order to ground a theory of the ubiquitous freedom of nature, which in turn accounts for both the world's orderly and disorderly behavior.

In this paper, I consider various arguments to the effect that natural evils are necessary for there to be created agents with free will of the sort that the traditional free-will defence for the problem of moral evil suggests we enjoy – arguments based on the idea that evil-doing requires the doer to use natural means in their agency. I conclude that, despite prima facie plausibility, these arguments do not, in fact, work. I provide my own argument for there being no possible world in which creatures enjoying this sort of freedom exist yet suffer no natural evil, and conclude that the way is thus open for extending the free-will defence to the problem of natural evil. (Published Online February 17 2004).

The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist-internalist debate about the meanings of such nouns. The two main claims of the paper are the following: first, that adequate logics for internalism and externalism about natural kind nouns are second-order logics; second, that an internalist second-order logic is a free logic—a second order logic free of existential commitments for natural kind nouns, while an externalist second-order logic is not free of existential commitments for natural kind nouns—it is existentially committed.

The word 'law' means order, hence natural law is simply the natural order. In the sense in which natural law is relevant to jurists, it is the natural order of persons -- specifically, the order of natural persons: human beings that are capable of rational, purposive action, speech and thought. In short, natural law is the natural order of the human world.