Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. Method: We provide the (...) necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

The predictive processing literature contains at least two different versions of the framework with different theoretical resources at their disposal. One version appeals to so-called optimistic priors to explain agents’ motivation to act (call this optimistic predictive processing). A more recent version appeals to expected free energy minimization to explain how agents can decide between different action policies (call this preference predictive processing). The difference between the two versions has not been properly appreciated, and they are not sufficiently separated in (...) the literature. They constitute two different theories with strikingly different accounts of motivation and action. By reducing all desire-like constructs to belief-like constructs, optimistic predictive processing entails a substantial revision of standard accounts of motivation and action in philosophy and cognitive science. By contrast, preference predictive processing introduces desire-like constructs that play Humean motivational roles in the explanation of action. In this Humean iteration, predictive processing resembles other prominent computational frameworks implementing a distinction between beliefs and desires, such as reinforcement learning and Bayesian decision theory. Ultimately, predictive processing faces a dilemma between parsimony of mental constructs and completeness of its explanations of agency and the mind. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Rollback arguments focus on long sequences of actions with identical initial conditions in order to explicate the luck problem that indeterminism poses for libertarian free will theories (i.e. the problem that indeterministic actions appear arbitrary in a free-will undermining way). In this paper, I propose a rollback argument for probability incompatibilism, i.e. for the thesis that free will is incompatible with all world-states being governed by objective probabilities. Other than the most prominently discussed rollback arguments, this argument explicitly focusses on (...) the ability to act otherwise. It argues that the negligible probability of the relative frequencies in overall rollback patterns being relevantly different indicates that even the ability to act otherwise with regard to individual actions is not free-will enabling. My proposed argument provides probability incompatibilists with a tool to argue against a classical event-causal response to the luck problem, while it can still motivate an agent-causal response to it. (shrink)

Recent studies on mind‐wandering reveal its potential role in goal exploration and planning future actions. How to understand these explorative functions and their impact on planning remains unclear. Given certain conceptions of intentions and beliefs, the explorative functions of mind‐wandering could lead to regular reconsideration of one's intentions. However, this would be in tension with the stability of intentions central to rational planning agency. We analyze the potential issue of excessive reconsideration caused by mind‐wandering. Our response resolves this tension, presenting (...) a model that aligns the roles of mind‐wandering in planning with empirical evidence and the sustained stability of intentions. (shrink)

One of metaepistemology’s most central debates revolves around the question of what the source of epistemic normativity is. Epistemic instrumentalism claims that epistemic normativity is a species of means-ends normativity. One of the most prominent objections against epistemic instrumentalism features cases of epistemic indifference: Cases where there’s evidence that p yet believing that p wouldn’t promote any of the agent’s aims, wants, or needs. Still, there’s an epistemic reason for the agent to believe that p and thus epistemic instrumentalism is (...) false. In response, instrumentalists have modified their views in various ways, with new contributions still forthcoming. Here, we investigate a neglected aspect of this debate: Laypeople’s judgments on cases of epistemic indifference. In two studies, we investigated whether laypeople agree with the verdict in cases of epistemic indifference as well as the key ideas behind the more recent instrumentalist replies. Our findings indicate that a significant amount of participants found it hard to “buy into” the cases of epistemic indifference as Kelly has constructed them. Participants did generally share Kelly’s judgment in cases of epistemic indifference. Lastly, some instrumentalist replies are well suited to explain participants’ judgments that agents ought to believe in cases of epistemic indifference. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

This paper discusses the uniqueness thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

There is, in some quarters, concern about high–level machine intelligence and superintelligent AI coming up in a few decades, bringing with it significant risks for humanity. In other quarters, these issues are ignored or considered science fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development, and how fast they see these developing. We thus (...) designed a brief questionnaire and distributed it to four groups of experts in 2012/2013. The median estimate of respondents was for a one in two chance that high-level machine intelligence will be developed around 2040-2050, rising to a nine in ten chance by 2075. Experts expect that systems will move on to superintelligence in less than 30 years thereafter. They estimate the chance is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

We try to show that there is no difference in principle between communicating a piece of information to a human and to a machine. The argumentation depends on the following theses: Communicating is transfer of information; information has propositional form; propositional form can be modelled as categorization; categorisation can be modelled in a machine; a suitably equipped machine can grasp propositional content designed for human communication. What I suggest is that the discussion should focus on the truth and precise meaning (...) of these statements. However, in case these statements are true it follows that: For any act of communication that successfully transfers a piece of information to a human, that act could also transfer that piece of information to a machine. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

