Prof. Miščević has long been an ardent defender of the use of thought experiments in philosophy, foremost metaphysics, epistemology and philosophy of mind. Recently he has, in his typically sophisticated manner, extended his general account of philosophical thought-experimenting to the domain of normative politics. Not only can the history of political philosophy be better understood and appreciated, according to Miščević, when seen as a more or less continuous, yet covert, practice of thought-experimenting, the very progress of the (...) discipline may crucially depend on finding the right balance between the constraints of (biological, psychological, economic, political, and so on) reality and political-moral ideals when we set to design our basic political notions and institutions. I have much less confidence in this project than prof. Miščević does. As a subspecies of moral TEs, political TEs share all their problems plus exhibit some of their own. In the paper, I present and discuss two types of evidence that threaten to undermine political philosophers’ trust in thought experiments and the ethical/political intuitions elicited by them: (i) the dismal past record of thought-experimentation in moral and political philosophy; and (ii) the variety, prevalence, and stubbornness, of bias in social/political judgment. (shrink)

It is often presupposed that an anti-individualist about representational mental states must choose between two accounts of no-reference cases. One option is said to be an ‘illusion of thought’ version according to which the subject in a no-reference case fails to think a first-order thought but rather has the illusion of having one. The other is a ‘descriptive’ version according to which one thinks an empty thought via a description. While this presupposition is not uncommon, it rarely (...) surfaces in an explicit manner. Often, it is visible only when a theorist argues directly from the falsity of one of the two views to the truth of the other. However, Jessica Brown’s recent work on anti-individualism clearly illustrates the presupposition. In contention with Brown’s and others presupposition, arguments for two conclusions about the nature of anti-individualism are set forth. First, the choice between the illusion and descriptive version of anti-individualism is a dilemma. Each version of anti-individualism is prone to problems. Second, the choice is a false dilemma. There is another, less problematic, anti-individualistic account of reference failure. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in (...) a variety of distinct ways. I extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The classic thought experiments for Content Externalism have been motivated by consideration of intentional states with a mind-to-world direction of fit. In this paper, I argue that when these experiments are run on intentional states with a world-to-mind direction of fit, the thought experiments actually support Content Internalism. Because of this, I argue that the classic thought experiments alone cannot properly motivate Content Externalism. I do not show that Content Externalism is false in this paper, just (...) that it cannot be motivated by the classic thought experiments alone. I discuss various externalist responses to the argument I raise and show that they all fail. (shrink)

Thought (νοῦς) for Aristotle is ‘that whereby the soul thinks and judges.’ This identity, however, ‘is not actually any real thing before thinking’ (ἐνεργείᾳ τῶν ὄντων πρὶν νοεῖν) and, thus, cannot reasonably be regarded as blended with the body and cannot acquire any quality or have any organ. (So., Γ, 4, 429a22-27) In fact, Aristotle defines thought more with a capability: ‘That which is capable of receiving the object of thought, i.e. the substance, is thought.’ (Met., (...) Λ, 1072b22-23) Thought is not blended with and, thus, is separable from body. (So., Γ, 4, 429b4-5) This separability, however, belongs only to the active thought. (So., Γ, 5, 430a17-19) A. Nature of thought ‘Since everything is a possible object of thought,’ Aristotle believes, as Anaxagoras believed before him, in order to know things, mind ‘must be pure from all admixtures.’ The reason for this being that ‘the co-presence of what is alien to its nature is a hindrance and a block.’ Therefore, thought ‘can have no nature of its own other than that of having a certain capacity.’ (So., Γ, 4, 429a18-22) B. Thought elements A thought element, i.e. an element/object in thought or a concept (νόημα) has the following features: 1. Every thought element or concept (νόημα) is single (ἓν). This singularity is not restricted to substances because the concept of any other thing is single as well. (Met., A, 990b22-27) 2. Concepts (νόηματα) of thought are either simple or complex. Simple concepts do not involve truth or falsity but complex ones do. Aristotle speaks of ‘thoughts without co-positing and positing away’ (ἄνευ συνθέσεως καὶ διαίρέσεως νοήματι) to which nouns and verbs are similar. (OI., I, 1, 16a13-14) In OI., I, 1, 16a9-11 Aristotle does not use the words simple or complex but his assertion implies them: ‘As there are in the mind thoughts (νόημα) which do not involve truth or falsity, and also those which must be either true or false, so it is in speech.’ 3. The copula-is has no corresponding concept in thought: ‘For neither are ‘to be’ and ‘not to be’ the participle ‘being’ significant of any fact, unless something is added; for they do not themselves indicate anything, but imply a copulation, of which we cannot form a conception apart from the things coupled.’ (OI., I, 3, 16b22-25) C. Thought and its objects To understand Aristotle’s theory of thought, we have two differentiations, one between objects of thought and one in thought itself. Everything that might be posited in front of our thought and be thought as a possible object of thought we call object I (to distinguish it from what we call object II). Therefore, everything in the world is an object I of thought. These objects are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things. (So., Γ, 8, 432a3-6) These objects might be either composite, containing matter and form, or simple and matterless. When they are thought, we will have them in thought but not necessarily as they are in the world, i.e. as object I, but as something else, which we call object II. This is supposed to make the difference between object I and object II clear: object I is in the world and object II is its corresponding object in our thought. These two kinds of objects are neither necessarily the same nor necessarily different. Objects I are of two kinds: matterful and matterless. Whereas a matterful object I is necessarily different from its corresponding object II (So., Γ, 4, 430a6-9), a matterless object I is not different from its corresponding object II. (So., Γ, 4, 430a2-5; Met., Λ, 1075a3-4) Object II must thus be understood as the form of object I: ‘The thinking part of the soul must therefore be, while impassible, capable of receiving the form of an object; that is, must be potentially identical in character with its object without being the object.’ (So., Γ, 4, 429a13-16) Thought has no nature by its own and is all potentiality before thinking. (cf. So., Γ, 4, 429b6-10) Let’s call this the first potentiality of thought. This potentiality is the potentiality of a tabula rasa: ‘Thought is in a sense potentially whatever is thinkable, though actually it is nothing until it has thought? What it thinks must be in it just as characters may be said to be on a writing-table on which as yet nothing actually stands written: this is exactly what happens with thought.’ (So., Γ, 4, 429b29-430a2) Thought is then all dependent on its objects. By thinking on objects I, objects II are formed in thought. Now thought is nothing but its objects II which are necessarily matterless objects (Met., Λ, 1075a5-7): ‘In every case the thought which is actively thinking is the objects which it thinks.’ (So., Γ, 7, 431b16-17) Thought is the same as its objects II and in the case of matterless objects I, it is the same as its objects I. (Met., Λ, 1075a3-5) This thought is actual compared to its first potentiality: while it was all potentiality in its first potentiality, it now contains some objects II and is then actual. It seems we must interpret Aristotle based on this sense of actuality when he calls a thought possessing object as active: ‘For that which is capable of receiving the objects of thought, i.e. the substance, is thought. And it is active when it possesses this object.’ (Met., Λ, 1072b22-23) This thought, however, is called passive thought due to a second potentiality: ‘When thought has become each thing in the way in which a man who actually knows is said to do so (this happens when he is now able to exercise the power on his own initiatives). Its condition is still one of potentiality, but in a different sense from the potentiality which preceded the acquisition of knowledge by learning or discovery; and thought is then able to think of itself.’ (So., Γ, 4, 429b6-10) It is this thought in its second potentiality that Aristotle calls passive thought distinguishing it from active thought: ‘And in fact thought … is what it is by virtue of becoming all things, while there is another which what it is by virtue of making all things: this is a sort of positive state like light; for in a sense light makes potential colors into actual colors.’ (So., Γ, 5, 530a14-17) These two thoughts have a relationship like the relationship between matter and productive cause: ‘Since in every class of things, as in nature as a whole, we find two factors involved, a matter which is potentially all the particulars included in the class, a cause which is productive in the sense that it makes them all (the latter standing to the former, as e.g. an art to its material), these elements must likewise be found within the soul.’ (So., Γ, 5, 430a10-14) To understand Aristotle’s sense of active thought we must consider his theory of thinking. (shrink)

