We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson's system, and discuss the meaning of Anderson's propositional constant in a wide range of Andersonian deontic systems.

It has been argued that ethically correct robots should be able to reason about right and wrong. In order to do so, they must have a set of do’s and don’ts at their disposal. However, such a list may be inconsistent, incomplete or otherwise unsatisfactory, depending on the reasoning principles that one employs. For this reason, it might be desirable if robots were to some extent able to reason about their own reasoning—in other words, if they had some meta-ethical capacities. (...) In this paper, we sketch how one might go about designing robots that have such capacities. We show that the field of computational meta-ethics can profit from the same tools as have been used in computational metaphysics. (shrink)

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation--R. M. Lee's deontic expert shell DX--is briefly described.

In 1926, Ernst Mally proposed a number of deontic postulates. He added them as axioms to classical propositional logic. The resulting system was unsatisfactory because it had the consequence that A is the case if and only if it is obligatory that A. We present an intuitionistic reformulation of Mally’s deontic logic. We show that this system does not provide the just-mentioned objectionable theorem while most of the theorems that Mally considered acceptable are still derivable. The resulting system is unacceptable (...) as a deontic logic, but it does make sense as a lax logic in the modern sense of the word. (shrink)

In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.

Basisbegrippen. Een formeel model voor de ontwikkeling van de kunst is een structuur T, <, K, , d, p, q, s, B , waarbij T een verzameling van “tijdstippen” is, < (“is eerder dan”) een relatie op T is, K een verzameling van “mogelijke kunstwerken” is, (“levert commentaar op”) een relatie op K is, d, p, q en s functies van K naar de verzameling van alle deelverzamelingen van K zijn, en B een functie van T naar de verzameling van (...) alle deelverzamelingen van K is. d(x) is de discipline waartoe kunstwerk x behoort, p(x) is het proc´ed´e waarmee x vervaardigd is, q(x) is de kwaliteit van x, s(x) is de stijl van x, en B(t) is de verzameling kunstwerken die op tijdstip t bestaan. (shrink)

In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally's system is not so much due to Mally's informal deontic principles as to the fact that he formalized those principles in terms of the propositional calculus. If they are formalized in terms of relevant logic rather than classical logic, one obtains a system which is related to Anderson's relevant deontic logic and (...) not nearly as strange as Mally's own system. (shrink)

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.

We present axiomatizations of the deontic fragment of Anderson's relevant deontic logic (the logic of obligation and related concepts) and the eubouliatic fragment of Anderson's eubouliatic logic (the logic of prudence, safety, risk, and related concepts).

We discuss three aspects of the intuitionistic reformulation of Mally’s deontic logic that was recently proposed ). First, this reformulation is more similar to Standard Deontic Logic than appears at first sight: like Standard Deontic Logic, it is Kanger reducible and Anderson reducible to alethic logic and it has a semantical interpretation that can be read in deontic terms. Second, this reformulation has an extension that provides 100% of the theorems stated by Mally himself. Third, it is interesting to view (...) Mally’s original deontic logic as an extension of this reformulation. (shrink)

In 1926, Mally presented the first formal system of deontic logic. His system had several consequences which Mally regarded as surprising but defensible. It also, however, has the consequence that A is obligatory if and only if A is the case, which is unacceptable from the point of view of any reasonable deontic logic. We describe Mally's system and discuss how it might reasonably be repaired.

prevailing view, holding that the contents of our thoughts are mainly the result of external factors. The corollary is that we will never really be able to read a person’s mind.

