The introduction of Autonomous Military Systems (AMS) onto contemporary battlefields raises concerns that they will bring with them the possibility of a techno-responsibility gap, leaving insecurity about how to attribute responsibility in scenarios involving these systems. In this work I approach this problem in the domain of applied ethics with foundational conceptual work on autonomy and responsibility. I argue that concerns over the use of AMS can be assuaged by recognising the richly interrelated context in which these systems will most (...) likely be deployed. This will allow us to move beyond the solely individualist understandings of responsibility at work in most treatments of these cases, toward one that includes collective responsibility. This allows us to attribute collective responsibility to the collectives of which the AMS form a part, and to account for the distribution of burdens that follows from this attribution. I argue that this expansion of our responsibility practices will close at least some otherwise intractable techno-responsibility gaps. (shrink)

Conducting empirical research on gender in medical ethics is a challenge from a theoretical as well as a practical point of view. It still has to be clarified how gender aspects can be integrated without sustaining gender stereotypes. The developmental psychologist Carol Gilligan was among the first to question ethics from a gendered point of view. The notion of care introduced by her challenged conventional developmental psychology as well as moral philosophy. Gilligan was criticised, however, because her concept of ‘two (...) different voices’ may reinforce gender stereotypes. Moreover, although Gilligan stressed relatedness, this is not reflected in her own empirical approach, which still focuses on individual moral reflection. Concepts from social psychology can help overcome both problems. Social categories like gender shape moral identity and moral decisions. If morality is understood as being lived through actions of persons in social relationships, gender becomes a helpful category of moral analysis. Our findings will provide a conceptual basis for the question how empirical research in medical ethics can successfully embrace a gendered perspective. (shrink)

This article offers an overview of various theological discourses on the concept of nature. These are illustrated with examples of contributions to reformed theology from within the South African context. It is argued that there is ample room for confusion to reign in the connotations attached to ‘nature’ and the underlying theological problems that emerge. Often such connotations are merely adopted from other disciplines. To juxtapose such discourses would not by itself help to overcome such confusion but is a necessary (...) step in that direction.Contribution: This article analyses the conflicting uses of the term ‘nature’ especially in reformed theological discourse in the South African context. It circumscribes the distinctive theological problems that emerge in each case without seeking to resolve them. (shrink)

Objective The establishment of patient-centered measures capable of empirically determining meaningful cognitive change after surgery can significantly improve the medical care of epilepsy patients. Thus, this study aimed to develop reliable change indices (RCIs) and standardized regression-based (SRB) change norms for a comprehensive neuropsychological test battery in the German language. Methods Forty-seven consecutive patients with temporal lobe epilepsy underwent neuropsychological assessments, both before and 12 months after surgery. Practice-effect-adjusted RCIs and SRB change norms for each test score were computed. To (...) assess their usefulness, the presented methods were applied to a clinical sample, and binary logistic regression analyses were conducted to model the odds of achieving improvement in quality of life (QOL) after surgery. Results The determined RCIs at 90% confidence intervals and the SRB equations for each test score included in the test battery are provided. Cohen’s kappa analyses revealed a moderate mean agreement between the two measures, varying from slight to almost perfect agreement across test scores. Using these measures, a negative association between improvement in QOL and decline in verbal memory functions after surgery was detected (adjusted odds ratio = 0.09, p = 0.006). Significance To the best of our knowledge, this study is the first to develop RCIs and SRB change norms necessary for the objective determination of neuropsychological change in a comprehensive test battery in the German language, facilitating the individual monitoring of improvement and decline in each patients’ cognitive functioning and psychosocial situations after epilepsy surgery. The application of the described measures revealed a strong negative association between improvement in QOL and decline in verbal memory functions after surgery. (shrink)

This contribution offers a critical rejoinder with regard to 12 articles submitted for publication in HTS Theological Studies ‘to stimulate a discussion on the Holy Trinity for the 21st century within the South African environment’. It raises the provocative question: what if these 12 articles may be regarded as a barometer for contemporary South African discourse on the Trinity – even if this is evidently (and hopefully!) not the case? It addressed five questions in this regard: (1) who are the (...) authors that contributed articles and where are they situated? (2) Who are their conversation partners or interlocutors? (3) What issues, themes and problems have they focused on? (4) How is the public significance of the doctrine of the Trinity portrayed within the (South) African context? (5) What issues, themes and problems were not discussed? It concludes that there are crucial problems related to the economic Trinity that are, by and large, not addressed in this set of contributions. (shrink)

