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)

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)

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)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv dot org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, (...) and even independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility, incompleteness, the limits of computation, and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things, a non- quantum mechanical uncertainty principle and a proof of monotheism. There are obvious connections to the classic work of Chaitin, Solomonoff, Komolgarov and Wittgenstein and to the notion that no program (and thus no device) can generate a sequence (or device) with greater complexity than it possesses. One might say this body of work implies atheism since there cannot be any entity more complex than the physical universe and from the Wittgensteinian viewpoint, ‘more complex’ is meaningless (has no conditions of satisfaction, i.e., truth-maker or test). Even a ‘God’ (i.e., a ‘device’with limitless time/space and energy) cannot determine whether a given ‘number’ is ‘random’, nor find a certain way to show that a given ‘formula’, ‘theorem’ or ‘sentence’ or ‘device’ (all these being complex language games) is part of a particular ‘system’. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 2nd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

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)

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and even (...) independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility,incompleteness, the limits of computation,and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things,a non-quantum mechanical uncertainty principle and a proof of monotheism. (shrink)

J’ai lu de nombreuses discussions récentes sur les limites du calcul et de l’univers en tant qu’ordinateur, dans l’espoir de trouver quelques commentaires sur le travail étonnant du physicien polymathe et théoricien de la décision David Wolpert, mais n’ont pas trouvé une seule citation et je présente donc ce résumé très bref. Wolpert s’est avéré quelques théoricaux d’impossibilité ou d’incomplétude renversants (1992 à 2008-voir arxiv dot org) sur les limites de l’inférence (computation) qui sont si généraux qu’ils sont indépendants de (...) l’appareil faisant le calcul, et même indépendamment des lois de la physique, ainsi ils s’appliquent à travers les ordinateurs, la physique, et le comportement humain. Ils utilisent la diagonalisation de Cantor, le paradoxe menteur et les worldlines (lignes du monde) pour fournir ce qui peut être le théorème ultime dans Turing Machine Theory, et apparemment fournir des aperçus de l’impossibilité, l’incomplétude, les limites du calcul, et l’univers comme ordinateur, dans tous les univers possibles et tous les êtres ou mécanismes possibles, générant, entre autres, un principe d’incertitude mécanique non quantique et une preuve de monothéisme. Il existe des connexions évidentes à l’œuvre classique de Chaitin, Solomonoff, Komolgarov et Wittgenstein et à l’idée qu’aucun programme (et donc aucun dispositif) ne peut générer une séquence (ou un dispositif) avec une plus grande complexité qu’il ne possède. On pourrait dire que cet ensemble de travaux implique l’athéisme puisqu’il ne peut y avoir d’entité plus complexe que l’univers physique et du point de vue wittgensteinien, « plus complexe » n’a aucun sens (n’a pas de conditions de satisfaction, c’est-à-dire véridique ou test). Même un « Dieu » (c’est-à-dire un « dispositif » avec un temps/ espace et une énergie illimité) ne peut pas déterminer si un « nombre » donné est « aléatoire», ni trouver un certain moyen de montrer qu’une « formule » donnée, un « théorème » ou une « phrase » ou un « dispositif » (tous ces jeux de langage complexes) fait partie d’un « système » particulier. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deux systemes peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir 'Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 2ème ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (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 paper uses a paradox inherent in any solution to the Hard Problem of Consciousness to argue for God’s existence. The paper assumes we are “thought machines”, reading the state of a relevant physical medium and then outputting corresponding thoughts. However, the existence of such a thought machine is impossible, since it needs an infinite number of point-representing sensors to map the physical world to conscious thought. This paper shows that these sensors cannot exist, and thus thought cannot (...) come solely from our physical world. The only possible explanation is something outside, argued to be God. (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)

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)

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 liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction (...) with one’s own words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