The dialogue develops arguments for and against a broad new world system - info-computationalist naturalism - that is supposed to overcome the traditional mechanistic view. It would make the older mechanistic view into a special case of the new general info-computationalist framework (rather like Euclidian geometry remains valid inside a broader notion of geometry). We primarily discuss what the info-computational paradigm would mean, especially its pancomputationalist component. This includes the requirements for a the new generalized notion of computing that would (...) include sub-symbolic information processing. We investigate whether pancomputationalism can provide the basic causal structure to the world and whether the overall research program of info-computationalist naturalism appears productive, especially when it comes to new approaches to the living world, including computationalism in the philosophy of mind. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Cumulative cultural knowledge [CCK], the knowledge we acquire via social learning and has been refined by previous generations, is of central importance to our species’ flourishing. Considering its importance, we should expect that our best epistemological theories can account for how this happens. Perhaps surprisingly, CCK and how we acquire it via cultural learning has only received little attention from social epistemologists. Here, I focus on how we should epistemically evaluate how agents acquire CCK. After sampling some reasons why extant (...) theories cannot account for CCK, I suggest that things aren’t as bleak as they might look. I explain how agents deserve epistemic credit for how CCK is transmitted in cultural learning by promoting a central need of their social group: The efficient and safe transmission of CCK. A good initial fit exists between this observation and Greco’s knowledge-economy framework. Ultimately, however, Greco’s account doesn’t straightforwardly account for CCK because of its strict focus on testimony. I point out two issues in the framework due to this focus. The resulting view advocates giving epistemic credit to agents when they act to promote their communities’ epistemic needs in the right way and highlights the various ways in which agents come to do this. (shrink)

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the (...) case for process reliabilism (if any) is already captured by the generality problem. (shrink)

[This is the short version of: Müller, Vincent C. and Bostrom, Nick (forthcoming 2016), ‘Future progress in artificial intelligence: A survey of expert opinion’, in Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence (Synthese Library 377; Berlin: Springer).] - - - In some quarters, there is intense concern about high–level machine intelligence and superintelligent AI coming up in a few dec- ades, bringing with it significant risks for human- ity; in other quarters, these issues are ignored or considered science (...) fiction. We wanted to clarify what the distribution of opinions actually is, what probability the best experts currently assign to high–level machine intelligence coming up within a particular time–frame, which risks they see with that development and how fast they see these developing. We thus designed a brief questionnaire and distributed it to four groups of experts. Overall, the results show an agreement among experts that AI systems will probably reach overall human ability around 2040-2050 and move on to superintelligence in less than 30 years thereafter. The experts say the probability is about one in three that this development turns out to be ‘bad’ or ‘extremely bad’ for humanity. (shrink)

Can we conceive of a mind without body? Does, for example, the idea of the soul's immortality make sense? Certain versions of materialism deny such questions; I shall try to prove that these versions of materialism cannot be right. They fail because they cannot account for the mental vocabulary from the language of brains in the vat. Envatted expressions such as "I think", "I believe", etc., do not have to be reinterpreted when we translate them to our language; they are (...) semantically stable. By contrast, physical expressions from the vat language are semantically instable; due to Putnam's externalism they cannot be transported to our language without change. This contrast opens the way to a new understanding of what the immortality of the soul might be like: A brain in a vat (and its mental life) might survive what the brain calls "my physical body's death". (shrink)

This paper gives a fIrst overview over the role of mereology the theory of parts and wholes - in semiotics. The mereology of four major semioticians - Husserl, Jakobson, Hjelmslev, and Peirce is presented briefly and its role in the overall architecture of each of their theories is outlined - with Brentano tradition as reference. Finally, an evaluation of the strength and weaknesses of the four is undertaken, and some guidelines for further research is proposed.

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

Artificial intelligence (AI) and robotics are digital technologies that will have significant impact on the development of humanity in the near future. They have raised fundamental questions about what we should do with these systems, what the systems themselves should do, what risks they involve, and how we can control these. - After the Introduction to the field (§1), the main themes (§2) of this article are: Ethical issues that arise with AI systems as objects, i.e., tools made and used (...) by humans. This includes issues of privacy (§2.1) and manipulation (§2.2), opacity (§2.3) and bias (§2.4), human-robot interaction (§2.5), employment (§2.6), and the effects of autonomy (§2.7). Then AI systems as subjects, i.e., ethics for the AI systems themselves in machine ethics (§2.8) and artificial moral agency (§2.9). Finally, the problem of a possible future AI superintelligence leading to a “singularity” (§2.10). We close with a remark on the vision of AI (§3). - For each section within these themes, we provide a general explanation of the ethical issues, outline existing positions and arguments, then analyse how these play out with current technologies and finally, what policy consequences may be drawn. (shrink)

