According to an intuitive semantics for 'I,' 'here' and 'now,' 'I am not here now' should always be false when uttered. But occurrences of 'I am not here now' on an answering machine seem to be true (when the speaker is not home). A number of possible solutions are considered and rejected, and a novel solution offered introducing the notion of a 'deferred utterance,' which allows for non-mysterious sort of action at a distance.

Answering machines and other types of recording devices present prima facie problems for traditional theories of the meaning of indexicals. The present essay explores a range of semantic and pragmatic responses to these issues. Careful attention to the difficulties posed by recordings promises to help enlighten the boundaries between semantics and pragmatics more broadly.

AbstractAnswering machines and other types of recording devices present prima facie problems for traditional theories of the meaning of indexicals. The present essay explores a range of semantic and pragmatic responses to these issues. Careful attention to the difficulties posed by recordings promises to help enlighten the boundaries between semantics and pragmatics more broadly.

It has been recently demonstrated that yeast cells are able to partially regress chromosome segregation in telophase as a response to DNA double‐strand breaks (DSBs), likely to find a donor sequence for homology‐directed repair (HDR). This regression challenges the traditional concept that establishes anaphase events as irreversible, hence opening a new field of research in cell biology. Here, the nature of this new behavior in yeast is summarized and the underlying mechanisms are speculated about. It is also discussed whether it (...) can be reproduced in other eukaryotes. Overall, this work brings forwards the need of understanding how cells attempt to repair DSBs when transiting the latest stages of mitosis, i.e., anaphase and telophase. (shrink)

In this paper Lucas comes back to Gödelian argument against Mecanism to clarify some points. First of all, he explains his use of Gödel’s theorem instead of Turing’s theorem, showing how Gödel’ theorem, but not Turing’s theorem, raises questions concerning truth and reasoning that bear on the nature of mind and how Turing’s theorem suggests that there is something that cannot be done by any computers but not that it can be done by human minds. He considers moreover how Gödel’s (...) theorem can be interpreted as a sophisticated form of the Cretan paradox, posed by Epimenides, able to escape the viciously self-referential nature of the Cretan paradox, and how it can be used against Mechanism as a schema of disproof. Finally, Lucas suggests some answers to the most recurrent criticisms against his argument: criticisms about the implicit idealisation in the way he set up the context between mind and machine; questions concerning modality and finitude, issues of transfinite arithmetic; questions concerning the need of formalizing rational inference and some questions about consistency. (shrink)

Various data from communication that does not occur face-to-face are taken to be problematic for Kaplan’s account of indexical expressions, as is the case with the so-called answering machine paradox. One fix, developed by Sidelle (1991) and Briciu (2018), is the remote utterance view: recording artifacts are means by which speakers perform utterances at a distance, just as by means of other artifacts agents performs other types of actions at a distance. This view has faced an important (...) objection, namely that remote utterances lead to Moorean paradoxes. In this paper, I defend the remote utterance view against this objection and further develop the view. I argue that worries about Moorean paradoxes can easily be dispelled if we take into consideration the artifactual nature of recording devices, their materiality, and the communicative affordances they bring about. In the first section, we’ll present the answering machine paradox and give a brief overview of the remote utterance view. The second section presents the objection against the view, while the third gives a detailed rejoinder to the objection. Answering this objection is important also because it allows us to explore some underdeveloped aspects of the remote utterance view. First, I will discuss how the theorist calibrates her model with the data she seeks to explain and predict. Secondly, I will argue that speech acts performed via recording devices have different felicity conditions than their oral counterparts. I conclude with a short discussion of some semantic and pragmatic consequences of the view. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature (...) the term “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

We commonly evaluate search engines and the results they return, but what grounds those evaluations? One straightforward way of evaluating search engines appeals to their ability to satisfy the goals of the user. Are there, in addition, user-independent norms, that allow us to evaluate search engines in ways that may come apart from their ability to satisfy the individuals who use them? One way of grounding such norms appeals to moral or political considerations. I argue that in addition to those (...) norms, there are also distinct user-independent epistemic norms that apply to search engines. Evaluating search engines relative to them, however, requires us to appreciate the impact search engines have on our practices and norms of inquiry more broadly: by systematically altering the accessibility of information, search engines don’t just give us information but shape our collective imagination, and the categories it operates over. (shrink)

