This book is an introductory logic text of moderate difficulty which contains added topics not usually found in an introductory book. The book has two parts--basic logic and advanced logic. The basic logic contains propositional logic through conditional proofs, syllogistic logic, the fundamentals of set theory and their application to both syllogistic and non-syllogistic inferences along with the use of Venn and Carroll diagrams, and concludes with predicate logic using the rules for Universal Instantiation, Existential Instantiation, Universal Generalization, and Existential (...) Generalization. The part on advanced logic begins by extending the predicate logic to identity, descriptions, and relations. A presentation of modal logic includes C. I. Lewis' modal systems S3, S4, and S5; modal logic with quantification; epistemic, doxastic, and deontic modalities; and mixed modalities. A chapter on the logic of ordinary language considers analytic statements, empty expressions, and equivalence and implication in ordinary language. The author also discusses "tools of analysis" such as definition, the theory of meaning, probability theory, and scientific inference. Each chapter concludes with a section entitled "Philosophical Applications" or "Philosophical Difficulties." One of these sections contains the author's version of Hartshorne's modal proof of Anselm's ontological argument. Answers are provided for the even-numbered exercises.--T. G. N. (shrink)

The history of contemporary modal logic dates back to the writings of C. S. Lewis in the early part of this century. Since then, a growing body of literature has attested to professional interest in the area, and in a number of related issues in philosophical logic which have received wide attention. The recent development of powerful formal techniques for modal system building, together with an increasing interest in modal logic as a tool for philosophical analysis, have created a need (...) for an up-to-date text to introduce students to this material. Snyder's book attempts to answer this need. Assuming an understanding of elementary propositional logic, Snyder introduces a reductive technique called cancellation for detecting the theorems of a system of logic. This technique, analogous to the construction of Smullyan trees but more compact, is extended to modal and quantified contexts. Cancellation versions of the systems M and Mn of G. H. von Wright, and S4 and S5 of Lewis are developed. Snyder uses a Hintikka type of semantics, showing how the various formal systems are differentiated at the semantic level by differing conditions which must be imposed on the model systems used as interpretations for them. These model systems, and the conditions imposed upon them, are in turn described by means of a metalanguage which is essentially first-order quantificational logic. The power of this technique stems from the fact that for every object language formula of a system, there is a corresponding formula in the metalanguage which describes the conditions an interpretation must meet in order to satisfy the original formula. The conditions that the interpretations of a given system of logic must meet are reflected in this metalanguage as "antecedent assumptions," and these in turn correspond to cancellation rules for the object language. This correspondence is constructed in such a way that the metalinguistic counterpart of each theorem of the system will be a theorem of first-order logic. Snyder's primary interest is in showing how modal logic can be used, with the help of these techniques, to build a large variety of formal systems and to "tailor" such systems to meet a variety of analytical tasks. Simple modal systems are developed for the articulation of a number of modal concepts, in addition to the classic alethic ones. Examples are taken from temporal, deontic, and epistemic logic to show how specific interpretations of the meanings of the relevant operators lead to the incorporation of appropriate conditions in the formal systems used to articulate them. An entire chapter is devoted to a discussion of the paradoxes of material and strict implication, and to an attempt to articulate the notion of entailment through the development of formal systems which include a dyadic modal operator that is free of these paradoxes. The final chapter discusses such classical issues as proper names, reference, fictional entities, definite descriptions, and existence presuppositions. Appendices deal with such matters as the equivalence of the cancellation systems to more classical axiomatic-deduction systems, and the sketch of a proof of soundness and completeness for all the modal systems presented. While designed as a text, this volume should be of interest to both logicians and those working in metaphysics and language analysis, since the primary concern of the author is to develop techniques that will facilitate the usefulness of modal logic as a tool for philosophical analysis. The instructor's manual contains many suggestions derived from the author's experience in teaching this non-standard treatment of the subject.--K. T. (shrink)

