This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

While most philosophers of science agree that science is, perhaps in many ways, a highly successful enterprise, there is no consensus about the best way of defining and measuring this success. Philosophers are also divided in their views about two further issues: What does the success of a scientific theory indicate? What is the best way of explaining this success?After some remarks about institutional and pragmatic measures of success, this paper concentrates on rival ways of defining cognitive success. Four realist (...) measures of epistemic credit are discussed: probability, confirmation (corroboration), expected verisimilitude, and probable verisimilitude. Laudan’s non-realist concept of the problem-solving effectiveness of a theory is compared to Hempel’s notion of systematic power. I argue that such truth-independent concepts alone are insufficient to characterize scientific advance. But if they are used as truth-dependent epistemic utilities, they serve as fallible indicators of the truth or truthlikeness of a theory. (shrink)

Based on the paradigm of Constructive Descriptions and Situations, we introduce NIC, an ontology of social collectives that includes social agents, plans, norms, and the conceptual relations between them. Norms are distinguished from plans, and their relations are formalized. A typology of social collectives is also proposed, including collection of agents, knowledge community, intentional collective, and normative intentional collective. NIC, represented as a first-order theory as well as a description logic for applications requiring automated reasoning, provides the expressivity to talk (...) about the contexts (social, informational, circumstantial, and conceptual), in which collectives make and produce sense within the interplay of plans and norms. (shrink)

I argue that intending and acting belong to the same genus: intending is a kind of doing continuous in structure with intentional acting. Future-directed intending is not a truly separate phenomenon from either the intending in action or the acting itself. Ultimately, all intentions are in action, or better still, in extended courses of action. I show how the intuitive distinction between intending and acting is based on modeling the two phenomena on the extreme and limiting cases of an otherwise (...) continuous spectrum of the ways in which agents exercise rational active intelligent guidance in the pursuit of goals. I argue that diachronic intentional agency is better understood in terms of continuity and unity of courses of active and intelligent guidance, and that the distinction between intending to do something and doing it is only a derivative and context-dependent segmentation of these continuous courses of rational active intelligent guidance. (shrink)

In a remarkable early paper, Wilfrid Sellars warned us that if we cease to recognize rules, we may well find ourselves walking on four feet; and it is obvious that within human communities, the phenomenon of rules is ubiquitous. Yet from the viewpoint of the sciences, rules cannot be easily accounted for. Sellars himself, during his later years, managed to put a lot of flesh on the normative bones from which he assembled the remarkable skeleton of the early paper; and (...) his followers too. However, what they say is somewhat divergent; and therefore my aim in this paper is to concentrate on the very concept of rule and analyse it in the context of the question what it is about us humans that makes us special. (shrink)

Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...) some commonsense and some quantum-mechanical, are used to make clear the advantages of invoking branching space-times theory in coming to understand propensities. (shrink)

In this paper I propose violation games as the basis of formal logics to represent and reason about norms, i.e. as the foundation of deontic logic. Deontic logic is an applied non-classical logic reflecting a way in which we conceptualize normative reasoning. By introducing violation games as a fundamental principle of deontic logic, I am introducing a new way of looking at familiar problems in normative reasoning, with the aim of introducing a new approach for handling norms in intelligent systems.

It's natural to think that the principles expressed by the statements "Promises ought to be kept" and "We ought to help those in need" are defeasible. But how are we to make sense of this defeasibility? On one proposal, moral principles have hedges or built-in unless clauses specifying the conditions under which the principle doesn't apply. On another, such principles are contributory and, thus, do not specify which actions ought to be carried out, but only what counts in favor or (...) against them. Drawing on a defeasible logic framework, this paper sets up three models: one model for each proposal, as well as a third model capturing a mixed view on principles that combines them. It then explores the structural connections between the three models and establishes some equivalence results, suggesting that the seemingly different views captured by the models are closer than standardly thought. (shrink)