A. N. Turing’s 1936 concept of computability, computing machines, and computable binary digital sequences, is subject to Turing’s Cardinality Paradox. The paradox conjoins two opposed but comparably powerful lines of argument, supporting the propositions that the cardinality of dedicated Turing machines outputting all and only the computable binary digital sequences can only be denumerable, and yet must also be nondenumerable. Turing’s objections to a similar kind of diagonalization are answered, and the implications of the paradox for the (...) concept of a Turing machine, computability, computable sequences, and Turing’s effort to prove the unsolvability of the Entscheidungsproblem, are explained in light of the paradox. A solution to Turing’s Cardinality Paradox is proposed, positing a higher geometrical dimensionality of machine symbol-editing information processing and storage media than is available to canonical Turing machine tapes. The suggestion is to add volume to Turing’s discrete two-dimensional machine tape squares, considering them instead as similarly ideally connected massive three-dimensional machine information cells. Three-dimensional computing machine symbol-editing information processing cells, as opposed to Turing’s two-dimensional machine tape squares, can take advantage of a denumerably infinite potential for parallel digital sequence computing, by which to accommodate denumerably infinitely many computable diagonalizations. A three-dimensional model of machine information storage and processing cells is recommended on independent grounds as better representing the biological realities of digital information processing isomorphisms in the three-dimensional neural networks of living computers. (shrink)

Kripkenstein’s challenge is usually described as being essentially about the use of a word in new kinds of cases ‒ the old kinds of cases being commonly considered as non-problematic. I show that this way of conceiving the challenge is neither true to Kripke’s intentions nor philosophically defensible: the Kripkean skeptic can question my answering “125” to the question “What is 68 plus 57?” even if that problem is one I have already encountered and answered. I then argue that (...) once the real nature of Kripkenstein’s challenge is properly appreciated, one extremely popular strategy to try to meet it, what usually goes by the name of “semantic dispositionalism”, loses much of its appeal. Along the way, I also explain that Kripkenstein’s challenge is actually two distinct challenges ‒ one concerning the mental state of meaning, or intending, something by a sign and the other concerning the meaning (referentially conceived) of linguistic expressions. (shrink)

Recording devices are generally taken to present problems for the standard Kaplanian semantics for indexicals. In this paper, I argue that the remote utterance view offers the best way for the Kaplanian semantics to handle the recalcitrant data that comes from the use of recording devices. Following Sidelle I argue that recording devices allow agents to perform utterances at a distance. Using the essential, but widely ignored, distinction between tokens and utterances, I develop the view beyond the initial sketch given (...) by Sidelle, and I answer the main objections raised against the view. The paper is structured as follows. Section 1 gives a succinct presentation of Kaplanian semantics and of the problem raised by the use recording devices, Section 2 presents the remote utterance view and Section 3 answers the objections put forward against the view and further develops it. I conclude that the remote utterance view can handle the data that comes from the use of recording devices with only modest modifications of the Kaplanian semantics. (shrink)

In this paper, we offer a novel solution to the much discussed " answering machine puzzle " and similarly problematic cases for the Kaplanian view of temporal indexicals. The solution we propose consists in an appeal to a well-established and (for many still) useful framework: Reichenbach's theory of tense and aspect. Starting from some more recent articulations of the theory in its application to temporal adverbials, we show how it can be applied to 'now' so that to provide (...) an easy and intuitive solution to the puzzle. In addition, the proposed solution, while departing in several important respects from the Kaplanian orthodoxy, it remains conservative in that it preserves some of Kaplan's central tenets about 'now', thus making it less radical than many of the alternative solutions found in literature. (shrink)

The day to day experiences of answering machine messages, written notes, postcard messages, etc. and our intuitions regarding these seem to contradict the traditional assumptions in the semantics of indexicals. The primary analytical scope of the article is to undertake an analysis of Allyson Mount’s convergence of perspectives-based account of indexical reference and see whether it is able to successfully meet the challenges faced by Stefano Predelli’s intended context of interpretation approach towards the semantics of indexicals, thereby providing (...) a viable solution to the Answering Machine Paradox. (shrink)

Often those attempting to resolve the answering machine paradox appeal to Kaplan's claim that the objects of semantic evaluation are expression-types evaluated with respect to indices, instead of utterances, as part of their solution. This article argues that Dylan Dodd and Paula Sweeney exemplify the kind of mistakes theorists make in applying such expression-based semantic theories in that they conflate what is asserted with semantic content, and they take their approach to utterance interpretation as having semantic significance. (...) In light of these mistakes, we learn two things. First, we learn how expression-based semantic theorists can avoid making these kinds of mistakes. Second, we learn how the limits of expression-based semantics can contribute to what we should expect a semantic theory to explain regarding how semantics fits into a more general theory of linguistic communication and linguistic understanding. (shrink)

