It is natural to assume that every value bearer must be good, bad, or neutral. This paper argues that this assumption is false if value incomparability is possible. More precisely, if value incommensurability is possible, then there is a fourth category of absolute value, in addition to the good, the bad, and the neutral.

Is an outcome where many people are saved and one person dies better than an outcome where the one is saved and the many die? According to the standard utilitarian justification, the former is better because it has a greater sum total of well-being. This justification involves a controversial form of moral aggregation, because it is based on a comparison between aggregates of different people's well-being. Still, an alternative justification—the Argument for Best Outcomes—does not involve moral aggregation. I extend the (...) Argument for Best Outcomes to show that any utilitarian evaluation can be justified without moral aggregation. (shrink)

This thesis explores whether the three standard value relations, “better than”, “worse than” and “equally as good”, exhaust the possibilities in which things can relate with respect to their value. Or more precisely, whether there are examples in which one of these relations is not instantiated. There are cases in which it is not obvious that one of these relations does obtain; these are referred to as “hard cases of comparison”. These hard cases of comparison become interesting, since if it (...) not the case that the standard three value relations obtains in these cases then the three standard relations do not exhaust the possibility of instantiated value relations. It is argued that for some of the hard cases of comparison, the standard relations determinately obtain. For some it is indeterminate, due to vagueness, which of the three relations obtains, but it is determinate that one of them obtains. Thereafter it is argued that the influential Collapsing Argument fails in ruling out other accounts of the hard cases of comparison. Since one cannot depend on the Collapsing Argument in order to conclude that all items are related by the standard three relations, the investigation continues. It is argued that none of the hard cases of comparison are cases of incomparability. Furthermore, none of them are cases of a fourth basic positive value relation such as “parity”. Consequently, for all the hard cases of comparison one of the standard value relations holds, although sometimes we do not know which one and sometimes it is indeterminate which one holds. This means that there is no reason to assume that one of the standard three value relations does not hold between items we are comparing. This is followed by a brief discussion about the normative consequences of this result. The thesis ends with four different appendices in which related topics are discussed. (shrink)

Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...) change, including new information, suggestions, and commands. In sum, the book creates new bridges between many fields, from philosophy and computer science to economics, linguistics, and psychology. For the experienced scholar access to a large body of recent literature is provided and the novice gets a thorough introduction to the action and techniques of dynamic logic. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true. The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the (...) knowledge modality. The proof of completeness is using a newly proposed “tumbled pairs” technique. (shrink)

This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...) several completeness theorems. We show how our system links up with Von Wright's work, and how it applies to game-theoretic solution concepts, to agenda setting in investigation, and to preference change. We finally consider its relation with infinitary modal logics. (shrink)