To account for category-specific semantic deficits, Humphreys and Forde propose to fractionate semantic memory into multiple sensory and functional knowledge stores. There are reasons to doubt the empirical productivity of this proposal, unless theoretically motivated principles of distinguishing and weighting the different kinds of object knowledge can be spelled out in detail.

With the growth of neuroscience research, new neuroscience and society (NeuroX) fields like neuroethics, neurolaw, neuroarchitecture, neuroeconomics, and many more have emerged. In this article we report on lessons learned about mentoring students in the interdisciplinary space of neuroscience and society. We draw on our experiences with the recently launched Dana Foundation Career Network in Neuroscience & Society. This resource supports educators and practitioners mentoring students aiming to apply neuroscience in diverse fields beyond medicine and biomedical science. Through our (...) programming, we identified three key lessons: (1) students are interested in exploring a wide range of neuroscience and society intersections; (2) outreach to underserved institutions generates avenues for students to join NeuroX conversations; and (3) by offering free access to online NeuroX resources and a network of subject-matter experts, the Career Network joins many partners helping to bridge the gap between neuroscience and society. (shrink)

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy; strong connections are made between history-free strategies and the Geometry of Interaction. Our semantics incorporates a (...) natural notion of polarity, leading to a refined treatment of the additives. We make comparisons with related work by Joyal, Blass, et al. (shrink)

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and logics . Moreover, the underlying (...) logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme. A metalanguage is introduced, comprising• types = universes of discourse for various computational situations;• terms = PROGRAMS = syntactic intensions for models or points. A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms. The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy. The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism. This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation. (shrink)

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...) is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle. (shrink)

We use a simple relational framework to develop the key notions and results on hidden variables and non-locality. The extensive literature on these topics in the foundations of quantum mechanics is couched in terms of probabilistic models, and properties such as locality and no-signalling are formulated probabilistically. We show that to a remarkable extent, the main structure of the theory, through the major No-Go theorems and beyond, survives intact under the replacement of probability distributions by mere relations.

Synthesizing self‐regulatory theories, we provide new insights into the antecedents of abusive supervision. We, from the perspective of supervisor's self‐regulatory resources depletion or impairment, introduce supervisor hindrance stress as an underlying mechanism of the subordinate deviance–abusive supervision relationship: this mediated relationship will be intensified at the level of high subordinate job performance. In addition, we develop a complex contingency model and propose a three‐way interaction (i.e., subordinate deviance, job performance, supervisor outcome dependence) to obtain the complete understanding of the subordinate (...) deviance–abusive supervision relationship facilitated through the supervisors’ hindrance stress. To test our moderated moderated mediation model, we gathered time‐lagged and multisource data from a large food service company located in southern China. We collected data at two different points (i.e., Time 1 and Time 2) from supervisors and their direct reports (N = 298 responses from 68 supervisors and 298 direct reports), and findings provide support for the hypothesized moderated moderated mediation model of our study. We highlight the implications of our study for theory, research, and practice. (shrink)

Nelkin presents a simple and natural account of freedom and moral responsibility which responds to the great variety of challenges to the idea that we are free and responsible, before ultimately reaffirming our conception of ourselves as agents. Making Sense of Freedom and Responsibility begins with a defense of the rational abilities view, according to which one is responsible for an action if and only if one acts with the ability to recognize and act for good reasons. The view is (...) compatibilist -- that is, on the view defended, responsibility is compatible with determinism -- and one of its striking features is a certain asymmetry: it requires the ability to do otherwise for responsibility when actions are praiseworthy, but not when they are blameworthy. In defending and elaborating the view, Nelkin questions long-held assumptions such as those concerning the relation between fairness and blame and the nature of so-called reactive attitudes such as resentment and forgiveness. Her argument not only fits with a metaphysical picture of causation -- agent-causation -- often assumed to be available only to incompatibilist accounts, but receives positive support from the intuitively appealing Ought Implies Can Principle, and establishes a new interpretation of freedom and moral responsibility that dovetails with a compelling account of our inescapable commitments as rational agents. (shrink)

