Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

Gentzen’s sequent calculi LK and LJ are landmark proof systems. They identify the structural rules of weakening and contraction as notable inference rules, and they allow for an elegant statement and proof of both cut elimination and consistency for classical and intuitionistic logics. Among the undesirable features of those sequent calculi is that their inferences rules are low-level and frequently permute over each other. As a result, large-scale structures within sequent calculus proofs are hard to identify. In this paper, we (...) present a different approach to designing a sequent calculus for classical logic. Starting with Gentzen’s LK proof system, we examine the proof search meaning of his inference rules and classify those rules as involving either don’t care nondeterminism or don’t know nondeterminism. Based on that classification, we design the focused proof system LKF in which inference rules belong to one of two phases of proof construction depending on which flavor of nondeterminism they involve. We then prove that the cut rule and the general form of the initial rule are admissible in LKF. Finally, by showing that the inference rules for LK are all admissible in LKF, we can give a relative completeness proof for LKF provability with respect to LK provability. We shall also apply these properties of the LKF proof system to establish other meta-theoretic properties of classical logic, including Herbrand’s theorem. (shrink)

Is it possible to pay attention to that context? To exclude nothing from your awareness? Hillig explores that context and this possibility in this conversational little book.

It is a common assumption amongst theorists that the phenomenon of animal emotion supports the affect program theory of emotion. I argue that this assumption is mistaken by exploring two cases of animal emotion from studies in ethology: aggression in chimpanzees and fear in piping plovers. While the affect program theory fails to account for the cognitive complexity involved in each case, I do not argue for a cognitive theory of emotion. Instead, I suggest that paying attention to animal emotions (...) helps the emotion theorist avoid the dichotomy between the extreme versions of the affect program theory and cognitive theories. ‡My thanks to Bart Moffatt, Ben Schulz, Jessica Slind, Katie Plasiance, Ken Waters, Mark Borrello, Susan Hawthorne, and Toben Lafrancois for helpful comments on earlier drafts of this paper. †To contact the author, please write to: Department of Philosophy, University of Minnesota, Minneapolis, MN 55455; e-mail: [email protected]. (shrink)

Original essays by leading philosophers of science explore the question of whether metaphysics can and should be naturalized--conducted as part of natural science.

Sir David Ross was one of the most distinguished and influential Aristotelians of this century; his study has long been established as an authoritative survey ...

The Right and the Good, a classic of twentieth-century philosophy by the great scholar Sir David Ross, is now presented in a new edition with a substantial introduction by Philip Stratton-Lake, a leading expert on Ross. Ross's book is the pinnacle of ethical intuitionism, which was the dominant moral theory in British philosophy for much of the nineteenth and early twentieth century. Intuitionism is now enjoying a considerable revival, and Stratton-Lake provides the context for a proper understanding (...) of Ross's great work today. (shrink)

Chuck Chakrapani ABSTRACT: Stoic Minimalism may be described as ‘just enough Stoicism.’ Just enough for what? Just enough to lead the good life. Just enough to cope with the stress of modern life. Just enough to not be rattled by the constant changes that characterize the times we live in. Just enough to be resilient ….

At a time when scientific knowledge is systematically whisked out of the domain of education and converted into private capital, the essays in this volume are ...

ABSTRACT A thriving project in contemporary epistemology concerns identifying and explicating the epistemic virtues. Although there is little sustained argument for this claim, a number of prominent sources suggest that curiosity is an epistemic virtue. In this paper, I provide an account of the virtue of curiosity. After arguing that virtuous curiosity must be appropriately discerning, timely and exacting, I then situate my account in relation to two broader questions for virtue responsibilists: What sort of motivations are required for epistemic (...) virtue? And do epistemic virtues need to be reliable? I will sketch an account on which curiosity is only virtuous when rooted in a non-instrumental appreciation of epistemic goods, before arguing that curiosity can exhibit intellectual virtue irrespective of whether one is reliable in satisfying it. (shrink)

This is the simple account of how and why you have been imagining yourself to be only a separate and limited being.

