It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...) and for satisfiability in finite structures. Moreover most of them are hard for $\Sigma^1_1$ , the first level of the analytical hierachy, and thus have a much higher degree of undecidability than first-order logic. (shrink)

Many studies have argued for distinct but complementary contributions from each hemisphere in the control of movements to visual targets. Investigators have attempted to extend observations from patients with unilateral left- and right-hemisphere damage, to those using neurologically-intact participants, by assuming that each hand has privileged access to the contralateral hemisphere. Previous attempts to illustrate right hemispheric contributions to the control of aiming have focussed on increasing the spatial demands of an aiming task, to attenuate the typical right hand advantages, (...) to try to enhance a left hand reaction time advantage in right-handed participants. These early attempts have not been successful. The present study circumnavigates some of the theoretical and methodological difficulties of some of the earlier experiments, by using three different tasks linked directly to specialized functions of the right hemisphere: bisecting, the gap effect, and visuospatial localization. None of these tasks were effective in reducing the magnitude of left hand reaction time advantages in right handers. Results are discussed in terms of alternatives to right hemispheric functional explanations of the effect, the one-dimensional nature of our target arrays, power and precision given the size of the left hand RT effect, and the utility of examining the proportions of participants who show these effects, rather than exclusive reliance on measures of central tendency and their associated null hypothesis significance tests. (shrink)

Résumé Si l’éthique formulée par Hans Jonas constitue un progrès de la conscience morale, qui peut ainsi s’armer pour répondre aux défis posés par la technique contemporaine, elle court cependant le risque de s’énoncer au détriment de l’impératif de progrès et de justice. C’est cette inquiétude qui conduit à instaurer ici un dialogue entre l’éfthique de la discussion de Karl-Otto Apel et l’impératif de responsabilité de Hans Jonas. Nous présentons l’éthique de Jonas, les objections que lui adresse Apel, les (...) réponses possibles à la lecture réductrice qu’il fait de la pensée jonassienne, tout en maintenant ce en quoi l’éthique de la discussion pourrait consolider les perspectives juridico-politiques envisagées par Jonas. (shrink)

Cartwright’s self-proclaimed philosophical heritage includes Aristotle and Otto Neurath. Her Aristotelianism includes the view that the aim of science is the identification of the capacities of things in nature. From Neurath she takes a “patchwork” view of theories according to which theories do not fit into an unified whole in which higher-order sciences reduce, in some way, to lower-order sciences. Instead, theories work for particular kinds of phenomena and there is no guarantee that any theory will work outside of (...) those situations for which it was constructed. Cartwright maintains that theories and laws may provide true descriptions of the world, but no one theory or set of laws is universal. She argues that, since laws and theories are not universal, all laws are ceteris paribus. The achievement of science does not rest on knowledge of laws, but knowledge of the capacities that the things in the world possess. (shrink)

Standard animalists are committed to a stringent form of restricted composition, thereby denying the existence of brains, hands, and other proper parts of an organism . One reason for positing this near-nihilistic ontology comes from various challenges to animalism such as the Thinking Parts Argument, the Unity Argument, and the Argument from the Problem of the Many. In this paper, I show that these putatively distinct arguments are all instances of a more general problem, which I call the ‘Too Many (...) Candidates Problem’ . Given my formulation of the problem, it is evident that standard animalists are mistaken in believing that restricting composition is the only solution. I show that there is another option for solving the TMC. The advantage of such a position, which I call ‘unrestricted animalism’, is that it is compatible with unrestricted composition and the existence of brains and other proper parts of an organism. I conclude by sketching several strategies one can take regarding this latter solution to the TMC. (shrink)

