We consider three problems concerning alpha conversion of closed terms (combinators). (1) Given a combinator M find the an alpha convert of M with a smallest number of distinct variables. (2) Given two alpha convertible combinators M and N find a shortest alpha conversion of M to N. (3) Given two alpha convertible combinators M and N find an alpha conversion of M to N which uses the smallest number of variables possible along the way. We obtain the following results. (...) (1) There is a polynomial time algorithm for solving problem (1). It is reducible to vertex coloring of chordal graphs. (2) Problem (2) is co-NP complete (in recognition form). The general feedback vertex set problem for digraphs is reducible to problem (2). (3) At most one variable besides those occurring in both M and N is necessary. This appears to be the folklore but the proof is not familiar. A polynomial time algorithm for the alpha conversion of M to N using at most one extra variable is given. There is a tradeoff between solutions to problem (2) and problem (3) which we do not fully understand. (shrink)

The λY calculus is the simply typed λ calculus augmented with the fixed point operators. We show three results about λY: the word problem is undecidable, weak normalisability is decidable, and higher type fixed point operators are not definable from fixed point operators at smaller types.

Some luck, in a decision of Gauguin's kind, is extrinsic to his project, some intrinsic; both are necessary for success, and hence for actual justification, but only the latter relates to un- justification. If we now broaden the range of cases slightly, ...

Learn the tips and tricks used by a top photographer in the digital photography industry in Rick Sammon's Top Digital Photography Secrets. Filled with beautiful photographs and the techniques Rick Sammon used to capture them, this book offers you motivation to capture stunning photographs and the tools and tricks you need to capture them. With more than 100 techniques for use behind the camera, this book will improve the camera skills of both amateur and experienced photographers. Additionally, this (...) book includes a chapter on post-production secrets, and a Rick Sammon DVD Guide lighting, camera, and digital photography basics. In this 1-hour DVD, Rick shows you how to get great photos using a variety of lighting sources, camera-specific techniques, and basic rules of photography. (shrink)

The topic of standing to blame has recently received a lot of attention. Until now, however, it has focused mainly on the blamer's perspective, investigating what it means to say of blamers that they lose standing to blame and why it is that they lose this standing under specified conditions. The present paper focuses on the perspective of the blamees and tries to explain why they are allowed to disregard standingless, more specifically hypocritical, blame. According to the solution proposed by (...) the paper, while hypocritical blamers present themselves as caring about justice or about the moral or material good of the blamees—and they themselves half‐believe this presentation—their real motivation in blaming is less respectable. It is this problematic motivation that explains why blamees are permitted to disregard hypocritical blame. Ill‐motivated blame is often unreliable, and readiness to even consider it often involves a compromise on the self‐respect of the blamees. (shrink)

abstract Assume that some group, A, is under a serious threat from some other group, B. The only way group A can defend itself is by using lethal force against group B, but the standard conditions for using force in self‐defence are not met. Ought group A to avoid the use of force even if this means yielding to an aggressive, evil power? Most people would resist this conclusion, yet given the violation of essential conditions for self‐defence, this resistance is (...) hard to justify. The aim of this paper is to point to an interesting yet unnoticed move made by some philosophers to find a way out of this problem, a move which relies on construing the situation at hand as a tragic dilemma. I show the attractiveness of this solution and argue that in the end it fails. (shrink)

This article outlines the main tenets of affect theory and links these to Sloterdijk’s spherology. Where affect foregrounds prepersonal energies and posthuman impulses, spherology provides a lens for considering how humans congregate in constantly reconfiguring socialities in their pursuit of legitimacy and immunity. The article then explores the relevance of “affective spheres” for contemporary social science research. The article’s main argument here is that research of contemporary organisational and professional practices must increasingly be spherogenic, or seeking to build “affective spheres.” (...) The basis of this argument are the in situ complexity and fast-changing nature of practices, and the increasing challenges involved in objectifying or ‘freezing’, and analysing or dissecting such practices. The article draws for its case study on a video-reflexive project conducted in a U.S. health service. The article concludes that the notion of research as spherogenics counterbalances the conventional methodological emphasis on a predetermined stance —whether neutral or political—in our construction and enactment of social science research. (shrink)

