A provocative exploration of how computers are reshaping ideas about what it means to be human profiles the annual Turing Test to assess a computer's capacity for thought while analyzing related philosophical, biological and moral issues.

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this (...) essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

This book explores the intersection of legal frameworks, healthcare innovation, and computational intelligence, shedding light on how emerging technologies like AI and ML are reshaping the medical landscape. It presents real life challenges such as patient privacy, data security, and compliance issues in smart healthcare by engaging into associated ethical and regulatory implications. Comprising the concepts of predictive analytics, regulatory compliance algorithms, and legal decision-making processes, this book offers a roadmap for stakeholders to navigate the evolving landscape of healthcare innovation (...) responsibly and ethically. Investigates how artificial intelligence supports legal decision-making processes in smart healthcare, addressing ethical and accountability concerns Demonstrates the use of smart contracts and automation tools powered by computational intelligence to streamline legal processes and ensure compliance in smart healthcare initiatives Focuses on managing healthcare data within legal frameworks, emphasizing computational intelligence's role in ensuring privacy and security. Examines how computational intelligence enables predictive analytics models to anticipate legal challenges and compliance issues in smart healthcare. Highlights the development and implementation of computational algorithms for navigating evolving legal frameworks in healthcare. This reference book is a useful resource for scholars and researchers working on smart healthcare. (shrink)

This work locates the historical and conceptual foundations of cognitive science in the "commonsense" psychology of the philosopher Thomas Reid. I begin with Reid's attack on his rationalist and empiricist competitors of the 17th and 18th centuries. I then present his positive theory as a sophisticated faculty psychology appealing to innateness of mental structure. Reidian psychological faculties are equally trustworthy, causally independent mental powers, and I argue that they share nine distinct properties. This distinguishes Reidian 'intentionalism' from idealist 'representationalism,' which (...) derive cognitive content either from the inherited structure of faculties of from the occurrent structure of sensory activity. ;Next, I turn to consciousness and reflection for a contemporary Reidian response to traditional phenomenology. Unlike reflection, faculties of reason and remembrance are not causally mediated by consciousness. My interpretation of Reid is that 'Humean causation' of individual faculty structure accounts only for 'natural intentionality,' while 'efficient causation' of faculty interrelations accounts for cognitive 'personal intentionality.' ;I then proceed by adopting a form of computational description for reconstructing this view as a computational theory of mind. I contrast functional analyses in explanations of some capacities with computational and componential analyses in explanations of other, intentional capacities, in which some processes must be taken to semantically encode and govern the roles of others. This step reconstructs the Reidian notion of intentional operations as requiring an explanation of component faculties and their representation-governed interactions. I argue that properties of faculties delimiting these interactions under Reid's theory parallel those in Fodor's essay on the "modularity of mind," although the reasons given for individual criteria are often very different. Fodor also proposes a trichotomous mental structure, but I find that a third level of "central systems" is a myth engendered by causal information theory. Such an analysis cannot capture generalizations over the internal representation of semantic roles that determines the character of faculty relations. This requirement for any computational account of cognition is precisely the motivation for the reconstructed Reidian theory. Thus, it comports more favorably with the explanatory program constitutive of a computational cognitive science. (shrink)

Distributed cognition refers to processes which are (i) cognitive and (ii) distributed across multiple agents or devices rather than performed by a single agent. Distributed cognition has attracted interest in several fields ranging from sociology and law to computer science and the philosophy of science. In this paper, I discuss distributed cognition from a social-choice-theoretic perspective. Drawing on models of judgment aggregation, I address two questions. First, how can we model a group of individuals as a distributed cognitive system? Second, (...) can a group acting as a distributed cognitive system be ‘rational’ and ‘track the truth’ in the outputs it produces? I argue that a group’s performance as a distributed cognitive system depends on its ‘aggregation procedure’ – its mechanism for aggregating the group members’ inputs into collective outputs – and I investigate the properties of an aggregation procedure that matter. (shrink)

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law. The perspectives to be discussed involve the interface of the following studies.

