Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) (...) has proposed a “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

What really makes the concepts of obligation or permission so important for practical philosophy? What if we could find a better concept, one that, despite the simplicity, could show itself as intuitive and rich as possible? Could justifications be used in common language and practice as a sign of ethical judgment and as a strong motive for action? In most scenarios, for example, it really doesn’t matter if a given action is obliged, permitted or forbidden, one may perform the action (...) as long as a justification for doing it is present. In this sense, the notion of justification seems to be more basic and powerful than other concepts used in the philosophical discourse. The existence of formal systems based on the epistemological side of justification, created by Artemov, led us primarily to think that justification could make the formal discourse much more accurate for ethics than the ones using deontological concepts. In the semantical and syntactical aspects, almost all of Artemov’s systems directly proved to be fruitful for ethical purposes. We also developed combinations between the standard deontic logic and logics of justification, resulting in what whe called the Logics of Normative Justification. These systems were able to change the object of the justification formulas and shed some light in ethics as a whole, normative and metaethics. Metaethics were a forgotten subject in formal ethics. We were also able to deal with some known problems in deontic logic, like the famous Ross’s paradox and the expressiveness of prima facie and all-things-considered obligations. (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 passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for (...) the studies of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and (...) different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use (...) a multiagent extension of propositional dynamic logic as framework, and then we define some basic concepts, such as ‘agent ability’, also briefly discussing the problem of uniform strategies and a possible solution. In the last part, we show that our framework can be used in the specification of normative multiagent systems, by presenting an extensive running example. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on (...) in our field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

The logic of gift and gratuitousness in business activity raised by the encyclical Caritas in Veritate stresses a deeper critical evaluation of the category of relation. The logic of gift in business includes two aspects. The first is considering the logic of gift as a new conceptual lens in order to view business relationship beyond contractual logic. In this view, it is crucial to see the circulation of goods as instrumental for the development of relationships. The (...) second aspect is to qualify the relationships established through the gift, and to think about the motivation in gift-giving, which has an ethical content. We give because we have received, and through gift-giving we develop relationships that have a high ‘bonding value’. Analysing the logic of gift in business management may permit us to gain an understanding of the ambiguity of gift-giving in organizations. Looking at the relationships between organizations and employees, and organizations and customers, we can discover why the logic of gift is often misunderstood or abused in its application, and how it should be applied to be more consistent with the message of Caritas in Veritate. (shrink)

We show in this paper that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations. We remedy this weakness by proposing four additional postulates, which are sound relative to a qualitative version of probabilistic conditioning. Contrary to the AGM framework, the proposed postulates characterize belief revision as a process which may depend on elements of an epistemic state that are not necessarily captured by a (...) belief set. We also show that a simple modification to the AGM framework can allow belief revision to be a function of epistemic states. We establish a model-based representation theorem which characterizes the proposed postulates and constrains, in turn, the way in which entrenchment orderings may be transformed under iterated belief revision. (shrink)

In this essay, I discuss some observations by Peirce which suggest he had some idea of the substantive metalogical differences between logics which permit both quantifiers and relations, and those which do not. Peirce thus seems to have had arguments?which even De Morgan and Frege lacked?that show the superior expressiveness of relational logics.

The aim of the paper is to outline a treatment of cotenability inspired by a perspective which had strong roots in ancient logic since Chrysippus and was partially recovered in the XX Century by E. Nelson and the exponents of so-called connexive logic. Consequential implication is a modal reinterpretation of connexive implication which permits a simple reconstruction of Aristotle's square of conditionals, in which proper place is given not only to ordinary cotenability between A and B, represented by (...) ¬, but to its “secondary” variant ¬ . After showing that logics of strict implication, of Stalnaker-Lewis conditionals and of relevant implication do not satisfy the intuitive properties required for cotenability , it is proved that such conditions are satisfied by consequential cotenability and by its secondary variant . The notions of strong cotenability and of bilateral cotenability are then introduced: the latter stands to standard cotenabilty as contingency stands to possibility, and in Section 9 it is shown to be a useful tool in the reconstruction of Boethius' theory of adjuncta. (shrink)

By considering the way in which the mechanism of the scapegoat in René Girard's work is predicated on a phenomenal and anthropic understanding of violence, the following shows how Girard's anthropological conception of religion determines and limits from the beginning relations between the violent and the nonviolent and the phenomenal and the nonphenornenal. This conception is then inscribed within a larger economy of violence that opens up Girard's account of victimization and sacrifice to wider determinations. Important distinctions are made along (...) the way between the human sciences, religion, ethics and philosophy. If the work of Jacques Derrida in particular and deconstruction in general permit this widening in this article, I then argue however that such concepts as originary violence also short‐circuit the differentiations, with which we are concerned, to address, with and beyond Girard, a radical ethics of the lesser violence. (shrink)

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...) is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

