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 distinguishes between various different conceptions of behaviour and action before exploring an accompanying variety of distinct things that ‘action explanation’ may plausibly amount to viz. different objectives of action explanation. I argue that a large majority of philosophers are guilty of conflating many of these, consequently offering inadequate accounts of the relation between actions and our reasons for performing them. The paper ends with the suggestion that we would do well to opt for a pluralistic understanding of action (...) and its explanations. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

This paper answers the question how pragmatic argumentation which occurs in a legal context, can be analyzed and evaluated adequately. First, the author surveys various ideas taken from argumentation theory and legal theory on the analysis and evaluation of pragmatic argumentation. Then, on the basis of these ideas, she develops a pragma-dialectical instrument for analyzing and evaluating pragmatic argumentation in a legal context. Finally she demonstrates how this instrument can be used by giving an exemplary analysis and evaluation of pragmatic (...) argumentation in a decision of the Dutch Supreme Court. (shrink)

In this paper the class of minimal models C ZI for Kiczuk's system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright's And Then and six specific axioms characterizing the meaning of unary propositional operator "Zm", read "there is a change in the fact that". ZI is intended to be a logic which provides a formal account for describing two kinds of (...) process change: the change from one state of the process to its other state (e.g., transmitting or absorbing energy with greater or less than the usual intensity) and the perishing of the process (e.g., cessation of the energetic activity of the sun). (shrink)

Kantian constructivists accord a constitutive, justificatory role to the issue of scope: they typically claim that first-order practical thought depends for its authority on being suitably acceptable within the right scope, or by all relevant others, and some Kantian constructivists, notably Onora O'Neill, hold that our views of the nature and criteria of practical reasoning also depend for their authority on being suitably acceptable within the right scope. The paper considers whether O'Neill-type Kantian constructivism can coherently accord this key role (...) to the issue of scope while adhering to the universalist, ‘cosmopolitan’ commitments at its core. The paper argues that this is not so. On the one hand, it shows that O'Neill's attempt to ‘fix’ the scope of practical reasoning supposes, rather than establishes, a view of ethical standing and the scope of practical reasoning. On the other hand, the paper argues that Kantian constructivism should endorse a non-constructivist, perfectionist view of the good to determine that scope. The paper thereby supports the perfectionist conjecture that Kantian constructivism, in order to defend its universalist commitments, should take refuge in non-constructivist, perfectionist considerations, and that Kantian constructivism should therefore construe perfectionism as a partial, though uneasy, ally. (shrink)

This paper considers the connection between concepts, conceptual schemes and grammar in Wittgenstein’s last writings. It lists eight claims about concepts that one can garner from these writings. It then focuses on one of them, namely that there is an important difference between conceptual and factual problems and investigations. That claim draws in its wake other claims, all of them revolving around the idea of a conceptual scheme, what Wittgenstein calls a ‘grammar’. I explain why Wittgenstein’s account does not fall (...) prey to Davidson’s animadversions against the idea of a conceptual scheme as a force operating on a pre-conceptual content. In the sequel I deny that the distinction between grammatical and empirical propositions disappears in the last writings: it is neither deliberately abandoned, nor willy-nilly undermined by the admission of hinge propositions in On Certainty or by the role accorded to agreement in judgement. (shrink)

Some philosophers have argued that refraining from performing an action consists in actively keeping oneself from performing that action or preventing one’s performing it. Since activities must be held to be positive actions, this implies that negative actions are a species of positive actions which is to say that all actions are positive actions. I defend the following claims: (i) Positive actions necessarily include activity or effort, negative actions may require activity or effort, but never include the activity or effort (...) which may be required. (ii) Unless it is, or was, at some time in P’s power to Q, P does not refrain from Q-ing. (iii) Negative actions are actions , they are causings of negative facts. (shrink)