Wordly internalists claim that while internal duplicates always share the same evidence, our evidence includes non-trivial propositions about our environment. It follows that some evidence is false. Worldly internalism is thought to provide a more satisfying answer to scepticism than classical internalist views that deny that these propositions about our environment might belong to our evidence and to provide a generally more attractive account of rationality and reasons for belief. We argue that worldly internalism faces serious difficulties and (...) that its apparent advantages are illusory. First, it cannot adequately handle some not terribly strange cases of perceptual error. Second, it cannot explain why one should plan to use their evidence to update their beliefs. The second issue allows us to explain why cases of misplaced certainty do not require us to introduce false evidence into our views and that why the alleged advantage of worldly internalism in resisting sceptical pressures is illusory. (shrink)

If language and thought are to be taken as objective, they must respond to how the world is. I propose to explain this responsiveness in terms of conditions of correction, more precisely, by taking thoughts and linguistic utterances to be assessible as true or false. Furthermore, the paper is committed to a form of quietism according to which the very same thing that can be (truly) thought or expressed is the case: ‘soft facts’ as opposed to hard, (...) free-standing facts, independent of any possible rational activity of grasping them. (shrink)

As part of Timothy Williamson’s inquiry into how we gain knowledge from thought experiments he submits various ways of representing the argument underlying Gettier cases in modal and counterfactual terms. But all of these ways run afoul of the problem of deviance - that there are cases that might satisfy the descriptions given by a Gettier text but still fail to be counterexamples to the justified true belief model of knowledge). Problematically, this might mean that either it is too (...) hard to know the truth of the premises of the arguments Williamson presents or that the relevant premises might be false. I argue that the Gettier-style arguments can make do with weaker premises (and a slightly weaker conclusion) that suffice to show that “necessarily, if one justifiably believes some true proposition p, then one knows p” is not true. The modified version of the argument is preferable because it is not troubled by the existence of deviant Gettier cases. (shrink)

Plato's Theaetetus rejects four explanations of how someone could falsely believe something. The Sophist accepts an explanation of how someone could falsely believe something. The problem is to fit together what Plato rejects in the Theaetetus with what he accepts in the Sophist, given the intended unity of these two dialogues. ;The traditional solution is to take the Sophist's explanation of false speech and belief to be Plato's last word on the matter, to take that explanation as somehow overreaching (...) the problems raised in the Theaetetus. I argue that this solution is unsatisfactory: Using the Cratylus, I point out a 'match-up postulate' needed for false speech, namely, that a person can 'match-up' x with y in some way or other whether or not x and y really belong together in that way. But The Theaetetus rejects this postulate. And This rejection is canonical, that is, Plato is there arguing in his own person. Now Nowhere in the Sophist is any reason given to accept this postulate, nor is it compatible with certain parts of the Sophist. Thus The Sophist's explanation does not overreach the problems raised in the Theaetetus. ;Having rejected the traditional way of fitting together the Theaetetus and Sophist, I suggest the following new way. Instead of taking the explanation of the Sophist to be Plato's last word on false speech, I take his last word to be the rejection of the various explanations in the Theaetetus. ;I motivate this suggestion by comparing Plato's peculiar style of dialogue--as found, for instance, in the Laches and Meno--with the modern, expository style of presenting philosophy. The aim of my comparison is to show that, whereas in an exposition the arguing is done in the middle followed by the conclusion at the end, in Plato's dialogue style the arguing is done in the middle followed by a denial of the conclusion at the end. (shrink)

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. (...) My argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (shrink)