Hannah Arendt's rich and varied political thought is more influential today than ever before, due in part to the collapse of communism and the need for ideas that move beyond the old ideologies of the Cold War. As Dana Villa shows, however, Arendt's thought is often poorly understood, both because of its complexity and because her fame has made it easy for critics to write about what she is reputed to have said rather than what she actually wrote. Villa (...) sets out to change that here, explaining clearly, carefully, and forcefully Arendt's major contributions to our understanding of politics, modernity, and the nature of political evil in our century.Villa begins by focusing on some of the most controversial aspects of Arendt's political thought. He shows that Arendt's famous idea of the banality of evil--inspired by the trial of Adolf Eichmann--does not, as some have maintained, lessen the guilt of war criminals by suggesting that they are mere cogs in a bureaucratic machine. He examines what she meant when she wrote that terror was the essence of totalitarianism, explaining that she believed Nazi and Soviet terror served above all to reinforce the totalitarian idea that humans are expendable units, subordinate to the all-determining laws of Nature or History. Villa clarifies the personal and philosophical relationship between Arendt and Heidegger, showing how her work drew on his thought while providing a firm repudiation of Heidegger's political idiocy under the Nazis. Less controversially, but as importantly, Villa also engages with Arendt's ideas about the relationship between political thought and political action. He explores her views about the roles of theatricality, philosophical reflection, and public-spiritedness in political life. And he explores what relationship, if any, Arendt saw between totalitarianism and the "great tradition" of Western political thought. Throughout, Villa shows how Arendt's ideas illuminate contemporary debates about the nature of modernity and democracy and how they deepen our understanding of philosophers ranging from Socrates and Plato to Habermas and Leo Strauss.Direct, lucid, and powerfully argued, this is a much-needed analysis of the central ideas of one of the most influential political theorists of the twentieth century. (shrink)

Samson Liberman ABSTRACT: The aim of this paper is a socio-philosophical analysis of attention deficit phenomenon, which is being detected at the intersection of several subject areas. The main methodological instrument of the study is a Marxist principle of alienation. Alienation of attention, which, on the one hand, is being ….

In this review essay on Mele's Free Will and Luck, I evaluate the 'daring soft libertarian' view presented in the heart of the book, and in particular the way that it provides an answer to the objection that introducing indeterminism into one's view of freedom merely adds an element of luck and so undermines freedom. I also compare the view's strengths and weaknesses to those of traditional libertarian views. Finally, I consider the 'zygote' argument that Mele takes to be his (...) reason for remaining agnostic about whether determinism is compatible with freedom, and argue that if one accepts the main arguments presented earlier in the book, one should not let this argument stand in the way of accepting compatibilism. (shrink)

Animate vision systems have gaze control mechanisms that can actively position the camera coordinate system in response to physical stimuli. Compared to passive systems, animate systems show that visual computation can be vastly less expensive when considered in the larger context of behavior. The most important visual behavior is the ability to control the direction of gaze. This allows the use of very low resolution imaging that has a high virtual resolution. Using such a system in a controlled way provides (...) additional constraints that dramatically simplify the computations of early vision. Another important behavior is the way the environment “behaves‘. Animate systems under real-time constraints can further reduce their computational burden by using environmental cues that are perspicuous in the local context. A third source of economy is introduced when behaviors are learned. Because errors are rarely fatal, systems using learning algorithms can amortize computational cost over extended periods. Further economies can be achieved when the learning system uses indexical reference, which is a form of dynamic variable binding. Animate vision is a natural way of implementing this dynamic binding. (shrink)