The reality of spirits? A historiography of the Akan concept of 'mind' (La réalité des esprits: Vers une historiographie de la conception akan de l'esprit). In this article the following thesis is considered: the classifications used to define African Indigenous Religions are 'inventions' of Western scholars of religion who employ categories that are entirely "non-indigenous". The author investigates the presumptions of this statement and discusses the work of scholars of religion studying the Akan and in particular the Akan concept of (...) mind. In the analytic philosophical tradition the precise meaning of Akan concepts of mind such as okra and sunsum, described by various scholars of religion in different eras, are reviewed. The pre-colonial, colonial and the postcolonial era all have had specific influence on the conceptualisation of the mind. On the basis of an historiography of the Akan mind the author concludes that, contrary to the originally thesis under review, 'cultural background' and 'academic discipline' are relatively unimportant in the classification of 'indigenous religions'. The 'paradigm' prevailing within a discipline , 'personal belief' and the spatio-temporal context in which conceptualisations are created, turn out to be far more significant. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

When it became uncool to speak of beauty with respect to pieces of art, physicists started claiming that their results are beautiful. They say, for example, that a theory's beauty speaks in favour of its truth, and that they strive to perform beautiful experiments. What does that mean? The notion cannot be defined. (It cannot be defined in the arts either). Therefore, I elucidate it with examples of optical experimentation. Desaguliers' white synthesis, for example, is more beautiful than Newton's, and (...) the many colourful syntheses done by Viennese painter Ingo Nussbaumer exemplify even greater beauty. Here are some criteria (which, of course, do not implement a decision procedure concerning beauty in experiments): cleanliness, simplicity, intellectual clarity, symmetry. Similar criteria are relevant to our aesthetical judgements about some pieces of music. So we can assume that our notion of beauty conserning art is related to the one conserning scientific experiments. (shrink)

A shared narrative in the literature on the evolution of cooperation maintains that social _learning_ evolves early to allow for the transmission of cumulative culture. Social _norms_, whilst present at the outset, only rise to prominence later on, mainly to stabilise cooperation against the threat of defection. In contrast, I argue that once we consider insights from social epistemology, an expansion of this narrative presents itself: An interesting kind of social norm — an epistemic coordination norm — was operative in (...) early and important instances of specialised social learning. I show how there’s a need for such norms in two key social learning strategies and explain how this need is constituted. In assessor-teaching (e.g. Castro et al., 2019b, 2021), epistemic coordination norms allow agents to coordinate around the _content_ of social learning, i.e., what is to be known and how this is to be done. These norms also allow agents to coordinate around the form of cultural learning in what’s sometimes called strategic social learning (Laland, 2004; Hoppitt & Laland, 2013; Heyes, 2018, Chap. 5) and elsewhere. Broadly speaking, this concerns how cultural learning is organised within the social group. The upshot is that the evolution of social learning and social norms are intertwined in important and underappreciated ways from early on. The above matters as it informs our views about the evolution of social norms more generally. Truly _social_ norms emerged to coordinate a plurality of complex behaviours and interactions, amongst them specialised social learning. I substantiate this view by contrasting it with Jonathan Birch’s views on the evolution of norms. What results is a general but cohesive narrative on the early evolution of social norms. (shrink)

The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...) and is thus reduced ad absurdum. The second is underdetermined by the world, and thus equally unsuccessful as theory. Finally, I suggest that pancomputationalism as metaphor can be useful. – At the Paderborn workshop in 2008, this paper was presented as a commentary to the relevant paper by Gordana Dodig-Crnkovic " Info-Computationalism and Philosophical Aspects of Research in Information Sciences". (shrink)

While the 2010 EPSRC principles for robotics state a set of 5 rules of what ‘should’ be done, I argue they should differentiate between legal obligations and ethical demands. Only if we make this difference can we state clearly what the legal obligations already are, and what additional ethical demands we want to make. I provide suggestions how to revise the rules in this light and how to make them more structured.

