It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen (...) to be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It is (...) further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)

Most direct reference theorists about indexicals and proper names have adopted the thesis that singular propositions about physical objects are composed of physical objects and properties.1 There have been a number of recent proponents of such a view, including Scott Soames, Nathan Salmon, John Perry, Howard Wettstein, and David Kaplan.2 Since Kaplan is the individual who is best known for holding such a view, let's call a proposition that is composed of objects and properties a K-proposition. In this (...) paper, I will attempt to show that a direct reference view about the content of proper names and indexicals leads very naturally to the position that all singular propositions about physical objects are K-propositions.3 Then, I will attempt to show that this view of propositions is false. I will spend the bulk of the paper on this latter task. My goal in the paper, then, is to show that adopting the direct reference thesis comes at a cost problems the view has with problems such as opacity and the significance of some identity statements; it comes at even more of a cost). (shrink)

In this paper, I explore Bach’s idea (Bach, 2000) that null appositives, intended as expanded qua-clauses, can resolve the puzzles of belief reports. These puzzles are crucial in understanding the semantics and pragmatics of belief reports and are presented in a section. I propose that Bach’s strategy is not only a way of dealing with puzzles, but also an ideal way of dealing with belief reports. I argue that even simple unproblematic cases of belief reports are cases of pragmatic intrusion, (...) involving null appositives, or to use the words of Bach, ‘qua-clauses’. The main difference between my pragmatic approach and the one by Salmon (1986) is that this author uses the notion of conversational implicature, whereas I use the notion of pragmatic intrusion and explicature. From my point of view, statements such as ‘‘John believes that Cicero is clever’’ and ‘‘John believes that Tully is clever’’ have got distinct truth-values. In other words, I claim that belief reports in the default case illuminate the hearer on the mental life of the believer, that includes specific modes of presentation of the referents talked about. Furthermore, while in the other pragmatic approaches, it is mysterious how a mode of presentation is assumed to be the main filter of the believer’s mental life, here I provide an explanatory account in terms of relevance, cognitive effects, and processing efforts. The most important part of the paper is devoted to showing that null appositives are required, in the case of belief reports, to explain certain anaphoric effects, which would otherwise be mysterious. My examples show that null appositives are not necessitated at logical form, but only at the level of the explicature, in line with the standard assumptions by Carston and Recanati on pragmatic intrusion. I develop a potentially useful analysis of belief reports by exploiting syntactic and semantic considerations on presuppositional clitics in Romance. (shrink)

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