This paper examines the paradoxical transparency involved in training machine-learning models. Existing literature typically critiques the opacity of machine-learning models such as neural networks or collaborative filtering, a type of critique that parallels the black-box critique in technology studies. Accordingly, people in power may leverage the models’ opacity to justify a biased result without subjecting the technical operations to public scrutiny, in what Dan McQuillan metaphorically depicts as an “algorithmic state of exception”. This paper attempts to differentiate the (...) black-box abstraction that wraps around complex computational systems from the opacity of machine-learning models. It contends that the degree of asymmetry in knowledge is greater in the former than the latter. In the case of software systems, software codes are difficult to understand as only software experts with sufficient domain knowledge are equipped to formulate a sound critique. In contrast, the meanings of trained parameters in a machine-learning model are obscure even to the data scientists who configure and train the model. Hence, the asymmetry of knowledge lies only in how data examples are collected, the choice and configuration of machine-learning models, and the specification of features in model design. Under the trend of algorithmic decision-making proliferating with machine-learning heuristics, the paper contends that the more symmetric distribution of knowledge in machine learning could lead to a more transparent production process if proper policies are in place. (shrink)

Two critical questions spun the web of the Turing test debate. First, can an appropriately programmed machine pass the Turing test? Second, is passing the test by such a machine, ipso facto, considered proof that it is intelligent and hence “minded”? While the first question is technological, the second is purely philosophical. Focusing on the second question, this article interrogates the implication of John Searle’s Chinese room denial of machine intelligence. The thrust of Searle’s argument is that (...) a machine lacks intentionality, so it can only simulate intelligence, not duplicate it. In his thinking, whatever a machine inputs to generate an intelligent output has no bearing on humanlike intelligence. Incidentally, Searle did not classify such a machine’s output as simulated and non-intelligent, nor did he explain how this output is actualised with mere simulation. The connection between “unintelligent machine’s input” and “intelligent machine’s output” is at this point shrouded in mystery. Consequently, the more Searle attempts a denial of machine intelligence in the Chinese room, the more he mystifies it. Using the method of critical analysis, this article advances three fundamental arguments to prove a machines’ obscurity in the Chinese room thought experiment. On the ground of Searle’s conviction, the first argument queries the absurdity in bypassing intentionality to produce intelligence; the second points out the obfuscation in generating intelligence with mere computation, and the third draws attention to the dilemma of classifying a machine’s output either as real-life intelligent behaviour or simulated intelligent behaviour. (shrink)

제논의 여러 역설들 중에서 후대에 가장 많이 논의된 역설은 운동 역설이다. 제논의 운동 역설의 종류는 넷으로 알려져 있다. 논자는 이 중에서 ‘반분 역설’과 ‘아킬레우스 역설’에 논의를 집중하고자 한다. 제논의 운동 역설은 아리스토텔레스의 보고에 전적으로 의존한다. 그는 6권과 8권에서 ‘반분 역설’을 보고하고 평가한다. 그는 6권의 답변과 8권의 답변을 각각 ‘질문자에 충분한 답변’과 ‘진리에 충분한 답변’이라고 부른다. 그리고 각 답변의 이론적 배경에는 ‘무한하게 분할되는’ 기하학적인 성격의 연속 개념과 ‘분할될 수 없는 형상적 연속’ 개념이 놓여 있다. 두 연속 개념에 기반한 두 답변에서 그가 (...) 사용하는 개념적인 도구와 학적 관심은 별도의 것으로 논의될 수 있고, 독립적으로 해석될 수 있다. 본 연구는 두 연속 개념 중에서 형상적 혹은 실체적 세계 이해의 존재론적 근거인 ‘분할될 수 없는 형상적 연속’ 개념의 해명에 논의를 집중할 것이다. 그리고 이를 위해 필요한 만큼 제논 역설의 전체 구조는 물론이고, ‘무한하게 분할되는 연속’ 개념과의 비교 분석이 제시될 것이다. 그의 세계 해석의 밑바탕에 깔려 있는 형상적 연속 공간의 구조를 분석하고, 이것이 제논 역설을 해결하는데 어떤 의의와 한계를 갖는지, 나아가 자연 세계 전체를 해석하는데 어떤 의의와 한계를 갖는지 논의할 것이다. (shrink)