Could computers ever be conscious? Will they ever have ideas that one could attribute to them and not to the programmer? Will robots be able to 'feel pain', instead of processing bits from sensors informing about danger? Will they have true emotions? These questions may never be answered, but it makes sense to ask whether humans will ever attribute mind to artifacts. This paper suggests introducing a third level of claims regarding artificial intelligence (AI), which is in between 'weak (...) AI' and 'strong AI', the so-called 'attributed AI'. This level requires more than weak AI ('behave as if', which could be said of any desktop calculator), but is less presumptuous than strong AI ('computers that think', a claim that is hard to prove). Attributed AI can be measured. This paper discusses behavioral paradigms for measurements of attributed AI and presents first experimental data. (shrink)

The concept of preference structuration not only provides possible escape-routes from socialchoice-theoretic impossibility problems, but also points towards ways of formalizing notions of 'pluralism', 'consensus' and 'issue-dimensionality'. The present note introduces two methods of (operationally) measuring preference structuration, giving attention to both their conceptual characteristics and their computational feasibility. The method to be advocated, called the 'fractionalization' approach, combines well-known social-choice-theoretic criteria of preference structuration (such as single-peakedness or value-restriction) with the frequently used Rae-Taylor (1970) and Laakso-Taagepera (1979) approaches towards (...) measuring the level of fractionalization, and the effective number of components, in a system. (shrink)

People often solve spatially presented cognitive problems more easily than their nonspatial counterparts. We explain this phenomenon by characterizing space as an inter-modality that provides common structure to different specific perceptual modalities. The usefulness of spatial structure for knowledge processing on different levels of granularity and for interaction between internal and external processes is described. Map representations are discussed as examples in which the usefulness of spatially organized symbols is particularly evident. External representations and processes can enhance internal representations and (...) processes effectively when the same structures and principles can be implicitly assumed. (shrink)

Since the cognitive revolution, psychologists have developed formal theories of cognition by thinking about the mind as a computer. However, this metaphor is typically applied to individual minds. Humans rarely think alone; compared to other animals, humans are curiously dependent on stores of culturally transmitted skills and knowledge, and we are particularly good at collaborating with others. Rather than picturing the human mind as an isolated computer, we can imagine each mind as a node in a vast distributed system. Viewing (...) human cognition through the lens of distributed systems motivates new questions about how humans share computation, when it makes sense to do so, and how we can build institutions to facilitate collaboration. (shrink)

We prove that the Kleene schemes for primitive recursion relative to the μ-operator, relativized to some nondeterministic objects, have the same power to express total functionals when interpreted over the partial continuous functionals and over the Kleene-Kreisel continuous functionals. Relating the former interpretation to Niggl's ℳω we prove Nigg's conjecture that ℳω is strictly weaker than Plotkin's PCF + PA.

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...) reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

Modern computer-based applications often require the user to interact with avatars. Depending on the task at hand, spatial dissociation between the orientations of the user and the avatars might arise. As a consequence, the user has to adopt the avatar's perspective and identify herself/himself with the avatar, possibly changing the user's self-representation in the process. The present study aims to identify the conditions that benefit this change of perspective with objective performance measures and subjective self-estimations by integrating the idea of (...) avatar-ownership into the cognitive phenomenon of spatial compatibility. Two different instructions were used to manipulate a user's perceived ownership of an avatar used in otherwise identical situations. Users with the high-ownership instruction reported higher levels of perceived ownership of the avatar and showed larger spatial compatibility effects from the avatar's point of view in comparison to the low ownership instruction. This supports the hypothesis that perceived ownership benefits perspective taking. (shrink)

