Deontic Logic

It is quite plausible to say that you may read or write implies that you may read and you may write (though possibly not both at once). This so-called free choice principle is well-known in deontic logic. Sadly, despite being so intuitive and seemingly innocent, this principle causes a lot of worries. The paper briefly but critically examines leading accounts of free choice permission present in the literature. Subsequently, the paper suggests to accept the free choice principle, but only as (...) a default (or defeasible) rule, issuing to it a ticket-of-leave, granting it some freedom, until it commits an undesired inference. (shrink)

It is well known that systems of action deontic logic emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law are subject to paradoxes. In general, paradoxes are acknowledged as such if we have intuitions telling us that things should be different. The aim of this paper is to introduce a paradox-free deontic action system by (i) identifying the basic intuitions leading to the emergence of the paradoxes (...) and (ii) exploiting these intuitions in order to develop a consistent deontic framework, where it can be shown why some phenomena seem to be paradoxical and why they are not so if interpreted in a correct way. (shrink)

This paper presents a case for the claim that the infamous miners paradox is not a paradox. This contention is based on some important observations about the nature of ignorance with respect to both disjunctions and conditional obligations and their modal features. The gist of the argument is that given the uncertainty about the location of the miners in the story and the nature of obligations, the apparent obligation to block either mine shaft is cancelled.

Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.

The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...) system of "change logic", using his idea on connection between logic of orders being in force and deontic logic. The answer is the negative one. Next, the connection between Lemmon's imperative logic and deontic logic given in Aqvist's paper - "Next" and "Ought" (1965) - is analyzed. Than, the Lemmon's treatment of imperatives is restricted to the natural language imperatives and Aqvist's way of connecting imperative and deontic logic is modified accordingly. Some principles for the natural language imperatives are established (the negation rule ; the law of contraposition for imperative conditionals) and a simple "global" semantics is developed. The notion of "opposite action" is introduced and it is given an important role in semantics. Finally, a solution for von Wright's problem is given. In the closing sections some further topics for investigation are hinted: one of them being the connection between Aqvist's epistemic- imperative conception of interrogatives and "epistemic obligations", the other being formalization of the idea that imperatives create and re-create obligation patterns that can be described in deontic terms. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive presuppositions (...) ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

Responsibility has entered the academic discourse of logicians hardly more than few decades ago. I suggest a logical concept of responsibility which employs ideas both from a number of theories belonging to different branches of logic as well from other academic areas. As a comment to this concept, I suggest five steps narrative scenario in order to show how the logical dimension of responsibility emerges from diverse tendencies in logic and other sciences. Here are the five steps briefly stated: Step (...) 1. Developing modal formalisms capable of evaluative analysis of situations (deontic, epistemic and etc.). Step 2. Drawing a conceptual borderline between normal and non-normal (weak) logical systems. Step 3. Using different kinds of models. Step 4. Agent- and action- friendly turn in logic. Step 5. Creating formalisms for modeling different types of agency. An idea advocated here within 5-Steps route to responsibility is that this concept is a complex causal and evaluative (axiological) relation. A logical account may be given for causal and normative aspects of this relation. Unfolding the responsibility back and forth through 5 Steps will result in different concepts. The technicalities are minimized for the sake of keeping the philosophical scope of the paper. For the same reason I also refrain from discussing legal and juridical ramifications of the issue. (shrink)

In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms. It is argued that in his philosophical considerations Mally has introduced a number of important distinctions concerning the very concept of norm, but by getting them confused in introducing the subsequent formalisms he failed to formally preserve them. In some of his (...) philosophically made distinctions Mally apparently foresaw contemporary trends in logic of norms. To some extent this particular feature of Mally’s system open wide opportunities to reconstruct –– with the corresponding renovations — his illformed Deontik into many nowadays known systems of logic of norms and thus provides a fertile ground for this kind of research. (shrink)

Earl Conee is a well known contemporary defender of the impossibility of moral dilemmas. In his 1982 paper "Against Moral Dilemmas" he argued that moral dilemmas are impossible because the existence of such a dilemma would entail that some obligatory action is forbidden, which is absurd. More recently, in "Why Moral Dilemmas are Impossible" he has defended the impossibility of moral dilemmas by claiming that the moral status of an action depends in part on the moral status of its alternatives. (...) I will here argue that this claim -- as he understands it -- is sufficiently controversial to undermine the force of his argument. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the (...) other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...) of action that are abstractly prescribed, and what is ideal with respect to the specific situation in which the agent acts, and (ii) the transitions associated with actions and the results of actions, which can obtain even without the action being performed. (shrink)

Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no way (...) of developing the actualist insight into a logic that invalidates the agglomeration principle without also invalidating other desirable patterns of inference. After doing this, I extend the analysis to other contrastive views that challenge agglomeration in the way that the actualist does. This motivates skepticism about the actualist’s way of challenging agglomeration. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