In this paper we address the issue of grounding for experiential concepts. Given that perceptual demonstratives are a basic form of such concepts, we examine ways of fixing the referents of such demonstratives. To avoid ‘encodingism’, that is, relating representations to representations, we postulate that the process of reference fixing must be bottom-up and nonconceptual, so that it can break the circle of conceptual content and touch the world. For that purpose, an appropriate causal relation between representations and the world (...) is needed. We claim that this relation is provided by spatial and object-centered attention that leads to the formation of object files through the function of deictic acts. This entire causal process takes place at a pre-conceptual level, meeting the requirement for a solution to the grounding problem. Finally we claim that our account captures fundamental insights in Putnam’s and Kripke’s work on “new” reference. (shrink)

I see four symbol grounding problems: 1) How can a purely computational mind acquire meaningful symbols? 2) How can we get a computational robot to show the right linguistic behavior? These two are misleading. I suggest an 'easy' and a 'hard' problem: 3) How can we explain and re-produce the behavioral ability and function of meaning in artificial computational agents?4) How does physics give rise to meaning?

A prominent version of emotional cognitivism is the view that emotions are preceded by awareness of value. In a recent paper, Jonathan Mitchell (2019) has attacked this view (which he calls the content-priority view). According to him, extant suggestions for the relevant type of pre-emotional evaluative awareness are all problematic. Unless these problems can be overcome, he argues, the view does not represent a plausible competitor to rivaling cognitivist views. As Mitchell supposes, the view is not mandatory since its core (...) motivations can be accommodated by competing views, too. I argue that Mitchell's case against the content-priority view is unconvincing as it misconceives the principal motivation for the view. As I show, properly reconstructed, this motivation provides a strong case for the indispensability of the view to any adequate cognitivist treatment of emotion. Moreover, Mitchell's survey of candidates for pre-emotional value awareness can be seen to rest on problematic phenomenological assumptions. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of artificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understanding of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Immanuel Kant famously defined philosophy to be about three questions: “What can I know? What should I do? What can I hope for?” (KrV, B833). I want to suggest that the three questions of our course on the philosophy of computing are: What is computing? What should we do with computing? What could computing do?

Two large lexicological projects for the Center for the Greek Language, Thessaloniki, were to be published in print and on the WWW, which meant that two conversions were needed: a near-database file had to be converted to fully formatted file for printing and a fully formatted file had to be converted to a database for WWW access. As it turned out, both conversions could make use of existing clues that indicated the kinds of information contained in each particular piece of (...) text, thus separating fields from each other and ordering them into a tree-like structure. This indicates that both forms of the dictionaries, print and database, stem from the same cognitive need to categorize information into a kind of information before further understanding – be this for a human reader or for a machine. (shrink)

Will future lethal autonomous weapon systems (LAWS), or ‘killer robots’, be a threat to humanity? The European Parliament has called for a moratorium or ban of LAWS; the ‘Contracting Parties to the Geneva Convention at the United Nations’ are presently discussing such a ban, which is supported by the great majority of writers and campaigners on the issue. However, the main arguments in favour of a ban are unsound. LAWS do not support extrajudicial killings, they do not take responsibility away (...) from humans; in fact they increase the abil-ity to hold humans accountable for war crimes. Using LAWS in war would probably reduce human suffering overall. Finally, the availability of LAWS would probably not increase the probability of war or other lethal conflict—especially as compared to extant remote-controlled weapons. The widespread fear of killer robots is unfounded: They are probably good news. (shrink)

The theory and philosophy of artificial intelligence has come to a crucial point where the agenda for the forthcoming years is in the air. This special volume of Minds and Machines presents leading invited papers from a conference on the “Philosophy and Theory of Artificial Intelligence” that was held in October 2011 in Thessaloniki. Artificial Intelligence is perhaps unique among engineering subjects in that it has raised very basic questions about the nature of computing, perception, reasoning, learning, language, action, interaction, (...) consciousness, humankind, life etc. etc. – and at the same time it has contributed substantially to answering these questions. There is thus a substantial tradition of work, both on AI by philosophers and of theory within AI itself. - The volume contains papers by Bostrom, Dreyfus, Gomila, O'Regan and Shagrir. (shrink)