De mens is in de afgelopen drie eeuwen vaak vergeleken met allerlei soorten machines. In de achttiende eeuw was de klokmetafoor tamelijk populair; psychologische termen als ‘drijfveer’, ‘van slag raken’ en ‘opgewonden zijn’ herinneren hier nog aan [Vroon and Draaisma, 1985]. In de negentiende eeuw overheerste de stoommachine-metafoor. De psychologie van Freud wordt wel als een uitgewerkte versie van deze metafoor beschouwd [Russelmann, 1983]. Ook uitdrukkingen als ‘uitlaatkleppen’, ‘stoom afblazen’ en ‘iemand opstoken’ zijn eraan te danken. De stoommachine-metafoor wordt nog (...) steeds serieus genomen. Zo pleegt men de menselijke geest in de nieuwe ‘dynamische’ school in de cognitieve wetenschappen bij voorkeur te vergelijken met James Watts centrifugale regulateur (1788), het apparaat dat ervoor zorgt dat een stoommachine op een constant snelheid werkt [van Gelder, 1995, 1998]. De laatste vijftig jaar komt men de metafoor van de seri¨ele digitale computer vaak tegen. Een PC is een voorbeeld van zo’n computer. Hij is serieel omdat de centrale processor slechts ´e´en berekening tegelijk kan uitvoeren; hij is digitaal omdat hij alleen met gehele getallen kan omgaan. Het voorbeeld bij uitstek van een seri¨ele digitale computer is de Turing-machine, waarover aanstonds meer. De seri¨ele digitale computer metafoor is op verschillende manieren op mensen toegepast. Zo beschouwen sommigen de gehele mens als een computer van dit type, terwijl anderen menen dat de afzonderlijke zenuwcellen op deze manier beschreven kunnen worden. In het onderstaande zal ik de vraag bespreken in hoeverre men de mens, of onderdelen van de mens, inderdaad als seri¨ele digitale computer mag opvatten. Ik zal laten zien dat deze vergelijking maar een beperkte waarde heeft. Het valt niet uit te sluiten dat de mens in computationeel opzicht een veel sterker of zwakker soort machine is dan de Turing-machine. (shrink)

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a "language of thought" analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

When thinking about ethics, technology is often only mentioned as the source of our problems, not as a potential solution to our moral dilemmas. When thinking about technology, ethics is often only mentioned as a constraint on developments, not as a source and spring of innovation. In this paper, we argue that ethics can be the source of technological development rather than just a constraint and technological progress can create moral progress rather than just moral problems. We show this by (...) an analysis of how technology can contribute to the solution of so-called moral overload or moral dilemmas. Such dilemmas typically create a moral residue that is the basis of a second-order principle that tells us to reshape the world so that we can meet all our moral obligations. We can do so, among other things, through guided technological innovation. (shrink)

This is a report on the 3-day workshop “The Neuroscience of Responsibility” that was held in the Philosophy Department at Delft University of Technology in The Netherlands during February 11th–13th, 2010. The workshop had 25 participants from The Netherlands, Germany, Italy, UK, USA, Canada and Australia, with expertise in philosophy, neuroscience, psychology, psychiatry and law. Its aim was to identify current trends in neurolaw research related specifically to the topic of responsibility, and to foster international collaborative research on this topic. (...) The workshop agenda was constructed by the participants at the start of each day by surveying the topics of greatest interest and relevance to participants. In what follows, we summarize (1) the questions which participants identified as most important for future research in this field, (2) the most prominent themes that emerged from the discussions, and (3) the two main international collaborative research project plans that came out of this meeting. (shrink)

We provide a description and informal analysis of the commonalities in moral discourse concerning issues in the field of information and communications technology, present a logic model (DEAL) of this type of moral discourse that makes use of recent research in deontic, epistemic, and action logic, and indicate – drawing upon recent research in computer implementations of modal logic – how information systems may be developed that implement the proposed formalization.

A systematic study of testimony rooted in contemporary continental philosophy and drawing on literary case studies. From analytic epistemology to gender theory, testimony is a major topic in philosophy today. Yet, one distinctive approach to testimony has not been fully appreciated: the recent history of contemporary continental philosophy offers a rich source for another approach to testimony. In this book, Gert-Jan van der Heiden argues that a continental philosophy of testimony can be developed that is guided by those forms (...) of bearing witness that attest to limit experiences of human existence, in which the human is rendered mute, speechless, or robbed of a common understanding. In the first part, Van der Heiden explores this sense of testimony in a reading of several literary texts, ranging from Plato’s literary inventions to those of Kierkegaard, Melville, Soucy, and Mortier. In the second part, based on the orientation offered by the literary experiments, Van der Heiden offers a more systematic account of testimony in which he distinguishes and analyzes four basic elements of testimony. In the third part, he shows what this analysis implies for the question of the truth and the truthfulness of testimony. In his discussion with philosophers such as Heidegger, Derrida, Lyotard, Agamben, Foucault, Ricoeur, and Badiou, Van der Heiden also provides an overview of how the problem of testimony emerges in a number of thinkers pivotal to twentieth- and twenty-first-century thought. “The Voice of Misery is a special book. Van der Heiden has presented an argument that is poised to challenge discourse in analytic philosophy, reshape approaches in continental philosophy, and give new orientation to interdisciplinary research in continental philosophy and literary theory. The book will find a large readership across the discipline of philosophy and in several areas of the humanities.” — Theodore George, author of Tragedies of Spirit: Tracing Finitude in Hegel’s Phenomenology. (shrink)

