I argue for a novel understanding of the nature of agent-regret. On the standard picture, agent-regret involves regretting the result of one’s action and thus regretting one’s action. I argue that the standard picture is a flawed analysis of agent-regret. I offer several cases of agent-regret where the agent feels agent-regret but does not regret the result itself. I appeal to other cases where an agent’s attitude towards something depends upon whether or not they are involved in that thing. I (...) argue that the same applies to actions: sometimes an agent’s attitude towards a result differs from their attitude to their involvement in bringing about that result. Agent-regret is regret about my own action, but it need not involve regret about something in the world. I end by considering how this picture of agent-regret allows us to respond to a particular criticism of agent-regret. (shrink)

Following Kelsen’s influential theory of law, the concept of validity has been used in the literature to refer to different properties of law (such as existence, membership, bindingness, and more), and so it is inherently ambiguous. More importantly, Kelsen’s equivalence between the existence and the validity of law prevents us from accounting satisfactorily for relevant aspects of our current legal practices, such as the phenomenon of “unlawful law.” This chapter addresses this ambiguity to argue that the most important function of (...) the concept of validity is constituting the complex ontological paradigm of modern law as an institutional-normative practice. In this sense, validity is an artificial ontological status that supervenes on that of the existence of legal norms, thus allowing law to regulate its own creation and creating the logical space for the occurrence of “unlawful law.” This function, I argue in the last part, is crucial to understanding the relationship between the ontological and epistemic dimensions of the objectivity of law. Given the necessary practice-independence of legal norms it is the epistemic accessibility of their creation that enables the law to fulfill its general action-guiding (and thus coordinating) function. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (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)

This paper explicates Husserl’s usage of what he calls “radical Besinnung” in Formale und transzendentale Logik. Husserl introduces radical Besinnung as his method in the introduction to FTL. Radical Besinnung aims at criticizing the practice of formal sciences by means of transcendental phenomenological clarification of its aims and presuppositions. By showing how Husserl applies this method to the history of formal sciences down to mathematicians’ work in his time, the paper explains in detail the relationship between historical critical Besinnung and (...) transcendental phenomenology. Ultimately the paper suggests that radical Besinnung should be viewed as a general methodological framework within which transcendental phenomenological descriptions are used to criticize historically given goal-directed practices. (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 this paper I propose a way of characterizing human agency in terms of the concept of a two‐way power. I outline this conception of agency, defend it against some objections, and briefly indicate how it relates to free agency and to moral praise‐ and blameworthiness.

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)

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)

My paper reflects on the debate about reasons for action and action explanations between Wittgensteinian teleological approaches and causalist theories inspired by Davidson. After a brief discussion of similarities and differences in the philosophy of language, I sketch the prehistory and history of the controversy. I show that the conflict between Wittgenstein and Davidson revolves neither around revisionism nor around naturalism. Even in the philosophy of mind and action, Davidson is not as remote from Wittgenstein and his followers as is (...) commonly assumed: there are numerous points of contact of both a biographical and a substantive kind. The real conflict concerns the difference between Davidson’s official subjectivist approach to reasons for action, according to which they are mental states of believing and desiring (or their onsets) on the one hand, and an objectivist approach, according to which reasons for action are what is believed or desired, non-mental facts or states of affairs. (shrink)

While differentialists deny that non-linguistic animals can have a sense of justice, assimilationists credit some animals with such an advanced moral attitude. We approach this debate from a philosophical perspective. First, we outline the history of the notion of justice in philosophy and how various facets of that notion play a role in contemporary empirical investigations of justice among humans. On this basis, we develop a scheme for the elements of justice-relevant situations and for criteria of justice that should be (...) fruitful in studying both humans and animals. Furthermore, we investigate the conceptual connections between a sense of justice, on the one hand, and various other mental powers, on the other, and indicate which of the latter may be beyond the ken of animals. Next, we consider recent empirical research on justicerelated phenomena in animals. We argue for an intermediate position: While animals can at least in principle satisfy some preconditions of justice (intentional action, rulefollowing), others are problematic, notably possessing a notion of desert. A space for justice in social animals exists, yet it is rather limited compared to the rich cultures of justice in humans. Finally, we reflect on some actual or alleged implications of research on animal justice. As regards justice in humans, one should avoid a simplistic image of ‘‘natural justice’’ as boiling down to equal allocation of goods. As regards justice for animals, one should be weary of the contractualist assumption that only those capable of justice themselves are deserving of ‘‘just’’ treatment. (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)

Input/output logics are abstract structures designed to represent conditional obligations and goals. In this paper we use them to study conditional permission. This perspective provides a clear separation of the familiar notion of negative permission from the more elusive one of positive permission. Moreover, it reveals that there are at least two kinds of positive permission. Although indistinguishable in the unconditional case, they are quite different in conditional contexts. One of them, which we call static positive permission, guides the citizen (...) and law enforcement authorities in the assessment of specific actions under current norms, and it behaves like a weakened obligation. Another, which we call dynamic positive permission, guides the legislator. It describes the limits on the prohibitions that may be introduced into a code, and under suitable conditions behaves like a strengthened negative permission. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of deontic logic. The present paper is an attempt to advance such an account of deontic logic using the formal apparatus of update semantics and dynamic logic. That is, we first define norm systems and a (...) semantics of norm performatives as transformations of the norm system. Then a static modal logic for norm propositions is defined on that basis. In the course of this exposition we stress the performative nature of (i) free choice permission, (ii) the sealing legal principle and (iii) the social nature of permission. That is, (i) granting a disjunctive permission means granting permission for both disjuncts; (ii) non-prohibition does not entail permission, but the authority can declare that whatever he does not forbid is thereby permitted; and (iii) granting permission to one person means that all others are committed to not prevent the invocation of that permission. (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)

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)

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.

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)

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)

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.