제논의 운동 역설 중에서 반분 역설과 아킬레우스 역설에 대한 아리스토텔레스의 해결책은 『자연학』 6권과 8권 두 곳에 담겨있다. 그리고 두 답변을 그는 각각 ‘질문자에 충분한 답변’과 ‘진리에 충분한 답변’이라고 부른다. 대부분 철학사가들은 이 중에서 8권의 ‘진리에 충분한 답변’을 그의 최종적인 해결책으로 받아들인다. 이에 대해 논자는 몇 가지 근거를 들어 6권의 ‘질문자에 충분한 답변’이 8권의 답변과 독립적으로 구성될 수 있음을 주장하고, 이들이 간과하고 있는 6권 답변의 의의를 해명하고자 한다. 양자의 답변이 구분될 수 있음은, 다시 말해서 6권의 답변을 8권 입장의 미완성된 단계쯤으로 격하시켜서는 (...) 안 되는 까닭은 첫째 그가 ‘제논의 역설’을 오늘날의 온전한 형태로 소개하는 곳은 『자연학』 8권이 아닌 6권이며, 8권은 『자연학』의 구조상 독립적인 성격을 갖기 때문이다. 게다가 그의 ‘연속이론’이 제시되는 곳은 8권이 아니라 6권인데, 6권은 제논의 운동역설을 소개하고 해결하는 것에 거의 전체가 할애된 곳이기 때문이다. 이런 형식상의 이유 이외에 둘째로 내용에 있어서도 우선 8권의 답변은 가능적 무한과 현실적 무한의 구분을 전제하지만, 6권은 가능성/현실성 구분이 전제되지 않은 채로 답변이 주어지기 때문이다. 넓게 말해서 6권 전체가 주제적으로 다루는 그의 ‘연속’ 이론은 ‘가능성/현실성’ 구분과 “무관하게” 구성될 수 있고, 같은 맥락에서 6권의 답변은 이 구분을 전제한 8권의 답변이 담아내지 못하는 연속 이론을 포함한 그의 자연철학의 몇 가지 진면모를 확인할 수 있게 해 준다. 셋째로 제대로 된 답변이기 위해서는 제논의 입장에서 답변으로 인정할만한 이유가 있어야 하는데, 8권의 답변은 제논의 입장에서 하나의 해결책으로 받아들일 수가 없다. 그러니까 이상의 세 측면에서 상식적으로 생각해 보자면, 그가 제논의 운동 역설을 어떻게 다루고 해결했는지는 6권에서 찾아야지, 8권만 가지고 결론을 내리는 것은 부당한 것으로 보인다. (shrink)

Questions that arise in the doctor-patient relationship may be transforming. The discussion begins with a compelling example: When parents ask, “Doctor, if this were your child, what would you do?” it is always a “high-stakes” question. What the question means and how it is understood depends on how we understand, and how sensitive we are, to the context and the complexity of several different relationships, and what each uniquely asks or requires. -/- Working from the parents’ question, “What would you (...) do . . . ?” the present discussion will develop a broader understanding of questions within the doctor-patient relationship and the possibilities for finding meaning that they introduce. A clinical narrative is used to show that questions are most meaningful when they are understood in the context of a unique relationship--and a "potential space"--that is both interpersonal and ontological. (shrink)

We argued [Since this argument appeared in other journals, I am reprising it here, almost verbatim.] (Fulda in J Law Info Sci 2:230–232, 1991/AI & Soc 8(4):357–359, 1994) that the paradox of the preface suggests a reason why machines cannot, will not, and should not be allowed to judge criminal cases. The argument merely shows that they cannot now and will not soon or easily be so allowed. The author, in fact, now believes that when—and only when—they are ready (...) they actually should be so allowed, in the interests of justice. Both the original argument applied and this detailed reconsideration applies exclusively to trial courts, and both specifically exclude(d) sentencing. The argument highlights some key relevant differences between minds and machines and attempts, also, to explain why automation is of far greater import for the first-level justice system (trial courts) than for higher courts. A final section discusses why sentencing was, is, and should be excluded. (shrink)