This paper urges that if we wish to give social intelligence to our agents, it pays to look at how we acquired our social intelligence ourselves. We are born with drives and motives that are innate and deeply social. Next, as children we are socialized to acquire norms and values and to understand rituals large and small. These social elements are the core of our being. We capture them in the acronym GRASP: Groups, Rituals, Affiliation, Status, Power. As a consequence, (...) economic rationality or logical reasoning do not suffice when it comes to social intelligence. Basic features of our social behaviour, of the kind that one sees early in the lives of children, need to be prominent. These include fear, love, and aggression. They extend to the combination of these drives with basic social clues from the environment such as big and small, good and bad, as well as culture-specific specializations of these. This will make agents respond differentially to inferred attributes such as gender, age, group membership. This level of universality in social intelligence should receive our full attention. The general insights gained can then be re-used in myriad implementations to specific modelling issues. (shrink)

This paper aims to contribute to the attempts to clarify and classify the vague notion of “technosciences” from a historical perspective. A key question that is raised is as follows: Does Francis Bacon, one of the founding fathers of the modern age, provide a hitherto largely undiscovered programmatic position, which might facilitate a more profound understanding of technosciences ? The paper argues that nearly everything we need today for an ontologically well-informed epistemology of technoscience can be found in the works (...) of Bacon—this position will be called epistemological real - constructivism. Rather than realist or constructivist, empiricist or rationalist, Bacon’s position can best be understood as real-constructivist since it challenges modern dichotomies. Reflection upon the contemporary relevance of Bacon could contribute to the expanding and critical discussion on technoscience. In the following I will reconstruct the term “technoscience”. My finding is that at least four different understandings or types of the term “technoscience” co-exist. In a second step, I will analyze and elaborate on Bacon’s epistemological position. I will identify central elements of the four different understandings in Bacon’s work. Finally, I will conclude that the epistemology of technoscience is, indeed, very old—it is the epistemological position put forward by Bacon. (shrink)

We give a historical overview of the development of almost 50 years of empirical research on the affordances in the past and in the present. Defined by James Jerome Gibson in the early development of the Ecological Approach to Perception and Action as the prime of perception and action, affordances have become a rich topic of investigation in the fields of human movement science and experimental psychology. The methodological origins of the empirical research performed on affordances can be traced back (...) to the mid 1980’s and the works of Warren (1984, 1988) and Michaels (1988). Most of the research in Ecological Psychology performed since has focused on the actualization of discretely defined actions, the perception of action boundaries, the calculation of pi-numbers, and the measurement of response times. The research efforts have resulted in advancements in the understanding of the dynamic nature of affordances, affordances in a social context and the importance of calibration for perception of affordances. Although affordances are seen as an instrumental part of the control of action most studies investigating affordances do not pay attention to the control of the action. We conclude that affordances are still primarily treated as a utility to select behaviour, which creates a conceptual barrier that hinders deeper understanding of affordances. A focus on action-boundaries has largely prevented advancement in other aspects of affordances, most notably an integrative understanding of the role of affordances in the control of action. (shrink)