Thesis (MA)--Stellenbosch University, 2014.

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

This contribution explores the assertion that climate change may be described as a “wicked problem.” It notes that the term was introduced in the context of the management sciences where a managerial ethos prevailed and where moral connotations were excluded. Subsequent references to climate change as a wicked problem maintained both these features. Yet, if climate change not only poses technological, economic, and political problems but also has moral and, indeed, spiritual challenges—as is widely maintained—then such moral connotations cannot be (...) avoided. The description of a problem as wicked then becomes part of the problem. It is argued that the term is best understood as one used in jest, so that if we seek to define a problem’s wickedness in a conceptually precise way, we are missing the joke. The major moral dimensions of the challenges posed by climate changes should be taken seriously, but perhaps there is no need to take the term wicked problems all that seriously. What should not be laughed off is the managerial ethos that presumes that the challenges posed by climate changes can be addressed “exactly” through climate engineering or even social engineering. (shrink)

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

In this contribution, the author engages in a conversation with Christopher Southgate on the relationship between social evil and what is called natural “evil.” Theologically, this centers around an understanding of creation and fall. It is argued that Southgate typically treats soteriology and eschatology as themes pertaining to an evolutionary theodicy, whereas an adequate ecotheology would discuss the problem of natural suffering under the rubric of the narrative of God's economy. The question is then how that story is best told.

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present paper (...) establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

In this contribution, an overview of the distinct ways in which the interplay between knowledge, values, and beliefs took shape in the South African context since 1948 is offered. This is framed against the background of the paleontological significance of South Africa and an appreciation of indigenous knowledge systems, but also of the ideological distortion of knowledge and education during the apartheid era through the legacy of neo-Calvinism. The overview includes references to discourse on human rationality, on the use of (...) social sciences in theological reflection, on the teaching of evolution in public schools, on science and religion, and on religion and ecology. The essay concludes with a survey of some of the major voices regarding the interface between religion and science in South Africa. (shrink)

There is a conceptual knot at the intersection of moral responsibility and action theory. This knot can be expressed as the following question: What is the relationship between an agent’s openness to moral responsibility and the intentional status of her behaviour? My answer to this question is developed in three steps. I first develop a control-backed account of intentional agency, one that borrows vital insights from the cognitive sciences – in the form of Dual Process Theory – in understanding the (...) control condition central to the account, and demonstrate that this account fares at least as well as its rivals in the field. Secondly, I investigate the dominant positions in the discussion surrounding the role of control in moral responsibility. After consideration of some shortcomings of these positions – especially the inability to properly account for so-called ambivalence cases – I defend an alternative pluralist account of moral responsibility, in which there are two co-extant variants of such responsibility: attributability and accountability. The latter of these will be shown to have a necessary control condition, also best understood in terms of a requirement for oversight, and in terms of the workings of the dual system mechanism. I then demonstrate how these two accounts are necessarily related through the shared role of this kind of control, leading to my answer to the original question: if an agent is open to moral accountability based on some activity or outcome, this activity or outcome must necessarily have positive intentional status. I then apply this answer in a consideration of certain cases of the use of the Doctrine of Double Effect. (shrink)

Robotic and artificially intelligent (AI) systems are becoming prevalent in our day-to-day lives. As human interaction is increasingly replaced by human–computer and human–robot interaction (HCI and HRI), we occasionally speak and act as though we are blaming or praising various technological devices. While such responses may arise naturally, they are still unusual. Indeed, for some authors, it is the programmers or users—and not the system itself—that we properly hold responsible in these cases. Furthermore, some argue that since directing blame or (...) praise at technology itself is unfitting, designing systems in ways that encourage such practices can only exacerbate the problem. On the other hand, there may be good moral reasons to continue engaging in our natural practices, even in cases involving AI systems or robots. In particular, daily interactions with technology may stand to impact the development of our moral practices in human-to-human interactions. In this paper, we put forward an empirically grounded argument in favor of some technologies being designed for social responsiveness. Although our usual practices will likely undergo adjustments in response to innovative technologies, some systems which we encounter can be designed to accommodate our natural moral responses. In short, fostering HCI and HRI that sustains and promotes our natural moral practices calls for a co-developmental process with some AI and robotic technologies. (shrink)