In the Paradox of the Ravens, a set of otherwise intuitive claims about evidence seems to be inconsistent. Most attempts at answering the paradox involve rejecting a member of the set, which seems to require a conflict either with commonsense intuitions or with some of our best confirmation theories. In contrast, I argue that the appearance of an inconsistency is misleading: ‘confirms’ and cognate terms feature a significant ambiguity when applied to universal generalisations. In particular, the claim (...) that some evidence confirms a universal generalisation ordinarily suggests, in part, that the evidence confirms the reliability of predicting that something which satisfies the antecedent will also satisfy the consequent. I distinguish between the familiar relation of confirmation simpliciter and what I shall call ‘predictive confirmation’. I use them to formulate my answer, illustrate it in a very simple probabilistic model, and defend it against objections. I conclude that, once our evidential concepts are sufficiently clarified, there is no sense in which the initial claims are both plausible and inconsistent. (shrink)

Philosophers such as Goodman, Scheffler and Glymour aim to answer the Paradox of the Ravens by distinguishing between confirmation simpliciter and selective confirmation. In the latter concept, the evidence both supports a hypothesis and undermines one of its "rivals". In this article, I argue that while selective confirmation does seem to be an important scientific notion, no attempt to formalise it thus far has managed to solve the Paradox of the Ravens.

A proper understanding of black hole complementarity as a response to the information loss paradox requires recognizing the essential role played by arguments for the applicability and limitations of effective semiclassical theories. I argue that this perspective sheds important light on the arguments advanced by Susskind, Thorlacius, and Uglum—although ultimately I argue that their position is unsatisfactory. I also consider the argument offered by ’t Hooft for the breakdown of microcausality around black holes, and conclude that it relies on (...) a mistaken treatment of measurement collapse. There is, however, a legitimate argumentative role for black hole complementarity, exemplified by the position of Kiem, Verlinde, and Verlinde, that calls for a more subtle analysis of the limitations facing our effective theories. (shrink)

As interpreted by Pattee, von Neumann’s Theory of Self-Reproducing Automata has proved to be a useful tool for understanding some of the difficulties and paradoxes of molecular biosemiotics. But is its utility limited to molecular systems or is it more generally applicable within biosemiotics? One way of answering that question is to look at the Theory as a model for one particular high-level biosemiotic activity, human language. If the model is not useful for language, then it certainly cannot be (...) generally useful to biosemiotics. Beginning with the Universal Turing Machine and continuing with von Neumann’s Theory and Pattee’s interpretation, the properties of universality, programmability, underspecification, complementarity of description/construction, and open-ended evolutionary potential are shown to be usefully applicable to language, thus opening a new line of inquiry in biosemiotics. (shrink)

Philosophers of education often view the role of religion in education with suspicion, claiming it to be impossible, indoctrinatory or controversial unless reduced to secular premises and aims. The ‘post-secular’ and ‘decolonial’ turns of the new millennium have, however, afforded opportunities to revaluate this predilection. In a social and intellectual context where the arguments of previous generations of philosophers may be challenged on account of positivist assumptions, there may be an opening for the reconsideration of alternative but traditional religious epistemologies. (...) In this article, we pursue one such line of thought by revisiting a classic question in the philosophy of education, Meno’s Paradox of inquiry. We do this to revitalise understanding and justification for religious education. Our argument is not altogether new, but in our view, is in need of restatement: liturgy is at the heart of education and it is so because it is a locus of knowledge. We make this argument by exploring St Augustine’s response to Meno’s Paradox, and his radical claim that only Christ can be called ‘teacher’. Though ancient, this view of the relationship of the teacher and student to knowledge may seem surprisingly contemporary because of its emphasis on the independence of the learner. Although our argument is grounded in classic texts of the Western tradition, we suggest that arguments could be made by drawing on similar resources in other religious traditions, such as Islam, that also draw upon the Platonic tradition and similarly emphasise the importance of communal and personal acts of worship. (shrink)

This article asks the question, ``what is reliable machine learning?'' As I intend to answer it, this is a question about epistemic justification. Reliable machine learning gives justification for believing its output. Current approaches to reliability (e.g., transparency) involve showing the inner workings of an algorithm (functions, variables, etc.) and how they render outputs. We then have justification for believing the output because we know how it was computed. Thus, justification is contingent on what can be shown about (...) the algorithm, its properties, and its behavior. In this paper, I defend computational reliabilism (CR). CR is a computationally-inspired off-shoot of process reliabilism that does not require showing the inner workings of an algorithm. CR credits reliability to machine learning by identifying reliability indicators external to the algorithm (validation methods, knowledge-based integration, etc.). Thus, we have justification for believing the output of machine learning when we have identified the appropriate reliability indicators. CR is advanced as a more suitable epistemology for machine learning. The main goal of this article is to lay the groundwork for CR, how it works, and what we can expect as a justificatory framework for reliable machine learning. (shrink)