Pragmatic Ambiguity: The Thetic Function of Modality The aim of this paper is to present an overview of the pragmatic aspects of ambiguity present in deontic sentences, which may have three pragmatic functions: a prescriptive or a descriptive or a constitutive function. This type of ambiguity is investigated on the lexical, phrasal, and sentential level. The discussion focuses on the deontic constructions of the German verb sollen and the English shall as they are used in legal texts. It also includes (...) comments on the thetic function of the Latin imperative mood and the subjunctive mood. (shrink)

This article revisits G.H. von Wright’s 1963 proposal of a ‘broad approach to ethics’ and his idea that moral goodness is a non-autonomous form of goodness ‘in search of a meaning’. In von Wright’s view, moral notions are to be examined in a broad framework consisting of various groups of ethically relevant concepts. This framework is described and some connections to Elizabeth Anscombe’s work in the late 1950s are identified. It is argued that von Wright’s broadly construed ethics provides tools (...) for understanding contextual and temporal variation of ‘moral points of view’ and puts traditional ideas concerning the nature of moral philosophy in a new light. However, von Wright failed to draw all the consequences of his own suggestions: accordingly, it is suggested that we have to abandon his view of a philosopher as a ‘moulder’ of concepts for a more context-oriented and elucidative conception of moral philosophy. (shrink)

This essay is motivated by the thought that the things we do are to be distinguished from our acts of doing them. I defend a particular way of drawing this distinction before proceeding to demonstrate its relevance for normative ethics. Central to my argument is the conviction that certain ongoing debates in ethical theory begin to dissolve once we disambiguate the two concepts of action in question. If this is right, then the study of action should be accorded a far (...) more prominent place within moral philosophy than previously supposed. I end by considering an extension of the above to aesthetic evaluation and,mutatis mutandis, that of our lives in general. (shrink)

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...) In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic. (shrink)

… We learn from anatomy, that the immediate object of power in voluntary motion, is not the member itself which is moved, but certain muscles, and nerves, and animal spirits, and, perhaps, something still more minute and more unknown, through which the motion is successively propagated, ere it reach the member itself whose motion is the immediate object of volition. Can there be a more certain proof, that the power, by which the whole operation is performed … is, to the (...) last degree, mysterious and unintelligible?Recent metaphysical theories, which stress the importance of an agent as a sort of cause, raise again the question of where and how in the chain of events involved in voluntary motion the human agent “immediately” exerts his influence. The matter is still every bit as mystifying as Hume suggests. We know that when a human being moves voluntarily, there are events in his central nervous system which are causes of the motion. Of course, nothing whatever need be known about these events in order to move voluntarily. Either human agents produce these events or they do not. (shrink)

In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.

According to the received opinion there is a theoretical incompatibility between Herbert Hart's The Concept of Law and Alf Ross's On Law and Justice, and, according to the received opinion, it stems above all from Hart's emphasis on the internal point of view. The present paper argues that this reading is mistaken. The Concept of Law does not go beyond On Law and Justice in so far as both present arguments to the effect that law is based on a shared (...) understanding between participants in a project perceived by every participant to be a project in common. The paper demonstrates that there are substantive parallels between Hart's combination of “acceptance” or “acknowledgement” and a “critical reflective attitude” and Ross's combination of “motivation” or “feeling” and a “coherent whole of meaning and motivation.” The main conclusion is that the views of norms and normativity put forward in The Concept of Law and On Law and Justice are very close in essential respects, and, more specifically, that the two works are at root identical in their representation of the basis of normativity in reality. (shrink)

This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic (...) concepts such as that of permission resists a satisfactory analysis without it. By way of illustration the last section of the paper analyses the much debated concept of positive permission, of which there turns out to be more than one kind. (shrink)

This paper aims to explore two objections raised against Bulygin’s second approach to the definition of the nature of legal power-conferring rules. According to the first objection, such an account is vague about what is defined by legal power-conferring rules qua constitutive rules. I maintain that this vagueness is rooted in the lack of a suitable definition of legal power. I shall be arguing for the reduction of the complexity of the definientia by defining legal power as a species of (...) competence. According to the second objection, this non-reductive approach cannot explain the normativity of this kind of rules. Against this approach, it argues that legal powerconferring rules perform a deontic and a definitional function as constitutive rules of legal practice. (shrink)