The cerebral cortex is a rich and diverse structure that is the basis of intelligent behavior. One of the deepest mysteries of the function of cortex is that neural processing times are only about one hundred times as fast as the fastest response times for complex behavior. At the very least, this would seem to indicate that the cortex does massive amounts of parallel computation.This paper explores the hypothesis that an important part of the cortex can be modeled as a (...) connectionist computer that is especially suited for parallel problem solving. The connectionist computer uses a special representation, termed value unit encoding, that represents small subsets of parameters in a way that allows parallel access to many different parameter values. This computer can be thought of as computing hierarchies of sensorimotor invariants. The neural substrate can be interpreted as a commitment to data structures and algorithms that compute invariants fast enough to explain the behavioral response times. A detailed consideration of this model has several implications for the underlying anatomy and physiology. (shrink)

We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can (...) be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Drama in Aesthetic Education:An Invitation to Imagine the World as if It Could Be OtherwiseFlorence Samson (bio)Maxine Greene, philosopher-in-residence for the Lincoln Center Institute (LCI), suggests that through aesthetic education "new connections are made in experience: new patterns are formed, new vistas are opened. Persons see differently, resonate differently." As Rilke wrote in one of his poems, and as quoted by Greene, "they are enabled to pay heed (...) when a work of art tells them, 'You must change your life.'"1 Greene interprets Rilke's words to mean that "a work [of art], when fully perceived and carefully attended to, makes a demand upon beholders—a demand that they change, look with new eyes, hear with new ears, become something they have not been before."2 Greene believes that "the perceiving, the noticing [about which Rilke spoke] are enhanced," for in the process of "[o]pening ourselves as perceivers to the work, entering into it kinaesthetically, we free ourselves to grasp it in its vital fullness and complexity."3This life change, to which Rilke refers, occurs as we take into our own being the experiences of others and realize that not everyone sees the world as we do. As we look critically at ourselves and our complicity in situations that position people as "other," we are moved to imagine that the world could be otherwise.Curriculum, Change, and Aesthetic EducationAesthetic education, an inquiry-driven engagement with a work of art, can be a catalyst to bringing about change. The aesthetic education experience consists of a number of components. LCI agrees upon a repertoire of "works of art" deemed likely to fulfill the requirements of engagement and inquiry. These may include, but are not limited to, music, drama, and opera performances, and mask, photo, and art exhibits. For each work of art, the LCI [End Page 70] researchers and other staff prepare a resource binder, entitled Windows on the Work. The teacher educator has several meetings with the teaching artist assigned to that work to develop the questions that will power the inquiry process, determine the structure and activities of the pre- and sometimes post-performance classes, and guide the students in their engagement with the work of art.I have included an aesthetic education experience program each term in my graduate and undergraduate elementary and early childhood education courses. My course outlines describe this component and the related student assignments. For the fall 2004 course, I chose Ping Chong's Secret History: Journeys Abroad, Journeys Within.4 This drama documentary, written and directed by Ping Chong and Leyla Mordirzadeh in collaboration with Sara Zatz, was directly related to one of my course goals—teaching for equity and social justice. This involves providing teachers with opportunities to "engage in productive dialogues about both inequities and possibilities for social reconstruction in the communities within which they and their students are developing."5Ping Chong & Company was founded thirty years ago "to create innovative works of theatre and art that explore the intersection of race, history, culture, and technology in the modern world."6Ping Chong, Insider/Outsider, and His Approach to TheatreCanadian-born and New York-reared Chong—theatre director, choreographer, and video and installation artist—is "fascinated and disturbed by the position of the outsider, the person made to feel 'other' in a society" and "probe[s] the drama of those pushed from one culture to another."7 He has done extensive research on both immigrants and refugees and recognizes that there is a psychological difference in the trauma experienced by members of both groups in the transition from one culture to the other.Chong's unique "talk, reveal, and seek to understand" approach to theatre "moves us toward unification, toward diminishing the barriers between peoples, and thus toward embracing all that is good in civilization."8 His work is grounded in his experience of sharing a common ethnicity and language with his community in Chinatown and occupying the position of "other" as the only Chinese student in his high school. Because of his experience of being "other," Chong has "a real kind of empathy and connection" with his projects.9 He considers... (shrink)