The present article focuses on the idea that divine nature is prior to being. This idea was first articulated in John of Scythopolis’s commentary on Pseudo-Dionysius. It was adopted by Maximus Confessor and re-used in Meister Eckhart’s first Quaestio Parisiensis. The main tenet of this idea is that, if God is the origin of being, he must be more fundamental than being. Thus, being cannot be identical to divine nature. The conclusion that can be drawn from the discussion of this (...) idea is that the importance that has been traditionally attached to the "Exodusmetaphysik" must be reconsidered, and that the pro-ontological conception of divine nature constitutes an autonomous tradition in Christian thought. (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and 25 (...) as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

Tailoring the design of robot bodies for control purposes is implicitly performed by engineers, however, a methodology or set of tools is largely absent and optimization of morphology (shape, material properties of robot bodies, etc.) is lag- ging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or "soft" bodies. These carry substantial potential regarding their exploitation for control – sometimes referred to as "mor- phological computation" in the sense of offloading computation (...) needed for control to the body. Here, we will argue in favor of a dynamical systems rather than com- putational perspective on the problem. Then, we will look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of “soft” bodies automatically taking over control tasks. We will address another key dimension of the design space – whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. ----- This paper was also published in the 2014 AISB proceedings http://aisb50.org/representation-of-reality-humans-animals-and-machines/ - http://doc.gold.ac.uk/aisb50/. (shrink)

In the seventeenth century, Newton used bis famous prism to found the physics of spectral light, thus revolutionising our thinking about colours; more than a hundred years later, Goethe protested against Newton's theory and discovered a number of new prismatic colour phenomena. Did these episodes in the history of science have any influence on the visual arts? For a decade now my visits to art museums have had an agenda: I have been looking for nineteenth-century paintings with certain spectral colour (...) (which will be described in the first half of this paper). While my search has been unsuccessful in traditional Western art, I found what I was looking for in Japa­nese art: in woodblock prints by Hokusai and Hiroshige. This is surprising; little Western science had reached Japan in their time. The second half of the paper pre­sents this riddle, which I am nowhere near solving. Even without a solution, however, a riddle can be instructive. In this case, it may help to bring into focus the fascinating exchange between two distant cultures. Much has been written on the cultural relativ­ity of colour perception, colour systematisation and colour aesthetics; I want to intro­duce a new and so far unknown case that might contribute to this debate - though the debate itself remains beyond the scope of this paper. (shrink)

Mimicry and deception are two important issues in studies about animal communication. The reliability of animal signs and the problem of the benefits of deceiving in sign exchanges are interesting topics in the evolution of communication. In this paper, we intend to contribute to an understanding of deception by studying the case of aggressive signal mimicry in fireflies, investigated by James Lloyd. Firefly femmes fatales are specialized in mimicking the mating signals of other species of fireflies with the purpose of (...) attracting responding males to become their prey. These aggressive mimics are a major factor in the survival and reproduction of both prey and predator. It is a case of deception through active falsification of information that leads to efficient predation by femmes fatales fireflies and triggered evolutionary processes in their preys’ communicative behaviors. There are even nested coevolutionary interactions between these fireflies, leading to a remarkable system of deceptive and counterdeceptive signaling behaviors. We develop here a semiotic model of firefly deception and also consider ideas advanced by Lloyd about the evolution of communication, acknowledging that deception can be part of the explanation of why communication evolves towards increasing complexity. Increasingly complex sign exchanges between fireflies evolve in an extremely slow pace. Even if deceptive maneuvers are played out time and time again between particular firefly individuals, the evolution of the next level of complexity—and thus the next utterance in the dialogue between species—is likely to take an immense amount of generations. (shrink)

In its reaction on the terroristic attacks of September 9th, 2001, the US-government threatened Afghanistan's Taleban with war in order to force them to extradite terrorist leader Bin Laden; the Taleban said that they would not surrender to this kind of blackmail – and so, they were removed from Kabul by means of military force. The rivalling versions of this story depend crucially on notions such as "terrorism" and "blackmail". Obviously you'll gain public support for your preferrend version of the (...) story if you are able to determine how those notions are to be used. So we had better reflect about their very meaning and about the moral implications of their proper usage. To gain a deeper understanding of our notions of "blackmail" and "terrorism" I shall propose an extreme thought experiment: Cassandra's plan. Cassandra foresees that sooner or later one of the nuclear powers might take the liberty to use atomic bombs. From fright she founds an NGO for blackmailing the statesmen who are in charge of nuclear weapons; she announces in public that all ministers and leaders of any government shall be hunted down, and executed, whose soldiers drop but one atomic bomb. (Cassandra's NGO keeps killer teams in constant training so as to increase the effect of the threat; this is being financiated from private donations). In my paper I shall raise two questions (without claiming to provide definite answers). First, would we have to say that Cassandra's NGO was a terrorist organisation? Second, would it be morally wrong if Cassandra blackmailed statesmen in the way indicated? (shrink)