Many recent AI policies have been structured under labels that follow a particular trend: national or international guidelines, policies or regulations, such as the EU’s and USA’s ‘Trustworthy AI’ and China’s and India’s adoption of ‘Responsible AI’, use a label that follows the recipe of [agentially loaded notion + ‘AI’]. A result of this branding, even if implicit, is to encourage the application by laypeople of these agentially loaded notions to the AI technologies themselves. Yet, these notions are appropriate only (...) when applied to agents, which current AI technologies are not; and the concern is that this misapplication creates an incentive to inappropriately attribute trustworthiness or responsibility to AI technologies. We endeavour to show that we have good reason to avoid any general AI policy that uses agentially loaded labelling. We suggest labelling these policies not in terms of some qualification of AI, but rather in terms of our approach to the technology and its wider development and use context – focusing on being trustworthy and responsible about AI, rather than on trustworthy or responsible AI. (shrink)

We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called \emph{elementary}. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called \emph{canonical}. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...) results, and outline further research perspectives. (shrink)

This article engages with John Haught's views on original sin. It offers a brief orientation to discourse on sin in the context of theological debates on human evolution. This is followed by a thick description of Haught's so-called note on original sin. A series of five observations and questions regarding Haught's position is offered. It is observed that Haught's way of telling the story of sin and salvation follows a classic Roman Catholic plot, namely one based on grace elevating nature. (...) This is contrasted with the more typically reformed plot of restoration. (shrink)

This article observes that both the similar and the dissimilar are of ethical importance in discourse on human identity. There is a need for a common humanity and to guard against domination in the name of difference – precisely by recognising the otherness of the other. This also applies to reflections on what it means to be human in the age of the human, namely the Anthropocene. A survey is offered of how this tension between the similar and the dissimilar (...) plays itself out in the work of five theorists, namely Dipesh Chakrabarty, Clive Hamilton, Dona Harraway, Michel Serres and Kathryn Yusoff. On this basis, six tentative conclusions are offered: Despite the appropriate ethical emphasis on difference and otherness, the quest for the universal in the particular cannot be readily abandoned. Such a sensitivity for the universal in the particular needs to be extended to a recognition of the way in which an integrated earth system functions. The ethical emphasis on difference and otherness should be extended to non-human animals. Human dignity and the ‘integrity of creation’ are not necessarily inversely proportioned. Relations may well have an ontological priority over individuals. Identity need not be constituted by the distant past or the immediate presence as if continuity over time forms a guarantee for a sense of identity.Contribution: This article explores a core question in discourse on the Anthropocene, namely ‘What does it mean to be human in the age of humans?’ It compares the views on human identity of five theorists, namely Dipesh Chakrabarty, Clive Hamilton, Dona Harraway, Michel Serres and Kathryn Yusoff and on this basis offers six observations to take the debate forward. (shrink)

The author has been involved in Christian Community Computer Centers or C4s since 1993 and has been researching the possibility of C4s' growth as part of a strategy in addressing the socio-economic situation in Africa. He asks if C4s, within the Information Communication Technology sector, can facilitate transformation in communities. The main thesis of this paper is that C4s play a significant role in community transformation as they have their greatest impact in poorer communities where more commercially orientated enterprises are (...) reluctant to invest in technological services. The author suggests that the one area that needs further attention concerns the question of making the Centers part of an intentional program of transforming communities especially supported by churches. (shrink)

Chapter 1 Introduction: Three moral questions In this chapter ... You will be introduced to a number of basic ethical concepts and distinctions; ...