This paper is a proposal of continuation of the work of C. Rauszer. The logic of falsehood created by her may constitute the starting point for construction of logic formalising reductive reasonings. The extension of Heyting-Brouwer logic to its deductive-reductive form sheds new light upon those classical tautologies which are rejected in intuitionism. It turns out that among HBtautologies there can be found all the classical ones. Some of them are characteristic for deductive reasoning and they are (...) accepted by intuitionism. Others formulate the laws of reductive reasoning. Many of them, including the law of excluded middle has been rejected in Heyting’s intuitionism. Intuitionism only permits for those reductive tautologies, which at the same time bear deductive character. Thus, the complete HB intuitionism does not reject any of the classical tautologies. Every classical tautology appears in HB logic in its deductive or reductive part. Some are even present in both parts. At the end it is shown that the law of excluded middle α∨¬α is a law of the reductive part of the traditional, Heyting’s intuitionistic propositional calculus. (shrink)

This essay argues that scientific discourse is amenable to interpretation and assessment from the perspective of the narrative paradigm and its attendant logic, narrative rationality. It also contends that this logic entails a revised conception of knowledge, one that permits the possibility of wisdom. The text analyzed is James D. Watson and Francis H. Crick's proposal of the double helix model of DNA.

This article demonstrates that arguments which historians use can be expressed in terms of formal logic to revealing effect. It is widely taken for granted and sometimes explicitly stated that historical inference is not susceptible of being formalized, at least not in a way that might add something to historians’ understanding of the logic of their reasoning from evidence. The two model derivations in formal logic included here show otherwise. Each is a representation in propositional logic (...) of an historical argument relating to the evidence of medieval marriage law, annulment processes and papal dispensations. The way in which the conclusion is derived from the premises in each case permits the formal logical validity of inferences made to be traced and checked. The paper aims to make the logic underlying much historical argumentation more transparent. A supplementary aim is to show that this kind of historical reasoning is compatible with Bayesian logic. (shrink)

This paper develops a formal system, consisting of a language and semantics, called serial logic ( SL ). In rough outline, SL permits quantification over, and reference to, some finite number of things in an order , in an ordinary everyday sense of the word “order,” and superplural quantification over things thus ordered. Before we discuss SL itself, some mention should be made of an issue in philosophical logic which provides the background to the development of SL , (...) and with respect to which I wish to contend that the system permits progress. (shrink)

The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...) an axiomatic system is provided for which they are characteristic.The closure principle, that what is not forbidden is permitted is shown to hold at the level of outcomes but not at the level of events. In the two final sections some other operators are considered and a semantics in terms of action games. (shrink)