May lethal autonomous weapons systems—‘killer robots ’—be used in war? The majority of writers argue against their use, and those who have argued in favour have done so on a consequentialist basis. We defend the moral permissibility of killer robots, but on the basis of the non-aggregative structure of right assumed by Just War theory. This is necessary because the most important argument against killer robots, the responsibility trilemma proposed by Rob Sparrow, makes the same assumptions. We show that the (...) crucial moral question is not one of responsibility. Rather, it is whether the technology can satisfy the requirements of fairness in the re-distribution of risk. Not only is this possible in principle, but some killer robots will actually satisfy these requirements. An implication of our argument is that there is a public responsibility to regulate killer robots ’ design and manufacture. (shrink)

The philosophy of AI has seen some changes, in particular: 1) AI moves away from cognitive science, and 2) the long term risks of AI now appear to be a worthy concern. In this context, the classical central concerns – such as the relation of cognition and computation, embodiment, intelligence & rationality, and information – will regain urgency.

In this review, we present some ethical imperatives observed in this pandemic from a data ethics perspective. Our exposition connects recurrent ethical problems in the discipline, such as, privacy, surveillance, transparency, accountability, and trust, to broader societal concerns about equality, discrimination, and justice. We acknowledge data ethics role as significant to develop technological, inclusive, and pluralist societies. - - - Resumen: En esta revisión, exponemos algunos de los imperativos éticos observados desde la ética de datos en esta pandemia. Nuestra exposición (...) busca conectar problemas éticos típicos dentro de esta disciplina, a saber, privacidad, vigilancia, transparencia, responsabilidad y confianza, con preocupaciones a nivel social relacionadas con la igualdad, discrimi nación y justicia. Consideramos que la ética de datos tiene un rol significativo para desarrollar sociedades tecnificadas, inclusivas y pluralistas. (shrink)

We take up the challenge of developing an international network with capacity to survey the world's scientists on an ongoing basis, providing rich datasets regarding the opinions of scientists and scientific sub-communities, both at a time and also over time. The novel methodology employed sees local coordinators, at each institution in the network, sending survey invitation emails internally to scientists at their home institution. The emails link to a ‘10 second survey’, where the participant is presented with a single statement (...) to consider, and a standard five point Likert scale. In June 2023, a group of 30 philosophers and social scientists invited 20,085 scientists across 30 institutions in 12 countries to participate, gathering 6,807 responses to the statement 'Science has put it beyond reasonable doubt that COVID-19 is caused by a virus'. The study demonstrates that it is possible to establish a global network to quickly ascertain scientific opinion on a large international scale, with high response rate, low opt-out rate, and in a way that allows for significant (perhaps indefinite) repeatability. Measuring scientific opinion in this new way would be a valuable complement to currently available approaches, potentially informing policy decisions and public understanding across diverse fields. (shrink)

The analytic/synthetic distinction can be conceived from two points of view: from within or from without; from the perspective of one's own language or from the perspective of the language of others. From without, the central question is which sentences of a foreign language are to be classified as analytic. From within, by contrast, the question concerning the synthetic and the analytic acquires a normative dimension: which sentences am I not permitted to reject—if I want to avoid talking nonsense? Both (...) perspectives on analytic sentences do not mutually exclude but supplement and illuminate each other. In "Two Dogmas", Quine's criticism of the analytic/synthetic distinction comes from within, whereas in Word and Object, Quine repeats his earlier criticism from without. His criticism is directed against Carnap's views on our understanding of theoretical terms. I challenge Quine's criticism in both of its versions and provide two definitions for analyticity that are immune to Quine's arguments. Using the first of these definitions (the one from without) I try to show how it is possible to distinguish (genuine) belief revision from linguistic change—even in case of a scientific revolution. (shrink)

This paper offers an overview of the prospects and ethics of using AI to achieve human enhancement, and more broadly what we call intellectual augmentation (IA). After explaining the central notions of human enhancement, IA, and AI, we discuss the state of the art in terms of the main technologies for IA, with or without brain-computer interfaces. Given this picture, we discuss potential ethical problems, namely inadequate performance, safety, coercion and manipulation, privacy, cognitive liberty, authenticity, and fairness in more detail. (...) We conclude that while there are very significant technical hurdles to real human enhancement through AI, and significant ethical problems, there are also significant benefits that may realistically be achieved in ways that are consonant with a rights-based ethics as well. We also highlight the specific concerns that apply particularly to applications of AI for "sheer" IA (more realistic in the near term), and to enhancement applications, respectively. (shrink)