From the time of Locke, discussions of personal identity have often ignored the question of our basic metaphysical nature: whether we human people are biological organisms, spatial or temporal parts of organisms, bundles of perceptions, or what have you. The result of this neglect has been centuries of wild proposals and clashing intuitions. What Are We? is the first general study of this important question. It beings by explaining what the question means and how it differs from others, such as (...) questions of personal identity and the mind-body problem. It then examines in some depth the main possible accounts of our metaphysical nature, detailing both their theoretical virtues and the often grave difficulties they face. The book does not endorse any particular account of what we are, but argues that the matter turns on more general issues in the ontology of material things. If composition is universal--if any material things whatever make up something bigger--then we are temporal parts of organisms. If things never compose anything bigger, so that there are only mereological simples, then we too are simples--perhaps the immaterial substances of Descartes--or else we do not exist at all (a view Olson takes very seriously). The intermediate view that some things compose bigger things and others do not leads almost inevitably to the conclusion that we are organisms. So we can discover what we are by working out when composition occurs. (shrink)

We think of modern liberalism as the novel product of a world reinvented on a secular basis after 1945. In The Theology of Liberalism, one of the country's most important political theorists argues that we could hardly be more wrong. Eric Nelson contends that the tradition of liberal political philosophy founded by John Rawls is, however unwittingly, the product of ancient theological debates about justice and evil. Once we understand this, he suggests, we can recognize the deep incoherence of (...) various forms of liberal political philosophy that have emerged in Rawls's wake.--. (shrink)

Siguiendo a Eric Voegelin, cabría preguntarse si el agustinismo político contribuyó a la desdivinización del poder temporal o, por el contrario, sentó las bases para su redivinización moderna. La crónica Historia de duabus Civitatibus de Otón de Freising es un texto paradigmático que permitiría resolver esta cuestión, pues en ella el autor desarrolla la teoría de la civitas permixta, es decir, la mezcla de las dos ciudades agustinianas en la historia. Tratándose de un pensador del siglo XII, tal concepto (...) parece surgir de cierto acervo cultural heredado que se manifiesta en forma de conceptos simbólicos. Uno de esos conceptos es el de rex et sacerdos y resulta clave para comprender el pensamiento político de Otón de Freising y descubrir en él, si cabe, ciertos principios que pudieron haber servido como fundamento para la construcción de la estatalidad moderna en los siglos ulteriores. (shrink)

This paper explores some connections between competing conceptions of scientific laws on the one hand, and a problem in the foundations of statistical mechanics on the other. I examine two proposals for understanding the time asymmetry of thermodynamic phenomenal: David Albert's recent proposal and a proposal that I outline based on Hans Reichenbach's “branch systems”. I sketch an argument against the former, and mount a defense of the latter by showing how to accommodate statistical mechanics to recent developments in the (...) philosophy of scientific laws. (shrink)

The two main theses of are: (i) that persons possess an original, non-acquired right not to be precluded from making extra-personal material their own (or from exercising discretionary control over what they have made their own); and (ii) that this right can and does take the form of a right that others abide by the rules of a (justifiable) practice of property which facilitates persons making extra-personal material their own (and exercising discretionary control over what they have made their own). (...) I articulate some of the good reasons we have to affirm persons' possession of an original, non-acquired right of self-ownership and argue that the same good reasons support the ascription to persons of a natural right of property. I contrast an conception of the actions through which (initial) rights over extra-personal objects arise with a conception of (initial) entitlement-generating actions. I argue that the fact that the natural right to property can and does take the form of persons' rights that others abide by the rules of a (justifiable) practice of property explains how there are many instances of (initial) entitlement generation which are not plausibly explained by those wed to the inherent feature conception of entitlement-generating actions and why there is a strong conventional dimension in the procedures through which persons acquire (initial) property rights. (shrink)

Recently, Stephan Blatti has argued that a deprivationist view (DV) of death’s harm is incomplete, and he presents a view such that the kind of distinctive harm that death brings to an individual involves the restriction of that individual’s autonomy.2 Not only does death deprivation-harm us, but it also restriction-harms us. Let us label such an account—one that includes both deprivation and restriction as comprising death’s harm—as a ‘deprivationist-restrictionist view’ (or ‘DRV’). Blatti favors DRV because it avoids several worries that (...) beset DV. In this paper, I present several objections to DRV; in particular, I raise some problems for the claim that death restriction-harms us and show that even DRV does not avoid the worries of DV—so there is no reason to prefer DRV over DV. (shrink)