The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An agent , working as a slave for its master , can carry out the task αβ if it can carry out any one of the two tasks α, β, depending on which of them was requested by the master; similarly, it can carry out xα if it can carry out α for any (...) particular value for x selected by the master; an agent can carry out α→β if it can carry out β as long as it has, as a slave , an agent who carries out α; finally, carrying out P, where P is an atomic formula, simply means making P true; in particular, is a task that no agent can carry out. When restricted to the language of classical logic, the meaning of formulas is isomorphic to their classical meaning, which makes our semantics a conservative extension of classical semantics.This semantics can claim to be a formalization of the resource philosophy associated with linear logic, if resources are understood as agents carrying out tasks. The classical operators of our language correspond to the multiplicative operators of linear logic, while and correspond to the additive conjunction and universal quantifier, respectively.Our formalism may also have a potential to be used in AI as an alternative logic of planning and action. Its main appeal is that it is immune to the frame problem and the knowledge preconditions problem.The paper axiomatically defines a logic L in the above language and proves its soundness and completeness with respect to the task semantics in the following intuitive sense: L α iff α can be carried out by an agent who has nothing but its intelligence for carrying out tasks. This logic is shown to be semidecidable in the full language and decidable when the classical quantifier is forbidden in it. (shrink)

I identify the objectionable element in theocracy, not with reliance on God as such, nor with the idea that God might have something to do with morality, but with the anti-human propensity to issue orders without communicating good reasons for them. In medieval discussion prohibitions not based on good reasons attracted the labelmalum quia prohibitum, bad because forbidden and I take this to be the criterion of theocracy in its objectionable form. I examine, in part of the Vatican’s doctrine against (...) contraception, a persistent tendency towards this approach, a tendency incompatible with the tradition of the Church and ultimately incompatible even with the thirteenth century discussion of such issues in the work of Thomas Aquinas. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...) are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add an (...) admixture of falsity, as that is already included in "nothing but the truth," and, strictly speaking, in "the truth," as any such as admixture renders the whole thing false (given bivalence is presupposed) by &-introduction. (shrink)

I outline six components of a comprehensive proposal for overhauling the foundations of deontic logic. (1) Actions and prescriptions are temporally indexed; more precisely, they attach to nodes of a tree in a branching time structure. (2) Actions are (modeled as) sets of branches and can be coarse- or fine-grained depending on whether or not they have proper subsets which are also actions. (3) Prescriptions have satisfaction and violation sets; these are sets of branches which may—but need not—be or (...) include actions. (4) Prescriptive propositions, which state that an action is obligatory/permitted/forbidden according to a given prescription, are defined by relating the action with the satisfaction and violation sets of the prescription. (5) Conditional prescriptions can—but need not—be derived from unconditional or even from other conditional ones. (6) Thick prescriptions, in contrast to thin ones, prescribe or proscribe actions with varying intensities, and can have embedded subprescriptions (some of which are negative, namely “contraryto-duty”). Most of the above components are inspired by the literature, but their combination is novel. (shrink)

The morality of war has been debated from a variety of perspectives. However, it has rarely been intertwined with the topic of the existence of God. Sometimes anti-theists argue that the existence of a Western Judeo-Christian God who is omnipotent, omniscient and morally perfect is inconsistent with the existence of evils such as war. We will argue that there is no such logical inconsistency between the God of the African traditional religions and the evil of war. First, we contend that (...) such a logical inconsistency does not exist because God in African traditional religions is not seen as omnipotent, omniscient or morally perfect, and therefore, it would not be logically inconsistent for such a God to co-exist with the evil of war. This is mainly because African moral realism entails that war is a legitimate means for an imperfect being in an imperfect world to pursue morally permissible goals. Second, even if God is omniscient, omnipotent and morally perfect, when considered from the African religious viewpoint, a God of harmony, like the one in African traditional religions, can permit some evils for a greater good such as “harmony”. (shrink)

In this paper I consider three mathematicians who allowed some role for menial processes in the foundations of their logical or mathematical theories. Boole regarded his Boolean algebra as a theory of mental acts; Cantor permitted processes of abstraction to play a role in his set theory; Brouwer took perception in time as a cornerstone of his intuitionist mathematics. Three appendices consider related topics.

