From an indeterminist's perspective, I support and defined the following argument for deontic incompatibilism: If determinism is true, then no one ever can do otherwise than he does. If no one ever can do otherwise than he does, then nothing anyone does is ever right, wrong, or obligatory. Therefore, if determinism is true, then nothing anyone does is ever right, wrong, or obligatory. ;They sense of 'can' I use in this argument is what I call "the power-'can' of ordinary language." (...) The power-'can' has two time indexes; one applies to the power itself, the other to the relevant doing. I argue that the power-'can' is a sense of 'can' with which the "ought implies can" principle holds true. ;I review and respond to various accounts of 'can' proposed by compatibilists Bruce Aune, Keith Lehrer, David Lewis, G. E. Moore and others. Elsewhere I discuss writings by Peter van Inwagen and J. L. Austin. ;To support , I utilize, argue for, and show the advantages of the Temporal Physical Possibility Requirements: If an agent, S, can at time T do A at time T$\sp\prime$, then S's doing A at $T\sp\prime$ is jointly possible with the conjunction of the state of the world at T and the laws of nature. When arguing for these requirements, I focus on how most people use the power-'can' and how they would use it in various situations. I present and respond to objections to my arguments. Most of the objections are based on certain strong forms of contextualism. ;I argue for and defend my premises against various objections. One objection is based on a form of utilitarianism advocated by Fred Feldman. Other objections are based on an example by Harry Frankfurt concerning moral responsibility. ;Two arguments against are presented and I respond. They are developed from a suggestion by John Martin Fischer that people would continue making deontic claims if a consortium of scientists were to find strong evidence of determinism. (shrink)

This book is a synthesis of more than three decades of research into the concept of time and its semiotic nature. If traditional philosophy – and philosophy of time should be no exception – in the shadow of advancing biology can be said to have reached an impasse, one important reason for this, in harmony with Wittgenstein’s vision, appears to have been its lack of appropriate tools for explicating language. The present theory of time proceeds, accordingly, from the exploration of (...) temporal expressions in language as an evolutionary fact. It derives in a hypothetical, coherent feedback process of hierarchically ordered distinctions the semantics of time from its biologically dictated perceptual and cognitive-pragmatic origins. The corresponding abductive-regulative model is anchored in the assumption of biological rhythmization as the very foundation of perception and mental/physical action. Understood to originate in space and spatial perspective, time reveals itself as an instrument for temporal perspective on motion (events and situations) in a process of analysis, i.e., discontinuation of chaos made divisible and continuous by the rhythmical screen. Whereas traditional philosophy of time paid attention almost exclusively to the temporal category of tense, the biopragmatic model sees strong evidence in the perspectival nature of time for ascribing the decisive, and probably universal, role in temporal analysis to the linguistic category of aspect. Aspect may, according to the present findings, be assumed to partake already of change-of-state and cause-effect analysis without which man’s adaptation to new situations – and precondition for survival – would be inconceivable. The proposed model of space/time cognition, inspired by Hegelian dialectics, Heidegger-Gadamer’s hermeneutic circle and Peircean logic, makes Kantian a priori superfluous and liberates time from its enigmatic appearance. For the first time in temporal studies it thus appears possible to derive hypothetically linguistic expressions of time all the way from pretemporal, homogeneous continuity effected by biological rhythmization, via pretemporal metonymic (Gestalt), chunk-wise partitioning – as a general precondition for the perception and, based on primary metaphorization, the cognition of things, space and motion – to temporal analysis/discontinuation proper, primarily by aspectual perspective, and the subsequent synthesized, heterogeneous continuity of temporally ordered events. The conception of time, so disastrous for modern temporal logic, i.e., as moving object assigned extension, divisible continuity (‛linearity’) and direction, can be shown to have emerged as a result of secondary metaphorization. (shrink)

Overview of fundamental work in deontic logic.

