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)

This paper provides a principled and elegant solution to the Gettier problem. The key move is to draw a general metaphysical distinction and conscript it for epistemological purposes. Section 1 introduces the Gettier problem. Sections 2–5 discuss instructively wrong or incomplete previous proposals. Section 6 presents my solution and explains its virtues. Section 7 answers the most common objection.

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)

Can judging that an agent blamelessly broke a rule lead us to claim, paradoxically, that no rule was broken at all? Surprisingly, it can. Across seven experiments, we document and explain the phenomenon of excuse validation. We found when an agent blamelessly breaks a rule, it significantly distorts people’s description of the agent’s conduct. Roughly half of people deny that a rule was broken. The results suggest that people engage in excuse validation in order to avoid indirectly blaming others for (...) blameless transgressions. Excuse validation has implications for recent debates in normative ethics, epistemology and the philosophy of language. These debates have featured thought experiments perfectly designed to trigger excuse validation, inhibiting progress in these areas. (shrink)

The target of our paper is to articulate the grounds that legitimize the foundation of an African Traditional Religion as a distinct religious enterprise with its own philosophical fundamentals as well as its own tenets and framework. In this paper, we engage the relevant concepts that are crucial to the success to any paper that attempts to demonstrate the reality of African Traditional Religion (henceforth, ATR): specifically, we will engage the questions of the existence of a Supreme Being, the problem (...) of evil, and the structure of a properly ATR theodicy. (shrink)

We accomplish three things in this paper. First, we provide evidence that the motivational internalism/externalism debate in moral psychology could be a false dichotomy born of ambiguity. Second, we provide further evidence for a crucial distinction between two different categories of belief in folk psychology: thick belief and thin belief. Third, we demonstrate how careful attention to deep features of folk psychology can help diagnose and defuse seemingly intractable philosophical disagreement in metaethics.

This paper explains what it is to believe something for a reason. My thesis is that you believe something for a reason just in case the reason non-deviantly causes your belief. In the course of arguing for my thesis, I present a new argument that reasons are causes, and offer an informative account of causal non-deviance.

Recent breakthroughs in stem cell differentiation and reprogramming suggest that functional human gametes could soon be created in vitro. While the ethical debate on the uses of in vitro generated gametes (IVG) was originally constrained by the fact that they could be derived only from embryonic stem cell lines, the advent of somatic cell reprogramming, with the possibility to easily derive human induced pluripotent stem cells from any individual, affords now a major leap in the feasibility of IVG derivation and (...) in the scope of their potential applications. In this paper we develop an ethical framework, rooted in recent scientific evidence, to support a robust experimental pipeline that could enable the first-in-human use of IVG. We then apply this framework to the following objectives: (1) a clarification of the genetic parenting options afforded by IVG, along with their ethical underpinnings; (2) a defence of the use of IVG to remedy infertility, broadening their scope to same-sex couples; (3) an assessment of the most far-reaching implications of IVG for multiplex parenting. These include, first, the liberation of parenting roles from the constraints of biological generations in vivo, allowing multiple individuals to engage in genetic parenting together, thus blurring the distinction between biological and social generations. Second, we discuss the conflation of IVG with sequencing technology and its implications for the possibility that prospective parents may choose among a hitherto unprecedented number of potential children. In view of these perspectives, we argue that, contrary to the exhausted paradigm according to which society lags behind science, IVG may represent instead a salient and most visible instance where biotechnological ingenuity could be used in pursuit of social experimentation. (shrink)

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

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)

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)

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)

Motivational internalism postulates a necessary connection between moral judgments and motivation. In arguing for and against internalism, metaethicists traditionally appeal to intuitions about cases, but crucial cases often yield conflicting intuitions. One way to try to make progress, possibly uncovering theoretical bias and revealing whether people have conceptions of moral judgments required for noncognitivist accounts of moral disagreement, is to investigate non-philosophers' willingness to attribute moral judgments. A pioneering study by Shaun Nichols seemed to undermine internalism, as a large majority (...) of subjects were willing to attribute moral understanding to an agent lacking moral motivation. However, our attempts to replicate this study yielded quite different results, and we identified a number of problems with Nichols' experimental paradigm. The results from a series of surveys designed to rule out these problems show that people are more willing to attribute moral understanding than mor.. (shrink)

A woman is listening to Sinatra before work. As she later describes it, ‘suddenly from nowhere I could hear my mother singing along to it … I was there again home again, hearing my mother … God knows why I should choose to remember that … then, to actually hear her and I had this image in my head … of being at home … with her singing away … like being transported back you know I got one of those (...) … like shivery feelings really suddenly’ (Anderson 2004, 9-10). An older couple, discussing their honeymoon forty years ago, each say that they can’t remember the show they saw, until through iterative, puzzled cross-cuing they finally get there – ‘Desert Song, that’s it’ (Harris et al 2011, 292). An elderly English veteran of a prisoner of war camp in Japan, finishing up morning tea with a young Japanese social scientist interested in reconciliation, suddenly calls out loudly - in Japanese - ‘stand to attention’. He stands to attention in front of her: like many of the men she interviews, he physically re-enacts fragments of that long-past world of the camp, bringing that absent past into this new present context with a visceral shock (Murakami 2001, 2012; Middleton & Brown 2005, 133-136). (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)

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)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report five studies on the status (...) of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