Theories of children's developing understanding of mind tend to emphasize either individualistic processes of theory formation, maturation, or introspection, or the process of enculturation. However, such theories must be able to account for the accumulating evidence of the role of social interaction in the development of social understanding. We propose an alternative account, according to which the development of children's social understanding occurs within triadic interaction involving the child's experience of the world as well as communicative interaction with others about (...) their experience and beliefs (Chapman 1991; 1999). It is through such triadic interaction that children gradually construct knowledge of the world as well as knowledge of other people. We contend that the extent and nature of the social interaction children experience will influence the development of children's social understanding. Increased opportunity to engage in cooperative social interaction and exposure to talk about mental states should facilitate the development of social understanding. We review evidence suggesting that children's understanding of mind develops gradually in the context of social interaction. Therefore, we need a theory of development in this area that accords a fundamental role to social interaction, yet does not assume that children simply adopt socially available knowledge but rather that children construct an understanding of mind within social interaction. Key Words: language; Piaget; social interaction; theories of mind; Vygotsky; Wittgenstein. (shrink)

An introductory survey of the contemporary philosophy of action.

We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.

permits a sound and rigorously definable notion of ‘originating cause’ or causa causans—a type of transition event—of an outcome event. Mackie has famously suggested that causes form a family of ‘inus’ conditions, where an inus condition is ‘an insufficient but non-redundant part of an unnecessary but sufficient condition’. In this essay the needed concepts of BST theory are developed in detail, and it is then proved that the causae causantes of a given outcome event have exactly the structure of a (...) set of Mackie inus conditions. The proof requires the assumption that there is no EPR-like ‘funny business’. This seems enough to constitute a theory of ‘causation’ in at least one of its many senses. Introduction The cement of the universe Preliminaries 3.1 First definitions and postulates 3.2 Ontology: propositions 3.3 Ontology: initial events 3.4 Ontology: outcome events 3.5 Ontology: transition events 3.6 Propositional language applied to events Causae causantes 4.1 Causae causantes are basic primary transition events 4.2 Causae causantes of an outcome chain 4.3 No funny business Causae causantes and inns and inus conditions 5.1 Inns conditions of outcome chains: not quite 5.2 Inns conditions of outcome chains 5.3 Inns conditions of scattered outcome events 5.4 Inus conditions for disjunctive outcome events 5.5 Inns and inus conditions of transition events Counterfactual conditionals Appendix: Tense and modal connectives in BST. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

What are rules? In this paper I develop a view of regulative rules which takes them to be a distinctive normative kind occupying a middle ground between orders and normative truths. The paradigmatic cases of regulative rules that I’m interested in are social rules like rules of etiquette and legal rules like traffic rules. On the view I’ll propose, a rule is a general normative content that is in force due to human activity: enactment by an authority or acceptance by (...) a community. Rules are unlike orders in being not necessarily communicative, not an expression’s of the giver’s will, not evaluable for sincerity, and in that they have propositional content. And they’re unlike normative truths in that they’re themselves not even truth-evaluable (though their contents are). This is because rules qua things that are in force are not like constatives which have a mind to world direction of fit, but more like performatives. Furthermore, they differ from normative truths in that their normativity is isolated from their background justification and is therefore not dependent on contributory notions like reasons coming together in a weighing explanation. As such, they occupy a middle ground between orders and normative truths, much like in H. L. A. Hart’s opinion law occupies a middle ground between “coercion” and “morality” (Hart 1961/1994). I also illustrate the virtues of this understanding of rules by showing how proper appreciation of how they differ from normative truths helps us defuse a common objection to Hart’s practice theory of rules. (shrink)

One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...) the findings concerning indecision in philosophy and the treatment of indecision in argumentation theory. By investigating what philosophical forms and norms of indecision are involved in argumentation theory, we can improve our understanding of the different uncertain evidential situations in argumentation theory. (shrink)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