我最近读过许多关于计算极限和宇宙作为计算机的讨论,希望找到一些关于多面体物理学家和决策理论家大卫·沃尔珀特的惊人工作的评论,但没有发现一个引文,所以我提出这个非常简短的总结。Wolpert 证明了一些惊人的不可能或不完整的定理(1992-2008-见arxiv dot org)对推理(计算)的限制,这些极限非常一般,它们独立于执行计算的设备,甚至独立于物理定律,因此,它们适用于计算机、物理和人类行为。他们利用Cantor的对角线、骗子悖论和世界线来提供图灵机器理论的 终极定理,并似乎提供了对不可能、不完整、计算极限和宇宙的见解。计算机,在所有可能的宇宙和所有生物或机制,产生,除其他外,非量子力学不确定性原理和一神论的证明。与柴廷、所罗门诺夫、科莫尔加罗夫和维特根斯 坦的经典作品以及任何程序(因此没有设备)能够生成比它拥有的更大复杂性的序列(或设备)的概念有着明显的联系。有人可能会说,这一工作意味着无政府主义,因为没有比物质宇宙更复杂的实体,从维特根斯坦的观点来看 ,"更复杂的"是毫无意义的(没有满足的条件,即真理制造者或测试)。即使是"上帝"(即具有无限时间/空间和能量的"设备")也无法确定给定的&q uot;数字"是否为"随机",也无法找到某种方式来显示给定的"公式"、"定理"或"句子"或"设备&q uot;(所有这些语言都是复杂的语言)游戏)是特定"系统"的一部分。 那些希望从现代两个系统的观点来看为人类行为建立一个全面的最新框架的人,可以查阅我的书《路德维希的哲学、心理学、Mind 和语言的逻辑结构》维特根斯坦和约翰·西尔的《第二部》(2019年)。那些对我更多的作品感兴趣的人可能会看到《会说话的猴子——一个末日星球上的哲学、心理学、科学、宗教和政治——文章和评论2006-201 9年第二次(2019年)》和《自杀乌托邦幻想》第21篇世纪4日 (2019).

Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a paradox. (...) While there is strong reason to think that rational credence cannot make such hyperintensional distinctions, our intuitive judgements about certain cases seem to demand that it does. (shrink)

Attention has turned from Hobbes the systematic thinker to his inconsistencies, as the essays in the Hobbes symposium published in the recent volume of Political Theory suggest. Deborah Baumgold, in “The Difficulties of Hobbes Interpretation,” shifted the focus to “the history of the book,” and Hobbes’s method of serial composition and peripatetic insertion, as a major source of his inconsistency. Accepting Baumgold’s method, the author argues that the manner of composition does not necessarily determine content and that fundamental paradoxes in (...) Hobbes’s work have a different provenance, for which there are also contextual answers. Hobbes was a courtier’s client, but one committed early to a materialist ontology and epistemology, and these commitments shackled him in treating the immediate political questions with which he was required to deal, leading to systemic paradoxes in his treatment of natural law, liberty, authorization, and consent. (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.

There is a well-documented Pre-Reflective Hostility against Machine Art (PRHMA), exemplified by the sentiments of fear and anxiety. How can it be explained? The present paper attempts to find the answer to this question by surveying a considerable amount of research on machine art. It is found that explanations of PRHMA based on the (alleged) fact that machine art lacks an element that is (allegedly) found in human art (for example, autonomy) do not work. Such explanations cannot (...) account for the sentiments of fear and anxiety present in PRHMA, because the art receiver could simply turn to human art for finding the element she is looking for. By contrast, an explanation based on the idea that machine art is “symbolically” a threat to human survival can be successful, since the art receiver’s turning from machine art to human art does not eliminate the (alleged) “symbolic” threat machine art poses for human survival. If there is a pre-reflective belief or feeling that machine art is such a threat, then it is perfectly understandable why humans exhibit a pre-reflective hostility against machine art. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie the result (...) is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

This paper explores the relationships between some the problems of the Fermi Paradox (FP), with its variety of possible answers; and the Problem of Induction, and thus the possibility of a Theory of Everything. We seek to improve the hierarchy of plausibility within answers to FP, given by what we call “preference criteria”, among which we particularly highlight culture-independence. We argue that, if the question of whether a Theory of Everything is possible is answered negatively, then FP becomes much (...) more serious than otherwise, and this makes many of FP’s solutions less preferable. This constitutes a further preference criterion. Armed with this tool, we try to outline a network of relative truths between FP and the Problem of Induction, in the form of a cross-answer table. Only two or three combinations of answers survive as preferable: 1) degenerate, pure solipsistic metaphysics; 2) accept Induction and the Anthropic Principle at the same time, thus saying that the human condition is a very rare one in the universe; or 3) that the Theory of Everything exists and its discovery is the Great Filter. This latter possibility is discussed with its implications for the current scientific and economic progress of our civilization. (shrink)