Experiences of embodied remembering are familiar and diverse. We settle bodily into familiar chairs or find our way easily round familiar rooms. We inhabit our own kitchens or cars or workspaces effectively and comfortably, and feel disrupted when our habitual and accustomed objects or technologies change or break or are not available. Hearing a particular song can viscerally bring back either one conversation long ago, or just the urge to dance. Some people explicitly use their bodies to record, store, or (...) cue memories. Others can move skilfully, without stopping to think, in complex and changing environments thanks to the cumulative expertise accrued in their history of fighting fires, or dancing, or playing hockey. The forms of memory involved in these cases may be distinct, operating at different timescales and levels, and by way of different mechanisms and media, but they often cooperate in the many contexts of our practices of remembering. (shrink)

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)

Sobre Filosofia clinica e Reflexões sobre o que é o humano.

Intuitively, the knowledge of one’s own intentional actions is different from the knowledge of actions of other sorts, including those of other people and unintentional actions of one's own. But how are we to understand this phenomenon? Does it pertain to all actions, under every description under which they are known? If so, then how is this possible? If not, then how should we think about cases that are exceptions to this principle? This paper is a critical survey of recent (...) attempts to answer these questions. I consider views under three headings: "special source" views, which hold that the knowledge of one's intentional actions has a non-perceptual source; "special domain" views, which hold that some but not all aspects of one's intentional actions are known in a special way; and "special character" views, which hold that the knowledge of intentional actions is special not because of where it comes from, but because of some other respect in which it is different in kind from the knowledge of other things. (shrink)

Morality seems important, in the sense that there are practical reasons — at least for most of us, most of the time — to be moral. A central theoretical motivation for consequentialism is that it appears clear that there are practical reasons to promote good outcomes, but mysterious why we should care about non-consequentialist moral considerations or how they could be genuine reasons to act. In this paper we argue that this theoretical motivation is mistaken, and that because many arguments (...) for consequentialism rely upon it, the mistake substantially weakens the overall case for consequentialism. We argue that there is indeed a theoretical connection between good states and reasons to act, because good states are those it is fitting to desire and there is a conceptual connection between the fittingness of a motive and reasons to perform the acts it motivates. But while some of our motives are directed at states, others are directed at acts themselves. We contend that just as the fittingness of desires for states generates reasons to promote the good, the fittingness of these act-directed motives generates reasons to do other things. Moreover, we argue that an act’s moral status consists in the fittingness of act-directed feelings of obligation to perform or avoid performing it, so the connection between fitting motives and reasons to act explains reasons to be moral whether or not morality directs us to promote the good. This, we contend, de-mystifies how there could be non-consequentialist reasons that are both moral and practical. (shrink)

