The standard argument to the conclusion that artificial intelligence (AI) constitutes an existential risk for the human species uses two premises: (1) AI may reach superintelligent levels, at which point we humans lose control (the ‘singularity claim’); (2) Any level of intelligence can go along with any goal (the ‘orthogonality thesis’). We find that the singularity claim requires a notion of ‘general intelligence’, while the orthogonality thesis requires a notion of ‘instrumental intelligence’. If this interpretation is (...) correct, they cannot be joined as premises and the argument for the existential risk of AI turns out invalid. If the interpretation is incorrect and both premises use the same notion of intelligence, then at least one of the premises is false and the orthogonality thesis remains itself orthogonal to the argument to existential risk from AI. In either case, the standard argument for existential risk from AI is not sound.—Having said that, there remains a risk of instrumental AI to cause very significant damage if designed or used badly, though this is not due to superintelligence or a singularity. (shrink)

The Value Alignment Problem (VAP) presupposes that artificial general intelligence (AGI) is desirable and perhaps inevitable. As usually conceived, it is one side of the more general issue of mutual control between agonistic agents. To be fully autonomous, an AI must be an autopoietic system (an agent), with its own purposiveness. In the case of such systems, Bostrom’s orthogonality thesis is untrue. The VAP reflects the more general problem of interfering in complex systems, entraining the possibility of unforeseen (...) consequences. Instead of consolidating skill in an agent that acts on its own behalf, it would be safer and as effective to create ad hoc task-oriented software tools. What motivates the quest to create a superintelligence with a will of its own? Is a general intelligence even possible that is not an agent? Such questions point to the need to clarify what general intelligence is, what constitutes an agent, whose values and intentionality are to be aligned, and how feasible “friendliness” is. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...) arise from the difficulty of avoiding unwanted behaviors of intelligent agents and systems, and at the same time specifying what we really want such systems to do, especially when we look for the possibility of intelligent agents acting in several domains over the long term. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop human moral values simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic approach proposed by Dreyfus, whose phenomenological philosophy shows that the human experience of being-in-the-world in several aspects is not well represented by the symbolic or connectionist cognitive method, especially in regards to the question of learning values. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

Alan Turing, one of the fathers of computing, warned that Artificial Intelligence (AI) could one day pose an existential risk to humanity. Today, recent advancements in the field AI have been accompanied by a renewed set of existential warnings. But what exactly constitutes an existential risk? And how exactly does AI pose such a threat? In this chapter we aim to answer these questions. In particular, we will critically explore three commonly cited reasons for thinking that AI poses an existential (...) threat to humanity: the control problem, the possibility of global disruption from an AI race dynamic, and the weaponization of AI. (shrink)

Recent progress in artificial intelligence (AI) has drawn attention to the technology’s transformative potential, including what some see as its prospects for causing large-scale harm. We review two influential arguments purporting to show how AI could pose catastrophic risks. The first argument — the Problem of Power-Seeking — claims that, under certain assumptions, advanced AI systems are likely to engage in dangerous power-seeking behavior in pursuit of their goals. We review reasons for thinking that AI systems might seek power, that (...) they might obtain it, that this could lead to catastrophe, and that we might build and deploy such systems anyway. The second argument claims that the development of human-level AI will unlock rapid further progress, culminating in AI systems far more capable than any human — this is the Singularity Hypothesis. Power-seeking behavior on the part of such systems might be particularly dangerous. We discuss a variety of objections to both arguments and conclude by assessing the state of the debate. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance isn't done with prudence, it can result in negative outcomes for humanity. For this reason, several researchers in the area are trying to develop a robust, beneficial, and safe concept of artificial intelligence. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted (...) behaviors of intelligent agents, and at the same time specifying what we want such systems to do. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop our moral preferences simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic cognitive approach proposed by Dreyfus, whose phenomenological philosophy defends that the human experience of being-in-the-world cannot be represented by the symbolic or connectionist cognitive methods. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