Si on analyse les stratégies publicitaires de la plateforme Netflix il devient possible de mieux comprendre le modèle de spectateur que celles-ci façonnent. En étudiant la comparaison avec la chaine câblée HBO mais aussi le matériel de la campagne promotionnelle TV Got Better, nous observons les promesses que Netflix adresse à son public potentiel (plénitude, participation, prestige et personnalisation) ainsi que son encouragement des pratiques de visionnement « en rafale ».

Online science and engineering ethics (SEE) education can support appropriate goals for SEE and the highly interactive pedagogy that attains those goals. Recent work in moral psychology suggests pedagogical goals for SEE education that are surprisingly similar to goals enunciated by several panels in SEE. Classroom-based interactive study of SEE cases is a suitable method to achieve these goals. Well-designed cases, with appropriate goals and structure can be easily adapted to courses that have online components. It is less clear that (...) exclusively online methods can support the wide range of goals necessary to good moral pedagogy in SEE, though there seems no a priori reason to rule this out. Only careful, goal-based assessment of online case study SEE teaching can resolve this question. (shrink)

I argue that traditional views on which beliefs are subject only to purely epistemic assessment can reject demographic profiling, even when based on seemingly robust evidence. This is because the moral failures involved in demographic profiling can be located in the decision not to suspend judgment, rather than supposing that beliefs themselves are a locus of moral evaluation. A key moral reason to suspend judgment when faced with adverse demographic evidence is to promote social equality—this explains why positive profiling is (...) dubious, along with more familiar cases of negative profiling, and why profiling is suspect even when no particular action is at stake. My suspension-based view, while compatible with revisionary normative positions, does not presuppose them. Philosophers of all stripes can reject demographic profiling both in thought and deed. (shrink)

We present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical, intuitionistic, and multiplicative–additive linear logics are derived as fragments of the host system by varying the sensitivity of specialized structural rules to polarity information. We identify a general set of criteria under which cut-elimination holds in such fragments. From cut-elimination we derive a unified proof of the completeness of focusing. Furthermore, each sublogic can interact with other fragments through cut. (...) We examine certain circumstances, for example, in which a classical lemma can be used in an intuitionistic proof while preserving intuitionistic provability. We also examine the possibility of defining classical–linear hybrid logics. (shrink)

Illusionism about phenomenal properties has the potential to leave us with all the benefit of taking consciousness seriously and far fewer problems than those accompanying phenomenal realism. The particular problem I explore here is an epistemological puzzle that leaves the phenomenal realist with a dilemma but causes no trouble for the illusionist: how can we account for false beliefs about our own phenomenal properties? If realism is true, facts about our phenomenal properties must hold independent of our beliefs about those (...) properties, so mistaken phenomenal beliefs must always remain an open possibility. But there is no way to identify the phenomenal facts that make these beliefs false other than by mere stipulation. If illusionism is true, then the state of affairs regarding what a subject's experience seems like is just the illusion itself; there are no further facts of the matter about which the subject might have mistaken beliefs, so the problem does not arise. (shrink)

Ross P. Cameron argues that the flow of time is a genuine feature of reality. He suggests that the best version of the A-Theory is a version of the Moving Spotlight view, according to which past and future beings are real, but there is nonetheless an objectively privileged present. Cameron argues that the Moving Spotlight theory should be viewed as having more in common with Presentism than with the B-Theory. Furthermore, it provides the best account of truthmakers for claims (...) about what was or will be the case. Cameron goes on to defend an account of the open future, and argues that this is a better account than that available to the Growing Block theory. (shrink)

Criminal juries make decisions of great importance. A key criticism of juries is that they are unreliable in a multitude of ways, from exhibiting racial or gendered biases, to misunderstanding their role, to engaging in impropriety such as internet research. Recently, some have even claimed that the use of juries creates injustice on a large-scale, as a cause of low conviction rates for sexual criminality. Unfortunately, empirical research into jury deliberation is undermined by the fact that researchers are unable to (...) study live juries. The indirect sources of evidence used by researchers suffer from various problems, the most important of which is dubious levels of ecological validity. Real jury research—studying live jury deliberation—is controversial. However, as I argue, the objections to it are unconvincing. There is in fact a moral imperative to facilitate real jury research. (shrink)