Suppose that a physical duplicate of me, right down to the arrangements of subatomic particles, comes into existence at the time at which I finish this sentence. Suppose that it comes into existence by chance, or at least by a causal process entirely unconnected with me. It might be so situated that it, too, is seated in front of a computer, and finishes this paragraph and paper, or a corresponding one, just as I do. (i) Would it have the same (...) thoughts I do? (ii) Would it speak my language? (iii) Would my duplicate have any thoughts or (iv) speak any language at all? To fix the interpretation of these questions, I will take ‘thought’ to cover any mental state which has a representational content, where ‘representational content’ is intended to be neutral with respect to psychological mode. By 'psychological mode' I mean what distinguishes kinds of thoughts, such as belief, visual perceptual experience, desire, etc. Representational content, or thought content, as I will also say, determines the conditions under which a thought is true or false, veridical or non-veridical, or, more broadly, is satisfied or fails to be satisfied, independently of relativization to circumstances, possible worlds, or the like. Beliefs, desires, hopes, intentions, and perceptual experiences will all count as thoughts on this usage. The question whether one person has the same (type of) thought as another is the question whether both have a mental state with the same representational content in the same psychological mode. I will not count epistemic verbs, however, as picking out or expressing a (pure) psychological mode. Thus, although knowing that the time is ripe, seeing that there is a goldfinch in the garden, and remembering that my wife’s birthday is next Tuesday are all thoughts, they do not pick out the thoughts by using a verb that expresses a psychological mode. Therefore knowing, seeing or remembering the same things is not a requirement on having the same thoughts.. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is (...) that a popular doctrine - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

The dominant Greek and Roman ideology held that the best human life required engaging in politics, on the grounds that the human good is shared, not private, and that the activities central to this shared good are those of traditional politics. This chapter surveys three ways in which philosophers challenged this ideology, defended a withdrawal from or transformation of traditional politics, and thus rethought what politics could be. Plato and Aristotle accept the ideology's two central commitments but insist that a (...) few exceptional human beings could transcend the good of human activities. Epicurus argues that the human good is private, not shared. Socrates and some of his followers, including especially the Stoics, argue that the activities central to the shared human good are not those of traditional politics. (shrink)

This chapter investigates the conflict between thought and speech that is inherent in lying. This is the conflict of saying what you think is false. The chapter shows how stubbornly saying what you think is false resists analysis. In traditional analyses of lying, saying what you think is false is analyzed in terms of saying something and believing that it is false. But standard cases of unconscious or divided belief challenge these analyses. Classic puzzles about (...) belief from Gottlob Frege and Saul Kripke show that suggested amendments involving assent instead of belief do not fare better. I argue that attempts to save these analyses by appeal to guises or Fregean modes of presentation will also run into trouble. I then consider alternative approaches to untruthfulness that focus on (a) expectations for one’s act of saying/asserting and (b) the intentions involved in one’s act of saying/asserting. Here I introduce two new kinds of case, which I call “truth serum” and “liar serum” cases. Consideration of these cases reveals structural problems with intention- and expectation-based approaches as well. Taken together, the string of cases presented suggests that saying what you think is false, or being untruthful, is no less difficult and interesting a subject for analysis than lying itself. Tackling the question of what it is to say what you think is false illuminates ways in which the study of lying is intertwined with fundamental issues in the nature of intentional action. (shrink)

I discuss a criterion for successful communication between a speaker and a hearer put forward by Buchanan according to which there is communicative success only if the hearer entertains, as a result of interpreting the speaker's utterance, a thought that has the same truth conditions as the thought asserted by the speaker and, furthermore, does so in virtue of recognizing the speaker's communicative intentions. I argue, against Buchanan, that the data on which it is based are compatible with (...) a view involving Fregean modes of presentation. In the second part of the article I critically discuss Unnsteinsson's claim that communicative success depends on the absence of contextually salient false distinctness beliefs about the subject matter of the conversation. I argue that this thesis leads to clearly counterintuitive consequences and that no fundamental role must be given to the presence or absence of false distinctness beliefs in one's account of successful communication. The upshot is that we should stick with Buchanan's criterion. I conclude by employing Strawson and Recanati's concepts of linking and merging to show how the criterion I favour is compatible with the fact that, when subjects hold no relevant false distinctness beliefs, communicative success does not seem to be disrupted by the hearer seemingly failing to recognize the speaker's intentions. (shrink)

The Language of Thought Hypothesis is often taken to have the fatal flaw that it generates an explanatory regress. The language of thought is invoked to explain certain features of natural language (e.g., that it is learned, understood, and is meaningful), but, according to the regress argument, the language of thought itself has these same features and hence no explanatory progress has been made. We argue that such arguments rely on the tacit assumption that the entire motivation (...) for the language of thought consists in explaining the explanandum that allegedly generates the regress. But this tacit assumption is simply false. The Language of Thought Hypothesis is a cogent view and one with considerable explanatory advantages. (shrink)

According to the explanationist, we can rely on inference to best explanation to justifiably believe familiar skeptical hypotheses are false. On this view, commonsense beliefs about the existence and character of familiar, medium-sized dry goods provides the best explanation of our evidence and so justifies our belief that we're not brains-in-vats. This explanationist approach seems prima facie plausible until we press the explanationist to tell us what the data is that we're trying to explain by appeal to our beliefs (...) about external objects and how we could have access to it. (shrink)

This essay develops an argumentative position which implies that historically Caribbean political philosophers have engaged in establishing a theoretical position that is trapped, and entrenched, within European hegemony. The essay traverse the works of some noted Caribbean thinkers and highlight limitations in logic, and or tactical approach, to the question of Caribbean decolonisation, and establishes the essay’s principal hypothesis. The article revealed three (3) Philosophers; namely C.L.R. James, Franz Fanon, and Walter Rodney as the principal thinkers whose philosophical approaches gave (...) intellectual keys that were adjacent to unlocking European dominance. The paper then suggest that the method in breaking the false decolonisation notion rest in making a cultural link with ancient cosmology of Kemet and dialectics of Pharaonic Egypt. A task all philosopher thought-out Caribbean history failed to established as a matter of principle. (shrink)

It has become popular of late to identify the phenomenon of thinking a singular thought with that of thinking with a mental file. Proponents of the mental files conception of singular thought claim that one thinks a singular thought about an object o iff one employs a mental file to think about o. I argue that this is false by arguing that there are what I call descriptive mental files, so some file-based thought is not (...) singular thought. Descriptive mental files are mental files for which descriptive information plays four roles: determines which object the file is about, if any, it sets limits on possible mistakes that fall within the scope of successful reference for the file, it acts as a ‘gatekeeper’ for the file, and it determines persistence conditions for the file. Contrary to popular assumption, a description playing these roles is consistent with the file-theoretic framework. Recognising this allows us to distinguish the notion of singular thought from that of file-thinking and better understand the nature and role of both. (shrink)