<b>Objectives:</b> To gather empirical data on how gender and educational level influence bioethical reasoning among medical students by analyzing their use of care versus justice arguments for reconciling a bioethical dilemma. <b>Setting:</b> University Departments of Medical Ethics, Social and Communication Psychology in Germany. Participants: First and fifth year medical students. Design and method: Multidisciplinary, empirical, 2-segment study of ethics in action: In intrapersonal Segment 1, the students were presented with a bioethical dilemma and then administered a 13-item questionnaire to survey (...) their individual preferences for care versus justice arguments in resolving the conflict. The survey questioned 6 justice, 6 care-related items and 1 socially critical item. Data were analysed by gender and year of medical school. In interpersonal Segment 2, the bioethical dilemma from Segment 1 was discussed in gender-mixed and gender-homogeneous groups. Coded transcripts were evaluated to identify prevalences in care versus justice reasoning. <b>Results:</b> Data on 462 medical students were evaluable (n=338 in Segment 1, n=168 in Segment 2, n=44 overlap). Gender and level of education had no effect on moral reasoning in intrapersonal Segment 1, but significantly affected reasoning in interpersonal Segment 2, where women significantly tended to use more care-orientated arguments. Justice arguments predominated the group discussions. <b>Conclusion:</b> Interpersonal contexts affect moral reasoning in medical students, probably by amplifying the socialisation relating to gender and educational level. Care orientation is associated with the female gender. Professional socialisation tends to reduce the diversity and richness of moral reasoning towards a more justice-weighted orientation. Medical ethics should teach both justice and care reasoning modes in order to broaden physicians' ability to reconcile bioethical dilemmas. (shrink)

Sind Sie Naturalist, Metaphysikerin oder Rationalist? Existentialistin, Materialist oder Deterministin? Sie wissen es nicht? Der Philomat ist ein Apparat für weltanschauliche Diagnostik. Er sagt Ihnen, wie Sie denken, wenn Sie denken. Er stellt Ihnen Fragen aus ganz alltäglichen Zusammenhängen und ermittelt anhand Ihrer Antworten, welche philosophischen Überzeugungen Ihr Denken leiten. Sie erfahren, wie Ihre ganz persönliche Art zu denken in der Philosophie heißt, welche Konsequenzen mit ihr verbunden sind, welche Philosophen so denken wie Sie und wo Sie Ihre Überzeugungen vertiefen (...) können. (shrink)

We apply and extend the theory and methods of algorithmic correspondence theory for modal logics, developed over the past 20 years, to the language LR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}_R$$\end{document} of relevance logics with respect to their standard Routley–Meyer relational semantics. We develop the non-deterministic algorithmic procedure PEARL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PEARL}$$\end{document} for computing first-order equivalents of formulae of the language LR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$$\mathcal {L}_R$$\end{document}, in terms of that semantics. PEARL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PEARL}$$\end{document} is an adaptation of the previously developed algorithmic procedures SQEMA and ALBA. We then identify a large syntactically defined class of inductive formulae in LR\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {L}_R$$\end{document}, analogous to previously defined such classes in the classical, distributive and non-distributive modal logic settings, and show that PEARL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PEARL}$$\end{document} succeeds for every inductive formula and correctly computes a first-order definable condition which is equivalent to it with respect to frame validity. We also provide a detailed comparison with two earlier works, each extending the class of Sahlqvist formulae to relevance logics, and show that both are subsumed by simple subclasses of inductive formulae. (shrink)

In light of the proposed expansion of eligibility for physician aid in dying (PAD) in Canada to people with psychiatric disorders, there is a new subset of individuals seeking PAD—those with poverty-induced depression. The dominant account defending the expansion is known as the “parity argument.” Defenders of the parity argument maintain that the expansion of PAD to those with psychiatric conditions is needed to reflect that the seriousness of a patient's suffering does not depend on the cause of that suffering. (...) Parity accounts, as they stand, would allow cases of poverty-induced depression to qualify. I raise a moral dilemma that the parity theorist must face considering this new subset of cases—expanding access to PAD, without adequate social protections, could produce more social inequality by aiming to reduce it. I propose six recommendations that policy-makers should consider before expanding PAD given these cases, social injustice, and the social determinants of mental health. (shrink)