The central question in contemporary ethics is whether virtue can replace duty as the primary notion in ethical theory. The subject of intense contemporary debate in ethical theory, virtue ethics is currently enjoying an increase in interest. This is the first book to focus directly on the subject. It provides a clear, systematic introduction to the area and houses under one cover a collection of the central articles published on the debate over the past decade. The essays encompass a wide (...) range ofaspects: the difference between virtue ethics and traditional duty ethics; present arguments for and against virtue ethics; the practical implications of virtue ethics and the Aristotelian and Kantian attitudes to virtue ethics. (shrink)

In this paper I will outline a unified information processing framework whose goal is to explain how the nervous system represents space, time and objects. In the remainder of this introductory section I will first be more specific about the sort of spatial, temporal, and object representation at issue, and then outline the structure of this paper.

That an intimate connection exists between the notion of human dignity and the notion of humiliation seems to be a commonplace among philosophers, who tend to assume that humiliation should be explained in terms of (violation of) human dignity. I believe, however, that this assumption leads to an understanding of humiliation that is too "philosophical" and too detached from psychological reality. The purpose of the paper is to modify the above connection and to offer a more "down to earth" account (...) of humiliation that does not depend on metaphysical or axiological questions concerning the unique dignity enjoyed by all human beings qua human beings. The paper argues for a subjective-psychological notion of self-respect in the explication of humiliation, instead of an objective-normative one. To be humiliated means to suffer an actual threat to or fall in one's self-respect. (shrink)

Carruthers invokes a number of controversial assumptions to support his thesis. Most are questionable and unnecessary to investigate the wider relevance of language in cognition. A number of research programs (e.g., interactionist psycholinguistics and cognitive linguistics) have for years pursued a similar thesis and provide a more empirically grounded framework for investigating language’ cognitive functions.

Despite their importance to the history of economics and social theory, social scientists and historians pay little heed to the structural similarities as well as the important divergences in the work of French-man Emile Durkheim (1858—1917) and American Thorstein Veblen (1857—1929). Consequently, this article places Durkheim and Veblen in their social and historical context, and then (1) their epistemologies are related to their use of cultural lag to explain the persistence of atavistic continuities in the existing order, (2) their theories (...) of social bonding and integration are compared to explain the meaning as well as the structural differences in their collectivism, and (3) these are linked with the predictive power of their broader socioeconomic theories to forecast the future of Western society. The two men made major contributions to the human sciences and a historical retrospect by way of comparative analysis illuminates these contributions. (shrink)

It is the aim of work in theoretical cognitive science to produce good theories of what exactly cognition amounts to, preferably theories which not only provide a framework for fruitful empirical investigation, but which also shed light on cognitive activity itself, which help us to understand our place, as cognitive agents, in a complex causally determined physical universe. The most recent such framework to gain significant fame is the so-called dynamical approach to cognition. Explaining and exploring DST is the purpose (...) of the collection Mind as Motion: Explorations in the Dynamics of Cognition, edited by Robert Port and Timothy van Gelder. (shrink)

The emulation theory of representation is developed and explored as a framework that can revealingly synthesize a wide variety of representational functions of the brain. The framework is based on constructs from control theory (forward models) and signal processing (Kalman filters). The idea is that in addition to simply engaging with the body and environment, the brain constructs neural circuits that act as models of the body and environment. During overt sensorimotor engagement, these models are driven by efference copies in (...) parallel with the body and environment, in order to provide expectations of the sensory feedback, and to enhance and process sensory information. These models can also be run off-line in order to produce imagery, estimate outcomes of different actions, and evaluate and develop motor plans. The framework is initially developed within the context of motor control, where it has been shown that inner models running in parallel with the body can reduce the effects of feedback delay problems. The same mechanisms can account for motor imagery as the off-line driving of the emulator via efference copies. The framework is extended to account for visual imagery as the off-line driving of an emulator of the motor-visual loop. I also show how such systems can provide for amodal spatial imagery. Perception, including visual perception, results from such models being used to form expectations of, and to interpret, sensory input. I close by briefly outlining other cognitive functions that might also be synthesized within this framework, including reasoning, theory of mind phenomena, and language. Key Words: efference copies; emulation theory of representation; forward models; Kalman filters; motor control; motor imagery; perception; visual imagery. (shrink)