Metaethical non-analytical naturalism consists in the metaphysical thesis that normative properties are identical with or reducible to natural properties and the epistemological thesis that we cannot come to a complete understanding of the nature of normative properties via conceptual analysis alone. In On What Matters, Derek Parfit (2011) argues that non-analytical naturalism is either false or incoherent. In § 1, I show that his argument for this claim is unsuccessful, by showing that it rests on a tacit assumption about (...) the nature of normative thought that non-analytical naturalists need not accept. In § 2, I show that escaping Parfit’s argument in this way is no ad hoc maneuver; as I demonstrate, the idea that non-analytical naturalists can exploit to escape Parfit’s argument is a familiar one. (shrink)

Sense-perceptions do not have to be deciphered if their contents are to be uploaded, the reason being that they are presentations, not representations. Linguistic expressions do have to be deciphered if their contents are to be uploaded, the reason being that they are representations, not presentations. It is viciously regressive to suppose that information-bearing mental entities are categorically in the nature of representations, as opposed to presentations, and it is therefore incoherent to suppose that thought is mediated by expressions (...) or, therefore, by linguistic entities. Attempts to neutralize this criticism inevitably overextend the concept of what it is to be a linguistic symbol, the result being that such attempts eviscerate the very position that it is their purpose to defend. Also, it is inherent in the nature of such attempts that they assume the truth of the view that for a given mental entity to bear this as opposed to that information is for that entity to have this as opposed to that causal role. This view is demonstrably false, dooming to failure the just-mentioned attempts to defend the contention that thought is in all cases mediated by linguistic symbols. (shrink)

Joshua Glasgow argues against the existence of races. His experimental philosophy asks subjects questions involving racial categorization to discover the ordinary concept of race at work in their judgments. The results show conflicting information about the concept of race, and Glasgow concludes that the ordinary concept of race is inconsistent. I conclude, rather, that Glasgow’s results fit perfectly fine with a social-kind view of races as real social entities. He also presents thought experiments to show that social-kind views give (...) the wrong results, but intuitions might differ on which results are the wrong ones, and social-kind views can resist the implications he derives from these cases. Widespread false beliefs about a concept or category need not undermine anything’s existence, and a sufficiently context-sensitive approach to races will allow for competing criteria for race-membership in different contexts without contradictory criteria in any one context. Glasgow’s arguments are therefore unsuccessful. (shrink)

This chapter will discuss Spinoza’s critique of free will, though our brief study of this topic in the first part of the chapter will aim primarily at preparing us to address the main topic of the chapter, which is Spinoza’s explanation of the reasons which force us to believe in free will. At times, Spinoza seems to come very close to asserting the paradoxical claim that we are not free to avoid belief in free will. In the second part of (...) the chapter I will closely examine Spinoza’s etiological explanation of how we come to form the belief in free will. In the third part, I will raise and respond to a crucial objection to Spinoza’s explanation of the formation of our belief in free will. I will then turn to examine Fichte’s intriguing claim that Spinoza’s position on the issue of free will suffers from an internal contradiction, as evinced in Fichte’s suggestive remark: “Spinoza could not have been convinced of his own philosophy. He could only have thought of it; he could not have believed it [Er konnte seine Philosphie nur denken, nicht sie glauben].”. (shrink)

In his book The Boundary Stones of Thought, Ian Rumfitt considers five arguments in favour of intuitionistic logic over classical logic. Two of these arguments are based on reflections concerning the meaning of statements in general, due to Michael Dummett and John McDowell. The remaining three are more specific, concerning statements about the infinite and the infinitesimal, statements involving vague terms, and statements about sets.Rumfitt is sympathetic to the premisses of many of these arguments, and takes some of them (...) to be effective challenges to Bivalence, the following principle: Each statement is either true or false.However, he argues that counterexamples to Bivalence do not immediately lead to counterexamples to Excluded Middle, and so do not immediately refute classical logic; here, Excluded Middle is taken to be the following principle: For each statement A, is true.Much... (shrink)

The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether (...) the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind. (shrink)

The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error (...) rates. I begin with an introduction to Type I error rates that distinguishes them from theoretical errors. I then illustrate my argument with respect to model misspecification, multiple testing, selective inference, forking paths, exploratory analyses, p-hacking, optional stopping, double dipping, and HARKing. In each case, I demonstrate that relevant Type I error rates are not usually inflated above their nominal level, and in the rare cases that they are, the inflation is easily identified and resolved. I conclude that the replication crisis may be explained, at least in part, by researchers’ misinterpretation of statistical errors and their underestimation of theoretical errors. (shrink)