Artificial intelligence researchers interested in knowledge and in designing and implementing digitized artifacts for representing or sharing knowledge play a crucial role in the development of a knowledge-based economy. They help answer the question of how the computer devices they develop can be appropriated by the collectives that manage the flow of knowledge and the know-how underlying human organizations. A dialogical, constructivist view of interaction processes permits theorizing the role of digital tools, seen as sociotechnical devices that serve both as (...) resources and as sources of communication within our organizations. (shrink)

In a recent arXiv preprint Richard Gill has criticized an experimental proposal published in a journal of theoretical physics which describes how to detect a macroscopic signature of fermionic sign changes. Here I point out that his worries stem from his own elementary algebraic and conceptual mistakes, and present several event-by-event numerical simulations which expose the vacuity of his claims by explicit computations.

We seem to learn and use concepts in a variety of heterogenous “formats”, including exemplars, prototypes, and theories. Different strategies have been proposed to account for this diversity. Hybridists consider instances in different formats to be instances of a single concept. Pluralists think that each instance in a different format is a different concept. Eliminativists deny that the different instances in different formats pertain to a scientifically fruitful kind and recommend eliminating the notion of a “concept” entirely. In recent years, (...) hybridism has received the most attention and support. However, we are still lacking a cognitive-computational model for concept representation and processing that would underpin hybridism. The aim of this paper is to advance the understanding of concepts by grounding hybridism in a neuroscientific model within the Predictive Processing framework. In the suggested view, the different formats are not distinct parts of a concept but arise from different ways of processing a functionally unified representational structure. (shrink)

Predictive Processing (PP) is an increasingly influential neurocognitive-computational framework. PP research has so far focused predominantly on lower level perceptual, motor, and various psychological phenomena. But PP seems to face a “scale-up challenge”: How can it be extended to conceptual thought, language, and other higher cognitive competencies? Compositionality, arguably a central feature of conceptual thought, cannot easily be accounted for in PP because it is not couched in terms of classical symbol processing. I argue, using the example of language, that (...) there is no strong reason to think that PP cannot be scaled up to higher cognition. I suggest that the tacitly assumed common-sense conception of language as Generative Grammar (“folk linguistics”) and its notion of composition leads to the scale-up concerns. Fodor’s Language of Thought Hypothesis (LOTH) plays the role of a cognitive computational paradigm for folk linguistics. Therefore, we do not take LOTH as facing problems with higher cognition, at least with regard to compositionality. But PP can plausibly play the role of a cognitive-computational paradigm for an alternative conception of language, namely Construction Grammar. If Construction Grammar is a plausible alternative to folk linguistics, then PP is not in a worse position than LOTH. (shrink)

Artificial intelligence represents a key technology being inbuilt into evermore products. Research investigating attitudes towards artificial intelligence surprisingly is still scarce, although it becomes apparent that artificial intelligence will shape societies around the globe. To better understand individual differences in attitudes towards artificial intelligence, the present study investigated in n = 351 participants associations between the Affective Neuroscience Personality Scales (ANPS) and the Attitudes towards Artificial Intelligence framework (ATAI). It could be observed that in particular higher levels of SADNESS were (...) associated with higher negative attitudes towards AI (fearing AI). The findings are discussed in this work from an evolutionary perspective because primary emotional systems—according to Affective Neuroscience Theory—represent tools for survival, which have been homologously conserved across mammalian species including homo sapiens. (shrink)

Most discussions frame the Liar Paradox as a formal logical-linguistic puzzle. Attempts to resolve the paradox have focused very little so far on aspects of cognitive psychology and processing, because semantic and cognitive-psychological issues are generally assumed to be disjunct. I provide a motivation and carry out a cognitive-computational treatment of the liar paradox based on a cognitive-computational model of language and conceptual knowledge within the Predictive Processing framework. I suggest that the paradox arises as a failure of synchronization between (...) two ways of generating the liar situation in two different PP sub-models, one corresponding to language processing and the other to the processing of meaning and world-knowledge. In this way, I put forward the claim that the liar sentence is meaningless but has an air of meaningfulness. I address the possible objection that the proposal violates the Principle of Unrestricted Compositionality, which purportedly regulates the conceptual competence of thinkers. (shrink)