The Buddhist Nikāya Suttas frequently mention the concept of fear (bhaya) and related synonyms. This concept does not receive much scholarly attention by subsequent Buddhist philosophers. Recent scholars identify a ‘paradox of fear’ in several traditions of classical Indian Buddhism (Brekke 1999, Finnigan 2019, Giustarini 2012). Each scholar points out, in their respective textual contexts, that fear is evaluated in two ways; one positive and the other negative. Brekke calls this the “double role” of fear (1999: 443). Each also (...) identify fear as purposely elicited to motivate acts aimed at achieving fearlessness, where freedom from fear is characteristic of nibbāna. They all find this puzzling. Finnigan asks: “Why would one purposefully incite fear if one’s goal is its elimination?” (2019: 221). Giustarini says that fear has a “contradictory nature” (2012: 513); Brekke calls it “the paradox of fear” (1999: 442). This article introduces the ‘paradox of fear’ as it appears in the Bodhicaryāvatāra of Śāntideva and the Nikāya suttas. It then critically examines Brekke and Giustarini’s proposed solutions. It argues that they get some things right in ways that are both supported by the Nikāyas and relevant to Śāntideva but that they leave some important questions unanswered. The article contends that these questions are best answered if fear is analysed as appropriate when its objects are related to karma and rebirth. (shrink)

Theories of personal identity face a paradox, which traces back to Bernard Williams: some scenarios obviously show that mental continuity is what solely matters in survival; others, on the contrary, show with equal obviousness that it is bodily continuity. Different authors have produced diverging and partly conflicting answers in response to that problem. Based on recent research concerning the structure of philosophical thought experiment, this paper reevaluates and, for the first time, neatly classifies those answers. What is more, several (...) existing approaches of how to answer the paradox are developed further, and two new answers are introduced. (shrink)

Once upon a time, during a large and international conference of the world's leading philosophers, an angel miraculously appeared and said, "I come to you as a messenger from God. You will be permitted to ask any one question you want - but only one! - and I will answer that question truthfully. What would you like to ask?" The philosophers were understandably excited, and immediately began a discussion of what would be the best question to ask. But it quickly (...) became obvious that they needed more time to discuss the matter, so they asked the angel if he could get back to them. The angel was obliging, and said that he would return at the same time the next day. "But be prepared then," he warned them, "for you will only get this one chance." All of the philosophers gathered at the convention worked at a frenzied pace for the next twenty-four hours, proposing and weighing the merits of various questions. Other philosophers from around the world became involved as well, faxing and emailing their suggestions. Some were in favor of asking the kind of practical question that lots of people might like to know the answer to, such as this one: Q1 Is it better to check your oil when the car is hot or when it is cold? But others said they should not squander this rare opportunity, which gave them a chance to learn something about a truly important and intrinsically interesting topic, and after some discussion it was generally agreed that this was right. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

What can contemporary machine learning (ML) models do? Given the proliferation of ML models in society, answering this question matters to a variety of stakeholders, both public and private. The evaluation of models' capabilities is rapidly emerging as a key subfield of modern ML, buoyed by regulatory attention and government grants. Despite this, the notion of an ML model possessing a capability has not been interrogated: what are we saying when we say that a model is able to (...) do something? And what sorts of evidence bear upon this question? -/- In this paper, we aim to answer these questions, using the capabilities of large language models (LLMs) as a running example. Drawing on the large philosophical literature on abilities, we develop an account of ML models' capabilities which can be usefully applied to the nascent science of model evaluation. Our core proposal is a conditional analysis of model abilities (CAMA): crudely, a machine learning model has a capability to X just when it would reliably succeed at doing X if it 'tried'. The main contribution of the paper is making this proposal precise in the context of ML, resulting in an operationalisation of CAMA applicable to LLMs. We then put CAMA to work, showing that it can help make sense of various features of ML model evaluation practice, as well as suggest procedures for performing fair inter-model comparisons. (shrink)