Thought is the primary realm in which truth and falsity may occur and speech the secondary realm of this occurrence while the realm of external being has no truth and falsity in itself. The first and last points are directly asserted by Aristotle in one text: ‘Falsity and truth are not in things-it is not as if the good were true, and the bad were in itself false- but in thought.’ (Met., E, 1027b25-27; cf. Met., K, 1065a22-23) (...) The second point is also somehow implied: ‘As there are in the mind thoughts which do not involve truth and falsity, and those which must be either true or false, so it is in speech.’ (OI, I, 1, 16a9-11) 1) Truth and falsity belong only to co-positings and positing aways and not to incomposites Truth and falsity do not belong to the realm of external being but only to the realms of thought and language. However, they do not belong to all the elements in these realms. Neither do they belong to incomposite elements in thought (‘With regard to simple things and essences, falsity and truth do not exist even in thought.’ (Met., E, 1027b26-28; So., Γ, 6, 430a26-b4)), nor to such elements in language. Consequently, all incomposites are incapable of being true or false. (cf. Met., Θ, 1051b17-22 and b26-27) Where we have no co-positing or positing away, of the kind made by copula or verb, we cannot have truth and falsity though we can have significance: ‘“Man” and “white”, as isolated terms, are not yet either true or false. In proof of this, consider the word “good-stag.” It has significance, but there is no truth or falsity about it, unless “is” or “is not” is added, either in present or in some other tense.’ (OI., I, 1, 16a14-18) Therefore, any other kind of co-positing cannot be the subject of truth and falsity. One good example of co-positings not made by copula or verbs are simple negations: ‘He that uses the expression ‘not-man,’ if nothing more be added, is not nearer but farther from making a true or a false statement than he who uses the expression “man.”’ (OI., I, 10, 20a34-36) It is indeed a co-positing or a positing away that is the subject of truth and falsity: ‘For it is co-positing (σύνθεσιν) and positing away (διαίρεσιν) that truth and falsity is about.’ (OI., I, 1, 16a12-13) Co-positing is so vital for truth-falsity that ‘of the things that are never said based on co-positing, nothing is true or false.’ (Cat., 10, 13b9-11) This co-positing can be both in thought (‘where the alternative of true or false applies, there we always find a sort of combining of objects of thought in a quasi-unity … For falsehood always involves a combining’ (So., Γ, 6, 430a26-b2) and ‘truth or false is a co-positing of concepts of thought’ (So., Γ, 6, 430a11-12) and in language because they are produced in thought: ‘There is not only the true or false assertion that Cleon is white but also the true or false assertion that he was or will be white. In each and every case that which unifies is thought.’ (So., Γ, 6, 430b4-6) 2) Correspondence to external world Although truth and falsity belong to thought and language and not to external world, their basis is in the external world. It is, in fact, the correspondence of thought and language to external world that makes what is true, true and what is false, false: ‘To say of what is that it is, or of what is not that it is not, is false, while to say of what is that it is, and of what is not that is not, is true.’ (Met., Γ, 1011b26-27; cf. Met., Θ, 1051b2-5) When the two realms are correspondent, we can transfer from one to the other: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition be true, it will of necessity not be white. Again, if it is white, the proposition stating that it is white was true; if it is not white, the proposition to the opposite effect was true. And if it is not white, the man who states that it is making a false statement, it follows that it is not white.’ (OI., I, 9, 18a39-b3) This possible mutual transformation does not, however, imply that each realm is the basis of the other. In fact, it is only the external world that is the basis of truth and falsity in thought or language and not vice versa: ‘it is not because we think that you are white, that you are white, but because you are white we who say this have the truth.’ (Met., Θ, 1051b6-9; Cat., 5, 4b8-10) Aristotle even calls the external world the ‘cause’ of truth in the realm of language while the converse causation is not approved: ‘Whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false.’ (Cat., 12, 14b18-22) This one-sided relation Aristotle calls ‘reciprocation as to implication of existence’: ‘For there being a man reciprocates as to implication of existence with the true statement about it: if there is a man, the statement whereby we say that there is a man is true, and reciprocally- since if the statement whereby we say that there is a man is true, there is a man. And whereas the true statement is in no way the cause of the actual thing’s existence, the actual thing does seem in some way the cause of the statement’s being true: it is because the actual thing exists or does not that the statement is called true or false,’ (Cat., 12, 14b14-22) Aristotle attaches falsity to not-being: ‘We cal things false in this way, then, either because they themselves do not exist, or because the appearance which results from them is that of something that does not exist.’ (Met., Δ, 1024b24-26) Or: ‘A false formula is the formula of non-existent objects, in so far as it is false.’ (Met., Δ, 1024b26-27) This correspondence to ‘non-being’ is, however, more a miscorrespondence: ‘Hence every formula is false when applied to something other than that of which it is true, e.g. the formula of a circle is false when applied to a triangle.’ (Met., Δ, 1024b27-28) . (shrink)

To some it is a shallow platitude that inner speech always has an auditory-phonological component. To others, it is an empirical hypothesis with accumulating support. To yet others it is a false dogma. In this chapter, I defend the claim that inner speech always has an auditory-phonological component, confining the claim to adults with ordinary speech and hearing. It is one thing, I emphasize, to assert that inner speech often, or even typically, has an auditory-phonological component—quite another to propose (...) that it always does. When forced to argue for the stronger point, we stand to make a number of interesting discoveries about inner speech itself, and about our means for discriminating it from other psycholinguistic phenomena. Establishing the stronger conclusion also provides new leverage on debates concerning how we should conceive of, diagnose, and explain auditory verbal hallucinations and “inserted thoughts” in schizophrenia. (shrink)

Perception of a property (e.g. a colour, a shape, a size) can enable thought about the property, while at the same time misleading the subject as to what the property is like. This long-overlooked claim parallels a more familiar observation concerning perception-based thought about objects, namely that perception can enable a subject to think about an object while at the same time misleading her as to what the object is like. I defend the overlooked claim, and then use (...) it to generate a challenge for a standard way of thinking about the relationship between visual experience and rational belief formation. Put informally, that view holds that just as we can mislead others by saying something false, illusory experience misleads by misrepresenting how things stand in the world. I argue that we ought to abandon this view in favour of some radical alternative account of the relationship between visual experience and rational belief formation. (shrink)

In the standard thought experiments, dualism strikes many philosophers as true, including many non-dualists. This ‘striking’ generates prima facie justification: in the absence of defeaters, we ought to believe that things are as they seem to be, i.e. we ought to be dualists. In this paper, I examine several proposed undercutting defeaters for our dualist intuitions. I argue that each proposal fails, since each rests on a false assumption, or requires empirical evidence that it lacks, or overgenerates defeaters. (...) By the end, our prima facie justification for dualism remains undefeated. I close with one objection concerning the dialectical role of rebutting defeaters, and I argue that the prospects for a successful rebutting defeater for our dualist intuitions are dim. Since dualism emerges undefeated, we ought to believe it. (shrink)

Many have thought that it is impossible to rationally persuade an external world skeptic that we have knowledge of the external world. This paper aims to show how this could be done. I argue, while appealing only to premises that a skeptic could accept, that it is not rational to believe external world skepticism, because doing so commits one to more extreme forms of skepticism in a way that is self-undermining. In particular, the external world skeptic is ultimately committed (...) to believing a proposition P while believing that she shouldn’t believe P, an irrational combination of beliefs. Suspending judgment on skepticism is also problematic, for similar reasons; and, I argue, rational dilemmas are not possible; so, we should believe that skepticism is false. (shrink)