This chapter distinguishes between several senses of “normativity”. For example, that we ought to abstain from causing unnecessary suffering is a normative, not descriptive, claim. And so is the claim that we have good reason, and ought to drive on the right, or left, side of the road because the law requires us to do that. Reasons and oughts are normative, by definition. Indeed, it may be that “[t]he normativity of all that is normative consists in the way it is, (...) or provides, or is otherwise related to reasons” (Raz 1999, 67) . That is what the “reasons-first” view holds, but there are also other views, and what is by definition a normative statement, or a normative fact if you like, depends on how we define normativity. -/- It may seem that requirements are also by definition normative. But it seems that there can also be requirements that one has no reason to meet: it is less clear whether such requirements are normative in the same sense that reasons and oughts are normative. This paper will go through various further phenomena, which are candidates for being normative in some other sense than normative reasons and oughts, defending however the view that not all of them are. But arguably four or so different senses of normativity can be distinguished. -/- The paper will accept the view that the normativity of reasons and oughts, which is here called normativity1, is central. It is an open question whether all requirements or expectations or socially constructed norms are normative in that sense. Arguably it depends on the contents and content-independent authority of the legislators, whether we have good reasons, or ought, to meet the requirements, obey the law, or to follow the etiquette, or to conform to others’ interpersonal expectations, requests, demands or prescriptions. Whether and when we do have such reasons is a difficult and important substantive question, which concerns the normativity1 of requirements of law. -/- In another sense, norms (intended to guide behavior) are trivially or by definition normative, and constitute normativity: some forms of behavior are ruled as acceptable (e.g. driving on the right) and others as unacceptable (e.g. driving on the left) in light of the norm. Even in the case of a bad norm (that we have no reason to follow, and which ought to be changed, and ought not prevail) classifies behaviours as acceptable or unacceptable in light of the norm. Surely norms are by definition normative? Call this conformity to social norms and actual expectations normativity2. It is not an open question whether social norms are normative in that sense – they are by definition normative2. But importantly, it is an open question whether one has good reasons, or sufficient reason, or ought, to follow any social norm – that is, whether the norm in question is normative1. -/- The first section of the article characterizes further the difference between these two senses of normativity, and additionally introduces various other candidate senses of “normativity”. These possible senses of “normativity” may be at stake in the debates about normative requirements of rationality , about so called ought-to-be -rules , about normativity of linguistic meaning , about “directions of fit” of beliefs and desires , about subjective authority of intentions and decisions and interpersonal authority or co-authority of concrete others. -/- In later sections these cases are discussed. Do they constitute separate senses of normativity? And are the later phenomena such that they give agents good reasons: do they include normativity1 – the core sense? A “normative power -model” is suggested as a framework for examining whether actual social norms, laws, expectations provide good reasons and oughts or not. Once we understand the relation between the first two senses of normativity, do the later phenomena follow the same pattern – is the “normative powers – model” relevant for them as well? (shrink)

This article introduces the central ideas of G. H. von Wright’s cultural philosophy concerning the techno-scientific form of life. Georg Henrik von Wright (1916-2003) was best known for his achievements in the field of modal logic and for his association with LudwigWittgenstein. However, his work also included a critical analysis of science and technology. von Wright was concerned about ecological problems, human alienation, and the breakdown of traditional value systems. He analyzed the historical roots of modern techno-science. According to him, (...) understanding the conceptual framework of modern natural science can help us in facing the problems produced by the powerful use of technology. As the most troubling feature of techno-science, he considered its manipulative approach toward reality. (shrink)

Volume 23, Issue 2, June 2020, Page 180-186.

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

The first part of the chapter surveys some of the main ways in which the Sorites Paradox has figured in arguments in practical philosophy in recent decades, with special attention to arguments where the paradox is used as a basis for criticism. Not coincidentally, the relevant arguments all involve the transitivity of value in some way. The second part of the chapter is more probative, focusing on two main themes. First, I further address the relationship between the Sorites Paradox and (...) the main arguments discussed in the first part, by elucidating in what sense they rely on (something like) tolerance principles. Second, I briefly discuss the prospect of rejecting the respective principles, aiming to show that we can do so for some of the arguments but not for others. The reason is that in the latter cases the principles do not function as independent premises in the reasoning but, rather, follow from certain fundamental features of the relevant scenarios. I also argue that not even adopting what is arguably the most radical way to block the Sorites Paradox – that of weakening the consequence relation – suffices to invalidate these arguments. (shrink)