The usual semantics for the modal systems T, S4, and S5 assumes that the set of possible worlds contains at least one member. Recently versions of these modal systems have been developed in which this assumption is dropped. The systems discussed here are obtained by slightly weakening the liberated versions of T and S4. The semantics does not assume the existence of possible worlds, and the accessibility relation between worlds is only required to be quasi-reflexive instead of (...) reflexive. Completeness and independence results are established. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of (...) the paper is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

Knowledge has been a subject of philosophical study since ancient times. This is not surprising since knowledge is crucial for humans to control their actions and the appetite for acquiring it seems innate to the human race. Philosophy, therefore, has always occupied itself with the question as to the nature of knowledge. This area of philosophy is generally referred to as epistemology from the Greek word for knowledge: episteme. Plato defined knowledge as “justified true belief,” and this definition has influenced (...) philosophers ever since; cf. Gettier and Pollock. Although sensible, this definition does not yet explain the nature of knowledge, since all of the three notions of ‘justification’, ‘truth’, and ‘belief’ are not yet clear and still subject to discussion. It would go beyond the scope of our purposes here to go into this at this moment, but it is touched on later in this chapter. (shrink)

We investigate a recent proposal for modal hypersequent calculi. The interpretation of relational hypersequents incorporates an accessibility relation along the hypersequent. These systems give the same interpretation of hypersequents as Lellman's linear nested sequents, but were developed independently by Restall for S5 and extended to other normal modal logics by Parisi. The resulting systems obey Došen's principle: the modal rules are the same across different modal logics. Different modal systems only differ in the presence or absence of (...) external structural rules. With the exception of S5, the systems are modular in the sense that different structural rules capture different properties of the accessibility relation. We provide the first direct semantical cut-free completeness proofs for K, T, and D, and show how this method fails in the case of B and S4. (shrink)

In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that can be generated by the five axioms T, D, B, 4 and 5. Lewis also discusses how his systems can be augmented by propositional quantifiers and how these augmented logics allow us to (...) express some interesting ideas that cannot be expressed in the corresponding quantifier-free logics. In this paper, I will develop 64 normal modal semantic tableau systems that can be extended by propositional quantifiers yielding 64 extended systems. All in all, we will investigate 128 different systems. I will show how these systems can be used to prove some interesting theorems and I will discuss Lewis’s so-called existence postulate and some of its consequences. Finally, I will prove that all normal modal systems are sound and complete and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete. (shrink)

Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems (...) and artificial intelligence. These include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The authors also discuss extensively the problem of logical omniscience. They cover Halpern & Moses' theory of honest formulas, and they make a digression into the realm of nonmonotonic reasoning and preferential entailment. They discuss Moore's autoepistemic logic, together with Levesque's related logic of "all I know". Furthermore, they show how one can base default and counterfactual reasoning on epistemic logic. Graduate students in philosophy or in computer science, especially those with an interest in AI, will find this book useful. (shrink)

We define a propositionally quantified intuitionistic logic Hπ + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that Hπ+ is recursively isomorphic to full second order classical logic. Hπ+ is the intuitionistic analogue of the modal systems S5π +, S4π +, S4.2π +, K4π +, Tπ +, Kπ + and Bπ +, studied by Fine.

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of ...

We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...) logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants. (shrink)

There is a set of principles, the Principles of Possibility, that constrains whether a description picks out a genuinely possible world. To grasp the concept of metaphysical necessity is to have tacit knowledge of this set of Principles and to apply them in evaluating modal statements and thoughts. For a statement to be necessary is for it to hold in all descriptions that are not excluded as possible by the principles of possibility. This integrates the metaphysics and epistemology of necessity, (...) without collapsing into mind‐dependence and without a commitment to modal realism. The treatment of the metaphysics validates the modal systems T and S4. (shrink)

The notions of common knowledge or common belief play an important role in several areas of computer science , in philosophy, game theory, artificial intelligence, psychology and many other fields which deal with the interaction within a group of “agents”, agreement or coordinated actions. In the following we will present several deductive systems for common knowledge above epistemic logics –such as K, T, S4 and S5 –with a fixed number of agents. We focus on structural and proof-theoretic properties of (...) these calculi. (shrink)