The debate about the nature of the representational format of concepts seems to have reached an impasse. The debate faces two fundamental problems. Firstly, amodalists (i.e., those who argue that concepts are represented by amodal symbols) and modalists (i.e., those who see concepts as involving crucially representations including sensorimotor information) claim that the same empirical evidence is compatible with their views. Secondly, there is no shared understanding of what a modal or amodal format amounts to. Both camps recognize that the (...) two formats play essential roles in higher cognition, leading to an increasing number of hybrid proposals. In this paper, I argue that the existence of those fundamental problems should make us suspicious about a modal/amodal dichotomy. Also, I suggest that hybrid approaches, as they currently stand, do not provide suitable solutions to the impasse. Instead, we should overcome the dichotomy and treat the modal/amodal distinction as a graded phenomenon. I illustrate this hypothesis with an example of a cognitive-computational model of concepts based on the Predictive Processing framework. (shrink)

In a case study of the growth of cognitive science, we analyzed the activities of the Cognitive Science Society with a particular emphasis on the multidisciplinary nature of the field. Analyses of departmental affiliations, training back‐grounds, research methodology, and paper citations suggest that the journal Cognitive Science and the Annual Meeting of the Cognitive Science Society are dominated by cognitive psychology and computer science, rather than being an equal division among the constituent disciplines of cognitive science. However, at many levels, (...) a growing percentage of work was found to involve a conjunction of multiple disciplines, such that approximately 30–50% of recent work in the Cognitive Science Society is multidisciplinary. In a questionnaire study of cognitive scientists involved in collaborative research, multidisciplinarity was found to shape the research process and affect the factors associated with successful research. (shrink)

Recent advancements in AI have prompted a large number of AI ethics guidelines published by governments and nonprofits. While many of these papers propose concrete or seemingly applicable ideas, few philosophically sound proposals are made. In particular, we observe that the line of questioning has often not been examined critically and underlying conceptual problems not always dealt with at the root. In this paper, we investigate the nature of ethical AI systems and what their moral status might be by first (...) turning to the notions of moral agency and patience. We find that their explication would come at a too high cost which is why we, second, articulate a different approach that avoids vague and ambiguous concepts or the problem of other minds. Third, we explore the impact of our philosophical and conceptual analysis on the regulatory landscape, make this link explicit, and finally propose a set of promising policy steps. (shrink)

A model of when and where saccades are made necessarily incorporates a model of the “When” and “Where” of target selection. We suggest that the framework proposed by Findlay & Walker does not specify sufficiently how selection processes contribute to the spatial and temporal determinants of saccade generation. Examples from across-trial priming in visual search and from the inhibition of temporally segmented distractors show linkage between the processes involved in computing when and where selection operates, so that there is cooperation (...) rather than competition between so-called Where and When pathways. Aspects of spatial selection may also determine the remote distractor effect on saccades. The detailed relations between the processes involved in selection and saccade generation may be best understood in relation to detailed computational accounts of the processes. (shrink)

Predictive processing, an increasingly popular paradigm in cognitive sciences, has focused primarily on giving accounts of perception, motor control and a host of psychological phenomena, including consciousness. But higher cognitive processes, like conceptual thought, language, and logic, have received only limited attention to date and PP still stands disconnected from a huge body of research in those areas. In this thesis, I aim to address this gap and I attempt to go some way towards developing and defending a cognitive-computational approach (...) to higher cognition within the predictive processing paradigm. To test its explanatory potential, I apply it to a range of linguistic and conceptual phenomena. I proceed in three steps. First, I lay out an account of concepts and suggest how concepts are represented, how they can be context-sensitively processed, and how the apparent diversity of formats arise. Secondly, I propose how paradigmatic higher cognitive competencies, like language and logical reasoning, could fit into the PP picture. Thirdly, I apply the PP account of concepts and language to a range of linguistic-conceptual phenomena as test cases, namely: metaphor, the semantic paradox (specifically the Liar Paradox) and copredication. Finally, I discuss some challenges and objections to the PP framework as applied to higher cognition and in general. (shrink)

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional Functions, using established (...) properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation. (shrink)