This work offers a challenge to the orthodox view that descriptive rules are non-normative and passive in their role and usage. It does so by arguing that, although lacking in normativity themselves, descriptive rules can be sources of normativity by way of the normative attitudes that can develop around them. That is, although descriptive rules typically depict how things are, they can also play a role in how things ought to be. In this way, the limited role that this type (...) of rule can play as either a basis for the development of normative reasons, or as explanatory reasons for action is identified and clarified. One desirable outcome of the analysis is a more complete view of what descriptive rules are and how they are utilized by agents. (shrink)

The communication process is analysed on the basis of the notions of trust and agency. The aim of the paper is to clarify the role played by causality on the one hand and the role played by logical consequences of assumptions about trust in information sources on the other hand. The first part is informal and the second part refers to the logical framework of modal logic though it requires a quite limited background in this area.

We provide a formally rigorous framework for integrating singular causation, as understood by Nuel Belnap's theory of causae causantes, and objective single case probabilities. The central notion is that of a causal probability space whose sample space consists of causal alternatives. Such a probability space is generally not isomorphic to a product space. We give a causally motivated statement of the Markov condition and an analysis of the concept of screening-off. 1. Causal dependencies and probabilities1.1Background: causation in branching space-times1.2What are (...) probabilities defined for?2. Basic transitions2.1Basics of basic transitions2.2Sets of basic transitions3. Causal probability theory3.1Some simple cases3.2General causal probabilities3.3Application: probability of suprema of a chain. (shrink)

Every problem of dirty hands is a moral conflict in which a highly unpalatable course of conduct is chosen for the sake of fulfilling a stringent moral duty, and in which either the chosen course of conduct is evil or else it would have been evil in the absence of the exigent circumstances to which it is a response. To support this conception of problems of dirty hands, this paper endeavors to elucidate the nature of moral conflicts and the nature (...) of evil. (shrink)

This paper discusses the place of philosophical naturalism in the philosophy of law, with special reference to Scandinavian Realism. Hägerström originated a non-cognitivist analysis of certain fundamental legal concepts, but he also proposed an error theory. The two approaches are incompatible, but were not always clearly distinguished. Among his followers, Olivecrona and Ross gradually abandoned the latter, at least from the late 1940s. Many accounts of their views are unclear, because the presence of these two kinds of analysis, their incompatibility, (...) and the gradual abandonment of one, has often been overlooked. A corollary of the discussion is that there are some important corrigenda in the entry “Naturalism in legal philosophy” in the Stanford Encyclopedia of Philosophy. (shrink)

Of these two books by Jon Elster, Making Sense of Marx is the more substantial. In it the most substantial parts of Explaining Technical Change reappear; and in it - in its impoverished conception of contradiction - the most striking omission of ETC takes the heaviest toll. ETC is to a very considerable extent taken up with reviews of other people's work on the economics of technical change. Its Part One survey of the philosophy of social science is very rapid, (...) with little novelty in- tended or offered. The survey is not systematically, or even incessantly, drawn upon in the Part Two discussion of technical change. MSM, by contrast, is a library of penetrating and provocative discussion, which ranks in quality with books by G.A. Cohen and John Roemer or Richard Miller among the number of recent exactingly analytical studies of Marx's theories, and is more comprehensive than any of these. (shrink)

In this article, I defend a meta-normative account of constitutivism by specifically addressing what I take to be a fundamental criticism of the constitutivist stance, namely, the objection that constitutive standards have conceptual, not normative, force, and so that no practical normativity can be extracted from them as constitutive of agency. In reply to this objection, I argue that the conceptual role of the standards constitutive of agency? their applying to us by virtue of our being the kinds of creatures (...) we are? does not exclude, but rather combines with, the normative role the same standards play in our practical life. (shrink)