An attempt is made to defend a general approach to the spatial content of perception, an approach according to which perception is imbued with spatial content in virtue of certain kinds of connections between perceiving organism's sensory input and its behavioral output. The most important aspect of the defense involves clearly distinguishing two kinds of perceptuo-behavioral skills—the formation of dispositions, and a capacity for emulation. The former, the formation of dispositions, is argued to by the central pivot of spatial content. (...) I provide a neural information processing interpretation of what these dispositions amount to, and describe how dispositions, so understood, are an obvious implementation of Gareth Evans' proposal on the topic. Furthermore, I describe what sorts of contribution are made by emulation mechanisms, and I also describe exactly how the emulation framework differs from similar but distinct notions with which it is often unhelpfully confused, such as sensorimotor contingencies and forward models. (shrink)

The Philosophy of Matter is a journey in thinking through the material fate of the earth itself; its surfaces and undercurrrents, ecologies, environments and irreparable cracks. With figures such as Spinoza, Gilles Deleuze and Michel Serres as philosophical guides and writings on New Materialism, Posthumanism and Affect Theory as intellectual context, Rick Dolphijn proposes a radical rethinking of some of the basic themes of philosophy: subjectivity, materiality, body (both human and otherwise) and the act of living. This rethink is (...) a work of imagination and meditation in order to conceive of "another earth for another people". It is a homage to courageous thinking that dares to question the religious, capitalist and humanist realities of the day. A poetic philosophy of how to live in troubling times when even the earth beneath us feels unstable, Dolphijn offers a way to think about the world with depth, honesty and glimpses of hope. (shrink)

Hypocrites are generally regarded as morally-corrupt, cynical egoists who consciously and deliberately deceive others in order to further their own interests. The purpose of my essay is to present a different view. I argue that hypocrisy typically involves or leads to self-deception and, therefore, that real hypocrites are hard to find. One reason for this merging of hypocrisy into self-deception is that a consistent and conscious deception of society is self-defeating from the point of view of egoistical hypocrites. The best (...) way for them to achieve their ends would be to believe in the deception, thereby not only deceiving others but also themselves. If my thesis is sound, we ought to be more cautious in ascribing hypocrisy to people, and less harsh in our attitude toward hypocrites. (shrink)

Moral dilemmas set a challenge for ethical theory. They are situations where agents seem to be under an obligation both to do, and to refrain from doing, a specific act. Are such situations possible? What is their exact nature? These are the questions that _Moral Dilemmas_ tries to answer. The book argues that moral theories should not allow for the possibility of irresolvable dilemmas, for situations in which no right answer exists. To this end, arguments seeking to prove the existence (...) of irresolvable dilemmas, especially the argument from the incommensurability of values, are discussed at length and refuted. The book shows that though on the normative level dilemmas are resolved, they typically involve a high moral cost for which there is no adequate compensation. This moral cost is the source of the regret and pain suffered by agents in moral dilemmas. Thus, moral dilemmas do not point to any inconsistency in our moral reasoning or theory, but to a problematic aspect of the human condition; at times (probably less often than is usually believed), human beings are justified, and even required, to dirty their hands by behaving in ways that in ordinary situations would be strictly forbidden and condemned. (shrink)

The paper discusses a neglected condition for justified self-defense, namely, 'The Success Condition [SC].' According to SC, otherwise immoral acts can be justified under the right to self-defense only if they actually achieve the intended defense from the perceived threat. If they don't, they are almost always excused, but not morally justified. I show that SC leads to a troubling puzzle because victims who estimate they cannot prevent the attack against them would be morally required to surrender. I try to (...) solve the puzzle by relying on what I call 'The Honor Solution.' Even if defensive acts fail to protect the victim's body, property, or life, they are successful in protecting her honor, thus they do ultimately meet the success condition. (shrink)