Jim buys a ticket in a million-ticket lottery. He knows it is a fair lottery, but, given the odds, he believes he will lose. When the winning ticket is chosen, it is not his. Did he know his ticket would lose? It seems that he did not. After all, if he knew his ticket would lose, why would he have bought it? Further, if he knew his ticket would lose, then, given that his ticket is no different in its chances (...) of winning from any other ticket, it seems that by parity of reasoning he should also know that every other ticket would lose. But of course he doesn’t know that; in fact, he knows that not every ticket will lose. (shrink)

To describe phenomena that occur at different time scales, computational models of the brain must incorporate different levels of abstraction. At time scales of approximately 1/3 of a second, orienting movements of the body play a crucial role in cognition and form a useful computational level embodiment level,” the constraints of the physical system determine the nature of cognitive operations. The key synergy is that at time scales of about 1/3 of a second, the natural sequentiality of body movements can (...) be matched to the natural computational economies of sequential decision systems through a system of implicit reference called deictic in which pointing movements are used to bind objects in the world to cognitive programs. This target article focuses on how deictic bindings make it possible to perform natural tasks. Deictic computation provides a mechanism for representing the essential features that link external sensory data with internal cognitive programs and motor actions. One of the central features of cognition, working memory, can be related to moment-by-moment dispositions of body features such as eye movements and hand movements. (shrink)

If I lose my key in Canada, for instance, and I search for it in the United Kingdom, how long will I take to find it? This paper argues that problems in education are caused by non-professional teachers who are employed when trained teachers move in search of promotion friendly activities or financially rewarding duties. This shift of focus means that policy makers in education act without adequate professional guidance. The problems in education, therefore, result from demands made on mainstream (...) education based on misconceptions about what education can offer. It is argued that the implementation of e-learning in education faces the risk of developing on the basis of unproven theories. This scenario increasingly sees the replacement of formal education activities in institutions of learning with non-formal and informal education practices. Given that the contents and influences of non-formal and informal education are not under the control of the teacher, the experiences that learners bring to education settings are increasingly difficult to manage. The paper proposes that by integrating e-learning in teacher education and rewarding 'good teaching', there is a potential for a successful e-learning revolution in education. (shrink)

Much attention has been focused in recent years on the ethical acceptability of physicians receiving gifts from drug companies. Professional guidelines recognize industry gifts as a conflict of interest and establish thresholds prohibiting the exchange of large gifts while expressly allowing for the exchange of small gifts such as pens, note pads, and coffee. Considerable evidence from the social sciences suggests that gifts of negligible value can influence the behavior of the recipient in ways the recipient does not always realize. (...) Policies and guidelines that rely on arbitrary value limits for gift-giving or receipt should be reevaluated. (shrink)

In everyday life, we assume that there are degrees of blameworthiness and praiseworthiness. Yet the debate about the nature of moral responsibility often focuses on the “yes or no” question of whether indeterminism is required for moral responsibility, while questions about what accounts for more or less blameworthiness or praiseworthiness are underexplored. In this paper, I defend the idea that degrees of blameworthiness and praiseworthiness can depend in part on degrees of difficulty and degrees of sacrifice required for performing the (...) action in question. Then I turn to the question of how existing accounts of the nature of moral responsibility might be seen to accommodate these facts. In each case of prominent compatibilist and incompatibilist accounts that I consider, I argue that supplementation with added dimensions is required in order to account for facts about degrees of blameworthiness and praiseworthiness. For example, I argue that the reasons-responsiveness view of Fischer and Ravizza requires supplementation that takes us beyond even fine-grained measures of degrees of reasons-responsiveness in order to capture facts about degrees of difficulty to extend the reasons-responsiveness view by appealing to such measures). I conclude by showing that once we recognize the need for these additional parameters, we will be in a position to explain away at least some of the appeal of incompatibilist accounts of moral responsibility. (shrink)