According to hedonistic act utilitarianism, an act is morally right if and only if, and because, it produces at least as much pleasure minus pain as any alternative act available to the agent. This dissertation gives a partial defense of utilitarianism against two types of objections: action guidance objections and intuitive objections. In Chapter 1, the main themes of the dissertation are introduced. The chapter also examines questions of how to understand utilitarianism, including (a) how to best formulate the moral (...) explanatory claim of the theory, (b) how to best interpret the phrase "pleasure minus pain," and (c) how the theory is related to act consequentialism. The first part (Chapters 2 and 3) deals with action guidance objections to utilitarianism. Chapter 2 defines two kinds of action guidance: doxastic and evidential guidance. It is argued that utilitarianism is evidentially but not doxastically guiding for us. Chapter 3 evaluates various action guidance objections to utilitarianism. These are the objections that utilitarianism, because it is not doxastically guiding, is a bad moral theory, fails to be a moral theory, is an uninteresting and unimportant moral theory, and is a false moral theory. The second part (Chapters 4, 5 and 6) deals with intuitive objections to utilitarianism. Chapter 4 presents three intuitive objections: Experience Machine, Transplant, and Utility Monster. Three defenses of utilitarianism are subsequently evaluated. Chapter 5 and 6 introduces two alternative defenses of utilitarianism against intuitive objections, both of which concern the role that imagination plays in thought experimentation. In Chapter 5, it is argued that we sometimes unknowingly carry out the wrong thought experiment when we direct intuitive objections against utilitarianism. In many such cases, we elicit moral intuitions that we believe give us reason to reject utilitarianism, but that in fact do not. In Chapter 6, it is argued that using the right kind of sensory imagination when we perform thought experiments will positively affect the epistemic trustworthiness of our moral intuitions. Moreover, it is suggested that doing so renders utilitarianism more plausible. In Chapter 7, the contents of the dissertation are summarized. (shrink)

Consider the claim that false beliefs can be justified (JFB). According to Williamson (forthcoming), the most promising argument for JFB is something like this: (1) if p is what one disposed to know or to believe truly would believe, then believing p is justified; (2) sometimes, one disposed to know or to believe truly would believe p even though p is false; so, JFB. But there are counterexamples to (1). I argue that this isn't the most promising argument (...) for JFB. Instead, the thought is that beliefs which manifest a disposition to know or to believe truly are justified. (1) should be replaced by: (1*) if believing p manifests a disposition to know or to believe truly then believing p is justified. (1*) is immune to the counterexamples. (shrink)

It is widely thought that knowledge is factive – only truths can be known. However, this view has been recently challenged. One challenge appeals to approximate truths. Wesley Buckwalter and John Turri argue that false-but-approximately-true propositions can be known. They provide experimental findings to show that their view enjoys intuitive support. In addition, they argue that we should reject the factive account of knowledge to avoid widespread skepticism. A second challenge, advanced by Nenad Popovic, appeals to multidimensional geometry (...) to build a case where it seems intuitive that a person knows p even though p is false. In addition, Popovic argues that we should reject the factive account of knowledge because most of us would not become widespread skeptics if we discovered that ordinary objects in our world are actually four-dimensional. In this paper, we defend the factive account of knowledge against these arguments by challenging the intuitive appeal of the cases and arguing that there is no real threat of widespread skepticism for the factive account of knowledge. (shrink)

(The Kindle book can be ordered for $3.21 from Amazon) -/- Thinking is a fundamental activity of our species – those that give names to other creatures and call themselves humans. Textbooks tell us that there is about 1.2 kg of matter called the brain inside the human body. It sounds small but actually is proportionally the biggest among all animals on Earth. -/- I became more aware of thinking at around 5th grade upon hearing about an ancient paradox. It (...) can be summarized as follows. -/- ¤ -/- Once upon a time, there was a stupid king. In his kingdom lived a sage who was highly respected for his intelligence. The King did not appreciate this fact. Maybe the Sage made fun of the King’s intellect, but I am not so sure. Anyway, one day, the King summoned the Sage, intending to kill him. -/- The King said, “Wise man, I heard you earn a living by thinking and arguing. Now I give you two options to die.” -/- The Sage said, “Please tell me the choices, Your Majesty.” -/- The King continued, “You live by your tongue, so I will let you say one sentence before you die. If what you say is true, you will die by hanging. If what you say is false, you will die by beheading.” -/- Little did the King know that this was a stupid order. After a short while, the Sage confidently spoke his “last words”, which actually were what saved his life: -/- “Your Majesty, I am about to be beheaded!” -/- ¤ -/- As a “wild animal” going out into life from a young age, my brain spent a lot of time and energy looking for food. Now that I have become older, my body no longer needs so much sustenance. However, my mind craves a different type of nourishment: food for thought. -/- Food for thought can directly lead to food (on the table). My main job as a scientist exemplifies what I have just stated. Maybe we were wrong. Maybe it has been “thought for food” all along, like in such a sequence as TFFTTTFTFFTTFFFT... -/- In the hyper-chaotic infosphere today, we are surrounded by the noises of information, not only as wavy shores or waterfalls but also mega-tsunamis, through Twitter, Facebook, Tiktok, Instagram, Youtube, etc. More than ever, tranquility and calmness are necessary. Like what you have seen in wilderness video clips, predators such as lions, bears, and alligators act lightning-fast when catching prey. But when food is served, the natural world returns to its peaceful, soothing silence. -/- This short book is in its own tidy infosphere, where each little story is also brief and self-contained. Despite this small appearance, I hope the content inside carries the value of tranquility and life observation. The book is petite, but pretty sure not malnourished. A not-too-small detail is that the way the content was shaped and distilled reflects some innovations of mine and my research team: the mindsponge theory, a new theory of serendipity, the bayesvl R package, the BMF analytics, as well as other experiences from working in the field of science. After all, scientific works were my main source of food (before this book sells well – if it does). -/- Welcome to the priceless sober moments – with a chicken-burger price tag! -/- I hope this book will bring readers some moments of calmness, peaceful smiles, and maybe a couple of good laughs too. -/- ~~~ -/- *This update: December 12, 2023 (Third edition, with additions). (shrink)