We consider a simple modal logic whose nonmodal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of _T_, _S4_, and _S5_, such logics are useful, as shown in previous work by Baltag, Coecke, and the first author, for encoding and reasoning about information and misinformation in multiagent systems. For the propositional-only fragment of (...) such a dynamic epistemic logic, we present an algebraic semantics, using lattices with agent-indexed families of adjoint pairs of operators, and a cut-free sequent calculus. The calculus exploits operators on sequents, in the style of “nested” or “tree-sequent” calculi; cut-admissibility is shown by constructive syntactic methods. The applicability of the logic is illustrated by reasoning about the muddy children puzzle, for which the calculus is augmented with extra rules to express the facts of the muddy children scenario. (shrink)

A comprehensive introduction to modal logic is long overdue and this one has many virtues. It is clearly written and should be accessible to any student who has at least one semester of basic logic and is willing to read carefully and think abstractly. The first part, on modal propositional logic, begins with a summary account of classical propositional logic, the axiomatization of Principia Mathematica being the basis for the development of modal logics throughout the book. The transition to modal (...) logic is nicely motivated by a clear presentation of intuitive notions of modality and the requirements to be included in a modal logic. Thereafter three standard systems of modal propositional logic are developed axiomatically, Feys' system T and Lewis' systems S4 and S5. The semantics for these systems is then developed in the manner of Kripke with some terminological modifications. The explanation of accessibility relations between possible worlds is made especially clear through a helpful analogy with certain sorts of games. Decision procedures and completeness proofs are then developed. A similar pattern of exposition is given to modal predicate logic in Part II, the difference being that Henkin-type methods are used in the completeness proofs. Because of the many philosophical problems raised by modal predicate logic, Part II contains more philosophical discussion than Part I. A discussion of identity and descriptions in modal predicate logic is also included. The third and final part is a survey of modal systems beginning with the Lewis' systems S1-S5 and going on to systems weaker and stronger than the Lewis' systems and others which are independent of them. Systems with alternative primitives and axiomatic bases are also discussed. A final chapter discusses the relation of Boolean algebras to modal logics and brief appendices deal with natural deduction systems of modal logic, systems of entailment, alternative notations and the semantics of Kripke and Hintikka among other topics. There are exercises at the end of each chapter. This summary suggests the merits of this introduction, its clear exposition and the enormous amount of material it brings together and summarizes.--R. H. K. (shrink)

We propose a critique ofnormativism, defined as the idea that human thinking reflects a normative system against which it should be measured and judged. We analyze the methodological problems associated with normativism, proposing that it invites the controversial “is-ought” inference, much contested in the philosophical literature. This problem is triggered when there are competing normative accounts (the arbitration problem), as empirical evidence can help arbitrate between descriptive theories, but not between normative systems. Drawing on linguistics as a model, we (...) propose that a clear distinction between normative systems and competence theories is essential, arguing that equating them invites an “is-ought” inference: to wit, supporting normative “ought” theories with empirical “is” evidence. We analyze in detail two research programmes with normativist features – Oaksford and Chater's rational analysis and Stanovich and West's individual differences approach – demonstrating how, in each case, equating norm and competence leads to an is-ought inference. Normativism triggers a host of research biases in the psychology of reasoning and decision making: focusing on untrained participants and novel problems, analyzing psychological processes in terms of their normative correlates, and neglecting philosophically significant paradigms when they do not supply clear standards for normative judgement. For example, in a dual-process framework, normativism can lead to a fallacious “ought-is” inference, in which normative responses are taken as diagnostic of analytic reasoning. We propose that little can be gained from normativism that cannot be achieved by descriptivist computational-level analysis, illustrating our position with Hypothetical Thinking Theory and the theory of the suppositional conditional. We conclude that descriptivism is a viable option, and that theories of higher mental processing would be better off freed from normative considerations. (shrink)