Certainly principles of criminal liability may be understood as rules or norms outlining orders or prohibitions and standing out among other norms with their weight, for legal culture, legal doctrine, etc. In such a classic approach they are norms defining basic rights and obligations in the applicable criminal law. However, is it the only possible and cognitively interesting meaning of the word “principle” in jurisprudence? From the semiotic point of view, they can occur in three forms: special-kind norms, teleological directives, (...) rules which constitute valid performance of conventional activities. In an extra-directival sense these principles may be understood as models-descriptions of shaping the system of criminal law. From a theoretical and practical point of view principles addressed to the legislator are extremely weighty—they can be called rules constructing the system of criminal liability. These all problems are discussed in the article. (shrink)

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

We have taken a look at the rules of games in order to acquire some knowledge concerning constitutive rules and, probably, institutional phenomena in general. In this paper we tried to elaborate a system account of constitutive rules. We claim that all accounts that put emphasis on the form of rules are vulnerable. It appears that constitutive rules are interconnected and always form a system that can be internally differentiated. Thanks to adopting certain qualitative criterion we were able to distinguish (...) central and peripheral constitutive rules. Moreover, that very account makes it possible to distinguish between different types of practices that are determined by types of systems of rules. Secondly, it appears there are three “layers” of games that should not be confused: deep conventions, constitutive rules that establish the game and determine games’ identities, and “rules of efficiency” that are some sort of recommendations as to how to play well. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (shrink)

Many philosophers think that games like chess, languages like English, and speech acts like assertion are constituted by rules. Lots of others disagree. To argue over this productively, it would be first useful to know what it would be for these things to be rule-constituted. Searle famously claimed in Speech Acts that rules constitute things in the sense that they make possible the performance of actions related to those things (Searle 1969). On this view, rules constitute games, languages, and speech (...) acts in the sense that they make possible playing them, speaking them and performing them. This raises the question what it is to perform rule-constituted actions (e. g. play, speak, assert) and the question what makes constitutive rules distinctive such that only they make possible the performance of new actions (e. g. playing). In this paper I will criticize Searle’s answers to these questions. However, my main aim is to develop a better view, explain how it works in the case of each of games, language, and assertion and illustrate its appeal by showing how it enables rule-based views of these things to respond to various objections. (shrink)

Although widely used across psychology, economics, and philosophy, the concept ofeffort is rarely ever defined. This article argues that the time is ripe to look for anexplicit general definition of effort, makes some proposals about how to arrive at thisdefinition, and suggests that a force-based approach is the most promising. Section 1presents an interdisciplinary overview of some chief research axes on effort, and arguesthat few, if any, general definitions have been proposed so far. Section 2 argues thatsuch a definition is (...) now needed and proposes a basic methodology to arrive at it, whosefirst step is to make explicit the various tacit assumptions about effort made acrosssciences and ordinary thinking. Section 3 unearths 4 different conceptions of effortfrom research on effort so far:primitive-feelings accounts,comparator-based accounts,resource-based accountsandforce-based accounts. It is then argued that the first 2kinds of accounts, although interesting in their own right, are not strictly speaking abouteffort. Section 4 considers the 2 most promising general approaches to efforts: re-source-based and force-based accounts. It argues that these accounts are not only compatible but actually extensionally equivalent. This notwithstanding, it explains why force-based accounts should be regarded as more fundamental than resource-basedaccounts -/- . (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.

In this article, I examine recent debates concerning the existence and the nature of basic actions. The discussion is structured around four theses, with which Arthur Danto introduced basic actions to contemporary theorists. The theses concern (i) the relationship between agency and causality, (ii) the distinction between basic and complex actions, (iii) the regress argument for basic actions, and (iv) the structure of practical knowledge in the light of these actions.

This volume focuses on dialogue and argumentation in contexts which are marked by truculence and discord. The contributors include well known argumentation scholars who discuss the issues this raises from the point of view of a variety of disciplines and points of view. The authors seek to address theoretically challenging issues in a way that is relevant to both the theory and the practice of argument. The collection brings together selected essays from the 2006 11th Wake Forest University Biennial Argumentation (...) Conference held at Florida Atlantic University in Boca Raton, Florida and the 2012 14th Wake Forest University Biennial Argumentation Conference held at Casa Artom in Venice, Italy. (shrink)

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...) and offers a list of unsolved problems that are in need of investigation. (shrink)