Philip Kitcher has proposed a theory of explanation based on the notion of unification. Despite the genuine interest and power of the theory, I argue here that the theory suffers from a fatal deficiency: It is intrinsically unable to account for the asymmetric structure of explanation, and thus ultimately falls prey to a problem similar to the one which beset Hempel's D-N model. I conclude that Kitcher is wrong to claim that one can settle the issue of an argument's explanatory (...) force merely on the basis of considerations about the unifying power of the argument pattern the argument instantiates. (shrink)

Cunha and Caldieraro (2009) investigated whether sunk-cost effects, which are well documented in hypothetical situations involving monetary investments, also occur in choice situations with purely behavioral investments. Their results suggest that decision makers indeed fall prey to behavioral sunk-cost effects under certain circumstances. I have been unable to replicate their pattern of results in three separate investigations. In these studies, I attempted to recover the effect using two other behavioral effort manipulations in addition to the manipulation used by Cunha and (...) Caldieraro. This failure to replicate the pattern of results calls into question the robustness of the initial findings. (shrink)

Standard microbial evolutionary ontology is organized according to a nested hierarchy of entities at various levels of biological organization. It typically detects and defines these entities in relation to the most stable aspects of evolutionary processes, by identifying lineages evolving by a process of vertical inheritance from an ancestral entity. However, recent advances in microbiology indicate that such an ontology has important limitations. The various dynamics detected within microbiological systems reveal that a focus on the most stable entities (or features (...) of entities) over time inevitably underestimates the extent and nature of microbial diversity. These dynamics are not the outcome of the process of vertical descent alone. Other processes, often involving causal interactions between entities from distinct levels of biological organisation, or operating at different time scales, are responsible not only for the destabilisation of pre-existing entities, but also for the emergence and stabilisation of novel entities in the microbial world. In this article we consider microbial entities as more or less stabilised functional wholes, and sketch a network-based ontology that can represent a diverse set of processes including, for example, as well as phylogenetic relations, interactions that stabilise or destabilise the interacting entities, spatial relations, ecological connections, and genetic exchanges. We use this pluralistic framework for evaluating (i) the existing ontological assumptions in evolution (e.g. whether currently recognized entities are adequate for understanding the causes of change and stabilisation in the microbial world), and (ii) for identifying hidden ontological kinds, essentially invisible from within a more limited perspective. We propose to recognize additional classes of entities that provide new insights into the structure of the microbial world, namely “processually equivalent” entities, “processually versatile” entities, and “stabilized” entities. (shrink)

Philosophers tend to be pretty impressed by human self-knowledge. Descartes (1641/1984) thought our knowledge of our own stream of experience was the secure and indubitable foundation upon which to build our knowledge of the rest of the world. Hume – who was capable of being skeptical about almost anything – said that the only existences we can be certain of are our own sensory and imagistic experiences (1739/1978, p. 212). Perhaps the most prominent writer on self-knowledge in contemporary philosophy is (...) Sydney Shoemaker. The central aim of much of his work has been to show that certain sorts of error are impossible (1963, 1988, 1994). David Chalmers has likewise attempted to show that, for a suitably constrained class of beliefs about one’s own consciousness, error is impossible (2003, sec. 4.1). Even philosophers most of the community thinks of as pessimistic about self-knowledge of consciousness seem to me, really, to be fairly optimistic. Paul Churchland, famous for his disdain of ordinary people’s knowledge about the mind, compares the accuracy of introspection to the accuracy of sense perception – pretty good, presumably, about medium-sized, nearby matters (1985, 1988). Dan Dennett, often cited as a pessimist about introspective report, actually says that we can come close to infallibility when charitably interpreted (2002). The above references concern knowledge of the stream of conscious experience, but philosophers have also tended to be impressed with our self-knowledge of our attitudes, such as our beliefs and desires. Consider this: Although I can be wrong about its being sunny outside, I can’t in the same way be wrong, it seems, about the fact that I think it’s sunny outside. Some.. (shrink)