The rapid development of machine-learning algorithms, which underpin contemporary artificial intelligence systems, has created new opportunities for the automation of work processes and management functions. While algorithmic management has been observed primarily within the platform-mediated gig economy, its transformative reach and consequences are also spreading to more standard work settings. Exploring algorithmic management as a sociotechnical concept, which reflects both technological infrastructures and organizational choices, we discuss how algorithmic management may influence existing power and social structures within organizations. We (...) identify three key issues. First, we explore how algorithmic management shapes pre-existing power dynamics between workers and managers. Second, we discuss how algorithmic management demands new roles and competencies while also fostering oppositional attitudes toward algorithms. Third, we explain how algorithmic management impacts knowledge and information exchange within an organization, unpacking the concept of opacity on both a technical and organizational level. We conclude by situating this piece in broader discussions on the future of work, accountability, and identifying future research steps. (shrink)

J. Willard Gibbs derived the following equation to quantify the maximum work possible for a chemical reaction$${\text{Maximum work }} = \, - \Delta {\text{G}}_{{{\text{rxn}}}} = \, - \left( {\Delta {\text{H}}_{{{\text{rxn}}}} {-}{\text{ T}}\Delta {\text{S}}_{{{\text{rxn}}}} } \right) {\text{ constant T}},{\text{P}}$$ Maximum work = - Δ G rxn = - Δ H rxn - T Δ S rxn constant T, P ∆Hrxn is the enthalpy change of reaction as measured in a reaction calorimeter and ∆Grxn the change in Gibbs energy as measured, if (...) feasible, in an electrochemical cell by the voltage across the two half-cells. To Gibbs, reaction spontaneity corresponds to negative values of ∆Grxn. But what is T∆Srxn, absolute temperature times the change in entropy? Gibbs stated that this term quantifies the heating/cooling required to maintain constant temperature in an electrochemical cell. Seeking a deeper explanation than this, one involving the behaviors of atoms and molecules that cause these thermodynamic phenomena, I employed an “atoms first” approach to decipher the physical underpinning of T∆Srxn and, in so doing, developed the hypothesis that this term quantifies the change in “structural energy” of the system during a chemical reaction. This hypothesis now challenges me to similarly explain the physical underpinning of the Gibbs–Helmholtz equation$${\text{d}}\left( {\Delta {\text{G}}_{{{\text{rxn}}}} } \right)/{\text{dT}} = - \Delta {\text{S}}_{{{\text{rxn}}}} \left( {\text{constant P}} \right)$$ d Δ G rxn / dT = - Δ S rxn constant P While this equation illustrates a relationship between ∆Grxn and ∆Srxn, I don’t understand how this is so, especially since orbital electron energies that I hypothesize are responsible for ∆Grxn are not directly involved in the entropy determination of atoms and molecules that are responsible for ∆Srxn. I write this paper to both share my progress and also to seek help from any who can clarify this for me. (shrink)

The most pressing issues of the twenty-first century—climate change and persistent hunger in a world of food surpluses, to name only two—are not problems that can be solved from within individual disciplines, nation-states, or cultural perspectives. They are predicaments that can only be resolved by generating sustained and globally robust coordination across value systems. The scale of the problems and necessity for coordinated global solutions signal a world historical transit as momentous as the Industrial Revolution: a transition from the (...) predominance of technical knowledge to that of ethical deliberation. This volume brings together leading thinkers from around the world to deliberate on how best to correlate worth (value) with what is worthwhile (values), pairing human prosperity with personal, environmental, and spiritual flourishing in a world of differing visions of what constitutes a moral life. Especially in the aftermath of what is now being called the Great Recession, awareness has mounted of the imperative to question the modern divorce of economics from ethics. While the domains of economics and ethics were from antiquity through at least the eighteenth century understood in many cultures to be coterminous and mutually entailing, the modern assumption has been that the goal of maximizing human prosperity and the aim of justly enhancing our lives as persons and as communities were functionally and practically distinct. Working from a wide array of perspectives, the contributors to this volume offer a set of challenges to the assumed independence of the quantitative and qualitative dimensions of human and planetary well-being. Reflecting on the complex interrelationship among economics, justice, and equity, the book resists "one size fits all" approaches and struggles to revitalize the marriage of economics and ethics by activating cultural differences as the basis of mutual contribution to shared human flourishing. The publication of this important collection will stimulate or extend critical debates among scholars and students working in a number of disciplines in the social sciences and humanities, including philosophy, history, environmental studies, economics, and law. Contributors: Roger T. Ames, James Behuniak Jr., Steve Bein, Nalini Bhushan, Purushottama Bilimoria, Steven Burik, Amita Chatterjee, Baoyan Cheng, Gordon Davis, Jay L. Garfield, Steven F. Geisz, Peter D. Hershock, Larry A. Hickman, Kathleen M. Higgins, Heidi M. Hurd, Thomas P. Kasulis, Workineh Kelbessa, Lori Keleher, Oliver Leaman, James McRae, Jin Y. Park, James Peterman, Naoko Saito, May Sim, Robert Smid, Paul Standish, Kenneth W. Stikkers, Karsten J. Struhl, Meera Sushila Viswanathan, Wu Shiu- Ching, Xu Di, T. Yamauchi, Yang Liuxin. (shrink)