In this paper the class of minimal models CZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there is a change in the fact that”. ZI is intended to be a logic which provides a formal account for describing two kinds of process (...) change: the change from one state of the process to its other state and the perishing of the process. (shrink)

Event-causal libertarians maintain that an agent’s settling of whether certain states-of-affairs obtain on a particular occasion can be reduced to the causing of events (e.g., bodily motions, coming to a resolution) by certain mental events or states, such as certain desires, beliefs and/or intentions. Agent-causal libertarians disagree. A common critique against event-causal libertarian accounts is that the agent’s role of settling matters is left unfilled and the agent “disappears” from such accounts—a problem known as the disappearing agent problem. Recently, Franklin (...) (Philos Stud 170:413–432, 2014) has argued that an “enriched” event-causal account can overcome this problem. Franklin, however, doesn’t consider whether, as Pereboom (J Philos 99:499–531, 2015) argues, the agent as decider of “torn decisions” disappears from even enriched accounts. As I show here, Franklin’s enriched account takes some modifying if it is to overcome Pereboom’s torn decision problem—a special case of the disappearing agent problem. However, as I also show, there is a more fundamental problem facing event-causal libertarian accounts. It is implausible that an agent qua event or state simultaneously settles whether and how she intervenes. The upshot is that events and/or states lack an ability essential to completely fulfilling an agent’s role qua settler. This isn’t a problem for agent-causal accounts like the one offered by Steward (A metaphysics for freedom. Oxford University Press, Oxford, 2012) because in as much as an agent qua substance settles whether her body moves in certain ways on certain occasions she simultaneously settles whether and how she intervenes. As a consequence, event-causal libertarians face a dilemma, or rather several, that agent-causal libertarians do not. This may ultimately be explained by the irreducibility of causation by agents to causation by events. (shrink)

Agency can be construed as both the manner in which autonomous individuals embark on particular courses of action (or inaction), and the relationship between such agents and the outcomes of the courses of action on which they embark. A promising strategy for understanding both senses of agency consists in the combination of a modal logic of agency and branching time semantics. Such is the strategy behind stit theory, the theory of agentive action developed by Nuel Belnap and others. However, stit (...) theoretic evaluations of the agentive relationship between agents and outcomes that are uncertain—due to either the presence of indeterminism, or the possible intervention of other agents—yield counterintuitive results. This paper develops a pair of alternative operators (the “act” operators) for modeling agency with respect to uncertain outcomes. Unlike the stit-theoretic model, the act-theoretic model of agency with respect to a particular state of affairs does not require that the state of affairs be realized in every possible history. If the state of affairs in fact obtains in the actual history, and its obtaining was dependent on the agent’s pursuing a particular course of action, then the agent is deemed agentive under act theory. (shrink)

Situational aspects of action are discussed. The presented approach emphasizes the role of situational contexts in which actions are performed. These contexts influence the course of an action; they are determined not only by the current state of the system but also shaped by other factors as time, the previously undertaken actions and their succession, the agents of actions and so on. The distinction between states and situations is explored from the perspective of action systems. The notion of a situational (...) action system is introduced and its theory is expounded. Numerous examples illustrate the reach of the theory. (shrink)