Can agents rationally inquire into things that they know? On my view, the answer is yes. Call this view the Compatibility Thesis. One challenge to this thesis is to explain why assertions like “I know that p, but I’m wondering whether p” sound odd, if not Moore-Paradoxical. In response to this challenge, I argue that we can reject one or both premises that give rise to it. First, we can deny that inquiry requires interrogative attitudes. Second, we can deny the (...) ignorance norm, on which agents are not permitted to both know and have interrogative attitudes, such as wondering. I argue that there are compelling reasons to deny the former and reasons to question the latter. Both options pave the way for further work on further inquiry. (shrink)

We ask how to use machine learning to expand observability, which presently depends on human learning that informs conceivability. The issue is engaged by considering the question of correspondence between conceived observability counterfactuals and observable, yet so far unobserved or unconceived, states of affairs. A possible answer lies in importing out of reference frame content which could provide means for conceiving further observability counterfactuals. They allow us to define high-fidelity observability, increasing the level of correspondence in question. To achieve (...) high-fidelity observability, we propose to use generative machine learning models as the providers of the out of reference frame content. From an applied point of view, such a role of generative machine learning models shows an emerging dimension of human-machine cooperation. (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)

In the field of machine consciousness, it has been argued that in order to build human-like conscious machines, we must first have a computational model of qualia. To this end, some have proposed a framework that supports qualia in machines by implementing a model with three computational areas (i.e., the subconceptual, conceptual, and linguistic areas). These abstract mechanisms purportedly enable the assessment of artificial qualia. However, several critics of the machine consciousness project dispute this possibility. For instance, Searle, (...) in his Chinese room objection, argues that however sophisticated a computational system is, it can never exhibit intentionality; thus, would also fail to exhibit consciousness or any of its varieties. This paper argues that the proposed architecture mentioned above answers the problem posed by Searle, at least in part. Specifically, it argues that we could reformulate Searle’s worries in the Chinese room in terms of the three-stage artificial qualia model. And by doing so, we could see that the person doing all the translations in the room could realize the three areas in the proposed framework. Consequently, this demonstrates the actualization of self-consciousness in machines. (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)

मैं कंप्यूटर के रूप में गणना और ब्रह्मांड की सीमा के कई हाल ही में चर्चा पढ़ लिया है, polymath भौतिक विज्ञानी और निर्णय सिद्धांतकार डेविड Wolpert के अद्भुत काम पर कुछ टिप्पणी खोजने की उम्मीद है, लेकिन एक भी प्रशस्ति पत्र नहीं मिला है और इसलिए मैं यह बहुत संक्षिप्त मौजूद सारांश. Wolpert कुछ आश्चर्यजनक असंभव या अधूरापन प्रमेयों साबित कर दिया (1992 से 2008-देखें arxiv dot org) अनुमान के लिए सीमा पर (कम्प्यूटेशन) कि इतने सामान्य वे गणना कर (...) डिवाइस से स्वतंत्र हैं, और यहां तक कि भौतिकी के नियमों से स्वतंत्र, इसलिए वे कंप्यूटर, भौतिक विज्ञान और मानव व्यवहार में लागू होते हैं. वे कैंटर विकर्णीकरण का उपयोग करते हैं, झूठा विरोधाभास और worldlines प्रदान करने के लिए क्या ट्यूरिंग मशीन थ्योरी में अंतिम प्रमेय हो सकता है, और प्रतीत होता है असंभव, अधूरापन, गणना की सीमा में अंतर्दृष्टि प्रदान करते हैं, और ब्रह्मांड के रूप में कंप्यूटर, सभी संभव ब्रह्मांडों और सभी प्राणियों या तंत्र में, उत्पादन, अन्य बातों के अलावा, एक गैर क्वांटम यांत्रिक अनिश्चितता सिद्धांत और एकेश्वरवाद का सबूत. वहाँ Chaitin, Solomonoff, Komolgarov और Wittgenstein के क्लासिक काम करने के लिए स्पष्ट कनेक्शन कर रहे हैं और धारणा है कि कोई कार्यक्रम (और इस तरह कोई डिवाइस) एक दृश्य उत्पन्न कर सकते हैं (या डिवाइस) अधिक से अधिक जटिलता के साथ यह पास से. कोई कह सकता है कि काम के इस शरीर का अर्थ नास्तिकता है क्योंकि भौतिक ब्रह्मांड से और विटगेनस्टीनियन दृष्टिकोण से कोई भी इकाई अधिक जटिल नहीं हो सकती है, 'अधिक जटिल' अर्थहीन है (संतोष की कोई शर्त नहीं है, अर्थात, सत्य-निर्माता या परीक्षण)। यहां तक कि एक 'भगवान' (यानी, असीम समय/स्थान और ऊर्जा के साथ एक 'डिवाइस' निर्धारित नहीं कर सकता है कि क्या एक दिया 'संख्या' 'यादृच्छिक' है, और न ही एक निश्चित तरीका है दिखाने के लिए कि एक दिया 'सूत्र', 'प्रमेय' या 'वाक्य' या 'डिवाइस' (इन सभी जटिल भाषा जा रहा है) खेल) एक विशेष 'प्रणाली' का हिस्सा है. आधुनिक दो systems दृश्यसे मानव व्यवहार के लिए एक व्यापक अप करने के लिए तारीख रूपरेखा इच्छुक लोगों को मेरी पुस्तक 'दर्शन, मनोविज्ञान, मिनडी और लुडविगमें भाषा की तार्किक संरचना से परामर्श कर सकते हैं Wittgenstein और जॉन Searle '2 एड (2019). मेरे लेखन के अधिक में रुचि रखने वालों को देख सकते हैं 'बात कर रहेबंदर- दर्शन, मनोविज्ञान, विज्ञान, धर्म और राजनीति पर एक बर्बाद ग्रह --लेख और समीक्षा 2006-2019 2 ed (2019) और आत्मघाती यूटोपियान भ्रम 21st मेंसदी 4वें एड (2019) . (shrink)