PurposeThis paper aims to present results of a study that focused on the question of how computer and data experts think about Internet and social media surveillance after Edward Snowden’s revelations about the existence of mass-surveillance systems of the Internet such as Prism, XKeyscore and Tempora. Computer and data experts’ views are of particular relevance because they are confronted day by day with questions about the processing of personal data, privacy and data protection.Design/methodology/approachThe authors conducted two focus groups with a (...) total of ten experts based in London. As London is considered by some as the surveillance capital of the world, and has a thriving Internet industry, it provided a well-suited context.FindingsThe focus group discussions featured three topics that are of crucial importance for understanding Internet and social media surveillance: the political economy surveillance in general; surveillance in the context of the Snowden revelations; and the question what the best political reactions are to the existence of a surveillance-industrial complex that results in political and economic control of the Internet and social media. The focus groups provided indications that computer and data experts are pre-eminently informed on how Internet surveillance works, are capable of critically assessing its implications for society and have ideas about on what should be done politically.Originality/valueStudies of privacy and surveillance after Edward Snowden’s revelations have taken on a new dimension: Large-scale covert surveillance is conducted in a collaborative endeavour of secret services, private communications corporations and security companies. It has become evident that a surveillance-industrial Internet surveillance complex exists, in which capitalist communications and security corporations and state institutions collaborate. (shrink)

In this article, we present an argumentative approach to normative reasoning. Special attention is paid to deontic conflicts, contrary-to-duty and specificity cases, which are modelled by means of argumentative attacks. For this, we adopt a recently proposed framework for logical argumentation in which arguments are generated by a sequent calculus of a given base logic of Argument & Computation ), and use standard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific (...) sequents. We demonstrate the usefulness of our approach by means of various well-known benchmark examples, and show that this approach is rich enough to capture a variety of paradigms for handling conflicting norms such as reasoning with maximally consistent sets, prioritized norms and deontic formalisms based on I/O logic. (shrink)

In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not derived’ according (...) to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems. (shrink)

How do people interleave attention when multitasking? One dominant account is that the completion of a subtask serves as a cue to switch tasks. But what happens if switching solely at subtask boundaries led to poor performance? We report a study in which participants manually dialed a UK-style telephone number while driving a simulated vehicle. If the driver were to exclusively return his or her attention to driving after completing a subtask (i.e., using the single break in the xxxxx-xxxxxx representational (...) structure of the number), then we would expect to see a relatively poor driving performance. In contrast, our results show that drivers choose to return attention to steering control before the natural subtask boundary. A computational modeling analysis shows that drivers had to adopt this strategy to meet the required performance objective of maintaining an acceptable lateral position in the road while dialing. Taken together these results support the idea that people can strategically control the allocation of attention in multitask settings to meet specific performance criteria. (shrink)

Sometimes, after years of painstaking work, someone presents a startling argument that seems to suddenly snatch the ground right out from under your feet. And it's back to square one. Such a conceptual trapdoor caught me by surprise a few years ago. For decades, I had been convinced it is simply inconceivable that subjectivity -- the interior experience of how consciousness feels -- could possibly emerge from a previously wholly objective world, that mind could evolve from ‘dead’ matter. It seemed (...) to me that the arguments of materialist philosophers, cognitive scientists and neuroscientists invariably missed the point. They always began with an assumption of ontological objectivity or physicality, and proceeded to show that that must be the source of consciousness. Well, of course, it had to be -- given their starting assumption. But what they were talking about wasn't consciousness at all. It was usually either some neural correlation, some computer analogue, or some complex and abstract linguistic deconstruction. Whatever their approach, the first-person experience of consciousness -- it's subjective feel -- always slipped through their grasp. They were looking at the problem from the third-person perspective -- from objectivity. And you can't get to here from there. (shrink)