Green agrees with Kant on the abstract character of moral law as categorical imperatives and that intentional dispositions are central to a moral justification of punishment. The central problem with Kant's account is that we are unable to know these dispositions beyond a reasonable estimate. Green offers a practical alternative, positing moral law as an ideal to be achieved, but not immediately enforceable through positive law. Moral and positive law are bridged by Green's theory of the common good through the (...) dialectic of morality. Thus, Green appears to offer an alternative that remains committed to Kantian morality whilst taking proper stock of our cognitive limitations. Unfortunately, Green fails to unravel fully Kant's dichotomy of moral and positive law that mirrors Green's solution, although Green offers a number of improvements, such as the importance of the community in establishing rights and linking the severity of punishment to the extent that a criminal act threatens the continued maintenance of a system of rights. (shrink)

We argue that abduction does not work in isolation from other inference mechanisms and illustrate this through an inference scheme designed to evaluate multiple hypotheses. We use game theory to relate the abductive system to actions that produce new information. To enable evaluation of the implications of this approach we have implemented the procedures used to calculate the impact of new information in a computer model. Experiments with this model display a number of features of collective belief-revision leading to consensus-formation, (...) such as the influence of bias and prejudice. The scheme of inferential calculations invokes a Peircian concept of ‘belief’ as the propensity to choose a particular course of action. (shrink)

This article reviews models of the cerebellum and motor learning, from the landmark papers by Marr and Albus through those of the present time. The unique architecture of the cerebellar cortex is ideally suited for pattern recognition, but how is pattern recognition incorporated into motor control and learning systems? The present analysis begins with a discussion of exactly what the cerebellar cortex needs to regulate through its anatomically defined projections to premotor networks. Next, we examine various models showing how (...) the microcircuitry in the cerebellar cortex could be used to achieve its regulatory functions. Having thus defined what it is that Purkinje cells in the cerebellar cortex must learn, we then evaluate theories of motor learning. We examine current models of synaptic plasticity, credit assignment, and the generation of training information, indicating how they could function cooperatively to guide the processes of motor learning. (shrink)

The world appears to conscious creatures in terms of experienced sensory qualities, but science doesn't find sensory experience in that world, only physical objects and properties. I argue that the failure to locate consciousness in the world is a function of our necessarily representational relation to reality as knowers: we won't discover the terms in which reality is represented by us in the world as it appears in those terms. Qualia -- arguably a type of representational content -- will therefore (...) not be found in the physical world as characterized in experience or science. Instead, consciousness constitutes a subjective, representational reality for cognitive systems such as ourselves, and the physical world is a represented objective reality. I suggest that naturalistic approaches to explaining consciousness should acknowledge the non-objectivity of experience, and be constrained by evidence that consciousness accompanies certain sorts of behaviour-controlling representational functions carried out by complex, physically instantiated mind-systems. I evaluate a variety of current hypotheses about consciousness, and suggest that a mature science of representation may help explain why, perhaps as matter of representational necessity, experience arises as a natural but not objectively discoverable phenomenon. (shrink)