I argue that taking the Practical Conditionals Thesis seriously demands a new understanding of the semantics of such conditionals. Practical Conditionals Thesis: A practical conditional [if A][ought] expresses B’s conditional preferability given A Paul Weirich has argued that the conditional utility of a state of affairs B on A is to be identified as the degree to which it is desired under indicative supposition that A. Similarly, exploiting the PCT, I will argue that the proper analysis of indicative practical conditionals (...) is in terms of what is planned, desired, or preferred, given suppositional changes to an agent’s information. Implementing such a conception of conditional preference in a semantic analysis of indicative practical conditionals turns out to be incompatible with any approach which treats the indicative conditional as expressing non-vacuous universal quantification over some domain of relevant antecedent-possibilities. Such analyses, I argue, encode a fundamental misunderstanding of what it is to be best, given some condition. The analysis that does the best vis-à-vis the PCT is, instead, one that blends a Context-Shifty account of indicative antecedents with an Expressivistic, or non-propositional, treatment of their practical consequents. (shrink)

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...) its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic. (shrink)

Looking at our knowledge of the risks associated with nanotechnology, one wonders to what degree should its products and applications be regulated? Do we need any governing body to regulate nanotechnology research and development? Do individuals have a right to know to make informed decisions through labelling mechanism? The question of regulation and responsibility in the interaction between science, technology and society is one of the most pressing issues. Risks and regulations regarding nanoscience and nanotechnology are mostly debated amongst policy-makers (...) and not amongst the nanoscientists, who actually produce the new science. Thus, the paper makes an attempt to contribute significantly to an increased body of knowledge regarding how scientists think and talk about science. Little has been documented about perceptions of nanotechnology regulation and responsibility in developing countries. Given the importance of perceptions in the genetically-modified foods debate, the way nanotechnology is perceived holds serious repercussions for the framing of its ethical, legal and social implications. Through a field-survey that records the opinions of leading Indian nanoscientists, the paper examines scientists' perceptions about nanotech-regulation. Such discussion is imperative to address technological risks and uncertainties. The paper further explores whether scientists have different views on what responsibility amounts to and under what conditions one is responsible. Though the study has considered Indian nanoscientists due to access issues, the research questions raised and addressed in this study are universal in nature. (shrink)

This essay investigates the applicability of Grice’s theory of conversational implicatures to legal interpretation, in order to highlight some of its characteristics. After introducing the notions of language and discourse, and briefly explaining the most salient aspects of Grice’s theory, I will analyse the interpretation of two types of legal acts; authoritative legal acts and acts of private autonomy. Regarding the first class, exemplified by statutes, I will argue against the applicability of Gricean theory due to the conflictual behaviour of (...) the addressees and, above all, to the insurmountable indeterminacy of the contextual elements. As far as acts of private autonomy are concerned, exemplified by contracts, I will argue that the cooperative principle is applicable, at least in those legal systems that include the principle of bona fides among the interpretative regulations of such acts. (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.

Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...

It is argued that the distinction between the normative and the descriptive interpretation of norm sentences can be regarded as a distinction between two kinds of utterances. A norm or a directive has as its content a normative proposition. A normative utterance of a normative proposition in appropriate circumstances makes the proposition true, and an assertive utterance has as its truth-maker the norm system to which it refers. This account of norms, norm-contents, and utterances of norm sentences solves Jørgensen's problem: (...) logical relations among norms can be defined in the usual way in terms of the truth-conditions of the normative propositions which form their content. There is no distinction between the logic of norms and the logic of normative propositions; in this respect the present account differs from Carlos Alchourrón and Eugenio Bulygin's account of the logic of normative propositions. Se argumenta que la distinción entre la interpretación normativa y la descriptiva de las oraciones normativas puede ser considerada como una distinción entre dos tipos de emisiones. Una norma o directiva tiene como su contenido una proposición normativa. Una emisión normativa de una proposición normativa en circunstancias apropiadas hace verdadera la proposición y es el sistema de normas al que se refiere una emisión asertiva el que la hace verdadera. Esta concepción de normas, contenidos de normas y emisiones de oraciones normativas resuelve el problema de Jörgensen: las relaciones lógicas entre normas pueden ser definidas de manera usual en términos de las condiciones de verdad de las proposiciones normativas que forman su contenido. No hay diferencia alguna entre la lógica de normas y la lógica de proposiciones normativas; en este aspecto la presente concepción difiere de la concepción de la lógica de proposiciones normativas de Carlos Alchourrón y Eugenio Bulygin. (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)

This paper is divided in five sections. Section 11.1 sketches the history of the distinction between speech act with negative content and negated speech act, and gives a general dynamic interpretation for negated speech act. “Downdate semantics” for AGM contraction is introduced in Section 11.2. Relying on semantically interpreted contraction, Section 11.3 develops the dynamic semantics for constative and directive speech acts, and their external negations. The expressive completeness for the formal variants of natural language utterances, none of which is (...) a retraction, has been proved in Section 11.4. The last section gives a laconic answer to the question posed in the title of the paper. (shrink)

This paper examines three views of what an omission or an instance of refraining is. The view advanced is that in many cases, an omission is simply an absence of an action of some type. However, generally one’s not doing a certain thing counts as an omission only if there is some norm, standard, or ideal that calls for one’s doing that thing.

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)