This is a short introduction to a special issue of the Journal on Logic, Language and Information, dealing with "recent advances in logical and algebraic approaches to computational linguistics".

In this paper we study a classical and theoretical system which consists of an elastic medium carrying transverse waves and one point-like high elastic medium density, called concretion. We compute the equation of motion for the concretion as well as the wave equation of this system. Afterwards we always consider the case where the concretion is not the wave source any longer. Then the concretion obeys a general and covariant guidance formula, which leads in low-velocity approximation to an equivalent de (...) Broglie-Bohm guidance formula. The concretion moves then as if exists an equivalent quantum potential. A strictly equivalent free Schrödinger equation is retrieved, as well as the quantum stationary states in a linear or spherical cavity. We compute the energy of the concretion, naturally defined from the energy density of the vibrating elastic medium. Provided one condition about the amplitude of oscillation is fulfilled, it strikingly appears that the energy and momentum of the concretion not only are written in the same form as in quantum mechanics, but also encapsulate equivalent relativistic formulas. (shrink)

In Book 8 of his Geographike Hyphegesis Ptolemy gives coordinates for ca. 360 so-called noteworthy cities. These coordinates are the time difference to Alexandria, the length of the longest day, and partly the ecliptic distance from the summer solstice. The supposable original conversions between the coordinates in Book 8 and the geographical coordinates in the location catalogue of Books 2–7 including the underlying parameters and tabulations are here reconstructed. The results document the differences between the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} - and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Xi}$$\end{document} -recension. The known difference in the longitude of Alexandria underlying the conversion of the longitudes is examined more closely. For the ecliptic distances from the summer solstice of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Omega}$$\end{document} -recension, it is revealed that they were originally computed by means of a so far undiscovered approximate, linear conversion. Further it is shown that the lengths of the longest day could be based on a linear interpolation of the data in the Mathematike Syntaxis 2.6. (shrink)

More intellectual modesty, but also conceptual clarity is urgently needed in AI, perhaps more than in many other disciplines. AI research has been coined by hypes and hubris since its early beginnings in the 1950s. For instance, the Nobel laureate Herbert Simon predicted after his participation in the Dartmouth workshop that “machines will be capable, within 20 years, of doing any work that a man can do”. And expectations are in some circles still high to overblown today. This paper addresses (...) the demand for conceptual clarity and introduces precise definitions of “strong AI”, “superintelligence”, the “technological singularity”, and “artificial general intelligence” which ground in the work by the computer scientist Judea Pearl and the psychologist Howard Gardner. These clarifications allow us to embed famous arguments from the philosophy of AI in a more analytic context. (shrink)

Most approaches to quantum gravity suggest that relativistic spacetime is not fundamental, but instead emerges from some non-spatiotemporal structure. This paper investigates the implications of this suggestion for the possibility of time travel in the sense of the existence of closed timelike curves in some relativistic spacetimes. In short, will quantum gravity reverse or strengthen general relativity’s verdict that time travel is possible?

Our article examines how journalistic reports and online comments have made sense of computational politics. It treats the discourse around data-driven campaigns as its object of analysis and codifies four main perspectives that have structured the debates about the use of large data sets and data analytics in elections. We study American, British, and German sources on the 2016 United States presidential election, the 2017 United Kingdom general election, and the 2017 German federal election. There, groups of speakers maneuvered between (...) enthusiastic, skeptical, agnostic, or admonitory stances and so cannot be clearly mapped onto these four discursive positions. Coming along with the inconsistent accounts, public sensemaking was marked by an atmosphere of speculation about the substance and effects of computational politics. We conclude that this equivocality helped journalists and commentators to sideline prior reporting on the issue in order to repeatedly rediscover the practices they had already covered. (shrink)