A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...) equivalent; but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential (...) underlying reasons for robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

This article describes the aircraft image recognition system implemented using the phase correlation technique in Matlab environment. The phase correlation is computed by using the normalized cross-power spectrum between the database and the template test image. The main objective of this article is to develop methods for static analysis of aircraft images. An unknown fighter aircraft is recognized by comparing its static image with those from a database of images of aircraft. This work is a research initiative involving the use (...) of image processing techniques to detect three-dimensional aircraft object based on their 2D images, providing feedback information for strategic purposes. The phase correlation technique is found to give a better recognition result for the set of database and test images considered, compared with the invariant moments. The phase correlation method is also used in other areas such as image registration. Aircraft images used include those from AeroIndia 2011 held at Bangalore, India. (shrink)

Health disparities are primarily driven by structural inequality including systemic racism. Medical educators, led by the AAMC, have tended to minimize these core drivers of health disparities. Ins...

Sandler's paper, ‘Climate change and ecosystem management’, takes a clear-eyed and sober look at conservation via static reserves and ecosystem restoration in the context of climate change....

In discussing the effects of grandparents on child survival in natural fertility populations, Coall & Hertwig (C&H) rely extensively on the review by Sear and Mace (2008). We conducted a more detailed summary of the same literature and found that the evidence in favor of beneficial associations between grandparenting and child survival is generally weak or absent. The present state of the data on human alloparenting supports a more restricted use of the term Human stem family situations with celibate helpers-at-the-nest (...) can be described as cooperatively breeding, but the term is a poor fit to many human family systems. (shrink)

The relativistic Schrödinger theory (RST) for N-fermion systems is further elaborated with respect to three fundamental problems which must emerge in any relativistic theory of quantum matter: (i) emergence/suppression of exchange forces between identical/non-identical particles, (ii) self-interactions, (iii) non-relativistic approximation. These questions are studied in detail for two- and three-particle systems but the results do apply to a general N-particle system. As a concrete demonstration, the singlet and triplet configurations of the positronium groundstate are considered within the RST (...) framework, including a discussion of the corresponding hyperfine splitting. (shrink)

This paper argues that professionals who make boundary-related decisions should be guided by relationship-based practice. In our roles as service users and professionals, drawing from our lived experiences of professional relationships, we argue we need to move away from distance-based practice. This includes understanding the boundary stories and narratives that exist for all of us – including the people we support, other professionals, as well as the organisations and systems within which we work. When we are dealing with professional (...) boundary issues, we should centre relationship-building skills that are central to many other aspects of our work. Skills that foster relationships at all levels – between professionals, service users, and services – need to be revalued. Our final recommendation is to create, develop, and foster safer spaces within and outside of organisations, as well as inter-professionally, for the discussion and exploration of boundary-related issues and practice. We are interested in hearing from those with experiences of being marginalised by boundaries so that they can inform a reshaping of our collective ideas around boundary related practices. To foster relationship-based practices in organisations, we have outlined several recommendations here; however, we recognize that these do not go far enough, and that collective action is needed to inform systemic change. (shrink)

Many lymphokine genes have now been cloned from activated T cells and their products have been expressed in mammalian cells. Use of these recombinant lymphokines has provided the opportunity to evaluate both the spectrum of their biological activities and the mechanisms of their action in promoting proliferation and differentiation of hemopoietic and lymphoid cells. Characterization of the structure of lymphokine genes will provide information about their regulated expression in T‐cell activation.