An experimental paradigm that purports to test young children’s understanding of social norms is examined. The paradigm models norms on Searle’s notion of a constitutive rule. The experiments and the reasons provided for their design are discussed. It is argued that the experiments do not provide direct evidence about the development of social norms and that the concepts of a social norm and constitutive rule are distinct. The experimental data are re-interpreted, and suggestions for how to deal with the present (...) criticism are presented that do not require abandoning the paradigm as such. Then the conception of normativity that underlies the experimental paradigm is rejected and an alternative view is put forward. It is argued that normativity emerges from interaction and engagement, and that learning to comply with social norms involves understanding the distinction between their content, enforcement, and acceptance. As opposed to rule-based accounts that picture the development of an understanding of social norms as one-directional and based in enforcement, the present view emphasizes that normativity is situated, reciprocal, and interactive. (shrink)

According to the received opinion there is a theoretical incompatibility between Herbert Hart'sThe Concept of Lawand Alf Ross'sOn 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 Lawdoes not go beyondOn Law and Justicein 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 inThe Concept of LawandOn Law and Justiceare 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 article strives to provide an original conceptual frame- work that should open a way to clarification of general philosophical debates on rules and norms. It makes a clear distinction between rules understood as social facts grounded on specific relation- ships between social subjects and rules understood as linguistic entities. Norms are taken as specific social rules and divided into three different types: social constitutive norms, particular constitutive norms, and institutional norms. Attention is also devoted to relation between normality and (...) normativity, to the role of permissions and to specific features of technological ‘rules’. In the last part of the article the outlined conceptual apparatus is employed for analysis of two passages from Wittgenstein’s Investigations. (shrink)

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

Imperatives occur ubiquitously in natural languages. They produce forces which change the addressee’s cognitive state and regulate her actions accordingly. In real life we often receive conflicting orders, typically, issued by various authorities with different ranks. A new update semantics is proposed in this paper to formalize this idea. The general properties of this semantics, as well as its background ideas are discussed extensively. In addition, we compare our framework with other approaches of deontic logics in the context of normative (...) conflicts. (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)

Some intuitive normative principles raise vexing 'detaching problems' by their failure to license modus ponens. I examine three such principles (a self-reliance principle and two different instrumental principles) and recent stategies employed to resolve their detaching problems. I show that solving these problems necessitates postulating an indefinitely large number of senses for 'ought'. The semantics for 'ought' that is standard in linguistics offers a unifying strategy for solving these problems, but I argue that an alternative approach combining an end-relational theory (...) of normativity with a comparative probabilistic semantics for 'ought' provides a more satisfactory solution. (shrink)

Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for multiagent systems, which we dub spheres of commitment. We identify the key operations on commitments and multiagent systems. We distinguish between explicit and implicit commitments. Multiagent systems, viewed as spheres of commitment (SoComs), provide the context for the different operations on commitments. Armed with the above ideas, we can capture normative concepts such as obligations, (...) taboos, conventions, and pledges as different kinds of commitments. In this manner, we synthesize ideas from multiagent systems, particularly the idea of social context, with ideas from ethics and legal reasoning, specifically that of directed obligations in the Hohfeldian tradition. (shrink)

Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...) an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict. (shrink)

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.

The two dogmas at issue are the Humean dogma that “‘is’ statements do not imply ‘ought’ statements” and the Kantian dogma that “‘ought’ statements imply ‘can’” statements. The extant literature concludes these logically contradict each other. On the contrary, it is argued here that while there is no derivable formal contradiction, the juxtaposition of the dogmas manifests a philosophical disagreement over how to understand the logic of prescriptions. This disagreement bears on how to understand current metaethical debate between realists and (...) non-realists about morality in a way not heretofore investigated. The conclusion is that realists have the resources to account for both dogmas, while non-realists, if they strictly adhere to the “is”/“ought” gap, cannot give an adequate account of why “ought” implies “can”. (shrink)