This paper suggests that it should be possible to develop dynamic deontic logic as a counterpart to the very successful development of dynamic doxastic logic (or dynamic epistemic logic, as it is more often called). The ambition, arrived at towards the end of the paper, is to give formal representations of agentive concepts such as “the agent is about to do (has just done) α ” as well as of deontic concepts such as “it is obligatory (permissible, forbidden) for the (...) agent to do α ”, where α stands for an action (event). (shrink)

The necessity to model the mental ingredients of norm compliance is a controversial issue within the study of norms. So far, the simulation-based study of norm emergence has shown a prevailing tendency to model norm conformity as a thoughtless behavior, emerging from social learning and imitation rather than from specific, norm-related mental representations. In this paper, the opposite stance—namely, a view of norms as hybrid, two-faceted phenomena, including a behavioral/social and an internal/mental side—is taken. Such a view is aimed at (...) accounting for the difference between norms, on one hand, and either behavioral regularities (conventions) on the other. This paper, in particular, is addressed to find out the internal ingredients required for the former distinction, i.e., to model norms as distinct from mere conventions, and defined as behaviors spreading to the extent that and because the corresponding commands and beliefs do spread as well. After a brief presentation of a normative agent architecture, the results of agent-based simulations testing the impact of norm recognition and the role of normative beliefs in the emergence and innovation of social norms are presented and discussed. More specifically, the present work will endeavour to show that a sudden external constraint (e.g. a barrier preventing agents from moving among social settings) facilitates norm innovation: under such a condition, agents provided with a module for telling what a norm is can generate new (social) norms by forming new normative beliefs, irrespective of the most frequent actions. (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)

The paper deals with certain issues with which Olivecrona was mainly concerned in his Philosophy of Law, notably (i) his views about the logical or syntactical form of imperatives as used in the law, and (ii) his views on the semantics of imperatives in the law and on the question whether and to what extent the notions of truth and falsity are applicable to those imperatives at all. In the light of an important critical notice of Olivecrona's work by Marc-Wogau (...) (1940 ), we examine some textual evidence for attributing to Olivecrona a so-called Atheoretical Thesis to the effect that imperatives in the law are neither true nor false or lack truth-value altogether. We close the paper by commenting on the celebrated distinction due to Hedenius (1941 ) and further elaborated by Wedberg (1951 ) between genuine ("rule-stating") normative sentences in the law and spurious ones (stating merely that a given rule is (or is not) in force in a given society at a given time). Two interesting difficulties bound up with that distinction will be dealt with. By means of various quotations we try to capture something of the flavour characterizing the legal philosophical discussion in Sweden in the mid-twentieth century during la belle époque of Scandinavian Legal Realism of which Olivecrona was a typical representative. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