Conceptualism is the thesis that, for any perceptual experience E, (i) E has a Fregean proposition as its content and (ii) a subject of E must possess a concept for each item represented by E. We advance a framework within which conceptualism may be defended against its most serious objections (e.g., Richard Heck's argument from nonveridical experience). The framework is of independent interest for the philosophy of mind and epistemology given its implications for debates regarding transparency, relationalism and representationalism, demonstrative (...) thought, phenomenal character, and the speckled hen objection to modest foundationalism. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. My (...) evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

Perceptual Confidence is the view that perceptual experiences assign degrees of confidence. After introducing, clarifying, and motivating Perceptual Confidence, I catalogue some of its more interesting consequences, such as the way it blurs the distinction between veridical and illusory experiences, a distinction that is sometimes said to carry a lot of metaphysical weight. I also explain how Perceptual Confidence fills a hole in our best scientific theories of perception and why it implies that experiences don't have objective accuracy conditions.

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. (...) The knowledge account passes with flying colors. (shrink)

In a single-iteration fake barn case, the agent correctly identifies an object of interest on the first try, despite the presence of nearby lookalikes that could have mislead her. In a multiple-iteration fake barn case, the agent first encounters several fakes, misidentifies each of them, and then encounters and correctly identifies a genuine item of interest. Prior work has established that people tend to attribute knowledge in single-iteration fake barn cases, but multiple-iteration cases have not been tested. However, some theorists (...) contend that multiple-iteration cases are more important and will elicit a strong tendency to deny knowledge. Here I report a behavioural experiment investigating knowledge judgments in multiple-iteration fake barn cases. The main finding is that people tend to attribute knowledge in these cases too. Ironically, the results indicate that the presence of fakes could prevent iterated errors from lowering knowledge attributions. The results also provide evidence that ordinary knowledge attributions are based on attributions of cognitive ability. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are viewed (...) as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

Researchers have debated whether knowledge or certainty is a better candidate for the norm of assertion. Should you make an assertion only if you know it's true? Or should you make an assertion only if you're certain it's true? If either knowledge or certainty is a better candidate, then this will likely have detectable behavioral consequences. I report an experiment that tests for relevant behavioral consequences. The results support the view that assertability is more closely linked to knowledge than to (...) certainty. In multiple scenarios, people were much more willing to allow assertability and certainty to come apart than to allow assertability and knowledge to come apart. (shrink)

I consider a serious objection to the knowledge account of assertion and develop a response. In the process I introduce important new data on prompting assertion, which all theorists working in the area should take note of.

Almost everyone believes that testimony can transmit knowledge from speaker to hearer. What some philosophers mean by this is ordinary and pedestrian-- they mean only that, in at least some cases, a speaker S knows that p, S testifies that p to a hearer H, and H comes to know that p as a result of believing S's testimony. There is disagreement about how this occurs, but that it does occur is sufficient for the transmission of knowledge in the intended (...) sense. On this understanding of transmission, the natural questions are these: (1) What conditions, in addition to speaker knowledge and speaker testimony, are sufficient for the hearer to gain testimonial knowledge?; and (2) Is speaker knowledge always necessary for testimonial knowledge? That is: Is all testimonial knowledge transmitted knowledge? (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

I report two experiments studying the relationship among explicit judgments about what people see, know, and should assert. When an object of interest was surrounded by visibly similar items, it diminished people’s willingness to judge that an agent sees, knows, and should tell others that it is present. This supports the claim, made by many philosophers, that inhabiting a misleading environment intuitively decreases our willingness to attribute perception and knowledge. However, contrary to stronger claims made by some philosophers, inhabiting a (...) misleading environment does not lead to the opposite pattern whereby people deny perception and knowledge. Causal modeling suggests a specific psychological model of how explicit judgments about perception, knowledge, and assertability are made: knowledge attributions cause perception attributions, which in turn cause assertability attributions. These findings advance understanding of how these three important judgments are made, provide new evidence that knowledge is the norm of assertion, and highlight some important subtleties in folk epistemology. (shrink)

Leading virtue epistemologists defend the view that knowledge must proceed from intellectual virtue and they understand virtues either as refned character traits cultivated by the agent over time through deliberate effort, or as reliable cognitive abilities. Philosophical situationists argue that results from empirical psychology should make us doubt that we have either sort of epistemic virtue, thereby discrediting virtue epistemology’s empirical adequacy. I evaluate this situationist challenge and outline a successor to virtue epistemology: abilism . Abilism delivers all the main (...) benefts of virtue epistemology and is as empirically adequate as any theory in philosophy or the social sciences could hope to be. (shrink)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)

If the contents of our thoughts are partly determined by facts outside our heads, can we still know those contents directly, without investigating our environment? What if we were surreptitiously switched to Twin-Earth? Would we know the contents of our thoughts under these unusual circumstances? By looking carefully at what determines the content of a second-order thought, a candidate for self-knowledge, the paper argues that we can know the contents of our thoughts directly, even after being switched. Learning about the (...) switch, however, does raise some interesting difficulties. (shrink)

Two options are incommensurate in value if neither is better than the other, and if a small improvement or worsening of one does not necessarily make it determinately better or worse than the other. If a person faces a sequence of choices between incommensurate options, she may end up with a worse options than she could have had, even though none of her choices are irrational. Yet it seems that rationality should save her from this bad outcome. This is the (...) practical problem posed by incommensurability of values, and it may be solved by a new account of practical reasoning. (shrink)

Compatibilism is the view that moral responsibility is compatible with determinism. Natural compatibilism is the view that in ordinary social cognition, people are compatibilists. Researchers have recently debated whether natural compatibilism is true. This paper presents six experiments (N = 909) that advance this debate. The results provide the best evidence to date for natural compatibilism, avoiding the main methodological problems faced by previous work supporting the view. In response to simple scenarios about familiar activities, people judged that agents had (...) moral responsibilities to perform actions that they were unable to perform (Experiment 1), were morally responsible for unavoidable outcomes (Experiment 2), were to blame for unavoidable outcomes (Experiments 3-4), deserved blame for unavoidable outcomes (Experiment 5), and should suffer consequences for unavoidable outcomes (Experiment 6). These findings advance our understanding of moral psychology and philosophical debates that depend partly on patterns in commonsense morality. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