European and international regulation of human health research is typified by a morass of interconnecting laws, diverse and divergent ethical frameworks, and national and transnational standards. There is also a tendency for legislators to regulate in silos—that is, in discrete fields of scientific activity without due regard to the need to make new knowledge as generalisable as possible. There are myriad challenges for the stakeholders—researchers and regulators alike—who attempt to navigate these landscapes. This Delphi study was undertaken in order to (...) provide the first interdisciplinary and crosscutting analysis of health research regulation, as it is experienced by such stakeholders in the UK context. As well as reinforcing existing understandings of the regulatory environment, Delphi participants called for greater collaboration, and even co-production, of processes involved in health research regulation. On the basis of this research, we offer insights about how health research regulation can become a matter with which a wider range of stakeholders—including researchers, regulators, publics and research sponsors—can engage. The evidence supports the normative claim that health research regulation should continue to move away from strict, prescriptive rules-based approaches, and towards flexible principle-based regimes that allow researchers, regulators and publics to co-produce regulatory systems serving core principles. By unpacking thorny concepts and practices at the heart of health research regulation—including the public interest and public engagement—our results have the potential to situate and breathe life into them. The results also demonstrate that while proportionality is well-recognised as a crucial element of flexible regulatory systems, more must be done to operationalise this as an ethical assessment of the values and risks at stake at multiple junctures in the research trajectory. This is required if we are to move beyond proportionality as a mere risk-management tool. Compliance culture no longer accurately reflects the needs and expectations of researchers or regulators, nor does it necessarily produce the best research. Embracing uncertainty—both as a human practice and a regulatory objective—may represent the brighter future for health research. (shrink)

There is much to learn from Durán and Jongsma’s paper.1 One particularly important insight concerns the relationship between epistemology and ethics in medical artificial intelligence. In clinical environments, the task of AI systems is to provide risk estimates or diagnostic decisions, which then need to be weighed by physicians. Hence, while the implementation of AI systems might give rise to ethical issues—for example, overtreatment, defensive medicine or paternalism2—the issue that lies at the heart is an epistemic problem: how (...) can physicians know whether to trust decisions made by AI systems? In this manner, various studies examining the interaction of AI systems and physicians have shown that without being able to evaluate their trustworthiness, especially novice physicians become over-reliant on algorithmic support—and ultimately are led astray by incorrect decisions.3–5 This leads to a second insight from the paper, namely that even if some AI system happens to be opaque, it is still not built on the moon. To assess its trustworthiness, AI developers or physicians have different sorts of higher order evidence at hand. Most importantly, …. (shrink)

With the mobility and ease of connection, wireless sensor networks have played a significant role in communication over the last few years, making them a significant data carrier across networks. Additional security, lower latency, and dependable standards and communication capability are required for future-generation systems such as millimeter-wave LANs, broadband wireless access schemes, and 5G/6G networks, among other things. Effectual congestion control is regarded as of the essential aspects of 5G/6G technology. It permits operators to run many network illustrations (...) on a single organization while maintaining higher service quality. A sophisticated decision-making system for arriving network traffic is necessary to confirm load balancing, limit network slice letdown, and supply alternative slices in slice letdown or congestion. Because of the massive amount of data being generated, artificial intelligence and machine learning play a vital role in reconfiguring and improving a 5G/6G wireless network. In this research work, a hybrid deep learning method is being applied to forecast optimal congestion improvement in the wireless sensors of 5G/6G IoT networks. This proposed model is applied to a training dataset to govern the congestion in a 5G/6G network. The proposed approach provided promising results, with 0.933 accuracy, and 0.067 miss rate. (shrink)

In this paper, we critically appraise institutions for people with disabilities, from residential facilities to outpatient clinics to social organizations. While recognizing that a just and inclusive society would reject virtually all segregated institutional arrangements, we argue that in contemporary American society, some people with disabilities may have needs that at this time can best be met by institutional arrangements. We propose ways of reforming institutions to make them less isolating, coercive, and stigmatizing, and to provide forms of social support (...) the larger society denies many people with disabilities. Although these reforms far fall far short of abolition, they draw heavily on the work of disability scholars and advocates who call for the complete replacement of institutional arrangements with systems of supported living. The consideration of non-ideal-solutions is useful not only in reforming existing institutional arrangements, but in bringing disability scholarship and advocacy to bear on bioethics, which has paid little attention to institutions for people with disabilities. We intend this paper to redress the neglect within mainstream bioethics of the complex ethical problems posed by institutions. (shrink)