Silent gesture is not considered to be linguistic, on par with spoken and sign languages. It is claimed that silent gestures, unlike language, represent events holistically, without compositional structure. However, recent research has demonstrated that gesturers use consistent strategies when representing objects and events, and that there are behavioral and clinically relevant limits on what form a gesture may take to effect a particular meaning. This systematicity challenges a holistic interpretation of silent gesture, which predicts that there should be no (...) stable form‐meaning correspondence across event representations. Here, we demonstrate to the contrary that untrained gesturers systematically manipulate the form of their gestures when representing events with and without a theme (e.g., Someone popped the balloon vs. Someone walked), that is, transitive and intransitive events. We elicited silent gestures and annotated them for manual features active in coding transitivity distinctions in sign languages. We trained linear support vector machines to make item‐by‐item transitivity predictions based on these features. Prediction accuracy was good across the entire dataset, thus demonstrating that systematicity in silent gesture can be explained with recourse to subunits. We argue that handshape features are constructs co‐opted from cognitive systems subserving manual action production and comprehension for communicative purposes, which may integrate into the linguistic system of emerging sign languages. We further suggest that nonsigners tend to map event participants to each hand, a strategy found across genetically and geographically distinct sign languages, suggesting the strategy's cognitive foundation. (shrink)

Ross, Alf Loar, Brian, Editor.Directives and Norms. New York: Humanities Press, [1967]. ix, 188 pp. Reprint available April 2009 by The Lawbook Exchange, Ltd. ISBN-13: 978-1-58477-961-2. ISBN-10: 1-58477-961-6. Cloth with dust jacket. $65.00 * Reprint of the first American edition. One of the most interesting jurists of the post-World War II era, Ross [1899-1979] was a legal and moral philosopher, scholar of international law and the leading representative of Scandinavian Legal Realism. This book and On Law and Justice (...) (1958) are his principal works. In Directives and Norms Ross asks whether imperatives (or, to use his term, 'directives') are subject to logic in the same way as indicatives. He shows the difference between indicative and directive discourse and explains the concepts 'directive' and 'norm' as they function in the social sciences, especially in the study of law. A contemporary essay in the Modern Law Review (32:544), though critical of this work, was still impressed by its "clear and convincing account" of these processes. (shrink)

Kopec and Titelbaum collect five alleged counterexamples to Uniqueness, the thesis that it is impossible for agents who have the same total evidence to be ideally rational in having different doxastic attitudes toward the same proposition. I argue that four of the alleged counterexamples fail, and that Uniqueness should be slightly modified to accommodate the fifth example.

Despite playing an important role in epistemology, philosophy of science, and more recently in moral philosophy and aesthetics, the nature of understanding is still much contested. One attractive framework attempts to reduce understanding to other familiar epistemic states. This paper explores and develops a methodology for testing such reductionist theories before offering a counterexample to a recently defended variant on which understanding reduces to what an agent knows.

This chapter contains section titled: Identity and Dynamical Space The Mandelbrot Set Dynamic Diversity Diversity and Community Control of Boundaries The Prospects.

Down the rabbit hole -- Something to consider -- (W)hole in the all -- Now playing -- Collapsing polarities -- An allegory for our time -- Living as the void -- A cosmic conversation -- An awakening?

Although Newman felt that the conferral of the cardinalate lifted the cloud of suspicion forever, soon after his death his reputation came under another cloud: Modernism. This essay shows how Modernist concerns about the philosophical grounding of faith, Biblical interpretation, and the nature of dogmatic statements as presented by Pierre Batiffol and Marcel Hébert counter-pointed Newman’s idea of the development of doctrine.

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

We combine intuitionistic logic and classical logic into a new, first-order logic called polarized intuitionistic logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzenʼs intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girardʼs (...) LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalinʼs multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable. (shrink)

PurposeThe purpose of this paper is to present a four component model of ethical behavior (PRIMES) that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 1 of a two‐part contribution.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is: grounded in relatively stable PeRsonality characteristics (PR); guided by integration of morality into the self‐system; shaped by the context of the surrounding moral ecology; and facilitated (...) by morally relevant skills and knowledge (S).FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action might be taught to computer professionals and other design professionals. It also makes recommendations about what is needed to measure to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