The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...) Biological and Biomedical Ontologies (OBO) Foundry library, provide a semantic structure but lack many of the necessary terms to describe biodiversity data in all its dimensions. In this paper, we describe the motivation for and ongoing development of a new Biological Collections Ontology, the Environment Ontology, and the Population and Community Ontology. These ontologies share the aim of improving data aggregation and integration across the biodiversity domain and can be used to describe physical samples and sampling processes (for example, collection, extraction, and preservation techniques), as well as biodiversity observations that involve no physical sampling. Together they encompass studies of: 1) individual organisms, including voucher specimens from ecological studies and museum specimens, 2) bulk or environmental samples (e.g., gut contents, soil, water) that include DNA, other molecules, and potentially many organisms, especially microbes, and 3) survey-based ecological observations. We discuss how these ontologies can be applied to biodiversity use cases that span genetic, organismal, and ecosystem levels of organization. We argue that if adopted as a standard and rigorously applied and enriched by the biodiversity community, these ontologies would significantly reduce barriers to data discovery, integration, and exchange among biodiversity resources and researchers. (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)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (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 have held that it is not possible to experience a spatial object, property, or relation except against the background of an intact awareness of a space that is somehow ‘absolute’. This paper challenges that claim, by analyzing in detail the case of a brain-damaged subject whose visual experiences seem to have violated this condition: spatial objects and properties were present in his visual experience, but space itself was not. I go on to suggest that phenomenological argumentation can give (...) us a kind of evidence about the nature of the mind even if this evidence is not absolutely incorrigible. (shrink)

Robust technological enhancement of core cognitive capacities is now a realistic possibility. From the perspective of neutralism, the view that justifications for public policy should be neutral between reasonable conceptions of the good, only members of a subset of the ethical concerns serve as legitimate justifications for public policy regarding robust technological enhancement. This paper provides a framework for the legitimate use of ethical concerns in justifying public policy decisions regarding these enhancement technologies by evaluating the ethical concerns that arise (...) in the context of testing such technologies on nonhuman animals. Traditional issues in bioethics, as well as novel concerns such as the possibility of moral status enhancement, are evaluated from the perspective of neutralism. (shrink)

What is the role of affect in moral epistemology? Sentimentalists assert that moral knowledge is rooted in knowledge of specific situational moral truths, which affect is a necessary means for attaining. Rationalists claim moral knowledge is rooted in moral principles, knowledge of which is acquired a priori through reason alone; affect is unnecessary. Note that in this way of framing the debate, the issue concerns solely moral knowledge. Recent epistemology, however, has also highlighted the importance of understanding as an epistemic (...) good separate from knowledge. As such, moral understanding might have value over and above mere moral knowledge. Some philosophers have pointed to the importance moral understanding possesses for reliably doing the right thing, justifying yourself to others, developing virtue, and performing morally worthy action. In this paper, I argue that the sentimentalist account of understanding both specific moral truths and moral principles has significant advantages over, and can ground, the rationalist alternative. (shrink)

Embodied human minds operate in and spread across a vast and uneven world of things—artifacts, technologies, and institutions which they have collectively constructed and maintained through cultural and individual history. This chapter seeks to add a historical dimension to the enthusiastically future-oriented study of “natural-born cyborgs” in the philosophy of cognitive science,3 and a cognitive dimension to recent work on material memories and symbol systems in early modern England, bringing humoral psychophysiology together with material culture studies. The aim is to (...) sketch an integrative framework which spans early modern ideas and practices relating to brains, bodies, memory, and objects. Embodiment and environment, I’ll argue, were not (always) merely external influences on feeling, thinking, and remembering, but (in certain circumstances) partly constitutive of these activities. (shrink)

I report three experiments relevant to evaluating Krista Lawlor's theory of assurance, respond to her criticism of the knowledge account of assertion, and propose an alternative theory of assurance.

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

Contemporary critical instincts, in early modern studies as elsewhere in literary theory, often dismiss invocations of mind and cognition as inevitably ahistorical, as performing a retrograde version of anachronism. Arguing that our experience of time is inherently anachronistic and polytemporal, we draw on the frameworks of distributed cognition and extended mind to theorize cognition as itself distributed, cultural, and temporal. Intelligent, embodied action is a hybrid process, involving the coordination of disparate neural, affective, cognitive, interpersonal, ecological, technological, and cultural resources. (...) Because the diverse elements of such coupled systems each have their own histories and dynamics, many distinctive or competing times are built in to the very mechanisms of remembering and reasoning. We make this argument by means of two distinct case histories: a reading of the site-specific audio walk of Canadian artist Janet Cardiff; and an extended discussion of a famously anachronistic moment in William Shakespeare’s King Lear. These readings reveal the inherent polytemporalities of human mental and social life. (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)

It is proposed that conscious qualia arise when and only when the 'running' of physical processes takes a special, complex form. Running in general is the unified unfolding of processes through time, and is claimed to be an additional quality of physical processes beyond their state trajectories. The type of running needed for conscious qualia is reflexive in physically affecting and responding to itself. Intuitively, running is essentially the flow of causation, and the self-affecting/responding is a matter of causation bearing (...) a causal relationship to itself: that is, causation can itself be reflexive. The proposal potentially makes temporal qualia the most fundamental qualia, with others derivatively arising. The proposal is neutral about whether a conscious process occurs in a natural organism, in a physically implemented computational system, or in some other physical substrate, as long as the substrate involves the special reflexive runningness. (shrink)

The “shrinking” of the globe in the last few centuries has made explicit that the world is a tense unity of many: the many worlds are forced to contend with one another. Nishida Kitarō, the founder of the Kyoto school, once stated that to be is to be implaced. We exist by partaking in “the socio-historical world.” More recently, Jean-luc Nancy has conceived of the world in terms of sense. What is striking in both is that the world emerges out (...) of a nothing, created ex nihilo—the phrase stripped of its theistic connotations. While for Nishida the world is ultimately implaced in the “place of absolute nothing,” Nancy speaks of the nothing that is the basis of the world’s self-creation. I will explore a possible convergence between these and any light it may shed upon our contemporary situation of globalization and its implications for praxis. I look to a sense of the nothing as a chōratic spatiality, an opening that provides space for co-being and serves as the source of creativity. In face of globalization, the project for meaning through mondialisation (in Nancy) and within a multi-cultural world (in Nishida) would imply the appropriation of such an originary spatiality. (shrink)

This paper addresses relations between memory and imagery in expert sport in relation to visual or visuospatial perspective. Imagining, remembering, and moving potentially interact via related forms of episodic simulation, whether future- or past-directed. Sometimes I see myself engaged in action: many experts report switching between such external visual perspectives and an internal, 'own-eyes', or field perspective on their past or possible performance. Perspective in retrieval and in imagery may be flexible and multiple. I raise a range of topics for (...) empirical research on perspective and visualization. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...) semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)