Kysymys siitä, onko tiede ja voiko se olla arvovapaata, on herättänyt vilkasta ja jopa kiivastakin keskustelua. Erityisen polttava tämä kysymys on ihmistieteissä. Yhdessä ääripäässä on kuva tieteellisestä tutkimuksesta kaikenlaisten eettisten ja yhteiskunnallisten kysymysten yläpuolella olevana intressittömänä toimintana. Toisessa päässä on väite, ettei tiede voi koskaan olla arvovapaata vaan että tieteellinen tutkimus ja sen tulokset ovat läpeensä arvojen värittämiä. Näiden välille mahtuu monenlaisia maltillisempia välittäviä kantoja.

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.).

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)

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 large interest has been dedicated in recent years to the study of models for textual databases amenable to an effective integration of search and navigation functions. In the field of legal databases the need for sophisticated models is emphasised by the need to relate and combine in an effective way different types of texts, in order to solve legal problems.In our research we have analysed several existing models, each providing specific benefits and exhibiting corresponding limitations, under both a functional (...) and economical viewpoint. (shrink)

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and reasoning (...) proceed in practice. (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.

There are languages – e.g., German, Inuktitut, andRussian – in which the aspectual reference of clausesdepends on the telicity of their event predicates. Weargue that in such languages, clauses or verb phrasesnot overtly marked for viewpoint aspect implicateor entail `event realization'', a property akin toParsons''s (1990) `culmination''. The aspectualreference associated with the use of clauses notovertly marked for aspect is computed in accordancewith the dependence of realization conditions ontelicity and in line with principles of Gricean pragmatics.We formalize event realization and (...) capture thetelicity-dependent patterns of aspectual reference onwhich it is based by combining Krifka''s (1989, 1992,1998) event lattices with a model-theoreticinterpretation of Klein''s (1994) theory of tense andaspect. The latter permits us to treat the `topic times''of aspectual operators as temporal constraints on event realization. (shrink)

A single global authority is not sufficient to regulate heterogenous agents in multiagent systems based on distributed architectures, due to idiosyncratic local situations and to the need to regulate new issues as soon as they arise. On the one hand institutions should be structured as normative systems with a hierarchy of authorities able to cope with the dynamics of local situations, but on the other hand higher authorities should be able to delimit the autonomy of lower authorities to issue valid (...) norms. In this paper, we study the interplay of obligations and strong permissions in the context of hierarchies of authorities using input/output logic, because its explicit norm base facilitates reasoning about norm base maintenance, and it covers a variety of conditional obligations and permissions. We combine the logic with constraints, priorities and hierarchies of authorities. In this setting, we observe that Makinson and van der Torre’s notion of prohibition immunity for permissions is no longer sufficient, and we introduce a new notion of permission as exception and a new distinction between static and dynamic norms. We show how strong permissions can dynamically change an institution by adding exceptions to obligations, provide an explicit representation of what is permitted to the subjects of the normative system and allow higher level authorities to limit the power of lower level authorities to change the normative system. (shrink)

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

This paper will first give an overview of the role of events in semantics against the background of Davidsonian semantics and its Neo-Davidsonian variant. Second, it will discuss some serious issues for standard views of events in contemporary semantics and present novel proposals of how to address them. These are [1] the semantic role of abstract (or Kimean) states, [2] wide scope adverbials, and [3] the status of verbs as event predicates with respect to the mass-count distinction. The paper will (...) show that abstract states as the entities described by (most) stative verbs are incompatible with Neo-Davidsonian event semantics and proposes a decompositional analysis of stative verbs that may be able to overcome the difficulty. The paper will argue that in addition to Davidsonian events, the semantics of adverbials requires events as truthmakers as well as actions as more complex entities sharply distinguished from events. The paper will also argue that the verbal domain of events sides with mass nouns rather than dividing into mass and count, unlike event nouns. (shrink)

In epistemology and in ordinary life, we make many normative claims about beliefs. As with all normative claims, philosophical questions arise about what – if anything – underwrites these kinds of normative claims. On one view, epistemic instrumentalism, facts about what we (epistemically) ought to believe, or about what is an (epistemic, normative) reason to believe what, obtain at least partly in virtue of our goals (or aims, ends, intentions, desires, etc.). The converse view, anti-instrumentalism, denies this, and holds that (...) the facts about what we ought or have reasons to believe are independent of our goals. In this chapter, I present the case for anti-instrumentalism. I lay out a well-known problem for instrumentalism, which is to say exactly what goal (or goals) grounds our epistemic reasons. For each possible answer, the view seems to generate problematic results. I consider some ways of trying to make the instrumentalist view more sophisticated to solve the problem and reject them. I then note a further problem for instrumentalism that applies regardless of what goal the instrumentalist says grounds our epistemic reasons. Finally, I sketch my preferred positive anti-instrumentalist view and argue that it is more theoretically virtuous than instrumentalism in several respects. (shrink)

Belief revision theories standardly endorse a principle of intensionality to the effect that ideal doxastic agents do not discriminate between pieces of information that are equivalent within classical logic. I argue that this principle should be rejected. Its failure, on my view, does not require failures of logical omniscience on the part of the agent, but results from a view of the update as _mighty_: as encoding what the agent learns might be the case, as well as what must be. (...) The view is motivated by consideration of a puzzle case, obtained by transposing into the context of belief revision a kind of scenario that Kit Fine has used to argue against intensionalism about counterfactuals. Employing the framework of truthmaker semantics, I go on to develop a novel account of belief revision, based on a conception of the update as mighty, which validates natural hyperintensional counterparts of the usual AGM postulates. (shrink)

We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...) of normative reasoning. Finally, we discuss ways in which the framework can be used to capture other formalisms proposed in the literature, as well as to model searching problems in Artificial Intelligence. (shrink)

This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)

In this book, I present the results of an investigation which began with an extended stay at Oxford's Balliol College during the first half of 1995. My visit to Oxford was made possible by a grant from the Spanish Ministerio de Educaci6n y Ciencia. My sincere thanks go to Joseph Raz who served as my supervisor in Oxford. For several points of the present study, conversations with Timothy Endicott in Oxford were also of great help. The book is part of (...) a larger project of investigation, directed by Albert Calsami glia, which is a joint effort of a group of legal philosophers from the Universitat Pom peu Fabra and the Universitat de Girona, and which also receives financial support from the Spanish Ministerio de Educaci6n y Ciencia. An earlier version of the manuscript was presented in June 1996 to the selection committee for a tenured professorship in Legal Philosophy at the Universitat de Girona. The members of the committee were Francisco Laporta, Albert Calsamiglia, Gregorio Peces-Barba, Camilo J. Cela Conde, and Francesca Puigpelat. I am grateful to all of them for their comments, which have been extremely useful in preparing the final ver sion of this book. (shrink)

We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. We argue that this logic explicitly captures the norm-changing character of legal competences while providing a sophisticated reduction of the latter to static normative positions. The logic is completely axiomatizable, and we apply it to a concrete case in German contract law to illustrate that it can capture the distinction between legal ability and (...) legal permissibility. (shrink)

Selon certains philosophes, le principe « devoir-implique-pouvoir » exprime une vérité analytique et permet d’inférer des énoncés normatifs sur la base de prémisses purement descriptives. Le principe DIP offrirait ainsi un contre-exemple à la fameuse loi de Hume. Le problème est que DIP permet uniquement de construire des raisonnements dont les conclusions sont des négations de normes. Or, selon certains auteurs, les négations de normes n’expriment pas de véritables jugements moraux. En ce sens, selon eux, DIP ne permet pas de (...) tirer des conclusions normatives sur la base de prémisses uniquement descriptives. Dans cet article, nous soutenons au contraire que les négations de normes sont de véritables normes et que DIP permet bien de déduire une conclusion normative à partir de prémisses purement descriptives. (shrink)

Uno de los temas centrales de la teoría penal contemporánea es la discusión a favor y en contra de la punición igualada de tentativas y delitos consumados. Este problema es comúnmente analizado desde la perspectiva de la suerte. La meta de los defensores de la punición igualada es erradicar a la suerte de los juicios de responsabilidad penal. Para hacerlo, antes deben diferenciar entre la suerte que afecta los resultados de las acciones y otras clases de suerte involucradas. Rivera López (...) trató de justificar tal límite en el campo de la moral, y si sus ideas pudieran trasladarse al reino del derecho penal podrían ser de gran ayuda para los partidarios de la punición igualada. Aquí trato de plantear algunas observaciones críticas a sus tesis y mostrar que, en última instancia, ellas no pueden dar apoyo a la postulación subjetivista. (shrink)

Si la teoría del derecho persigue suministrar herramientas a los operadores jurídicos para gestionar los problemas de la práctica, resulta necesario disminuir la actual separación entre la actividad teórico-jurídica y la práctica del derecho. De ahí que, este trabajo persigue contribuir a reducir dicha distancia mediante el análisis de las principales propuestas en materia de ontología de las normas. Esta revisión se realiza a la luz de un extendido problema de los ordenamientos jurídicos contemporáneos: la identificación del derecho y sus (...) limitaciones conceptuales. El examen explicita cierta concomitancia entre las propuestas teóricas y presenta una serie de consideraciones necesarias para identificar el derecho y, en concreto, contribuir a la solución del citado problema. De esta manera, se sugiere girar la discusión sobre la ontología de las normas hacia la identificación de ellas y evaluar las discusiones teórico-jurídicas con base en las exigencias de la práctica normativa. (shrink)

Algunas versiones del realismo jurídico pretenden compatibilizar la pretensión de que el derecho es un conjunto de normas con un fuerte compromiso con el empirismo. De conformidad con este último, el derecho no está constituido por entidades abstractas de ningún tipo sino por hechos empíricamente constatables. En vistas a llevar a cabo esta compatibilización, en varios trabajos Riccardo Guastini ha defendido una concepción de las proposiciones normativas, i.e. aserciones existenciales sobre normas jurídicas, como enunciados teóricos acerca del derecho vigente, necesariamente (...) referentes a ciertos hechos. Se concibe así al derecho vigente como el conjunto de textos que son resultado de interpretaciones estables, consolidadas y dominantes que los jueces han llevado a cabo en sus decisiones en el ordenamiento de que se trate. Partiendo de esta versión del realismo jurídico, este trabajo procura sembrar algunas dudas. Primero, sobre este modo de concebir a las proposiciones normativas. Segundo, sobre el modo en que, en consecuencia, queda configurada la teoría del derecho. Tercero, y más en general, sobre la pretensión de compatibilizar la visión del derecho como conjunto de normas con la tesis empirista. (shrink)

Since the middle of the last century, normative language has been much studied. In particular, the normative function performed by certain sentences and by certain speech acts has been investigated in depth. Still, the normative function performed by certain physical artifacts designed and built to regulate human behaviors has not yet been thoroughly investigated. We propose to call this specific type of artifacts with normative intent ‘deontic artifacts’. This article aims to investigate this normative phenomenon that is so widespread in (...) our daily reality, but so often forgotten by scholars of norms and normativity. (shrink)

This paper maintains that objectivism about practical reasons should be combined with pluralism both about the nature of practical reasons and about action explanations. We argue for an ‘expanding circle of practical reasons’, starting out from an open-minded monist objectivism. On this view, practical reasons are not limited to actual facts, but consist in states of affairs, possible facts that may or may not obtain. Going beyond such ‘that-ish’ reasons, we argue that goals are also bona fide practical reasons. This (...) makes for a genuine pluralism about practical reasons. Furthermore, the facts or states of affairs that function as practical reasons are not exclusively natural or descriptive, but include normative facts. That normative facts can be reasons justifies a pluralism about reason explanations, one which allows for what we call enkratic explanations in addition to teleological ones. (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)

Moral obligation and permissibility are usually thought to be interdefinable. Following the pattern of the duality definitions of necessity and possibility, we have that something’s being permissible could be defined as its not being obligatory to not do it. And that something’s being obligatory could be defined as its not being permissible to not do it. In this paper, I argue that neither direction of this alleged interdefinability works. Roughly, the problem is that a claim that some act is obligatory (...) or permissible entails that there is a moral law, whereas a negative claim that some act is not obligatory or not permissible does not. Nevertheless, one direction of the interdefinability can potentially be salvaged. I argue that, if we do not require the conceptual possibility of moral dilemmas, then there is a way to plausibly define obligation in terms of permissibility. I conclude that permissibility is the only feasible deontic primitive. (shrink)