Benardete paradoxes involve infinite collections of Grim Reapers, assassins, demons, deafening peals, or even sentences. These paradoxes have recently been used in arguments for finitist metaphysical theses such as temporal finitism, causal finitism, and discrete views of time. Here we develop a new finite Benardete-like paradox. We then use this paradox to defend a companions in guilt argument that challenges recent applications of patchwork principles on behalf of the aforementioned finitist arguments. Finally, we develop another problem for those applications by (...) examining the notion of exact duplication. (shrink)

An Introduction to Proof via Inquiry-Based Learning is a textbook for the transition to proof course for mathematics majors. Designed to promote active learning through inquiry, the book features a highly structured set of leading questions and explorations. The reader is expected to construct their own understanding by engaging with the material. The content ranges over topics traditionally included in transitions courses: logic, set theory including cardinality, the topology of the real line, a bit of number theory, and more. The (...) exposition guides and mentors the reader through an adventure in mathematical discovery, requiring them to solve problems, conjecture, experiment, explore, create, and communicate. Ultimately, this is really a book about productive struggle and learning how to learn. This is a print version of the popular open-access online text by Dana C. Ernst. (shrink)

We critically analyze four images of female Paralympians posing nude in ESPN The Magazine’s Body Issue from the years 2009, 2010, 2012, and 2014. Past literature shows that media portrayals of female Paralympians emphasize esthetically pleasing bodies, able-bodied images and asexualization. Weaving’s continuum of sexual objectification was applied to assess the varying degrees of sexual objectification showcased within each image. From a feminist perspective, discourses of heteronormativity and ableism were applied to outline the concerns with female Paralympic representation in The (...) Body Issue. We argue that by normalizing disability and sexual objectification, woman athletes are trivialized. (shrink)

This study utilises philosophical deliberation to analyse the psycho-social and emotional conflicts that arise out of widowhood practices in the Luo community ofKenya. Towards this end, it explores the attendant effects of Luo widowhood practices on family, power and gender relations, and suggests resolutions to thechallenges they generate.

In this paper, I take up the question of whether the phenomenon of self-deception requires a radical sort of partitioning of the mind, and argue that it does not. Most of those who argue in favor of partitioning accept a model of self-deception according to which the self-deceived person desires to and intentionally sets out to form a certain belief that she knows to be false. Such a model is similar to that of deception of other persons, and for this (...) reason is thought to require that the self-deceiver’s mind be partitioned; one “part” of her knows the truth, while the other “part” is convinced of a false belief. I argue that while both the partitionist model and its main competitor should be rejected, each contains a key insight. On the one hand, anti-partitionist models correctly invoke some sort of desire or motivation on the part of self-deceivers as playing a role in the acquisition of their beliefs. But it is partitionists who identify the right sort of desire, namely, the desire to believe. (shrink)

Theodor Adorno once wrote an essay to "defend Bach against his devotees." In this book Dana Villa does the same for Hannah Arendt, whose sweeping reconceptualization of the nature and value of political action, he argues, has been covered over and domesticated by admirers who had hoped to enlist her in their less radical philosophical or political projects. Against the prevailing "Aristotelian" interpretation of her work, Villa explores Arendt's modernity, and indeed her postmodernity, through the Heideggerian and Nietzschean theme (...) of a break with tradition at the closure of metaphysics.Villa's book, however, is much more than a mere correction of misinterpretations of a major thinker's work. Rather, he makes a persuasive case for Arendt as the postmodern or postmetaphysical political theorist, the first political theorist to think through the nature of political action after Nietzsche's exposition of the death of God. After giving an account of Arendt's theory of action and Heidegger's influence on it, Villa shows how Arendt did justice to the Heideggerian and Nietzschean criticism of the metaphysical tradition while avoiding the political conclusions they drew from their critiques. The result is a wide-ranging discussion not only of Arendt and Heidegger, but of Aristotle, Kant, Nietzsche, Habermas, and the entire question of politics after metaphysics. (shrink)