ABSTRACT In The Netherlands, the public funding of a number of health care services is controversial. What can we learn from this about the moral concerns that underlie these judgements? And, if there is anything to learn, can we use this improved understanding to scrutinise the adequacy of particular decisions concerning the public funding of health care services? In the present paper, I will analyse three cases: corrective surgey, In Vitro Fertilisation and liver transplantation. I will summarise the arguments that (...) have been used to support or to challenge the public funding of these services. I will then assess the merits of Daniels’fair equality of opportunity account of justice in health care. Can this account improve our understanding of the moral concerns underlying our judgements about the public funding of these services? Can it serve to scrutinise the adequacy of particular decisions that are made concerning the public funding of health care services? My answer to both questions will be a qualified yes. Daniels’account can provide guidance, but not because we can deductively infer from it what is right and what is wrong. Instead, I will argue for a more casuistic use of the concept of fair equality of opportunity. (shrink)

Despite the urgency of this issue, AI still struggles to represent social life. This article presents a comprehensive agent-based model that investigates status-power dynamics in groups. Kemper’s sociological status–power theory of social relationships, and a literature review on school children in middle youth, is its basis. The model allows us to investigate causation of the near-ubiquitous phenomenon that females have lower social status on average than males. Possible causes included in the model are children’s dispositional traits (kindness, beauty, and physical (...) power), schoolyard culture (social acceptability of fighting), behavioural strategy (amount of rough-and-tumble play) and the balance between public and dyadic sources of status. An agent-based model of a virtual schoolyard was created in which the children assemble in changing groups and mutually confer status. The status conferred upon a child modifies the status it holds. Rough-and-tumble is modelled as ambiguous: it is intended as a status conferral, but may be perceived as a power move. Running many trials of the model we found that in time, depending on the parameter settings, a gender-based status gap emerged. Rough-and-tumble play had more impact on emergent status differences than did physical power differences. Social acceptability of fighting also strongly moderated the resulting status gap. Placing more weight on dyadic relationship could alleviate status loss. All these model behaviours are in line with empirical findings of child behaviour studies at schools. They have face validity for social status issues in the adult world. We conclude from this that this kind of agent-based model merits use in studying the status–power dynamics of other issues in child behaviour, or indeed in social behaviour in general. (shrink)

This paper explores the function of cities in the knowledge economy. The knowledge economy asks for “creative cities,” i.e. competitive urban areas that combine concentration, diversity, instability and a positive reputation. For a review of the concept of creative cities from a historical and theoretical perspective, we draw the conclusion that knowledge, creativity and innovation cannot be planned from scratch by local governments. However, creative cities par excellence such as Austin, the Øresund and Barcelona demonstrate that local policymakers in fact (...) can play a part in preparing cities for the requirements of the knowledge economy. We conclude that local governments can increase the chance that urban creativity emerges by providing the appropriate underlying framework conditions. (shrink)

Inspired by the recent rediscovery of work of Schumpeter in science and policymaking the author reviews and appraises Schumpeterian theory and that of his followers in innovation studies. Although Schumpeter’s vision suffers from some defects, I argue that there is more to learn from this author than his well-known idea of “creative destruction”. In particular, Schumpeter’s view on innovation policy is something that may have vital relevance to today’s increasingly policy-dominated world. We therefore conclude that besides his key ideas on (...) innovation-led development also his policy view should be regarded as a significant legacy in innovation studies. (shrink)

Among others, the term problem plays a major role in the various attempts to characterize interdisciplinarity or transdisciplinarity, as used synonymously in this paper. Interdisciplinarity is regarded as problem solving among science, technology and society and as problem orientation beyond disciplinary constraints. The point of departure of this paper is that the discourse and practice of ID have problems with the problem. The objective here is to shed some light on the vague notion of problem in order to advocate a (...) specific type of interdisciplinarity: problem-oriented interdisciplinarity. The outline is as follows: Taking an ex negativo approach, I will show what problem-oriented ID does not mean. Using references to well-established distinctions in philosophy of science, I will show three other types of ID that should not be placed under the umbrella term problem-oriented ID : object-oriented ID, theory-oriented ID, and method-oriented ID. Different philosophical thought traditions can be related to these distinguishable meanings. I will then clarify the notion of problem by looking at three systematic elements: an undesired state, a desired state, and the barriers in getting from the one to the other. These three elements include three related kinds of knowledge: systems, target, and transformation knowledge. This paper elaborates further methodological and epistemological elements of problem-oriented ID. It concludes by stressing that problem-oriented ID is the most needed as well as the most challenging type of ID. (shrink)