The paper proceeds in four parts. First, a theory of liberty is sketched, which theory depends heavily upon three distinctions in ethics. These distinctions are shown to be maintainable using no more than resources of a standard deontic logic. That logic is itself recast from the trial of the required, the forbidden, and the optional into a simpler logic of the obligatory and the permitted. Secondly, two challenges presented to this theory of liberty and its use of (...) standard deontic logic, are examined. These challenges stem from the seeming existence of actions and omissions that are neither forbidden or required, on the one hand, nor morally indifferent, on the other. Such actions are subclassified as supererogatory , suberogatory , or quasi-erogatory . Third, attempts to reduce these three kinds of not indifferent but not obligatory actions into either indifference of a kind, or obligation of a kind, are rejected. Fourth, the moral permissibility of these three kinds of not indifferent but not obligatory actions is defended, and the non-punishability of such permissible if non-otimific actions is defended on retributivist grounds. Der Artikel besteht aus vier Teilen. Im ersten Teil wird eine Freiheitstheorie skizziert, die auf drei Differenzierungen in der Ethik basiert. Allein auf Grundlage der Standard-deontischen Logik wird gezeigt, daß die Differenzierungen aufrechterhalten werden können. Die Standard-Logik selbst, gebildet aus der Trias von "geboten", "verboten" und "erlaubt", wird in eine einfachere Logik des Obligatorischen und des Erlaubten umgeformt. Im zweiten Teil werden zwei Kritikpunkte an der Freiheitstheorie und ihrem Gebrauch der üblichen deontischen Logik untersucht. Die Kritikpunkte ergeben sich aus der Tatsache, daß es offenbar Handlungen und Unterlassungen gibt, die einerseits weder verboten noch geboten, andererseits aber auch nicht moralisch indifferent sind. Solche Handlungen werden eingeteilt in die supererogatorischen , die suberogatorischen und die quasi-erogatorischen Handlungen. Als Drittes werden verschiedene Versuche verworfen, die drei Typen nicht indifferenter, aber auch nicht obligatorischer Handlungen entweder auf eine wie auch immer geartete Indifferenz oder auf eine wie auch immer geartete Obligation zu reduzieren. Schließlich wird die These vertreten, daß die drei Typen nicht indifferenter und nicht obligatorischer Handlungen moralisch erlaubt sind, und daß erlaubte, wenn auch nicht optimale Handlungen - auf der Grundlage einer Theorie der Vergeltung - nicht strafbar sind. (shrink)

Many medieval philosophers and logicians regarded modal logic as a model for epistemic, normative and optative concepts on the basis of their apparent similarities to modal concepts. These interpretations of modal logic led to critical studies of the applicability of modal principles to deontic concepts. Some philosophers presented apparent counterexamples to the deontic interpretation of the Consequence Principle, according to which the consequences of what is obligatory (or permitted) are also obligatory (permitted). These examples are variants of Lennart (...) Åqvist's paradox of the Good Samaritan. In this article it is argued that the examples involve a confusion between the compounded and the divided senses of deontic propositions, and are not genuine counterexamples to the Consequence Principle. If the concept of knowledge is analysed as epistemically satisfactory belief, the paradox of epistemic obligation can be solved in a similar way. (shrink)

In my dissertation A Study in the Logic of Institutions I develop a logical system for reasoning about institutions and their consistency. Since my dissertation is a work in logic rather than one in socio-political philosophy, I don’t defend a particular theory of institutions. Instead, I did as Yogi Bera suggested and simply took the fork in the road. A well-developed account of institutions is given by John Searle in ; and. His account bases all social reality on (...) language, and I use his account to provide a logic for institutional norms. Briefly, social reality is constructed via language by making our intentions clear to one another. And we do this via speech acts. There is one particular type of speech act that is important to institutions: declarations. Declarations bring about new social objects and create social states of affairs. It is via declarations that social institutions are created. In so far as groups recognize an institution sustaining/making authority, that authority has the ability to generate new institutional rules via declarations. According to Vanderveken ; see also Searle and Vanderveken, speech acts have a logic. That is, performing one speech act can satisfy the conditions of having performed another speech act. A priest declaring a baby baptized will also make it so that the priest has asserted that the baby is baptized, for instance. More importantly, certain declarations will result in the declarations of some of the logical consequences of the initial declarations. I characterize the set of speech acts that stand in that relationship and develop a logical system around that characterization. The formal framework incorporates action and permits representations of complex institution-dependent relations, e.g., rights and duties. I further develop this formalism to investigate the notion of normative consistency. I show how to represent at least a minimal conception of normative inconsistency within the formal framework, and characterize its properties. I conclude by comparing my work to that of others. (shrink)