Adam Smith is rediscovered every few generations by philosophers surprised by his subtlety, originality, and relevance. Smith’s status as mythical father of economic science and his role as canonical defender of free trade is secure within economics, but few philosophers have been more often misrepresented and underestimated. Because he is well known as an advocate of commercial society, many scholars, public intellectuals, commentators, and journalists are happy to implicate him automatically in its successes and failures, or to enlist him in (...) one side or another of the various ideological battles surrounding the utility and dangers of market economics. This book is an accessible and engaging introduction to Smith’s most important contributions to philosophy. Beginning with an introductory chapter on Smith’s life, writings and readings, Eric Schliesser locates Smith in his immediate social and philosophical context. Later chapters analyse key concepts in his core moral, political and metaphysical theories, before turning to Smith's contribution to areas of ongoing philosophical interest, especially philosophy of science, and the metaphysics of mind and self. Schliesser concludes by summarising Smith's complicated legacy in the eighteenth, nineteenth, and twentieth centuries, and explores how Smith is being 're-discovered' in contemporary moral philosophy. (shrink)

I identify a set of interlocking views that became (and still are) very influential within philosophy in the wake of Newton’s success. These views use the authority of natural philosophy/mechanics to settle debates within philosophy. I label these “Newton’s Challenge.”.

Relationships between children and parents pervade the Star Wars saga, especially if people include surrogate parents. Anakin's relationship with his mother, Shmi, in the prequels impacts his trajectory toward the dark side. In The Mandalorian, Mando's role as a surrogate father to Grogu transforms them into a “Clan of Two”. But the most significant parent‐child relationship in the saga may be the one between Luke Skywalker and Darth Vader. Confucius's teachings highlight the importance of benevolence, social order, and ritual propriety (...) among other virtues and values. This chapter shows that understanding Luke's surrender to Vader in terms of Confucian filial piety makes sense of how Luke is able to overcome the allure of the dark side and become a Jedi. Confucius's Analects has a moral framework called “exemplarism”. This is the idea that moral knowledge and practice do not start with principles, rules, duties, consequences, or character traits. (shrink)

This paper addresses the alleged tension between the kind of strong apophaticism endorsed by Maimonides and his view of worshiping God. After considering some extant resolutions to this problem, I offer a proposal that utilizes the role of silence and imitative activity in Maimonides. While this solution may not have been one that Maimonides would have offered, I argue that Maimonides had conceptual resources for offering a promising solution within his theological framework.

Governments have been slow to address climate change. If non-governmental agents share a responsibility in light of the slow pace of government action then it is a collective responsibility. I examine three models of collective responsibility, especially Iris Young's social connection model, and assess their value for identifying a collective, among all emitters, that can share responsibility. These models can help us better understand both the growth of the movement to divest from fossil fuels and the nature of responsibility for (...) collective action problems. Universities and colleges share a responsibility because they occupy similar positions of, among other things, power and privilege. (shrink)

The philosophy of cognitive science is concerned with fundamental philosophical and theoretical questions connected to the sciences of the mind. How does the brain give rise to conscious experience? Does speaking a language change how we think? Is a genuinely intelligent computer possible? What features of the mind are innate? Advances in cognitive science have given philosophers important tools for addressing these sorts of questions; and cognitive scientists have, in turn, found themselves drawing upon insights from philosophy--insights that have often (...) taken their research in novel directions. The Oxford Handbook of Philosophy of Cognitive Science brings together twenty-one newly commissioned chapters by leading researchers in this rich and fast-growing area of philosophy. It is an indispensible resource for anyone who seeks to understand the implications of cognitive science for philosophy, and the role of philosophy within cognitive science. (shrink)

In the above mentioned article [1] unfortunately the names of the translators of Toeplitz's lecture were omitted. The correct title is:The Problem of University Courses on Infinitesimal Calculus and TheirDemarcation from Infinitesimal Calculus in High SchoolsOtto ToeplitzTranslated into English by Michael N. Fried and Hans Niels Jahnke.