There are three questions associated with Simpson’s paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP? and (iii) How to proceed when confronted with SP? An adequate analysis of the paradox starts by distinguishing these three questions. Then, by developing a formal account of SP, and substantiating it with a counterexample to causal accounts, we argue that there are no causal factors at play in answering questions (i) and (ii). Causality enters only in connection (...) with action. (shrink)

This paper deals with Veronica Rodriguez-Blanco’s answer to the paradox of the normativity of law: How can autonomous self-legislating persons act, without compromising their autonomy and their will, following legal rules? Regarding Rodriguez-Blanco’s answer, I offer two main critiques. The first one is based on Rodriguez-Blanco’s comments to David Enoch’s paper in which I argue against the idea that a descriptive theoretical account of law can, and should, give an answer to general problems of normativity due to the fact (...) that a theoretical approach that engages in questions about the normativity of law cannot be purely descriptive, therefore against Rodriguez-Blanco I conclude that Enoch’s answer is the only response a descriptive account is able to offer. The second criticism focuses on Rodriguez-Blanco’s response to the paradox and argues that her solution is not, in fact, a descriptive one, but one that relies on strong normative premises, which as it turns out defend a perfectionist perspective towards the law.Resumen:Este trabajo analiza la respuesta que Veronica Rodriguez-Blanco propone para resolver la paradoja de la normatividad del derecho: ¿Cómo es posible que una persona autónoma actúe siguiendo los mandatos de normas jurídicas sin comprometer su autonomía ni su voluntad? El autor ofrece dos críticas a la respuesta de Rodriguez-Blanco. La primera de ellas está basada en los comentarios que Rodriguez-Blanco ha hecho sobre la propuesta de David Enoch. En este punto, el autor argumenta en contra de la idea según la cual una perspectiva descriptiva del derecho puede, y debe, tratar de responder a los problemas generales de la normatividad del derecho. De acuerdo con el autor, una perspectiva que pretenda dar respuesta a los problemas de la normatividad del derecho no puede ser una perspectiva puramente descriptiva. En este sentido, el autor sostiene que la respuesta que ofrece Enoch es la única respuesta que una perspectiva descriptiva del derecho puede dar. La segunda crítica está dirigida a la respuesta que Rodriguez-Blanco da sobre la paradoja de la normatividad. En este segundo punto el autor argumenta que la perspectiva de Rodriguez-Blanco no es una perspectiva descriptiva como ella presume, sino que adopta una perspectiva normativa la cual, además, está comprometida con una idea perfeccionista del derecho. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a (...) time machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