In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. -/- Free-choice reasoning concerns permissions and obligations that offer choices between different actions. Such permissions and obligations are typically expressed by a disjunctive clause in the scope (...) of a deontic operator. For instance, the sentence "Jane may take an apple or a pear" intuitively offers Jane a choice between two permitted courses of action: she may take an apple, and she may take a pear. In the first part of the thesis, I develop semantic frameworks for deontic logic that account for free-choice reasoning. I show that the resulting logics avoid problems that arise for other logical accounts of free-choice reasoning. The main technical contributions are completeness results for axiomatizations of the different logics. -/- Semantic frameworks for deontic logic typically only talk about norms implicitly. In the second part of the thesis, I clarify the role of norms in deontic logic. I develop a formal model of normative systems where norms are represented explicitly. The model takes into account both the hierarchical structure of normative systems, and the function of norms to regulate agent behavior. I show how the model can be used to clarify issues in the study of normative systems. I also develop a norm-based semantics for deontic action logic based on the model. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

Suppose that it can be right to grant amnesty from criminal and civil liability to those guilty of political crimes in exchange for full disclosure about them. There remains this important question to ask about the proper form that amnesty should take: Which additional burdens, if any, should the state lift from wrongdoers in the wake of according them freedom from judicial liability? I answer this question in the context of a recent South African Constitutional Court case that considered whether (...) an officer having been granted amnesty for apartheid-era killings should be held to mean that the police force may not discharge him on the ground of having been convicted of a serious offence. The Court ruled that, despite amnesty having been granted to the guilty officer, the police force was permitted to discharge him. I distinguish the major ethical reasons the Court gives for its conclusion, which ultimately appeal to the value of national reconciliation, and I argue not only that the reconciliation-based rationales rest on empirical contingencies for which there is little evidence, but also that their logic in fact provides some reason to reject the Court’s conclusion. Then, I sketch an attractive new theory of right action, grounded on salient sub-Saharan values often associated with talk of ‘ubuntu’, that I maintain provides a stronger, unitary foundation for the Court’s key pronouncements. I conclude by discussing some of the broader implications of the moral theory for related matters, such as the rights of victims in the processes leading up to presidential pardons of those who have committed atrocities and the duties of newspapers with regard to the reputations of the latter. (shrink)

Seventeenth century philosopher Gottfried Leibniz's contributions to metaphysics, mathematics, and logic are well known. Lesser known is his ‘invention’ of deontic logic, and that his invention derives from the alethic logic of the Aristotelian square of opposition. In this paper, I show how Leibniz developed this ‘logic of duties’, which designates actions as ‘possible, necessary, impossible, and omissible’ for a ‘vir bonus’ . I show that for Leibniz, deontic logic can determine whether a given action, (...) e.g. as permitted, is therefore obligatory or prohibited . Secondly, since the deontic modes are derived from what is possible, necessary, etc., for a good person to do, and that ‘right and obligation’ are the ‘moral qualities’ of a good person, we can see how Leibniz derives deontic logic from these moral qualities. Finally, I show how Leibniz grounds a central deontic concept, namely obligation, in the human capacity for freedom. (shrink)

Introduction -- Prologue -- Book one -- Book two -- Book three -- Book four.