I examine one of the conceptual cornerstones of the field known as computational neuroscience, especially as articulated in Churchland et al. (1990), an article that is arguably the locus classicus of this term and its meaning. The authors of that article try, but I claim ultimately fail, to mark off the enterprise of computational neuroscience as an interdisciplinary approach to understanding the cognitive, information-processing functions of the brain. The failure is a result of the fact that the authors provide no (...) principled means to distinguish the study of neural systems as genuinely computational/information-processing from the study of any complex causal process. I then argue for two things. First, that in order to appropriately mark off computational neuroscience, one must be able to assign a semantics to the states over which an attempt to provide a computational explanation is made. Second, I show that neither of the two most popular ways of trying to effect such content assignation -- informational semantics and 'biosemantics' -- can make the required distinction, at least not in a way that a computational neuroscientist should be happy about. The moral of the story as I take it is not a negative one to the effect that computational neuroscience is in principle incapable of doing what it wants to do. Rather, it is to point out some work that remains to be done. (shrink)

Profinite groups are Galois groups. The effective study of infinite Galois groups was initiated by Metakides and Nerode [8] and further developed by LaRoche [5]. In this paper we study profinite groups without considering Galois extensions of fields. The Artin method of representing a finite group as a Galois group has been generalized by Waterhouse [14] to profinite groups. Thus, there is no loss of relevance in our approach.The fundamental notions of a co-r.e. profinite group, recursively profinite group, and the (...) degree of a co-r.e. profinite group are defined in §1. In this section we prove that every co-r.e. profinite group can be effectively represented as an inverse limit of finite groups. The degree invariant is shown to behave very well with respect to open subgroups and quotients. The work done in this section is basic to the rest of the paper.The commutator subgroup, the Frattini subgroup, thep-Sylow subgroups, and the center of a profinite group are essential in the study of profinite groups. It is only natural to ask if these subgroups are effective. The following question exemplifies our approach to this problem: Is the center a co-r.e. profinite group? Theorem 2 provides a general method for answering this type of question negatively. Examples 3,4 and 5 are all applications of this theorem. (shrink)

I have argued elsewhere that imagery and represention are best explained as the result of operations of neurally implemented emulators of an agent's body and environment. In this article I extend the theory of emulation to address perceptual processing as well. The key notion will be that of an emulator of an agent's egocentric behavioral space. This emulator, when run off-line, produces mental imagery, including transformations such as visual image rotations. However, while on-line, it is used to process information from (...) sensory systems, resulting in perception (in this regard, the theory is similar to that proposed by Kosslyn (1994)). This emulator is what provides the theory in theory-laden perception. I close by arguing briefly that the spatial character of perception is to be explained as the contribution of the egocentric behavioral space emulator. (shrink)

Groundhog Day (Harold Ramis, 1993) and Only Lovers Left Alive (Jim Jarmusch, 2013) are fantasy films that use the device of practical immortality in order to raise important philosophical questions about what constitutes a good life and to explore the nature of romantic love. Groundhog Day provides fairly conventional answers about how to live a good life by focusing on issues of spiritual redemption, selflessness, and developing one’s human potential. In contrast, Lovers provides a dark portrayal of a civilization on (...) the brink of extinction but offers a glimmer of hope for the future. The lifestyle and values of married vampires Adam and Eve represent an alternative vision of the core values needed to sustain a better world: greater reliance on human imagination, maintaining a sense of wonder and curiosity about the world, creating and appreciating works of art and living in harmony with the natural world. Both films also offer a perspective on the importance of romantic love in living a good life. Although these perspectives often diverge from one another, they do overlap in some interesting ways. The style of film criticism used in this paper is inspired by the film philosophy of Stanley Cavell. (shrink)