One proposal to significantly reduce cardiovascular disease is the idea of administering a ‘polypill’—a combination of drugs that reduce the risk of heart disease and carry few side effects—to everyone over the age of 55. Despite their promise, population strategies like the polypill have not been well-accepted. In this article, I defend the polypill by appealing to fairness. The argument focuses on the need to fairly distribute the costs to individuals. While the fact that population strategies like the polypill impose (...) minor costs on everyone has primarily been used to criticize such strategies, I argue that it gives us a reason to support them. I argue that implementing a population strategy with the polypill contributes to the public good of ‘health system capacity’. I then explain that public goods have widely accepted obligations: they carry an obligation to fairly distribute the costs of the goods and prevent free-riding. Thus, we have at least one pro tanto moral reason to implement the polypill. As such, this article challenges the current literature on the topic, which has largely held adopting population strategies like the polypill to be unjustifiable. (shrink)

Large language models (LLMs) represent the currently most relevant incarnation of artificial intelligence with respect to the future fate of democratic governance. Considering their potential, this paper seeks to answer a pressing question: Could LLMs outperform humans as expert advisors to democratic assemblies? While bearing the promise of enhanced expertise availability and accessibility, they also present challenges of hallucinations, misalignment, or value imposition. Weighing LLMs’ benefits and drawbacks compared to their human counterparts, I argue for their careful integration to augment (...) democracy’s ability to address complex policy issues. The paper posits that time-tested democratic procedures like deliberation and aggregation by voting provide safeguards effective against both human and machine advisor imperfections. Additional protective measures include custom LLM training for the advisory role, boosting representatives’ competencies in query formulation, or implementation of adversarial proceedings in which LLM advisors could debate each other and provide dissenting opinions. These could further mitigate the risks that LLMs present in advisory roles and empower human decision-makers toward increased autonomy and quality of their collective choices. My conceptual exploration offers a roadmap for the co-evolution of AI and democratic institutions, setting the stage for an empirical research agenda to finetune the implementation specifics. (shrink)

Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.

We explore the question of whether machines can infer information about our psychological traits or mental states by observing samples of our behaviour gathered from our online activities. Ongoing technical advances across a range of research communities indicate that machines are now able to access this information, but the extent to which this is possible and the consequent implications have not been well explored. We begin by highlighting the urgency of asking this question, and then explore its conceptual underpinnings, in (...) order to help emphasise the relevant issues. To answer the question, we review a large number of empirical studies, in which samples of behaviour are used to automatically infer a range of psychological constructs, including affect and emotions, aptitudes and skills, attitudes and orientations (e.g. values and sexual orientation), personality, and disorders and conditions (e.g. depression and addiction). We also present a general perspective that can bring these disparate studies together and allow us to think clearly about their philosophical and ethical implications, such as issues related to consent, privacy, and the use of persuasive technologies for controlling human behaviour. (shrink)

Replication or even modelling of consciousness in machines requires some clarifications and refinements of our concept of consciousness. Design of, construction of, and interaction with artificial systems can itself assist in this conceptual development. We start with the tentative hypothesis that although the word “consciousness” has no well-defined meaning, it is used to refer to aspects of human and animal informationprocessing. We then argue that we can enhance our understanding of what these aspects might be by designing and building virtual- (...) class='Hi'>machine architectures capturing various features of consciousness. This activity may in turn nurture the development of our concepts of consciousness, showing how an analysis based on information-processing virtual machines answers old philosophical puzzles as well enriching empirical theories. This process of developing and testing ideas by developing and testing designs leads to gradual refinement of many of our pre-theoretical concepts of mind, showing how they can be construed as implicitly “architecture-based” concepts. Understanding how humanlike robots with appropriate architectures are likely to feel puzzled about qualia may help us resolve those puzzles. The concept of “qualia” turns out to be an “architecture-based” concept, while individual qualia concepts are “architecture-driven”. (shrink)