Most donated organs in the United States come from brain dead donors, while a small percentage come from patients who die in “controlled,” or expected, circumstances, typically after the family or surrogate makes a decision to withdraw life support. The number of organs available for transplant could be substantially if donations were permitted in “uncontrolled” circumstances–that is, from people who die unexpectedly, often outside the hospital. According to projections from the Institute of Medicine, establishing programs permitting “uncontrolled donation after circulatory (...) determination of death,” or uDCDD, throughout the United States has the potential to provide 22,000 more donation opportunities annually. In contrast, U.S. controlled donation after circulatory determination of death, or cDCDD, cases have increased progressively over the past decade from 87 to 848 donors, but currently account for only 10.6 percent of all deceased donors. Following the IOM recommendations, several projects exploring the feasibility of uDCDD were funded by the federal government, including a grant from the Health Resources and Services Administration that supported a pilot project in New York City in which the authors of this article participated.A key feature of our protocol, and indeed of many uDCDD protocols, is the initiation of preservation methods such as chest compressions and extracorporeal membrane oxygenation shortly after death in order to perfuse and preserve the donor's organs. Critics of uDCDD argue that the means of determining death deviates from generally ascribed principles. They assert that reinstituting circulation in order to preserve organs has the effect of “undoing” the prior determination of death. The result is that cDCDD is widely accepted and practiced routinely even though it only marginally increases the number of organs available for transplantation, and uDCDD is widely considered unacceptable despite being ethically embraced and proven to significantly increase organ donation opportunities in other countries. This article explores the evolution of this counterintuitive state of affairs and calls for a policy that, in line with the IOM report, allows for both cDCDD and uDCDD protocols. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

The ArgumentThis paper applies the approach developed by the congnitive sciences to a classical field of social anthropology—i.e., the analysis of represetations and behaviors relative to misfortune in “traditional” societies.The initial argument is that the conceptual division and the modes of description and explanation of anthropology suffer from serious weaknesses: these concepts cannot serve to understand empirical phenomena ; they rely on a confused and erroneous conception of the different domains involved and the causalities between them; and they use simplistic (...) hypotheses about the existence and causal status of the entities that usually form the ultima ratio of anthropological reasoning. These entities would directly “cause” other individual representations or behaviors. This simplification also affects the analysis of states of belief in these entities, to which individuals would supposedly “adhere”.I argue here that the cognitivist approach, within a “methodological individualism” framework, provides a more adequate description of phenomena observed in the field. This enables the various levels and domains to be more finely defined. The analysis of “typical” utterances and inferences in a “tranditional” society, the Senufo of the Ivory Coast, is here used to clarify these anthropological problems. Two levels can be distinguished: a priori representations, which are underdetermined, enabling them to occur within valid inferences; perception and/or action, which obeys different cognitive constraints. The existential status of unobservable entities appearing in causal inferences is not equivalent depending on whether they are determined as antecedent or consequent.This paper suggests a theory of interpretive processes and beliefs having flexible references, because they are incomplete and domain-specific. It allows a comparison with facts observed in Western societies. It is also in contrast to the ordinary conception of religious states of belief — i.e., these states would be purely psychological, states of “adherence,” collective, autonomous, obligatory, part of a systemized set of knowledge; collective notions would here logically precede individual representations. (shrink)