The question of whether time is its own best representation is explored. Though there is theoretical debate between proponents of internal models and embedded cognition proponents (e.g. Brooks R 1991 Artificial Intelligence 47 139–59) concerning whether the world is its own best model, proponents of internal models are often content to let time be its own best representation. This happens via the time update of the model that simply allows the model’s state to evolve along with the state of the (...) modeled domain. I argue that this is neither necessary nor advisable. I show that this is not necessary by describing how internal modeling approaches can be generalized to schemes that explicitly represent time by maintaining trajectory estimates rather than state estimates. Though there are a variety of ways this could be done, I illustrate the proposal with a scheme that combines filtering, smoothing and prediction to maintain an estimate of the modeled domain’s trajectory over time. I show that letting time be its own representation is not advisable by showing how trajectory estimation schemes can provide accounts of temporal illusions, such as apparent motion, that pose serious difficulties for any scheme that lets time be its own representation. (shrink)

The paper offers a systematic analysis of the relation between discrimination and justice, a surprisingly neglected topic. It examines the relation between discrimination and various types of injustice—corrective, retributive, distributive and relational—and concludes that while discrimination often leads to various sorts of injustice this is not always the case. If some act or policy is an instance of discrimination, it is not necessarily unjust, and if some act or policy is an instance of injustice, it is not necessarily discriminatory. So (...) injustice isn’t what makes wrongful discrimination wrong. (shrink)

Midwest Studies In Philosophy, EarlyView.

The recent development of unmanned technology—drones and robots of various types—is transforming the nature of warfare. Instead of fighting against other human beings, combatants will soon be fighting against machines. At present, these machines are operated by human beings, but they are becoming increasingly autonomous. Some people believe that, from a moral point of view, this development is worrisome, especially insofar as fully autonomous offensive systems (‘killer robots’) are concerned. I claim that the arguments that support this belief are pretty (...) weak. Compared with the grand battles of the past, with their shockingly high toll of casualties, drone-centered campaigns seem much more humane. They also enable a better fit between moral responsibility and vulnerability to defensive action. Drones and robots may well be recorded in the annals of warfare as offering real promise for moral progress. (shrink)

Journal of Mass Media Ethics, Volume 27, Issue 1, Page 68-70, January-March.

The purpose of this paper is to explore the relation between the right to self-defense against an innocent attacker and the notion of moral luck. It argues that those who accept the existence of such a right rely on the assumption that mere agency makes a significant moral difference – which is precisely the assumption that underlies the view held by believers in moral luck. Those who believe in the right to self-defense against innocent attackers are thus committed to the (...) idea of moral luck much more than they usually acknowledge. The paper also argues that the arguments offered in support of moral luck, in particular the one based on the relation between agency and self-identity, might help to shed light on the rather puzzling above right. (shrink)

Work injury compensation and pensions are often determined according to medical disability rating scales attributing a percentage to each impaired body part or function. Incorporated into central medical–administrative networks of committees and examinations, these produce disability as a calculable space. This article examines the specific case of the Israeli National Insurance regulations regarding work injuries of 1956 and analyzes the shifted order they set. Looking at this system in the specific historical context of transition from the British Mandate workmen’s compensation (...) system to the “disability percentages” system, provides insight into the process of structuring and stabilizing durable numerical forms and the production of centralized government. Drawing on conceptualizations regarding the sociotechnical role of classification systems, I contend that through encoding and calculating classifications of disability, heterogeneity is eliminated and an ordering based on physiology is “black boxed,” illustrating the importance of technoscientific formations in structuring the “medical model of disability.”. (shrink)

According to the canon of Thrasyllus (see D. L. 3.59), Plato’s Laches is about cour-age and employs, to borrow a term from Theaetetus 149a–51d, an ‘obstetric’ method, in which the ideas of Socrates’ interlocu-tors are delivered into the light of day and examined. These Thrasyllan labels correctly identify the simple theme and tactic of the La., but as with all of the Socratic dialogues, apparent simplicity disguises enormous sub-tlety of structure and composition. One thing that seems hidden from most readers (...) is the special relation between theme and tactic, namely that the practise of Socratic dialogue requires and exhibits courage in examining what one really thinks. (shrink)

The selectionist account of behavior is actually a focused discussion of operant selection. To this end, the authors essentially exclude stimuli from their analysis. This exclusion is inconsistent with the importance placed on environmental interaction in their general account. Further, this exclusion limits the generality of their account by missing important sources of stimulus-elicited behavior (e.g., classical conditioning).