Recent years have seen a growing consensus in the philosophical community that the grandfather paradox and similar logical puzzles do not preclude the possibility of time travel scenarios that utilize spacetimes containing closed timelike curves. At the same time, physicists, who for half a century acknowledged that the general theory of relativity is compatible with such spacetimes, have intensely studied the question whether the operation of a time machine would be admissible in the context of the same theory (...) and of its quantum cousins. A time machine is a device which brings about closed timelike curves—and thus enables time travel—where none would have existed otherwise. The physics literature contains various no-go theorems for time machines, i.e., theorems which purport to establish that, under physically plausible assumptions, the operation of a time machine is impossible. We conclude that for the time being there exists no conclusive no-go theorem against time machines. The character of the material covered in this article makes it inevitable that its content is of a rather technical nature. We contend, however, that philosophers should nevertheless be interested in this literature for at least two reasons. First, the topic of time machines leads to a number of interesting foundations issues in classical and quantum theories of gravity; and second, philosophers can contribute to the topic by clarifying what it means for a device to count as a time machine, by relating the debate to other concerns such as Penrose's cosmic censorship conjecture and the fate of determinism in general relativity theory, and by eliminating a number of confusions regarding the status of the paradoxes of time travel. The present article addresses these ambitions in as non-technical a manner as possible, and the reader is referred to the relevant physics literature for details. (shrink)

This book will examine paradoxes in diverse areas of thought: philosophy, mathematics, physics, economics, political science, psychology, computer science, logic, statistics, linguistics, law, etc. Though the treatment of each paradox is rigorous, the book will be written accessibly with a lighthearted and humorous tone so as to keep the reader engaged. Each chapter will focus on a single paradox, structured roughly like so: 1. A question is asked in the context of a story. As an answer, the (...) class='Hi'>paradox is presented (which often results in an aha moment). The historical background of the paradox is recounted. 2. The dénouement explains how the paradox is resolved or why there is no resolution. 3. The chapter ends with further remarks, usually contemporary real-world examples or applications of said paradox. Some examples of the paradoxes covered are the Axiom of Choice (Mathematics), Monty Hall Problem (Statistics), Morgenbesser's Paradox (Linguistics), Tea Leaves Paradox (Physics), The Ultimatum Game (Economics), and The Chicken or Egg Question (Evolution). (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping (...) causal patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Though it did not yet exist as a discrete field of scientific inquiry, biology was at the heart of many of the most important debates in seventeenth-century philosophy. Nowhere is this more apparent than in the work of G. W. Leibniz. In Divine Machines, Justin Smith offers the first in-depth examination of Leibniz's deep and complex engagement with the empirical life sciences of his day, in areas as diverse as medicine, physiology, taxonomy, generation theory, and paleontology. He shows how these (...) wide-ranging pursuits were not only central to Leibniz's philosophical interests, but often provided the insights that led to some of his best-known philosophical doctrines.Presenting the clearest picture yet of the scope of Leibniz's theoretical interest in the life sciences, Divine Machines takes seriously the philosopher's own repeated claims that the world must be understood in fundamentally biological terms. Here Smith reveals a thinker who was immersed in the sciences of life, and looked to the living world for answers to vexing metaphysical problems. He casts Leibniz's philosophy in an entirely new light, demonstrating how it radically departed from the prevailing models of mechanical philosophy and had an enduring influence on the history and development of the life sciences. Along the way, Smith provides a fascinating glimpse into early modern debates about the nature and origins of organic life, and into how philosophers such as Leibniz engaged with the scientific dilemmas of their era. (shrink)

Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did (...) Turing refer to gender imitation in a test for machine intelligence? In this article, I shall address these questions by unveiling social, historical and epistemological roots of the so-called Turing test. I will draw attention to a historical fact that has been only scarcely observed in the secondary literature thus far, namely that Turing’s 1950 test emerged out of a controversy over the cognitive capabilities of digital computers, most notably out of debates with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Seen in its historical context, Turing’s 1950 paper can be understood as essentially a reply to a series of challenges posed to him by these thinkers arguing against his view that machines can think. Turing did propose gender learning and imitation as one of his various imitation tests for machine intelligence, and I argue here that this was done in response to Jefferson's suggestion that gendered behavior is causally related to the physiology of sex hormones. (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

How can we experience real emotions when viewing a movie or reading a novel or watching a play when we know the characters whose actions have this effect on us do not exist? This is a conundrum that has puzzled philosophers for a long time, and in this book Robert Yanal both canvasses previously proposed solutions to it and offers one of his own. First formulated by Samuel Johnson, the paradox received its most famous answer from Samuel Taylor Coleridge, (...) who advised his readers to engage in a "willing suspension of disbelief." More recently, philosophers have argued that we are irrational in emoting toward fiction, or that we do not emote toward fiction but rather toward factual counterparts, or that we do not have real but only quasi-emotion toward fiction, generated by our playing games of make-believe. All of these proposed solutions are critically reviewed. Finding these answers unsatisfactory, Yanal offers an alternative, providing a new version of what has been dubbed "thought theory." On this theory, mere thoughts not believed true are seen as the functional equivalent of belief at least insofar as stimulating emotion is concerned. The emoter's disbelief in the actuality of components of the thoughts must be rendered relatively inactive. Such emotion is real and typically has the character of being richly generated yet unconsummated. The book extends this theory also to resolving other paradoxes arising from emotional response to fiction: how we feel suspense over what comes next in a story even when we are re-reading it for a second or third time; and how we take pleasure in narratives, such as tragedy, that excite unpleasant emotions such as fear, pity, or horror. (shrink)