Carroll Izard completed his dissertation in 1952, beginning a career spanning more than six decades that coincided with clinical psychology maturing as a profession, and the birth of clinical science and cognitive neuroscience. Izard’s focus on discrete emotions as evolved systems that organize information, prepare responses, and shape the development of personality and relationships persisted through his career, despite “emotions” often being overshadowed by psychodynamic, behavioral, or cognitive perspectives. His theoretical work anticipated and now integrates contemporary neuroscience and relational perspectives. (...) Exploration of discrete emotions has kept lines of inquiry open that enrich our understanding of psychopathology. Izard also embraced clinical science, combining basic research with effectiveness studies addressing the unmet need for mental health services via emotion-focused interventions. (shrink)

In this essay, I discuss the comparison between the restoration of natural environments and the Nazi project to develop a pure homeland for native species and authentic Aryan humans. There exists a metaphorical comparison between Nazi eliminationist policies regarding specific human populations and the eradication of invasive and non-native species in ecological restorations. Moreover, there are substantive environmental policies of the Nazi regime that appear to be similar to the goals and methodology of contemporary restoration practice. But there is also (...) a more fundamental connection: the idea of the domination of the natural world. The idea of domination is the key to understanding both the process of ecological restoration and its real connection to Nazism. (shrink)

Robert Trivers has proposed perhaps the only serious adaptationist account of self-deception—that the primary function of self-deception is to better deceive others. But this account covers only a subset of cases and needs further refinement. A better evolutionary account of self-deception and cognitive biases more generally will more rigorously recognize the various ways in which false beliefs affect both the self and others. This article offers formulas for determining the optimal doxastic orientation, giving special consideration to conflicted self-deception as an (...) alternative to outright self-delusion. A novel taxonomy of self-deception, as it relates to the beliefs held by others, is also presented. While Trivers makes a plausible case for the adaptive value of certain cognitive biases, a more fragmented and nuanced account of the social forces impacting the evolution of self-deception is needed. (shrink)

Many psychologists think that concepts should be understood on analogy with the terms of scientific theories, yet the significance of this claim has always been obscure. In this paper, I clarify the psychological content of the theory analogy, focusing on influential pieces by Susan Carey. Once plainly put, the analogy amounts to the view that a mental representation has its semantic properties by virtue of its role in a restricted knowledge structure. One of the commendable things about Carey's work is (...) that, unlike many other psychologists who appeal to the theory analogy, she takes seriously the need to specify how these structures are constrained. At the same time, the constraints she offers are insufficient. Her account also faces challenges from work in the semantics of natural kind terms. (shrink)

The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's (...) system, and basic logical properties are proved. (shrink)

Armed reprisals are the limited use of military force in response to unlawful actions perpetrated against states. Historically, reprisals provided a military remedy for states that had been wronged by another state without having to resort to all-out war in order to counter or deter such wrongful actions. While reprisals are broadly believed to have been outlawed by the UN Charter, states continue to routinely undertake such self-help measures. As part of the roundtable, “The Ethics of Limited Strikes,” this essay (...) examines the doctrine of armed reprisals in light of recent instances of states using force “short of war” in this manner. We argue that the ban on reprisals has been largely ignored by states, and that recent attempts to apply the laws of armed conflict to the cyber domain are further weakening this prohibition. We conclude that this is a potentially dangerous development that lowers the bar for resorting to military force, risking escalation and thereby further destabilizing the international system. (shrink)

As algorithms pervade numerous facets of daily life, they are incorporated into systems for increasingly diverse purposes. These systems’ results are often interpreted differently by the designers who created them than by the lay persons who interact with them. This paper offers a proposal for human-centered algorithm design, which incorporates human and social interpretations into the design process for algorithmically based systems. It articulates three specific strategies for doing so: theoretical, participatory, and speculative. Drawing on the author’s work designing and (...) deploying multiple related systems, the paper provides a detailed example of using a theoretical approach. It also discusses findings pertinent to participatory and speculative design approaches. The paper addresses both strengths and challenges for each strategy in helping to center the process of designing algorithmically based systems around humans. (shrink)