The thesis is: the “periodic table” of “dark matter” is equivalent to the standard periodic table of the visible matter being entangled. Thus, it is to consist of all possible entangled states of the atoms of chemical elements as quantum systems. In other words, an atom of any chemical element and as a quantum system, i.e. as a wave function, should be represented as a non-orthogonal in general (i.e. entangled) subspace of the separable complex Hilbert space relevant to the (...) system to which the atom at issue is related as a true part of it. The paper follows previous publications of mine stating that “dark matter” and “dark energy” are projections of arbitrarily entangled states on the cognitive “screen” of Einstein’s “Mach’s principle” in general relativity postulating that gravitational field can be generated only by mass or energy. (shrink)

In the contemporary discussions concerning unconscious perception it is not uncommon to postulate that content and phenomenal character are ‘orthogonal’, i.e., there is no type of content which is essentially conscious, but instead, every representational content can be either conscious or not. Furthermore, this is not merely treated as a thesis justified by theoretical investigations, but as supported by empirical considerations concerning the actual functioning of the human cognition. In this paper, I address unconscious color perception and argue for (...) a negative thesis—that the main experimental paradigms used in studying unconscious color perception do not provide support for the position that conscious and unconscious color representations have the same type of content. More specifically, I claim that there is no significant support for the claim that unconscious vision categorically represents surface colors. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our (...) field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

This paper presents arguments from empirical research and from philosophical considerations to the effect that phenomenality and content are two distinct and independent features of mental representations, which are both relational. Thus, it is argued, classical arguments that infer phenomenality from content have to be rejected. Likewise, theories that try to explain the phenomenal character of experiences by appeal to specific types of content cannot succeed. Instead, a dynamic view of consciousness has to be adopted that seeks to explain consciousness (...) by certain ways of processing representations. Therefore, only empirical methods that are able to investigate the dynamics of the mind can be used for the “quest for consciousness” proper. Moreover, the central intuitions about consciousness are best explained when phenomenality and content are clearly distinguished. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

I argue that physicians can save women from life-threatening pregnancies by performing a craniotomy, placentectomy, or salpingotomy without intending death or harm. To support this conclusion, I defend the relevance thesis about intentions (a person intends X only if X explains the action). I then criticize the identity thesis (if a person intends X and knows X is Y then the person intends Y) and three mistakenly strict moral principles: (1) one may not intend something that is a (...) serious harm for an innocent person, (2) one may not intend to terminate pregnancy before viability, which would prohibit, and (3) one may not act on a person’s body in a harmful way in order to benefit another person. (1) would prohibit procuring organs from living donors, (2) would prohibit treating hepatic pregnancies and other ectopic pregnancies, and (3) would prohibit procuring organs from living donors and performing many prenatal surgeries. (shrink)

This entry introduces the Lockean Thesis and sketches the ways in which the lottery paradox, the preface paradox, and the problem of merely statistical evidence can be used to put pressure on the Lockean Thesis.

FOURTH EUROPEAN CONGRESS OF MATHEMATICS STOCKHOLM,SWEDEN JUNE27 ­ - JULY 2, 2004 Contributed papers L. Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z and Τ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem (...) can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

In tradition linked to Aristotle and Kant, many contemporary philosophers treat practical and theoretical normativity as two genuinely distinct domains of normativity. In this paper I consider the question of what it is for normative domains to be distinct. I suggest that there are two different ways that the distinctness thesis might be understood and consider the different implications of the two different distinctness theses.

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it (...) can be overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

This entry summarizes arguments for and against the thesis that knowledge entails belief.

In this article, I explore the relationship between the supersession thesis and the rights of future people. In particular, I show that changes in circumstances might supersede future people’s rights. I argue that appropriating resources that belong to future people does not necessarily result in a duty to return the resources in full. I explore how these findings are relevant for climate change justice. Assuming future generations of developing countries originally had a right to use a certain amount of (...) the carbon budget, changing circumstances could result in rights-supersession. Consequently, members of future generations of industrialized countries may be allowed to use part of the share of the carbon budget belonging to developing countries. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The (...) class='Hi'>thesis is formalised rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z andΤ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators (...) can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

The Thesis of Kant’s Third Antinomy asserts that, because it is “necessary to assume another causality through freedom” in order to derive all the appearances of the world, “causality in accordance with the laws of nature is not the only one” (A444/B472). The argument Kant supplies in support of this, however, has been the subject of interpretative disagreement since at least Schopenhauer, with the most plausible reconstructions being dismissed as question-begging, resting on a conflation relating to the principle of (...) sufficient reason, or attacking a straw-man of the Antithesis position. In this paper, I attempt to provide a novel interpretation of the argument for the Thesis position, one that offers a more compelling case against a charitably interpreted Antithesis position. (shrink)