Book Information The Is-Ought Problem: An Investigation in Philosophical Logic. By Gerhard Schurz. Kluwer. Dordrecht. 1997. Pp. x + 332. £92.25.

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...) solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative principles (...) are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)

Continuing prior work by the author, a simple classical system for personal obligation is integrated with a fairly rich system for aretaic (agent-evaluative) appraisal. I then explore various relationships between definable aretaic statuses such as praiseworthiness and blameworthiness and deontic statuses such as obligatoriness and impermissibility. I focus on partitions of the normative statuses generated ("normative positions" but without explicit representation of agency). In addition to being able to model and explore fundamental questions in ethical theory about the connection between (...) blame, praise, permissibility and obligation, this allows me to carefully represent schemes for supererogation and kin. These controversial concepts have provided challenges to both ethical theory and deontic logic, and are among deontic logic's test cases. (shrink)

Overview of fundamental work in deontic logic.

I explore various ways of integrating the framework for predeterminism, agency, and ability in[P.McNamara, Nordic J. Philos. Logic 5 (2)(2000) 135] with a framework for obligations. However,the agential obligation operator explored here is defined in terms of a non-agential yet personal obligation operator and a non-deontic (and non-normal) agency operator. This is contrary to the main current trend, which assumes statements of personal obligation always take agential complements. Instead, I take the basic form to be an agent’s being obligated to (...) be such that p. I sketch some logics for agential obligation based on personal obligation and agency, first in a fairly familiar context that rules out conflicting personal obligations (and derivatively, conflicting agential obligations), and then in contexts that do allow for conflicts (of both sorts). (shrink)

I recast the DWE ("Doing Well Enough") deontic framework as an Andersonian-Kangerian modal framework and explore its metatheory systematically.

Appears to give the first model-theoretic account of both "must" and "ought" (without conflating them with one another). Some key pre-theoretic semantic and pragmatic phenomena that support a negative answer to the main title question are identified and a conclusion of some significance is drawn: a pervasive bipartisan presupposition of twentieth century ethical theory and deontic logic is false. Next, an intuitive model-theoretic framework for "must" and "ought" is hypothesized. It is then shown how this hypothesis helps to explain and (...) predict all the pre-theoretic phenomena previously observed. Next, I show that the framework hypothesized possesses additional expressive and explanatory power (e.g. derivatively predicting the existence of supererogatory and permissibly suboptimal alternatives), thus adding further confirmation that it is on the right track. (shrink)

This paper concerns a thorny problem posed by conditional requirements: we expect some modal conditionals of the form ‘if p, then it must be that p’ to be false, yet they all come out true given two basic assumptions needed to account for ordinary conditional requirement like ‘If the light turns red, then cars must stop’. The first assumption is a semantic expectation linking conditional requirements with absolute ones, the second is the possible-worlds-based definition of modal sentences. Keeping the former (...) means giving up the latter, a result with profound implications for Kratzer’s formal semantics, modifications thereof, as well as deontic logics. (shrink)

Inquiries concerning the theory of imperatives and norms prosecuted in Poland in the 20th century covered practically the whole scope of this theory. In a uniform conceptual scheme, the paper shows main results of this research done mostly within the Lvov-Warsaw School tradition. It begins with presenting the Polish theoreticians’ approach to three correlated theoretical situations containing our preferences (opposed to impulses, decisions and tendencies), accepted values and imposed obligations. The second step is discussing their views on means of verbalising (...) these situations, i.e. by help of imperatives, evaluations and norms (opposed to consultatives, instructions and optatives) correspondingly. The paper is closed with examining the Polish logicians’ trials of reconstruction of imperative-normative argumentation. (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)

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 term “performative” is used in at least two different senses. In the first sense, performatives are generatives, i.e. expressions by the use of which one creates new deontic states of affairs on the ground of extralinguistic conventions. In the second sense, performatives are operatives, i.e. expressions which contain verbal predicates and state their own utterances. In the article, both these types of expressions are compared to the class of imperatives which are characterized as expressions of the form “Let x (...) see to it that p” and typically express wishes. It is claimed that (1) only these imperatives are generatives which are uttered by deontic authorities, (2) no imperative is an imperative sensu stricto; (3) imperative operatives are used instead of “pure” imperatives in order to emphasize the force of resolution. (shrink)

This short essay attempts to challenge some of widely held philosophical assumptions on the nature of the relationship between logic, language and reality. In Section 1 the hegemony of theoretical logic is being questioned; Section 2 proposes a hypothesis on socially mediated semantics; Section 3 addresses the problem of ontology of logical sentential moods.

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from an (...) act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (in (...) a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with deontic action logic based on boolean (...) algebra. (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)

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the (...) classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)

In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished–abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual relations.