In “Perceptual Confidence,” I argue that our perceptual experiences assign degrees of confidence. In “Precision, not Confidence, Describes the Uncertainty of Perceptual Experience,” Rachel Denison disagrees. In this reply I first clarify what i mean by ‘perceptual experiences’, ‘assign’ and ‘confidence’. I then argue, contra Denison, that perception involves automatic categorization, and that there is an intrinsic difference between a blurry perception of a sharp image and a sharp perception of a blurry image. -/- .

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Remembering is one of the most characteristic and most puzzling of human activities. Personal memory, in particular – the ability mentally to travel back into the past, as leading psychologist Endel Tulving puts it – often has intense emotional or moral significance: it is perhaps the most striking manifestation of the peculiar way human beings are embedded in time, and of our limited but genuine freedom from our present environment and our immediate needs. Memory has been significant in the history (...) of philosophy as much in relation to ethics and to epistemology as in theories of psyche, mind, and self. (shrink)

Time in electromagnetism shares many features with time in other physical theories. But there is one aspect of electromagnetism's relationship with time that has always been controversial, yet has not always attracted the limelight it deserves: the electromagnetic arrow of time. Beginning with a re-analysis of a famous argument between Ritz and Einstein over the origins of the radiation arrow, this chapter frames the debate between modern Einsteinians and neo-Ritzians. It tries to find a clean statement of what the arrow (...) is and then explains how it relates to the cosmological and thermodynamic arrows, representing the most developed and sophisticated attack yet, in either the physics or philosophy literature, on the electromagnetic arrow of time. (shrink)

A brief reference article on cultural relativism.

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

The problem of downward causation is that an intuitive response to an intuitive picture leads to counterintuitive results. Suppose a mental event, m1, causes another mental event, m2. Unless the mental and the physical are completely independent, there will be a physical event in your brain or your body or the physical world as a whole that underlies this event. The mental event occurs at least partly in virtue of the physical event’s occurring. And the same goes for m2 [2] (...) and p2. Let’s not worry about what exactly “underlying” or “in virtue of” means here. Here’s the picture. m1 -----> m2 | | p1 -----> p2 The horizontal arrows represent causation, and the vertical lines represent underlying, whatever that may be. There’s some reason to think that the only way m1 can bring about m2 is by bringing about p2. You can’t convince someone of something through mental telepathy. You need to interact with the physical world, perhaps by saying something and so making some noise, or by pointing and getting them to turn their head and see. What goes for the case of two people goes for the case of one person as well. Superstition aside, there is no purely mental energy that floats free of the merely physical workings of the brain. If m1 brings about m2 by bringing about p2, then m1 brings about p2. This is downward causation. But wait. Doesn’t p1 bring about p2? Isn’t that what the bottom arrow represents? Maybe m1 and p1 work together to bring about p2. There are little holes in the physical causal structure that need to be filled by mental events. You don’t need a sweeping metaphysical thesis about the causal closure of the physical to find this implausible. Maybe p2 is overdetermined. (shrink)

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Rape and sexual assault are major problems. In the majority of sexual assault cases consent is the central issue. Consent is, to borrow a phrase, the ‘moral magic’ that converts an impermissible act into a permissible one. In recent years, a handful of companies have tried to launch consent apps which aim to educate young people about the nature of sexual consent and allow them to record signals of consent for future verification. Although ostensibly aimed at addressing the problems of (...) rape and sexual assault on university campuses, these apps have attracted a number of critics. In this paper, I subject the phenomenon of consent apps to philosophical scrutiny. I argue that the consent apps that have been launched to date are unhelpful because they fail to address the landscape of ethical and epistemic problems that arise in the typical rape or sexual assault case: they produce distorted and decontextualised records of consent which may in turn exacerbate the other problems associated with rape and sexual assault. Furthermore, because of the tradeoffs involved, it is unlikely that app-based technologies could ever be created that would significantly address the problems of rape and sexual assault. (shrink)