The article presents preliminary results of the conceptual analysis of the mechanistic profile of the computer metaphor. Mechanic reductionism is a special direction of computer metaphor rooted in various historical forms of word usage. Here we trace the stages of formation of the principles of transferring the properties of a mechanical computer to the properties of the human body and mind. We are also trying to identify the basic principles of semantic transfer, which have survived to this day in the (...) discourse of modern computationalism. The reasons are analyzed due to which the metaphor «Human (body) is machine», traditional for the Modern Age, was transformed into a more complex version of «Mind is machine». What happened to the concepts of «mind» and «machine»? How have ideas about the properties of computational procedures changed? What keeps the counterintuitive computer metaphor viable today? The answers to this series of questions and theoretical ways of solving these problems are contained in this paper. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be (...) that Theon is destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for the ideality (...) of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

The focus of this article is a question that has been neglected in debates about digitalization: Could machines replace human scientists? To provide an intelligible answer to it, we need to answer a further question: What is it that makes (or constitutes) a scientist? I offer an answer to this question by proposing a new demarcation criterion for science which I call “the discoverability criterion”. I proceed as follows: (1) I explain why the target question of this article is important, (...) and (2) show that it leads to a variant of the demarcation problem of science. (3) By arguing that it is probably an essential feature of science that we can make scientific discoveries, I suggest a novel way of dealing with this problem by proposing a new demarcation criterion. Before introducing it, (4) I analyze an exemplary case of a real scientific discovery, and (5) argue that scientific discovery processes have a general underlying structure. (6) I introduce my discoverability criterion for science and present my master argument that helps us understand which criteria have to be fulfilled in order to decide whether machines can replace human scientists or not. (7) I conclude by answering the article’s target question and bringing forward a take-home message. (shrink)

The two main domains of high culture - the arts and the sciences - seem to be completely different, simply unrelated. Is there any sense then in talking about culture in the singular as a unity? A positive answer to this question presupposes that there is a single conceptual scheme, in terms of which it is possible to articulate both the underlying similarities and the basic differences between these domains. This article argues that - at least in respect of ‘classical’ (...) modernity - there is such a framework: the normatively conceived Author-Work-Recipient relation. It allows the disclosure of the paradoxical unity of culture: its two main realms are constituted as polar opposites and thus as strictly complementary. Through such an organization, culture could fulfil an affirmative, compensatory role. At the same time however, it also allowed culture to acquire the character of social critique, a function realized through the antagonistically opposed projects of Enlightenment and Romanticism - projects whose illusions are now evident. (shrink)

This thesis develops a deeper understanding of and provides an answer to the paradox of deontology. Traditional deontological views include deontic constraints that prohibit us from harming innocent people even to prevent greater harms of the same type. Although constraints correspond to widely shared moral intuitions, they seem to make traditional deontology unavoidably paradoxical: for how can it ever be morally wrong to minimise morally objectionable harm? The thesis argues that previous attempts to solve this paradox have been (...) insufficient because they have failed to distinguish clearly between two distinct puzzles that together constitute the paradox. The first puzzle—the rationality paradox—says that if we think that we should not harm others in a certain way, it is rational by default to think that we should minimise the occurrences of that kind of harm overall. Thus, to answer the rationality paradox the deontologist must justify constraints by reference to some value that cannot be furthered by minimising the occurrences of harm. However, this will make her vulnerable to a second puzzle—the value paradox—which says that in the face of the severe harm that awaits the greater number of individuals, it seems morally inappropriate to be concerned with anything other than the minimisation of the occurrences of that kind of harm overall. The thesis develops a comprehensive approach that can address both these paradoxes. The hyperinviolability account developed in this thesis shows that traditional deontology ceases to appear paradoxical once we understand it as an agent-neutral moral theory that gives priority to our moral standing over the moral significance of what might happen to us. (shrink)