This paper examines a general political problem of how to balance the need for concentrated power in the hands of the state—which is needed for effective governance—against the egalitarian desire to equalize power. It distinguishes between ‘positive’ political power appropriately wielded by the state, and ‘negative’ power that individuals may use to protect their own activities and interests from excessive or illegitimate state action and argue for institutions and practices designed to equalize power by ‘leveling up’ the powerless to match (...) the strong. (shrink)

[D. H. Mellor] Kant's claim that our knowledge of time is transcendental in his sense, while false of time itself, is true of tenses, i.e. of the locations of events and other temporal entities in McTaggart's A series. This fact can easily, and I think only, be explained by taking time itself to be real but tenseless. /// [J. R. Lucas] Mellor's argument from Kant fails. The difficulties in his first Antinomy are due to topological confusions, not the tensed nature (...) of time. Nor are McTaggart' s difficulties due to the tensed nature of time. The ego-centricity of tensed discourse is an essential feature of communication between selves, each of whom refers himself as 'I', and is required for talking about time as well as experience and agency. Arguments based on the Special Theory are misconceived. Some rest on a confused notion of 'topological simultaneity'. In the General Theory a cosmic time is defined, as also in quantum mechanics, where a natural present is defined by a unique hyperplane of collapse into eigen-ness. (shrink)

Inspired by legal reasoning, this paper presents a formal framework for assessing conflicting arguments. Its use is illustrated with applications to realistic legal examples, and the potential for implementation is discussed. The framework has the form of a logical system for defeasible argumentation. Its language, which is of a logic-programming-like nature, has both weak and explicit negation, and conflicts between arguments are decided with the help of priorities on the rules. An important feature of the system is that these priorities (...) are not fixed, but are themselves defeasibly derived as conclusions within the system. Thus debates on the choice between conflicting arguments can also be modelled.The proof theory of the system is stated in dialectical style, where a proof takes the form of a dialogue between a proponent and an opponent of an argument. An argument is shown to be justified if the proponent can make the opponent run out of moves in whatever way the opponent attacks. Despite this dialectical form, the system reflects a declarative, or relational approach to modelling legal argument. A basic assumption of this paper is that this approach complements two other lines of research in AI and Law, investigations of precedent-based reasoning and the development of procedural, or dialectical models of legal argument. (shrink)

This paper is a critical examination of Vendler's well-known aspectual classes (states, activities, accomplishments, achievements). It is argued that it not classes that play a role in the explanation of aspectual phenomena but rather some specific semantic factors from which aspectual classes can be constructed, in particular factors inherent to the (lexical) verb and to the determiners of noun phrases.

This paper examines the metaphysically modest view that attributionsof normative reasons can be made true in the absence of a responseindependent normative reality. The paper despairs in finding asatisfactory account of normative reasons in metaphysically modestterms.

This essay examines the proposal that psychological essentialism results from a history of natural selection acting on human representation and inference systems. It has been argued that the features that distinguish essentialist representational systems are especially well suited for representing natural kinds. If the evolved function of essentialism is to exploit the rich inductive potential of such kinds, then it must be subserved by cognitive mechanisms that carry out at least three distinct functions: identifying these kinds in the environment, constructing (...) essentialized representations of them, and constraining inductive inferences about kinds. Moreover, there are different kinds of kinds, ranging from nonliving substances to biological taxa to within-species kinds such as sex, and the causal processes that render these categories coherent for the purposes of inductive generalization vary. If the evolved function of essentialism is to support inductive generalization under ignorance of true causes, and if kinds of kinds vary in the implicit assumptions that support valid inductive inferences about them, then we expect different, functionally incompatible modes of essentialist thinking for different kinds. In particular, there should be differences in how biological and nonbiological substances, biological taxa, and biological and social role kinds are essentialized. The functional differences between these kinds of essentialism are discussed. (shrink)

In this paper I argue for three theses. First, most philosophical analyses of the problem of normative conflict, being based on the impossibility-of-joint-compliance test for conflict, are inadequate. Second, expanding on suggestions made by H. L. A. Hart and Stephen Munzer, I develop an understanding of normative conflict which is not tied to the concept of obedience. Such an understanding of normative conflict is expressly functional: normative conflicts arise when one norm interferes with the intended functioning of another. Third, working (...) from a functional concept of normative conflict, I develop a taxonomical classification scheme for the phenomenon of normative conflict. Normative conflict is the genus within which there are three species: normative contradiction, normative collision, and normative competition. Department of Philosophy, Southeast Missouri State University, Cape Girardeau, MO 63701, U.S.A. (shrink)

According to advocates of internalism about reasons for action, there is an interesting connection between an agent’s reasons and the agent’s present desires. On the simplest version of this view, an agent has a reason to act a certain way at some time if and only if acting that way would promote his present desires. Let us call this the sub-Humean model.1 The sub-Humean model is widely regarded as too simple on the grounds that there are adverse conditions, such as (...) massive confusion, in which desires are irrationally possessed or acquired, thereby failing to provide reasons for action.2. (shrink)

What credentials does evolutionary epistemology have as science? A judgement based on past performance, both in terms of advancing an empirical programme and further ng theory construction, is not much. This paper briefly outlines some of the research areas, both theoretical and empirical, that can be developed and that might secure for evolutionary epistemology a future in evolutionary biology.

The separation, uniformization, and other properties of the Borel and projective hierarchies over hyperfinite sets are investigated and compared to the corresponding properties in classical descriptive set theory. The techniques used in this investigation also provide some results about countably determined sets and functions, as well as an improvement of an earlier theorem of Kunen and Miller.

We shall prove quantifier elimination theorems for neocompact formulas, which define neocompact sets and are built from atomic formulas using finite disjunctions, infinite conjunctions, existential quantifiers, and bounded universal quantifiers. The neocompact sets were first introduced to provide an easy alternative to nonstandard methods of proving existence theorems in probability theory, where they behave like compact sets. The quantifier elimination theorems in this paper can be applied in a general setting to show that the family of neocompact sets is countably (...) compact. To provide the necessary setting we introduce the notion of a law structure. This notion was motivated by the probability law of a random variable. However, in this paper we discuss a variety of model theoretic examples of the notion in the light of our quantifier elimination results. (shrink)