In Morals by Agreement David Gauthier proposes four criteria for classifying a society's advancement toward ‘higher stages of human development.' Significantly, these criteria — material well-being, breadth of opportunity, average life-span, and density of population — do not include as an equally valuable achievement the society's capacity to sustain its standard of living (288). Nonetheless Gauthier presents three arguments intended to show that a community founded on his distributive theory will view depletionary resource policies as unreasonable and unacceptable. I shall contend that these arguments do not succeed in motivating sustainable rates of resource exploitation. Furthermore, I argue that if truly just and rational resource use policies can be arrived at, such policies could only succeed by employing a conception of property rights substantially different from Gauthier's.

In the grand tradition, philosophical ontology was considered logically and epistemologically prior to scientific ontology. Like many contemporary philosophers of science, we consider this to be a mistake. There is two-way traffic between philosophical and scientific ontologies; the more we learn about what there actually is, the more we learn about what can be and what must be, and vice versa. But that is not the present topic; here we focus on the ontology or ontologies of science, not traditional philosophical ontologies or the traffic between scientific and philosophical ontologies.

1. Metaphysical Realists have traditionally relied upon the skeptic to give substance to the idea that truth is, in the words of Hilary Putnam, 'radically non-episternic,’ forever outstripping, in principle at least, the reach of justification. What better model of truth so conceived, after all, than the skeptic's contention that even our firmest convictions might be mistaken in that we might be the victims of demonic deception or the machinations of an evil scientist? But the availability of this favorite model of Realist truth, encapsulated in the claim that we might be ‘brains in a vat,’ has been called into question by Putnam in the opening chapter of Reason, Truth, and History. Putnam contends that, if we grant the Realist notion of truth, as referentially mediated correspondence to THE WORLD, then, given certain plausible constraints on reference, we can know that we are not brains in a vat (or, more accurately, ‘brains in a vat' of a particular kind, as we shall see).

An account of judgment ought to explain the fact that a judgment is, or may be, about some object. A judgment may be about some object if it contains some part, or term, which is related to the object, on the one hand, and related to- ‘combined with’ — the other parts of the judgment, on the other, in such a way that the whole judgment is consequently about that object. The relation of that term to the object may be called ‘reference.’ (If the judgment is analyzed into intuition and concept, then it is the relation whereby the intuition is of whatever it may be of.) It is the relation of ‘reference’ that might make a judgment ‘objective,’ and make it be about one or another particular object; and it is the relation combining the referring term (perception, intuition) with another term (concept, predicate) that makes the whole thing a judgment; that is, that makes the whole thing represent something as being true of the object referred to.

John Rawls's famous difference principle is capable of at least four distinct statements, each of which occurs in A Theory of Justice. According to what I shall term the Crude Principle it is a necessary and sufficient condition for the justice of an institutional scheme which expands social and economic inequality that, subject to the satisfaction of more weighty principles, it increases the level of advantage of the least advantaged. Expressing this principle Rawls writes that,

Logical consequence is a notion that every person who reasons must possess, at least implicitly. To give a precise and accurate characterization of this notion is the fundamental task of logic. In a similar way, the notion of effectivity is a concept that anyone with a basic training in mathematics possesses, and the most fundamental task of a theory of computability is to give a precise characterization of this notion. The problem concerning effectivity was solved (at least to the satisfaction of most people) in the 1930s, almost as soon as it was raised, by the work of Turing, Church, and others. By contrast, the correct and precise characterization of logical consequence has been hotly contested through the two and a half thousand-year history of logic.