This paper aims to explore the nature of Zeno-machines by examining their conceptual coherence, from the perspective of contemporary theories on the passage of time. More specifically, it will analyse the following questions: Are Zeno-machines and supertasks coherent if we adopt the eternalist theory of time? What conclusions can be drawn from choosing the eternalist thesis, or the presentist thesis, when examining Zeno-machines? To this end, an overview of the opposing theories of time is provided, alongside the usual objections to (...) Zeno-machines and their theoretical foundations from Zeno’s dichotomy paradox. Keywords: Zeno-machines, philosophy of time, supertasks, Zeno’s paradox. (shrink)

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation (...) of Bekenstein-Hawking entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

This paper concerns the Black Box. It is not the engineer’s black box that can be opened to reveal its mechanism, but rather one whose operations are inferred through input from (and output to) a companion observer. We are observers ourselves, and we attempt to understand minds through interactions with their host organisms. To this end, Ranulph Glanville followed W. Ross Ashby in elaborating the Black Box. The Black Box and its observer together form a system having different properties than (...) either component alone, making it a greater Black Box to any further-external observer. How far into this greater box can a further-external observer probe? The answer is crucial to understanding Black Boxes, and so an answer is offered here. It employs von Foerster’s machines, abstract entities having mechano-electrical bases, just like putative Black Boxes. Von Foerster follows Turing, Ashby, E. F. Moore, and G. H. Mealy in recognizing archetype machines that he calls trivial (predictable) and non-trivial (non-predictable). It is argued here that non-trivial machines are the only true Black Boxes. But non-trivial machines can be concatenated from trivial machines. Hence, the utter core of any greater Black Box (a non-trivial machine) may involve two (or more) White Boxes (trivial machines). This is how an unpredictable thing emerges from predictable parts. Interactions of White Boxes—of trivial machines—may be the ultimate source of the mind. Keywords: . (shrink)

The aim of this paper is to argue that what I call the simple theory of introspection can be extended to account for our introspective knowledge of what we believe as well as what we consciously experience. In section one, I present the simple theory of introspection and motivate the extension from experience to belief. In section two, I argue that extending the simple theory provides a solution to Moore’s paradox by explaining why believing Moorean conjunctions always involves some (...) degree of irrationality. In section three, I argue that it also solves the puzzle of transparency by explaining why it’s rational to answer the question whether one believes that p by answering the question whether p. Finally, in section four, I defend the simple theory against objections by arguing that self-knowledge constitutes an ideal of rationality. (shrink)

In this paper, I attempt to address a fundamental challenge for machine intelligence: to understand whether and how a machine’s internal states and external outputs can exhibit original non-derivative intentionality. This question has three aspects. First, what does it take for a machine to exhibit original de dicto intentionality? Second, what does it take to exhibit original de re intentionality? Third, what is required for the machine to defer to the external objective world by respecting the (...) word-to-world direction of fit? I attempt to answer the first challenge by providing a constitutive counts-as understanding of de dicto intentionality. This analysis involves repurposing Kant’s vision of a self-legislating agent as a specification of a machine that reprograms itself. I attempt to answer the second and third challenges by extending Kant’s synchronic model of de dicto intentionality with Brandom’s interpretation of Hegel’s diachronic model of de re intentionality, using Hegel’s notion of recollection to provide an understanding of what is involved in achieving deference to the external world. (shrink)

“Could a machine think?” asks John R. Searle in his paper Minds, Brains, and Programs. He answers that “only a machine could think1, and only very special kinds of machines, namely brains.”2 The subject of this paper is the analysis of the aforementioned question through presentation of the symbol manipulation approach to intelligence and Searle's well-known criticism to this approach, namely the Chinese room argument. The examination of these issues leads to the systems reply of the Chinese room (...) argument and tries to illustrate that Searle's response to the systems reply does not detract from the symbol manipulation approach. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

An evolutionary approach to ethics supports, to some extent, the sceptical meta-ethics found by some of the Greek sophists and Nietzsche. On the other hand, a modern naturalistic account on the origin and nature of morality, leads to somewhat different conclusions. This is demonstrated with an answer to three philosophical questions: does real freedom exist?, does the good, or real virtue, exist?, does life have a meaning?