A prominent but poorly understood domain of human agency is mental action, i.e., thecapacity for reaching specific desirable mental statesthrough an appropriate monitoring of one's own mentalprocesses. The present paper aims to define mentalacts, and to defend their explanatory role againsttwo objections. One is Gilbert Ryle's contention thatpostulating mental acts leads to an infinite regress.The other is a different although related difficulty,here called the access puzzle: How can the mindalready know how to act in order to reach somepredefined result? A (...) crucial element in the solutionof these puzzles consists in making explicit thecontingency between mental acts and mentaloperations, parallel to the contingency betweenphysical acts and bodily movements. The paper finallydiscusses the kind of reflexivity at stake in mentalacts; it is shown that the capacity to refer tooneself is not a necessary condition of the successfulexecution of mental acts. (shrink)

Critical Notice of Alex Worsnip's 'Fitting Things Together: Coherence and the Demands of Structural Rationality' (OUP 2021).

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

I extend the previously given truth-maker semantics and logic for imperatives to deontic statements.

We take ourselves to be able to omit to perform certain actions and to be at times responsible for these omissions. Moreover, omissions seem to have effects and to be manifestations of our agency. So, it is natural to think that omissions must be events. However, very few people writing on this topic have been willing to argue that omissions are events. Such a view is taken to face three significant challenges: (i) omissions are thought to be somehow problematically negative, (...) (ii) it is unclear where the event of an omission would be located, and (iii) if we accept any omissions as events, it seems like there would be far too much causation involving them. In this paper, I develop a novel view of omissions as events and as actions that provides answers to these challenges. (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)

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)

In two recent articles and an earlier book Fred Dretske appeals to a distinction between triggering and structuring causes with the aim of establishing that psychological explanations of behavior differ from non-psychological ones. He concludes that intentional human behavior is triggered by electro-chemical events but structured by representational facts. In this paper I argue that while this underrated causalist position is considerably more persuasive than the standard causalist alternative, Dretske’s account fails to provide us with a coherent analysis of intentional (...) action and its explanation. (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)

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)

A theory of temporal passage is put forward which is "objective" in the sense that time flow characterizes the universe independently of the existence of conscious beings. The theory differs from Grunbaum's "mind-dependence" theory, and is designed to avoid Grunbaum's criticisms of an earlier theory of Reichenbach's. The representation of temporal becoming is accomplished by the introduction of indeterministic universe-models; each model representing the universe at a time. The models depict the past as a single four-dimensional manifold, and the future (...) as a branched structure of such manifolds. Time flow is relativistic in that it manifests itself in a frame-dependent (but not observer-dependent) way. The indeterministic character of the universe-models is mirrored in a "temporal" theory of truth which rejects the principle of bivalence, and suitable semantics are provided for this theory. Finally, an account of physical law is given which defines it in terms of physical possibility, rather than vice versa. (shrink)

In common treatments of deontic logic, the obligatory is what is true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference (...) rule which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way. (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)

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)

Some apparently valid arguments crucially rely on context change. To take a kind of example first discussed by Frege, ‘Tomorrow, it’ll be sunny’ taken on a day seems to entail ‘Today, it’s sunny’ taken on the next day, but the first sentence taken on a day sadly does not seem to entail the second sentence taken on the second next day. Mid-argument context change has not been accounted for by the tradition that has extensively studied the distinctive logical properties of (...) context-dependent languages, for that tradition has focussed on arguments whose premises and conclusions are taken at the same context. I first argue for the desiderability of having a logic that accounts for mid-argument context change and I explain how one can informally understand such context change in a standard framework in which the relation of logical consequence holds among sentences. I then propose a family of simple temporal “intercontextual” logics that adequately model the validity of certain arguments in which the context changes. In particular, such logics validate the apparently valid argument in the Fregean example. The logics lack many traditional structural properties (reflexivity, contraction, commutativity etc.) as a consequence of the logical significance acquired by the sequence structure of premises and conclusions. The logics are however strong enough to capture in the form of logical truths all the valid arguments of both classical logic and Kaplan-style “intracontextual” logic. Finally, I extend the framework by introducing new operations into the object language, such as intercontextual conjunction, disjunction and implication, which, contrary to intracontextual conjunction, disjunction and implication, perfectly match the metalinguistic, intercontextual notions of premise combination, conclusion combination and logical consequence by representing their respective two operands as taken at different contexts. (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.

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)

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)

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.

Following von Wright, ``transitions'' are needed for understanding agency. I indicate how von Wright's account of transitions should be adapted to take account of objective indeterminism, using the idea of branching space-time. The essential point is the need to locate transitions not merely in space-time, but concretely amid the indeterministic, causally structured possibilities of our (only) world. (This is a ``postprint'' of Belnap 1999, as cited in the paper. The page numbers do not, of course, match those of the original.).

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)