While for Brentano it is a mark of the mental that any mental state is an object of inner awareness, this suggestion is notably rejected by the Higher-Order Thought Theory (HOTT) of consciousness that posits non-conscious inner awareness, which isn’t an object of inner awareness, and yet is mental. I examine an objection against the HOTT, according to which inner awareness is phenomenally present in ordinary consciousness. To assess the objection, I investigate arguments of Chalmers and Montague in favor (...) of this phenomenal presence. I argue that while these arguments may show that experience is not transparent, they crucially fail to demonstrate that ‘inner transparency’ must be false too, i.e. that inner awareness is phenomenally present. I conclude that non-conscious inner awareness is an open possibility and Brentano’s posit of inner awareness as a mark of the mental thus looks unpromising. (shrink)

It is widely thought in philosophy and elsewhere that parsimony is a theoretical virtue in that if T1 is more parsimonious than T2, then T1 is preferable to T2, other things being equal. This thesis admits of many distinct precisifications. I focus on a relatively weak precisification on which preferability is a matter of probability, and argue that it is false. This is problematic for various alternative precisifications, and even for Inference to the Best Explanation as standardly understood.

Many physicists have thought that absolute time became otiose with the introduction of Special Relativity. William Lane Craig disagrees. Craig argues that although relativity is empirically adequate within a domain of application, relativity is literally false and should be supplanted by a Neo-Lorentzian alternative that allows for absolute time. Meanwhile, Craig and co-author James Sinclair have argued that physical cosmology supports the conclusion that physical reality began to exist at a finite time in the past. However, on their (...) view, the beginning of physical reality requires the objective passage of absolute time, so that the beginning of physical reality stands or falls with Craig's Neo-Lorentzian metaphysics. Here, I raise doubts about whether, given Craig's NeoLorentzian metaphysics, physical cosmology could adequately support a beginning of physical reality within the finite past. Craig and Sinclair's conception of the beginning of the universe requires a past boundary to the universe. A past boundary to the universe cannot be directly observed and so must be inferred from the observed matter-energy distribution in conjunction with auxilary hypotheses drawn from a substantive physical theory. Craig's brand of Neo Lorentzianism has not been sufficiently well specified so as to infer either that there is a past boundary or that the boundary is located in the finite past. Consequently, Neo Lorentzianism implicitly introduces a form of skepticism that removes the ability that we might have otherwise had to infer a beginning of the universe. Furthermore, in analyzing traditional big bang models, I develop criteria that Neo-Lorentzians should deploy in thinking about the direction and duration of time in cosmological models generally. For my last task, I apply the same criteria to bounce cosmologies and show that Craig and Sinclair have been wrong to interpret bounce cosmologies as including a beginning of physical reality. (shrink)

Nineteenth century Christian thought about self and relationality was stamped by the reception of Kant’s groundbreaking revision to the Cartesian cogito. For René Descartes (1596-1650), the self is a thinking thing (res cogitans), a simple substance retaining its unity and identity over time. For Immanuel Kant (1724-1804), on the other hand, consciousness is not a substance but an ongoing activity having a double constitution, or two moments: first, the original activity of consciousness, what Kant would call original apperception, and (...) second, the reflected self, the “I think” as object of reflection. Both are essential to the possibility of an awareness of a unified experience. Such an awareness is achieved only insofar as the self is capable of reflecting on its activity of thinking. As such, the possibility of self-consciousness, or the capacity to reflect on one’s own acts of thought is essential to the constitution of the self. This new model of the mind became the starting point to the thought of central 19th century figures such as Friedrich Schleiermacher (1768-1834), J. G. Fichte (1762-1814), Friedrich Hegel (1770-1831) and Søren Kierkegaard (1813-1855). This chapter will explore their reception of Kant’s model of self-consciousness, the controversies surrounding its development and exposition, and the advantages of this model for theological reflection. The idea of mind as essentially capable of reflection provided an account of how the self can stand in an ontologically immediate relation to God constitutive of the self, while at the same time allowing that the self’s consciousness of itself is distinct from this original moment, so that a limited or false consciousness of self is possible. As such the task of the self is to recognize (that is, to realize in and through self-consciousness) who it most truly is, both in relation to God, and in relation to self and other. (shrink)

It is generally thought that ought implies can. If this maxim is correct, then my inability to do otherwise entails that I cannot be blamed for failing to do otherwise. In this article, however, I use Harry Frankfurt’s famous argument against the "Principle of Alternative Possibilities" (PAP) to show that the maxim is actually false, that I can be blamed for failing to do otherwise even in situations where I could not have done otherwise. In these situations, I (...) do not act otherwise not because I cannot act otherwise but because I choose not to act otherwise.None. (shrink)

This paper critiques the view, widely held by philosophers of mind and cognitive scientists, that psychological explanation is a matter of ascribing propositional attitudes (such as beliefs and desires) towards language-like propositions in the mind, and that cognitive mental states consist in intentional attitudes towards propositions of a linguistic quasi-linguistic nature. On this view, thought is structured very much like a language. Denial that propositional attitude psychology is an adequate account of mind is therefore, on this view, is tantamount (...) to eliminative materialism, the denial that human beings are thinking beings. -/- I dispute this on the basis of recent work in cognitive psychology and artificial intelligence. Mental models theory, on which thought is better understood as nonpropositional intentional psychology, accords better with the evidence and offers an alternative view to propositional attitude psychology -- one that means that the denial that that is propositional is not eliminative. However, I argue that propositional attitude psychology is a useful idealization, as classical mechanics is of relativity theory, strictly but not radically false, and useful for prediction and indeed, as long as its idealized character is born in mind, for explanation of behavior. (shrink)