PurposeThe purpose of this paper is to present a four component model of ethical behavior that integrates literature in moral psychology, computing ethics, and virtue ethics as informed by research on moral exemplars in computing. This is part 2 of a two part contribution, part 1 having appeared in Vol. 6 No. 3.Design/methodology/approachThis psychologically based and philosophically informed model argues that moral action is grounded in relatively stable personality characteristics, guided by integration of morality into the self‐system, shaped by the (...) context of the surrounding moral ecology, and facilitated by morally relevant skills and knowledge.FindingsThe model seeks to explain the daily successful (and unsuccessful) performance of moral action by computing professionals and to provide groundwork for a pedagogy that emphasizes ethically effective performance.Practical implicationsThe model has significant implications for how ethical action to computer professionals and other design professionals might be taught. It also makes recommendations about what need to be measured to construct a complete picture of sustained ethical action in a profession.Originality/valueMost accepted models of ethical behavior are unidimensional, emphasizing either principled reasoning or a simplistic model of integrity/character. This model brings together a variety of disparate literatures in the light of its emphasis on sustained moral action in the profession. It thereby provides researchers and educators with a picture of what is needed to construct a complete understanding of moral action in the profession. (shrink)

This article begins by examining the concept of the pharmakon that is developed in Derrida’s essay ‘Plato’s Pharmacy’, as it is here that the idea of a medium that is simultaneously poisonous and therapeutic is developed in relation to the discursive effects of writing. The author then goes on to look at Stiegler’s attempt to reconfigure the ‘orthographic economy’ of deconstruction, particularly his account of how the ‘tertiary supports’ of virtual and information technologies have transformed the experience of the real (...) in the regime of global capitalisation. Finally, he argues that the appearance of the pharmakon as a matrix idea in his work, sharpens his account of the aporia of technological society: for the impossibility of human culture being reduced to either the disorientated life industrial populism, or to idealist notions of reflexivity, is what, for Stiegler, offers the chance of a new politics of spirit. (shrink)

A fundamental goal of research in neuroscience is to uncover the causal structure of the brain. This focus on causation makes sense, because causal information can provide explanations of brain function and identify reliable targets with which to understand cognitive function and prevent or change neurological conditions and psychiatric disorders. In this research, one of the most frequently used causal concepts is ‘mechanism’ — this is seen in the literature and language of the field, in grant and funding inquiries that (...) specify what research is supported, and in journal guidelines on which contributions are considered for publication. In these contexts, mechanisms are commonly tied to expressions of the main aims of the field and cited as the ‘fundamental’, ‘foundational’ and/or ‘basic’ unit for understanding the brain. Despite its common usage and perceived importance, mechanism is used in different ways that are rarely distinguished. Given that this concept is defined in different ways throughout the field — and that there is often no clarification of which definition is intended — there remains a marked ambiguity about the fundamental goals, orientation and principles of the field. Here we provide an overview of causation and mechanism from the perspectives of neuroscience and philosophy of science, in order to address these challenges. (shrink)

The central dogma of female reproductive biology has long held that oogenesis ceases prior to birth in mammals. During the first half of the last century, there was much debate about whether this was the case or whether oogenesis continued in the postnatal ovary. A report in 1951 effectively put an end to this debate and laid the foundation for the dogma. A new paper by Johnson et al. (2004)1 resurrects the debate over whether postnatal oogenesis occurs in the mammalian (...) ovary. If confirmed, this would have tremendous impact on issues related to female fertility and reproductive longevity. BioEssays 26:829–832, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

The joint effort by the U.S. government and the political elite of Puerto Rico to industrialize the island created increased demand for female labor and a decline in the number of jobs traditionally held by men. The authors examine whether women's labor force participation in the formal sector responds to improving opportunities for women, declining opportunities for men, or the household's changing opportunity structures. Specifically, they examine a woman's return to work after the birth of her first child as the (...) initial point of conflict between productive and reproductive work. The data used in these analyses are from the 1982 Puerto Rican Fertility and Family Planning Assessment, an islandwide, representative sample of never-married and ever-married women between the ages of fifteen and forty-nine. The authors estimate a series of nested logistic regression models to evaluate the influence of occupational expansion or contraction on the timing of return to work after the first birth. Their findings offer selective support for the idea that women's lives are affected primarily by the occurrence of growing labor demand for women's labor. (shrink)