In this short paper we extend the dialectical triad thesis-antithesis-synthesis to the neutrosophic tetrad thesis-antithesis-neutrothesis-neutrosynthesis. We do this for better reflecting our world, since the neutralities between opposites play an important role. The neutrosophic synthesis (neutrosynthesis) is more refined that the dialectical synthesis. It carries on the unification and synthesis regarding the opposites and their neutrals too.

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define (...) four criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

I spell out and update the individuality thesis, that species are individuals, and not classes, sets, or kinds. I offer three complementary presentations of this thesis. First, as a way of resolving an inconsistent triad about natural kinds; second, as a phylogenetic systematics theoretical perspective; and, finally, as a novel recursive account of an evolved character. These approaches do different sorts of work, serving different interests. Presenting them together produces a taxonomy of the debates over the thesis, (...) and isolates ways it has been productive. This goes to the larger point of this paper: a defense of the individuality thesis in terms of its utility, and an update of it in light of recent theoretical developments and empirical work in biology. (shrink)

This book presents a critical analysis of the semantic incommensurability thesis of Thomas Kuhn and Paul Feyerabend. In putting forward the thesis of incommensurability, Kuhn and Feyerabend drew attention to complex issues concerning the phenomenon of conceptual change in science. They raised serious problems about the semantic and logical relations between the content of theories which deploy unlike systems of concepts. Yet few of the more extreme claims associated with incommensurability stand scrutiny. The argument of this book is (...) as follows. The terms of theories with different concepts diverge semantically and the vocabularies of such theories may not be fully intertranslatable. Given the possibility of referential overlap between the terms of conceptually divergent theories, it does not follow that the content of such theories is incomparable. Nor, given the distinction between understanding a language and translation from one language into another, does it follow that the proponents of mutually untranslatable theories are unable to communicate. Neither is it the case that the shift between conceptually divergent theories involves a discontinuous transition between theories which have no common reference or that refer to distinct worlds of their own making. The semantic differences resulting from conceptual variance may be embraced within a thoroughly realist framework on which they are construed as diverse linguistic relations to a fixed and independent reality. -/- The book, which was originally published in 1994, has now been re-issued in the Routledge Revivals series. -/- . (shrink)

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and (...) probabilistic theory of conditionals with attractive results and predictions. (shrink)

The Uniqueness Thesis (U), according to Richard Feldman and Roger White, says that for a given set of evidence E and a proposition P, only one doxastic attitude about P is rational given E. Luis Rosa has recently provided two counterexamples against U which are supposed to show that even if there is a sense in which choosing between two doxastic attitudes is arbitrary, both options are equally and maximally rational. Both counterexamples work by exploiting the idea that ‘ought (...) implies can’ and trying to spell out situations in which some inferences are beyond the capabilities of some reasoners. I argue that on a descriptive account of doxastic rationality, questions of whether ‘epistemic ought implies can’ can be bracketed and that at least one of the inferential moves that Rosa describes in his cases is irrational. I further argue that a descriptive account of doxastic rationality is the appropriate notion of rationality that is to be considered when evaluating U. If my argument for a descriptive account of rationality is successful, then we have reason to revise our use of the term rationality to fit this descriptive understanding. (shrink)

In support of Descartes’ epistemology, Lex Newman advances the ‘Non-atheistic-knowledge- thesis’, i.e., indefeasible knowledge cannot be gained unless the existence of God is proved. Here I expound the ‘non-atheistic-thesis-of-Cartesian-metaphysics’, which, unlike Newman’s, refers to how four Cartesian metaphysical conclusions require the existence of God. To test whether such conclusions need divine existence, we may ask what would happen if God did not play any decisive role in the Meditations. As I argue, four unpalatable consequences would follow for Cartesian (...) metaphysics, which would ruin Descartes’ plan to refute the skeptic and the atheist alike. (shrink)