It is commonly thought that we depend fundamentally on the “evidence of the senses” for our empicial beliefs, including and most directly, our beliefs about our local environment, the spatial world around us. The ultimate evidence we have for our perceptual beliefs is provided in some way by perception or perceptual experience. But what is this evidence? There seem to be three main options: external factualism allows that the evidence include facts about the external world; internal factualism takes facts (...) that involve only the internal, mental world—like facts about one’s perceptual experiences or appearances—to count as one’s perceptual evidence; and non-factualism takes propositions, including false ones, to count as evidence—for example, propositional contents of appearances or seemings. We shall see that all these options face significant challenges. Some might conclude that perceptual beliefs can be justified without depending on evidence. Others might choose to accept skepticism: our perceptual beliefs are not justified. I shall end, however, by tentatively suggesting that there is a sort of internal fact that is a plausible candidate for perceptual evidence that has been overlooked. (shrink)

Ever since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to (...) say that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting 2016, Wikforss 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes. (shrink)

It is often claimed that pre-attentive vision has an ‘iconic’ format. This is seen to explain pre-attentive vision's characteristically high processing capacity and to make sense of an overlap in the mechanisms of early vision and mental imagery. But what does the iconicity of pre-attentive vision amount to? This paper considers two prominent ways of characterising pre-attentive visual icons and argues that neither is adequate: one approach renders the claim ‘pre-attentive vision is iconic’ empirically false while the other obscures (...) its ability to do the explanatory work, which motivates positing pre-attentive visual icons in the first place. With this noted, I introduce the notion of an ‘Analogue Map’ and argue that it provides a superior characterisation of pre-attentive vision's iconicity. I then argue that this forces a reassessment of debates which have traditionally presupposed the iconicity of pre-attentive vision, emphasising ramifications for the viability of a format-based perception-thought border. (shrink)

I here present an anarchist critique of the idea of ‘animalistic evil’ and its common use as a justification for the State’s existence and use of force. On this view, ‘evil’ is a privation of morality, justice, and civilised behaviour. It is then identified with the ‘animalistic’ since animals are often thought to be defined by the aforesaid privation. I first clarify the idea of animalistic evil within the history of philosophy and science. Aristotle (384–322 BCE), Thomas Hobbes (1588–1679), (...) and Thomas H. Huxley (1825–1895) prominently argue that all that prevents humanity from devolving into animalistic evil, a state of violent and individualistic struggle for bare survival, is the power of State government to forcibly control the animalistic drives within its citizens. I subsequently pose two questions. (1) Is it justified to associate animal life with evil when this is (a) understood as a privation of a morality, justice and society and (b) characterised as an individualistic struggle for survival? (2) If this is not justified, what is the political harm of doing so? Building on the work of the anarchist thinker Peter Kropotkin (1842–1921), I argue that any conception of animalistic evil is unjustifiable, that it is a false justification for the State’s existence and use of force, and that the State, upon making the empty threat of animalistic evil, both violently harms individuals and impedes the socially beneficial practice of mutual aid. (shrink)

This article presents a novel challenge to epistemic internalism. The challenge rests on a set of cases which feature subjects forming beliefs under conditions of “bad ideology”—that is, conditions in which pervasively false beliefs have the function of sustaining, and are sustained by, systems of social oppression. In such cases, the article suggests, the externalistic view that justification is in part a matter of worldly relations, rather than the internalistic view that justification is solely a matter of how things (...) stand from the agent’s individual perspective, becomes the more intuitively attractive theory. But these “bad ideology” cases do not merely yield intuitive verdicts that favor externalism over internalism. These cases are, moreover, analogous to precisely those canonical cases widely taken to be counterexamples to externalism: cases featuring brains-in-vats, clairvoyants, and dogmatists. That is, such “bad ideology” cases are, in all relevant respects, just like cases that are thought to count against externalism—except that they intuitively favor externalism. This, the author argues, is a serious worry for internalism. What is more, it bears on the debate over whether externalism is a genuinely “normative” epistemology. (shrink)

In philosophy of mind, zombies are imaginary creatures that are exact physical duplicates of conscious subjects but for whom there is no first-personal experience. Zombies are meant to show that physicalism—the theory that the universe is made up entirely out of physical components—is false. In this paper, I apply the zombie thought experiment to the realm of morality to assess whether moral agency is something independent from sentience. Algorithms, I argue, are a kind of functional moral zombie, such (...) that thinking about the latter can help us better understand and regulate the former. I contend that the main reason why algorithms can be neither autonomous nor accountable is that they lack sentience. Moral zombies and algorithms are incoherent as moral agents because they lack the necessary moral understanding to be morally responsible. To understand what it means to inflict pain on someone, it is necessary to have experiential knowledge of pain. At most, for an algorithm that feels nothing, ‘values’ will be items on a list, possibly prioritised in a certain way according to a number that represents weightiness. But entities that do not feel cannot value, and beings that do not value cannot act for moral reasons. (shrink)

Our rapidly increasing reliance on frictionless AI interactions may increase cognitive and emotional distance, thereby letting our adaptive resilience slacken and our ethical virtues atrophy from disuse. Many trends already well underway involve the offloading of cognitive, emotional, and ethical labor to AI software in myriad social, civil, personal, and professional contexts. Gradually, we may lose the inclination and capacity to engage in critically reflective thought, making us more cognitively and emotionally vulnerable and thus more anxious and prone to (...) manipulation from false news, deceptive advertising, and political rhetoric. In this article, I consider the overarching features of this problem and provide a framework to help AI designers tackle it through system enhancements in smartphones and other products and services in the burgeoning internet of things (IoT) marketplace. The framework is informed by two ideas: psychologist Daniel Kahneman’s cognitive dual process theory and moral self-awareness theory, a four-level model of moral identity that I developed with Benjamin M. Cole. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than (...) as a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

John Locke’s account of personal identity is usually thought to have been proved false by Thomas Reid’s simple ‘Gallant Officer’ argument. Locke is traditionally interpreted as holding that your having memories of a past person’s thoughts or actions is necessary and sufficient for your being identical to that person. This paper argues that the traditional memory interpretation of Locke’s account is mistaken and defends a memory continuity view according to which a sequence of overlapping memories is necessary and (...) sufficient for personal identity. On this view Locke is not vulnerable to the Gallant Officer argument. (shrink)