In virtue of what does a sign have meaning? This is the question raised by Wittgenstein's rule-following considerations. Semantic dispositionalism is a (type of) theory that purports to answer this question. The present paper argues that semantic dispositionalism faces a heretofore unnoticed problem, one that ultimately comes down to its reliance on unanalyzed notions of repeated types of signs. In the context of responding to the rule-following paradox—and offering a putative solution to it—this amounts to simply assuming a solution (...) to the problem in one domain and using it to solve the same problem in another. Given, moreover, the level at which the rule-following paradox undercuts dispositionalism—the level of the notion of a sign's repetition—the objections made to the view also rule out causal/informational theories of meaning as well as communitarian/assertion-theoretic ones as potential solutions to the rule-following paradox. (shrink)

While Aristotle provides the crucial testimonies for the paradoxes of motion, topos, and the falling millet seed, surprisingly he shows almost no interest in the paradoxes of plurality. For Plato, by contrast, the plurality paradoxes seem to be the central paradoxes of Zeno and Simplicius is our primary source for those. This paper investigates why the plurality paradoxes are not examined by Aristotle and argues that a close look at the context in which Aristotle discusses Zeno holds the answer to (...) this question. (shrink)

How should civil society deal with radical actors such as populists? Should democrats engage in an open dialogue or avoid confrontation? Should they listen to them, let them speak and try to expose them argumentatively, or should they deny them any kind of public platform? Rather than providing a normative answer to these questions, this article analyzes and systematizes responses that are already circulating in public discourse. In particular, we focus on reactions to the invitations of the AfD politicians Alice (...) Weidel and Marc Jongen to the Oxford Union (2018), the Zurich Theater Gessnerallee as well as the Hannah Arendt Center in New York (both 2017). We will show that the debates gave excessive weight to fundamental questions of democratic theory while marginalizing the specific context factors of the events. Because of this, the populists eventually gained the moral victory. (shrink)

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we (...) must reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

It is indubitable that machines with artificial intelligence (AI) will be an essential component in humans’ quest to become a spacefaring civilization. Most would agree that long-distance space travel and the colonization of Mars will not be possible without adequately developed AI. Machines with AI have a normative function, but some argue that it can also be evaluated from the perspective of ethical norms. This essay is based on the assumption that machine ethics is an essential philosophical perspective in (...) realizing the aim of humanity becoming a spacefaring civilization. In this essay, I explore two questions in the field of machine ethics, that I believe to be relevant to the role AI will play in long-distance space travel. The first is, should moral theory be extended to include machines with AI, and second, can machines be fully ethical agents? In this essay, I define AI and then discuss the difference between implicit, explicit and full ethical agents in relation to machines with AI. I then present the argument that the inclusion of moral theory is essential in the development of machines with AI. Without an adequate inclusion of moral theory in the design of AI it may pose an existential threat to humanity, especially in the development of super-intelligent machines. I also highlight that conceptual clarity is essential in the field of machine ethics and the choice of the conceptual foundation that informs AI research and development has ethical implications, especially in the case of super-intelligent machines. This essay is an exploratory and speculative philosophical analysis of certain aspects of machine ethics relevant to long-distance space travel and does not attempt to provide definitive answers to the questions posed in the essay, but instead aims to bring attention to what I deem important considerations. (shrink)

Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes (...) it can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project—an artificial intelligence program put into operation in 2010—is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

David Estlund has recently asked: how can structural injustice warrant resentment and indignation, given that it cannot fully be traced to culpable conduct? This article answers Estlund’s question. I propose that a social structure is an object that persists through time and is materially constituted by humans in relation. I use accounts of the point of blame to vindicate attitudes of resentment and indignation that target social structures themselves, without necessarily targeting their human constituents.

In his article, Vsevolod Ladov poses an important question – might paradoxes admit of a uniform solution? As an answer, I propose looking at an approach in which it is argued that we must recognize the truth predicate as merely analogous to a vague predicate. The proponents of this approach (V. McGee, J. Tappenden, H. Field, G. Priest and D. Hyde) insist that there is a structural relation between sorites paradoxes and self-reference paradoxes and that they should have a unified (...) solution. (shrink)