Impressions, energy radiated by phenomena in the momentary environmental scene, enter sensory neurons, creating in afferent nerves a data stream. Following Kant, by our inner sense the mind perceives its own thoughts as it ties together sense data into an internalized scene. The mind, residing in the brain, logically a Language Machine, processes and stores items as coded grammatical entities. Kantian synthetic unity in the linguistic brain is able to deliver our experience of the scene as we appear to see (...) it. Uniquely, the brain records its own history, synthesizing a Movie-in-the-Brain, called the Noumenal Cosmos. Attempting thereby to represent the actual Universe, this makes for a sovereign brain that governs itself. The brain is domicile of an Ego, with its selfhood at stake at all times. Yet, it can know itself only by its actions, in which it appears as an actor in its own movie. Phenomena enter garbled, as confused apparitions, and must be put in good form using top–down feedback control by Ego, so that each movie frame makes rational sense within the overall context of the Noumenal Cosmos. A stack of frames is processed typically in 40 Hz rhythm with 300 ms process time each, for about 12 in the stack at any time. Successive neural centers are processing the stack in the brain assembly line, based on data from increasingly global receptive fields. Ego stitches together the movie frames, but only the top frame is in consciousness for 25 ms. The top frame contains the whole scene where the Ego makes an appearance as the actor that imposes Kantian synthetic unity on the scene, merely an assembly of grammatical texts, in a system-internal coded process language, fitting the scene into the Noumenal Cosmos. But Ego observes Ego only to the extent permitted by the objectivity rule, only what it does and thinks, not its true face. From the Noumenal Cosmos, the Ego receives grammatical messages in the internal sense code. They are integrated into a whole in the reaction of the Ego to the momentary scene. The voluntary nature of Ego’s decisions is explained, based on its ability to code in advance its own actions sequentially in time, as it sees fit with a view to an orderly Noumenal Cosmos, records of code being arranged spatially in neural structures. (shrink)

In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working (...) in the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material. The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. (shrink)

The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, (...) there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the (...) language is enriched with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

Gilbert Ryle; Intelligence and the Logic of the Nature-Nurture Issue Reply to J. P. White, Journal of Philosophy of Education, Volume 8, Issue 1, 30 May 2006, P.

Organ transplantation from living related donors in Bangladesh first began in October 1982, and became commonplace in 1988. Cornea transplantation from posthumous donors began in 1984 and living related liver and bone marrow donor transplantation began in 2010 and 2014 respectively. The Human Organ Transplantation Act officially came into effect in Bangladesh on 13th April 1999, allowing organ donation from both brain-dead and related living donors for transplantation. Before the legislation, religious leaders issued fatwa, or religious rulings, in favor of (...) organ transplantation. The Act was amended by the Parliament on 8th January, 2018 with the changes coming into effect shortly afterwards on 28th January. However, aside from a few posthumous corneal donations, transplantation of vital organs, such as the kidney, liver, heart, pancreas, and other body parts or organs from deceased donors, has remained absent in Bangladesh. The major question addressed in this article is why the transplantation of vital organs from deceased donors is absent in Bangladesh. In addition to the collection of secondary documents, interviews were conducted with senior transplant physicians, patients and their relatives, and the public, to learn about posthumous organ donation for transplantation. Interviews were also conducted with a medical student and two grief counselors to understand the process of counseling the families and obtaining consent to obtain posthumous cornea donations from brain-dead patients. An interview was conducted with a professional anatomist to understand the processes behind body donation for the purposes of medical study and research. Their narrative reveals that transplant physicians may be reticent to declare brain death as the stipulations of the 1999 act were unclear and vague. This study finds that Bangladeshis have strong family ties and experience anxiety around permitting separating body parts of dead relatives for organ donation for transplantation, or donating the dead body for medical study and research purposes. Posthumous organ donation for transplantation is commonly viewed as a wrong deed from a religious point of view. Religious scholars who have been consulted by the government have approved posthumous organ donation for transplantation on the grounds of necessity to save lives even though violating the human body is generally forbidden in Islam. An assessment of the dynamics of biomedicine, religion and culture leads to the conclusion that barriers to posthumous organ donation for transplantation that are perceived to be religious may actually stem from cultural attitudes. The interplay of faith, belief, religion, social norms, rituals and wider cultural attitudes with biomedicine and posthumous organ donation and transplantation is very complex. Although overcoming the barriers to organ donation for transplantation is challenging, initiation of transplantation of vital organs from deceased donors is necessary within Bangladesh. This will ensure improved healthcare outcomes, prevent poor people from being coerced into selling their organs to rich recipients, and protect the solidarity and progeny of Bangladeshi families. (shrink)