The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and how it characterises deontic properties in relation to (the representation of) actions. On the other hand it is a (...) guideline how to build a deontic action logic which satisfies the desired properties. (shrink)

In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions by assigning deontic qualifications to each of them. The set of norms created for each situation should respect (1) generally valid deontic principles being the (...) theses of our logic and (2) facts from the ontology of action whose relevance for the systems of norms we postulate. (shrink)

We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...) (ii). This results in the adaptive logics LNPr and LNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPr and LNPm are equipped with a preferential semantics and a dynamic proof theory. (shrink)

Since at least the 1960s, deontic logicians and ethicists have worried about whether there can be normative systems that allow conflicting obligations. Surprisingly, however, little direct attention has been paid to questions about how we may reason with conflicting obligations. In this paper, I present a problem for making sense of reasoning with conflicting obligations and argue that no deontic logic can solve this problem. I then develop an account of reasoning based on the popular idea in ethics that reasons (...) explain obligations and show that it solves this problem. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...) Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seusresultados quanto à construção de um sistema de lógica deôntica que capture conceitos eprincípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma apresentação em linhas (...) gerais destas concepções e, tendo em vista as dificuldades referentes a aplicabilidade de um processo de tradução entre princípios deônticos e ônticos,fez-se necessária também uma exposição acerca do problema das barreiras inferenciais, bem como de sua conseqüência mais imediata, a saber, o Dilema de Jörgensen. Num segundo momento, também foi feita uma caracterização dos sistemas modais normais, tanto deônticos quanto aléticos, bem como da noção de tradução entre lógicas e dos modelos de Dawson. O capítulo final consiste justamente num exame crítico da proposta de Kielkopf, o qual faz uso dos modelos de Dawson para desenvolver uma lógica deôntica a partir do sistema lógico K1. Tais modelos de Dawson permitem a definição de uma lógica deôntica em termos de modalidades aléticas iteradas, com o que este modelo constitui-se em uma maneira de evitar os problemas referentes às barreiras inferenciais. O desenvolvimento de uma alternativa para a atribuição de um status lógico a concepções deônticas não constitui,contudo, o aspecto inovador desta proposta, tal aspecto encontra-se justamente na utilização por Kielkopf, de seu modelo formal como uma ferramenta para a investigação de concepções filosóficas, no caso, as concepções kantianas já citadas. -/- The current dissertation has as its main objective an exposition and critical analysis of Charles Kielkopf's translation of the Standard Deontic Logic (SDL) into a normal alethic logic, and the resulting construction of a system of deontic logic that captures Kantian fundamental concepts and principles such as the concept of causal necessity and the formulations of the Categorical Imperative concerning Kingdom of Nature and Kingdom of Ends. Since this process results in an interpretation of aspects of the Kantian philosophy, it has been chosen,initially, a presentation in general lines of these concepts and, considering the difficulties regarding the applicability of a translation process between deontic and ontic principles, it was done necessary also an exhibition concerning the problem of the inferential barriers, as well as of his more immediate consequence, i. e., Jörgensen's Dilemma. In a secon dmoment, it was also made a characterization of normal modal systems, deontic ones andalethic ones, as well as of the notions of translation between logics and of Dawson modelling. The final chapter consists of a critical examination of Kielkopf's proposal, which uses Dawson modelling to develop a deontic logic based on the alethic system K1. Such Dawson modelling allows the definition of a deontic modalities in terms of iterated alethic modalities,therefore this model constitutes a way of avoiding the problems regarding inferential barriers. The development of an alternative for attribution of logical status to deontic concepts doesn't constitute, however, in an innovative aspect of this proposal, such aspect can be founded inthe use made by Kielkopf of his formal model as a tool for the investigation of philosophical concepts, such as the Kantian concepts already mentioned. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

In this paper, partly historical and partly theoretical, after having shortly outlined the development of the meta-ethics in the 1900?s starting from the Tractatus of Wittgenstein, I argue it is possible to sustain that emotivism and intuitionism are unsatisfactory ethical conceptions, while on the contrary, reason (intended in a logical-deductive sense) plays an effective role both in ethical discussions and in choices. There are some characteristics of the ethical language (prescriptivity, universalizability and predominance) that cannot be eluded (pain the non (...) significativity of the same language) by those who want to morally reason, i.e. by those who intend to regulate their own behaviour on the basis of knowledged and coherent principles. These characteristics can be found whether or not all possible ontological-metaphysics foundations of morals are taken into account. Furthermore the deontic logic systems allow the formalization of ethical theories and - at least in principle - a rigorous critical discussion of the same, but obviously nothing can be affirmed on the value of truth of the axioms of a system. In the deontic logic systems Hume?s law is assumed as an implicit result of inferential (conventional) rules and the acceptance of Hume?s law as a logical-linguistic thesis does not involve the cancellation of values (nihilism) or ethical relativism or indifferentism. (shrink)