The thesis of experiential revelation—Rev for brevity—in the philosophy of mind claims that to have an experience—i.e., to be acquainted with it—is to know its nature. It is widely agreed that although at least moderate versions of Rev might strike one as plausible and perhaps even appealing, at least up to a certain extent, most of them are nonetheless inconsistent with almost any coherent form of physicalism about the mind. Thus far, the issue of the alleged tension between Rev (...) and physicalism has mostly been put in the relevant literature in terms of phenomenal concepts—those concepts which refer to phenomenal properties, or qualia, and characterize them in terms of the peculiar quality(ies) they exhibit—and some kind of “special feature” those concepts allegedly possess. I call this version of Rev C-Rev. This paper aims to suggest that while it is true that phenomenal concepts reveal the nature of their referent(s)—i.e., it is a priori, for a subject possessing the concept and just in virtue of possessing it, what it is for the referent(s) of the concept to be part of reality—this feature of them, in turn, rests on a non-conceptual non-propositional kind of knowledge, namely, sui generis introspective knowledge by acquaintance of one’s own phenomenally conscious states. I call this version of Rev A-Rev. §1 provides some introductory material. In §2 I discuss two arguments that have recently been put forth to undermine the cogency of C-Rev against physicalism. §3 elaborates on the historical roots of C-Rev. §4 presents some of the major arguments which have been offered for A-Rev. A few concluding remarks close the paper. (shrink)

The Qualitative Thesis says that if you leave open P, then you are sure of if P, then Q just in case you are sure of the corresponding material conditional. We argue the Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we present an argument—due to Ben (...) Holguín—showing that, without Conditional Locality, the Qualitative Thesis is in tension with a margin for error principle on rational sureness. We show Conditional Locality reconciles the Qualitative Thesis with the margin for error principle. In the second part, we argue the full range of data supports what we call the Strong Qualitative Thesis. Without Conditional Locality, the Strong Qualitative Thesis has unacceptable consequences. But with Conditional Locality, it is tenable. (shrink)

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undeter- mined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his (...) third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and log- ical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism. (shrink)

Abstract According to Habermas' colonization thesis, reification is a social pathology that arises when the communicative infrastructure of the lifeworld is 'colonized' by money and power. In this paper I argue that, thirty years after the publication of the Theory of Communicative Action, this thesis remains compelling. However, while Habermas offers a functionalist explanation of reification, his normative criticism of it remains largely implicit: he never explains what is wrong with reification from the perspective of the people whose (...) social relations are reified. As a result, Habermas cannot explain why only some forms of colonization lead to reification effects. In particular, he suggests that reification effects result from the juridification of communicatively structured domains of action but not from the commodification of labour power. I criticize this argument and suggest that if the normative dimension of the colonization thesis is made explicit, a more nuanced explanation of reification becomes possible. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can (...) see p and not know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

According to Kemp Smith, Descartes believed that animals were devoid of feelings and sensations. This is the so-called ‘monstrous thesis,’ which I explore here in light of two Cartesian approaches to animals. Firstly, I examine their original treatment in function of Descartes’ early metaphysical approach, i.e., all natural phenomena are to be elucidated in terms of mental scrutiny. As pain would only exist in the understanding, and animals have neither understanding nor souls, Descartes held that they did not suffer. (...) Secondly, I look at the Cartesian late naturalism; specifically, at how animals are subsequently regarded as machines that may suffer. Lastly, I conclude that the ‘monstrous thesis’ is not Cartesian because animals are machines with feelings and sensations. However, Descartes’ surprising indulgence towards humans who kill and eat animals supposes that empathy for beings who may suffer is not necessary. This may raise doubts as to another ‘monstrous thesis.'. (shrink)

In the philosophy of mind, revelation is the claim that the nature of qualia is revealed in phenomenal experience. In the literature, revelation is often thought of as intuitive but in tension with physicalism. While mentions of revelation are frequent, there is room for further discussion of how precisely to formulate the thesis of revelation and what it exactly amounts to. Drawing on the work of David Lewis, this paper provides a detailed discussion on how the thesis of (...) revelation, as well as its incompatibility with physicalism, is to be understood. (shrink)

In this paper, I argue that there is neither valid deductive support nor strong inductive support for Kuhn’s incommensurability thesis. There is no valid deductive support for Kuhn’s incommensurability thesis because, from the fact that the reference of the same kind terms changes or discontinues from one theoretical framework to another, it does not necessarily follow that these two theoretical frameworks are taxonomically incommensurable. There is no strong inductive support for Kuhn’s incommensurability thesis, since there are rebutting (...) defeaters against it in the form of episodes from the history of science that do not exhibit discontinuity and replacement, as Kuhn’s incommensurability thesis predicts, but rather continuity and supplementation. If this is correct, then there are no compelling epistemic reasons to believe that Kuhn’s incommensurability thesis is true or probable. (shrink)

The so-called `no-thesis' view is without a doubt one of the most immediately puzzling philosophical features of Nāgārjuna's thought and also largely responsible for ascribing to him either sceptical or mystical leanings (or indeed both). The locus classicus for this view is found in verse 29 of the Vigrahavyāvartanī: “If I had some thesis the defect [just mentioned] would as a consequence attach to me. But I have no thesis, so this defect is not applicable to me.” (...) That this absence of a thesis is to be regarded as a positive feature is stressed in a passage from the Yuktiṣaṣṭikā, where Nāgārjuna remarks about the Buddhas: “For these great beings there is no position, no dispute. How could there be another's [opposing] position for those who have no position?” Now it is important to observe that when considered in isolation it is very hard to make any coherent sense of these passages. For even if we assume that the Buddhas do not hold any philosophical position anymore (having perhaps passed beyond all conceptual thinking), how are we to make sense of the first quotation which, in the middle of a work full of philosophical theses claims that there is no such thesis asserted at all? (shrink)

Two important thought-experiments are associated with the work of Hilary Putnam, one designed to establish multiple realizability for mental kinds, the other designed to establish essentialism for natural kinds. Comparing the thought-experiments with each other reveals that the scenarios in both are structurally analogous to each other, though his intuitions in both are greatly at variance, intuitions that have been simultaneously well received. The intuition in the former implies a thesis that prioritizes pre-scientific over scientific indicators for identifying mental (...) kinds in certain circumstances, while his intuition in the latter implies a converse thesis, prioritizing scientific over pre-scientific indicators for identifying natural kinds in analogous circumstances. In this paper I question whether we can consistently endorse both of these intuitions. A consideration is presented to attempt to justify the common intuition found in the multiple realization thought-experiment. Then it is argued that this same consideration has application in the structurally analogous Twin-Earth thought-experiment. This recommends a kind of multiple realization thesis for natural kinds, in opposition to a scientific essentialist approach. The various respects in which mental kinds like pain and natural kinds like water are similar to each other, such that similar philosophical treatments are warranted for both, are enumerated. (shrink)

According to the No-Luck-Thesis knowledge possession is incompatible with luck – one cannot know that p if the truth of one’s belief that p is a matter of luck. Recently, this widespread opinion was challenged by Peter Baumann, who argues that in certain situations agents do possess knowledge even though their beliefs are true by luck. This paper aims at providing empirical data for evaluating Baumann’s hypothesis. The experiment was designed to compare non-philosophers’ judgments concerning knowledge and luck in (...) one case that Baumann takes to be in favor of his claim and other cases where, according to him, absence of knowledge coincides with luck. The results show that the cases do not differ in a significant way between each other with respect to verdicts regarding knowledge and luck. In all cases subjects were more reluctant to judge that the ‘Gettierized’ belief is knowledge and more likely to judge that it is true by luck in comparison to a belief that is an uncontroversial instance of knowledge. However, the negative relationship between knowledge and luck ascriptions predicted by the No-Luck-Thesis was almost absent. The data raise some doubts about the No-Luck-Thesis, but the reasons for doubt are different than what Baumann expected. (shrink)

Even though fatalism has been an intermittent topic of philosophy since Greek antiquity, this paper argues that fate ought to be of little concern to metaphysicians. Fatalism is neither an interesting metaphysical thesis in its own right, nor can it be identified with theses that are, such as realism about the future or determinism.

The purpose of this paper is to examine the separability of law and morality within an analytic jurisprudential framework. The paper is comprised of four parts. First, the separability thesis will be discussed and defined. Second, Hart’s legal positivist account of law will be presented, which defends the separability thesis. Third, two objections from a natural law perspective (classical and contemporary) will be proposed against the legal positivist position, thereby rejecting the separability thesis. Each objection will be (...) accompanied by a possible Hartian reply. Finally, I will offer a novel analysis of the arguments as well as state why I find the Hartian approach preferable to the natural law theorist’s in regard to the separability thesis. (shrink)

The «extended mind thesis» sounds like a substantive thesis, the truth of which we should investigate. But actually the thesis a) turns about to be just a statement on where the demarcations for the «mental» are to be set (internal, external,…), i.e. it is about the «mark of the mental»; and b) the choice about the mark of the mental is a verbal choice, not a matter of scientific discovery. So, the «extended mind thesis » is (...) a remark on how its supporters or opponents want to use the word ‘mind’, not a thesis of cognitive science or philosophy. The upshot of the extended mind discussion should not be to draw the line further out, but to drop the demarcation project. (shrink)

What factors are involved in the resolution of scientific disputes? What factors make the resolution of such disputes rational? The traditional view confers an important role on observation statements that are shared by proponents of competing theories. Rival theories make incompatible (sometimes contradictory) observational predictions about a particular situation, and the prediction made by one theory is borne out while the prediction made by the other is not. Paul Feyerabend, Thomas Kuhn, and Paul Churchland have called into question this account (...) of theory-resolution. According to these philosophers, substantially different and competing scientific theories are semantically incommensurable: those theories do not share a common observation language. Two charges have been leveled against the semantic incommensurability theories. The first is that it ignores that some semantic features of observational terms (e.g., their reference) can be expressed by proponents of competing theories. The second is that the semantic incommensurability thesis is self-defeating. In this paper I will argue that both of these charges are true but not for the reasons usually given. (shrink)

Computers are used to make decisions in an increasing number of domains. There is widespread agreement that some of these uses are ethically problematic. Far less clear is where ethical problems arise, and what might be done about them. This paper expands and defends the Ethical Gravity Thesis: ethical problems that arise at higher levels of analysis of an automated decision-making system are inherited by lower levels of analysis. Particular instantiations of systems can add new problems, but not ameliorate (...) more general ones. We defend this thesis by adapting Marr’s famous 1982 framework for understanding information-processing systems. We show how this framework allows one to situate ethical problems at the appropriate level of abstraction, which in turn can be used to target appropriate interventions. (shrink)

Recent research has defended the surprising thesis that in many cases the search for truth is better off if the information exchanged between the members of an epistemic community is limited. This is what one may call the limited information thesis. There is, however, the possibility of an even more radical position than this: the thesis that any communication between peers has zero epistemic value and that the search for truth is better off if the truth-inquirer does (...) not take into consideration the truth-claims of her peers. This can be called the solitude thesis. The paper defends the claim that Descartes is a supporter of the solitude thesis with respect to metaphysical inquiry. The defense is facilitated by means of interpreting textual evidence found in Descartes’ essays Discourse on the Method, The Search for Truth and the Meditations on First Philosophy. (shrink)

Frege claims that sentences of the form ‘A’ are equivalent to sentences of the form ‘it is true that A’ (The Equivalence Thesis). Frege also says that there are fictional names that fail to refer, and that sentences featuring fictional names fail to refer as a result. The thoughts such sentences express, Frege says, are also fictional, and neither true nor false. Michael Dummett argues that these claims are inconsistent. But his argument requires clarification, since there are two ways (...) The Equivalence Thesis has been formulated, according as the thesis equates the senses or the referents of the relevant sentences. -/- I have two aims in this paper. The first is to demonstrate that a sameness of sense thesis is inconsistent with Frege’s other theses. The second is to argue that a sameness of reference thesis is consistent with them. Thus, all else being equal, Frege ought to endorse a sameness of reference, rather than a sameness of sense thesis. (shrink)

In this paper, I raise an objection to Philip Goff’s “Revelation Thesis” as articulated in his Consciousness and Fundamental Reality. In Sect. 1 I present the Revelation Thesis in the context of Goff’s broader defence of pan-psychism. In Sect. 2 I argue that the Revelation Thesis entails the identity of indiscriminable phenomenal properties. In Sect. 3 I argue that the identity of indiscriminable phenomenal properties is false. The upshot is that the Revelation Thesis is false.