In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 158-159 [Access article in PDF] Christopher Janaway, editor. The Cambridge Companion to Schopenhauer. New York: Cambridge University Press, 1999. Pp. 592. Cloth, $59.95. Schopenhauer's import as a original thinker has often been downplayed or underestimated by contemporary commentators and his philosophy is often examined only in light of his influence upon Nietzsche. This collection of thirteen essays assembled by Christopher Janaway (...) does much to overcome scholarly neglect of Schopenhauer by illustrating the original aspects of his thought as well as the widespread influence his philosophy has had. One gains from this book not only a solid introduction to Schopenhauer's major ideas but an appreciation of the significant contributions he made to the philosophical milieu of the nineteenth and twentieth centuries.In the first essay, Gunter Zöller examines how Schopenhauer's unique notion of selfhood fits into his overall "dual aspect" theory of the world as both will and representation. He also discusses Schopenhauer's conception of the self within the context of his claims regarding the negation of the will. The following article, by David Hamlyn, is also broad in scope and provides a comprehensive examination of Schopenhauer's epistemology in The World as Will and Representation. He looks at the various notions of knowledge that are employed in Schopenhauer's system and how they are determined by the different classes of objects of knowledge that Schopenhauer distinguishes. In the third essay F. C. White turns to Schopenhauer's earlier work, On the Fourfold Root of the Principle ofSufficient Reason. White runs through Schopenhauer's arguments regarding each of the four classes of objects which comprise the world as representation in the Fourfold Root. He reinforces the point made by Schopenhauer himself, that this is a text that can not be overlooked if one is to gain a sufficient understanding of his primary work. The Fourfold Root, like the rest of Schopenhauer's philosophy, is deeply engaged with the philosophy of Kant. This is the topic of the next article by Paul Guyer. Guyer gives a detailed summary and evaluation of Schopenhauer's appropriation and critique of Kant's theoretical philosophy. According to Guyer, Schopenhauer and Kant employ quite different methodologies, Kant's being thoroughly transcendental and Schopenhauer's more phenomenological. Also, Schopenhauer's phenomenological approach to epistemological questions often skews his interpretation and evaluation of Kant's transcendental arguments. [End Page 158]Christopher Janaway, in the first of his two contributions, turns the focus to Schopenhauer's famous metaphysical doctrine of the will. He provides a particularly illuminating discussion of Schopenhauer's conception of will as the "thing-in-itself." The thing-in-itself is also the subject of the next article by Noira Nichols. Despite his reputation for not significantly altering his major positions, Nichols argues that there is a distinct difference between Schopenhauer's earlier, more Kantian, conception of the thing-in-itself with his later, more mystical, conception. She attributes these conceptual shifts to the increasing influence of Eastern philosophy upon Schopenhauer's thinking. Schopenhauer's broad analysis of the concept of will includes complex aesthetic and moral theories which are addressed in the contributions by Cheryl Foster and David Cartwright. In her contribution, Cheryl Foster examines Schopenhauer's aesthetics by focusing on his views regarding the relationship of art and science, art and the limitations of the intellect, and the nature of artistic genius. Turning to Schopenhauer's moral theory, David Cartwright explicates Schopenhauer's "narrower" sense of morality as discussed in his often overlooked On the Basis of Morality, rather than focusing on the "higher metaphysical-ethical standpoint" exemplifed in the World as Will and Representation. Cartwright also attempts to demonstrate "... how Schopenhauer has contributed and could contribute to contemporary moral thought" (253).The next group of articles address the issue of Schopenhauer's pessimism. Dale Jacquette looks at Schopenhauer's understanding of the meaning of death in light of his pessimistic metaphysic. Included in Jacquette's study is an explanation of Schopenhauer's views on suicide and asceticism. Covering similar territory, Christopher Janaway... (shrink)

Kühberger et al. show that producing the Langer effect is considerably more difficult than has been assumed. Although their results clearly demonstrate a need for further exploration of the Langer effect, none of their arguments undermines the evidence against simulation theory that we presented in Nichols et al. (1996). In our study the actor subjects did show an effect, but the prediction subjects did not predict it, despite the fact that they were provided with all the details of the (...) actor's situation. Further, we report additional evidence that corroborates our empirical case against simulation theory. (shrink)

Sentimental Rules is an ambitious and highly interdisciplinary work, which proposes and defends a new theory about the nature and evolution of moral judgment. In it, philosopher Shaun Nichols develops the theory that emotions play a critical role in both the psychological and the cultural underpinnings of basic moral judgment. Nichols argues that our norms prohibiting the harming of others are fundamentally associated with our emotional responses to those harms, and that such 'sentimental rules' enjoy an advantage in (...) cultural evolution, which partly explains the success of certain moral norms. This has sweeping and exciting implications for philosophical ethics. Nichols builds on an explosion of recent intriguing experimental work in psychology on our capacity for moral judgment and shows how this empirical work has broad import for enduring philosophical problems. The result is an account that illuminates fundamental questions about the character of moral emotions and the role of sentiment and reason in how we make our moral judgments. This work should appeal widely across philosophy and the other disciplines that comprise cognitive science. (shrink)

The everyday capacity to understand the mind, fancifully dubbed 'mindreading', plays an enormous role in our lives. In the latter half of the 20th century mindreading became the object of sustained scientific and theoretical research, capturing the attention of a wide range of disciplines, including philosophy, developmental psychology, behavioral ecology, anthropology, and cognitive psychopathology. What has been missing is a detailed and integrated account of the mental components that underlie this remarkable capacity. Nichols and Stich develop and defend a (...) new account of the psychological mechanisms underlying mindreading. They maintain that it is, as common sense would suggest, vital to distinguish between reading others' minds and reading one's own. In reading other minds, the imagination plays a central role. As a result, the authors begin with an explicit and systematic account of pretence and imagination which proposes that pretence representations are contained in a separate mental workspace, the 'Possible World Box', which is part of the basic architecture of the human mind. The mechanisms underlying pretence get recruited when people attempt to understand others and predict their behaviour. In some cases, we use our own mental mechanisms to simulate the mental processes of another, as suggested by the 'simulation theory' of mindreading. However, mindreading also implicates very different kinds of mechanisms that rely on rich bodies of information, as suggested by information-based accounts of mindreading. In addition, the authors argue, reading other minds involves important processes that don't fit into either category. None of these mechanisms, though, explain how we read our own minds, which, according to the authors, requires invoking an entirely independent set of mechanisms.What we find, then, is an intricate web of mental components to explain our fascinating and multifarious knack of understanding minds. This account provides a valuable framework for future work on mindreading and has broad implications for philosophical debates that have surrounded the issue for the last quarter century. (shrink)

Shaun Nichols offers a naturalistic, psychological account of the origins of the problem of free will. He argues that our belief in indeterminist choice is grounded in faulty inference and therefore unjustified, goes on to suggest that there is no single answer to whether free will exists, and promotes a pragmatic approach to prescriptive issues.

This study explored the impact of implementing Philosophy, in the tradition of 'Philosophy for Children', on pedagogy. It employed an experimental design that included 59 primary teachers. The experimental group received an intervention of training in Philosophy and the comparison group received training in Thinking Tools (graphic organisers), a subset of the Philosophy training. Lessons were coded on variables of pedagogy, across the two groups, at three time-points. Teacher interviews were conducted to gather participants' perspectives. Between group analysis of variance (...) on several measures of pedagogy revealed that Philosophy significantly broadened teachers' pedagogical repertoire. (shrink)

An empirical study of people's intuitions about freedom of the will. We show that people tend to have compatiblist intuitions when they think about the problem in a more concrete, emotional way but that they tend to have incompatiblist intuitions when they think about the problem in a more abstract, cognitive way.

Kelly Aguirre, Phil Henderson, Cressida J. Heyes, Alana Lentin, and Corey Snelgrove engage with different aspects of Robert Nichols’ Theft is Property! Dispossession and Critical Theory. Henderson focuses on possible spaces for maneuver, agency, contradiction, or failure in subject formation available to individuals and communities interpellated through diremptive processes. Heyes homes in on the ritual of antiwill called “consent” that systematically conceals the operation of power. Aguirre foregrounds tensions in projects of critical theory scholarship that aim for dialogue and (...) solidarity with Indigenous decolonial struggles. Lentin draws attention to the role of race in undergirding the logic of Anglo-settler colonial domination that operates through dispossession, while Snelgrove emphasizes the link between alienation, capital, and colonialism. In his reply to his interlocutors, Nichols clarifies aspects of his “recursive logics” of dispossession, a dispossession or theft through which the right to property is generated. (shrink)

Music and Social Justice Protests demanding social justice as the alternative to an unacceptable status quo have been mounted in response to war, political and social inequality, poverty, and other constraints on economic and development opportunities. Although social justice is typically thought of as a political agenda, many justice movements have used music as a […].

The precautionary principle has been widely discussed in the academic, legal, and policy arenas. This paper argues, however, that there is no single precautionary principle and we should stop referring to ?the? precautionary principle. Instead, we should talk about ?precaution? and ?precautionary approaches? more generally and identify and defend distinct precautionary principles of limited scope. Drawing on the vast literature on ?the? precautionary principle, this paper further argues that the challenges of decision making under conditions of uncertainty necessitate taking a (...) precautionary approach to decision making that will enable us to understand what particular precautionary principles require of us on a case-by-case basis. (shrink)

Joshua Greene has argued that the empirical findings of cognitive science have implications for ethics. In particular, he has argued (1) that people’s deontological judgments in response to trolley problems are strongly influenced by at least one morally irrelevant factor, personal force, and are therefore at least somewhat unreliable, and (2) that we ought to trust our consequentialist judgments more than our deontological judgments when making decisions about unfamiliar moral problems. While many cognitive scientists have rejected Greene’s dual-process theory of (...) moral judgment on empirical grounds, philosophers have mostly taken issue with his normative assertions. For the most part, these two discussions have occurred separately. The current analysis aims to remedy this situation by philosophically analyzing the implications of moral dilemma research using the CNI model of moral decision-making – a formalized, mathematical model that decomposes three distinct aspects of moral-dilemma judgments. In particular, we show how research guided by the CNI model reveals significant conceptual, empirical, and theoretical problems with Greene’s dual-process theory, thereby questioning the foundations of his normative conclusions. (shrink)

Recent work by Joshua Knobe indicates that people’s intuition about whether an action was intentional depends on whether the outcome is good or bad. This paper argues that part of the explanation for this effect is that there are stable individual differences in how ‘intentional’ is interpreted. That is, in Knobe’s cases, different people interpret the term in different ways. This interpretive diversity of ‘intentional’ opens up a new avenue to help explain Knobe’s results. Furthermore, the paper argues that the (...) use of intuitions in philosophy is complicated by fact that there are robust individual differences in intuitions about matters of philosophical concern. (shrink)

Welfare is at least occasionally a temporal phenomenon: welfare benefits befall me at certain times. But this fact seems to present a problem for a desire-satisfaction view. Assume that I desire, at 10am, January 12th, 2010, to climb Mount Everest sometime during 2012. Also assume, however, that during 2011, my desires undergo a shift: I no longer desire to climb Mount Everest during 2012. In fact, I develop an aversion to so doing. Imagine, however, that despite my aversion, I am (...) forced to climb Mount Everest. Does climbing Mount Everest benefit me? If so, when? A natural answer seems to be that if in fact it does benefit me, it benefits me at no particular time, and hence the desire-satisfaction view cannot accommodate the phenomenon of temporal welfare. In this paper, I argue, first, that a desire-satisfaction view can accommodate the phenomenon of temporal welfare only by accepting what I call the “time-of-desire” view: that p benefits x at t only if x desires p at t . Second, I argue that this view can be defended from important objections. (shrink)

In this chapter, we outline the methods and aims of experimental philosophy as a methodological movement within philosophy, and suggest ways in which it may be employed in the study of Chinese philosophy.

Precaution is usually associated with the intuition that it is better to be safe than sorry, and/or that it is sometimes necessary to act in advance of scientific certainty to prevent harmful outcomes. At this point, we cannot entirely prevent climate change, but we can affect how harmful such change is. Adaptation may therefore be understood as a precautionary measure against the damage due to climate change. 'The' precautionary principle alone is too vague to shape adaptation policy, but a limited (...) catastrophic precautionary principle may productively guide adaptation policy makers. I argue in this paper that an explicit commitment to a precautionary approach based on the catastrophic precautionary principle could and should be made to strengthen the adaptation policies introduced at the United Nations Framework Convention on Climate Change (UNFCCC). (shrink)

Introduction Alexius Meinong and his circle of students and collaborators at the Phi- losophisches Institut der Universitat Graz formulated the basic ...

In this essay, two different forms of debunking arguments are distinguished. On the type of debunking argument that I will promote, one attempts to undercut the justificatory status of a belief by showing that the belief was formed by an epistemically defective psychological process. I argue that there is a promising application of such a process debunking argument in metaethics. In normative ethics, however, process debunking arguments face greater obstacles.

This article begins with the question, is mind prefigured in life? Andreas Webber and Francisco Varela argue that the autopoietic model in combination with Jonas's theory of metabolism provide a more robust model than Kant's account of natural teleology in the third critique, and thus it is able to make a claim to, at least, a pre-figuration of human freedom. I argue that Freud's illustration of the death drive via the analogy of the cell in Beyond the Pleasure Principle provides (...) a valuable counter-example to Jonas's conception of metabolism and exposes the type of metaphysical assumptions that the Kantian project was so averse to. My intention here is not to reify either Jonas or Freud's claims on the determinative nature of natural causation; rather it is to argue that each exists as valuable heuristic tools. Any causal determinative judgment on the nature of natural teleology must be exercised with nothing less than a Kantian level of caution as the implication of placing the value of the coherence of our conceptual structures over the actual mechanical processes of the natural world confronts us with the direct risk of misrecognition on a massive scale. (shrink)

An important platitude about prudential rationality is that I should not refuse to sacrifice a smaller amount of present welfare for the sake of larger future benefits. I ought, in other words, to treat my present and future as of equal prudential significance. The demands of prudence are less clear, however, when it comes to one’s past selves. In this paper, I argue that past benefits are possible in two ways, and that this fact cannot be easily accommodated by traditional (...) approaches to prudential rationality. Against univocal accounts of prudential rationality, I hold that the possibility of past benefits suggests that a bias toward the present and future is defensible when it comes to some welfare goods, but that prudential reasons are temporally neutral between when it comes to the success or failure of one’s long-term projects. (shrink)

Williams (1970) argues that our intuitions about personal identity vary depending on how a given thought experiment is framed. Some frames lead us to think that persistence of self requires persistence of one's psychological characteristics; other frames lead us to think that the self persists even after the loss of one's distinctive psychological characteristics. The current paper takes an empirical approach to these issues. We find that framing does affect whether or not people judge that persistence of psychological characteristics is (...) required for persistence of self. Open-ended, abstract questions about what is required for survival tend to elicit responses that appeal to the importance of psychological characteristics. This emphasis on psychological characteristics is largely preserved even when participants are exposed to a concrete case that yields conflicting intuitions over whether memory must be preserved in order for a person to persist. Insofar as our philosophical theory of personal identity should be based on our intuitions, the results provide some support for the view that psychological characteristics really are critical for persistence of self. (shrink)

Evidence from experimental philosophy indicates that people think that their choices are not determined. What remains unclear is why people think this. Denying determinism is rather presumptuous given people’s general ignorance about the nature of the universe. In this paper, I’ll argue that the belief in indeterminism depends on a default presumption that we know the factors that influence our decision making. That presumption was reasonable at earlier points in intellectual history. But in light of work in cognitive science, we (...) are no longer justified in sustaining the presupposition that we know what influences our choices. As a result, I’ll suggest, our belief in indeterminist choice is unjustified. (shrink)

This article offers a preliminary critical-historical reconstruction of the concept of dispossession. Part I examines its role in eighteenth- and nineteenth- century struggles against European feudal land tenure. Drawing upon Marx’s critique of French anarchism in particular, I identify a persistent limitation at the heart of the concept. Since dispossession presupposes prior possession, recourse to it appears conservative and tends to reinforce the very proprietary and commoditized models of social relations that radical critics generally seek to undermine. Part II turns (...) to use of the term in Indigenous struggles against colonization, both in order to better grasp the stakes of the above problematic and suggest a way beyond it. Through a reconstruction of arguments by Indigenous scholars and activists, I seek to show the coherence and novelty of their formulation by suggesting that dispossession has come to name a unique historical process, one in which property is generated under conditions that require divestment and alienation from those who appear, only retroactively, as its original owners. In this way, theft and property are related in a recursive, rather than strictly unilinear, manner. Part III provides a specific historical example in the form of nineteenth-century US property law concerning squatters and homesteaders. (shrink)

Throughout the 20th century, an enormous amount of intellectual fuel was spent debating the merits of a class of skeptical arguments which purport to show that knowledge of the external world is not possible. These arguments, whose origins can be traced back to Descartes, played an important role in the work of some of the leading philosophers of the 20th century, including Russell, Moore and Wittgenstein, and they continue to engage the interest of contemporary philosophers. Typically, these arguments make use (...) of one or more premises which the philosophers proposing them take to be intuitively obvious. Beyond an appeal to intuition, little or no defense is offered, and in many cases it is hard to see what else could be said in support of these premises. A number of authors have suggested that the intuitions undergirding these skeptical arguments are universal – shared by everyone who thinks reflectively about knowledge. In this paper we will offer some evidence indicating that they are far from universal. Rather, the evidence suggests that many of the intuitions epistemologists invoke vary with the cultural background, socio- economic status and educational background of the person offering the intuition. And this, we will argue, is bad news for the skeptical arguments that rely on those intuitions. The evidence may also be bad news for skepticism itself – not because it shows that skepticism is false, but rather because, if we accept one prominent account of the link between epistemic intuitions and epistemic concepts, it indicates that skepticism may be much less interesting and much less worrisome than philosophers have taken it to be. (shrink)

In his article “Beyond Point-and-Shoot Morality,” Joshua Greene argues that the empirical findings of cognitive neuroscience have implications for ethics. Specifically, he contends that we ought to trust our manual, conscious reasoning system more than our automatic, emotional system when confronting unfamiliar problems; and because cognitive neuroscience has shown that consequentialist judgments are generated by the manual system and deontological judgments are generated by the automatic system, we ought to trust the former more than the latter when facing unfamiliar moral (...) problems. In the present article, I analyze one of the premises of Greene’s argument. In particular, I ask what exactly an unfamiliar problem is and whether moral problems can be classified as unfamiliar. After exploring several different possible interpretations of familiarity and unfamiliarity, I conclude that the concepts are too problematic to be philosophically compelling, and thus should be abandoned. (shrink)

Solar radiation management is a form of geoengineering that involves the intentional manipulation of solar radiation with the aim of reducing global average temperature. This paper explores what precaution implies about the status of solar radiation management. It is argued that any form of solar radiation management that poses threats of catastrophe cannot constitute an appropriate precautionary measure against another threat of catastrophe, namely climate change. Research of solar radiation management is appropriate on a precautionary view only insofar as such (...) research aims to identify whether any forms of solar radiation management could be implemented without creating new or exacerbating existing threats of catastrophe. (shrink)

According to agent-causal accounts of free will, agents have the capacity to cause actions, and for a given action, an agent could have done otherwise. This paper uses existing results and presents experimental evidence to argue that young children deploy a notion of agent-causation. If young children do have such a notion, however, it remains quite unclear how they acquire it. Several possible acquisition stories are canvassed, including the possibility that the notion of agent-causation develops from a prior notion of (...) obligation. Finally, the paper sets out how this work might illuminate the philosophical problem of free will. (shrink)

Recent cognitive accounts of the imagination propose that imagining and believing are in the same “code”. According to the single code hypothesis, cognitive mechanisms that can take input from both imagining and from believing will process imagination-based inputs (“pretense representations”) and isomorphic beliefs in much the same way. In this paper, I argue that the single code hypothesis provides a unified and independently motivated explanation for a wide range of puzzles surrounding fiction.

Bruce Nichols explores the way in which the concept of humanitarian aid has been stretched beyond recognition for political ends.

One of the central debates in the philosophy of language is that between defenders of the causal-historical and descriptivist theories of reference. Most philosophers involved in the debate support one or the other of the theories. Building on recent experimental work in semantics, we argue that there is a sense in which both theories are correct. In particular, we defend the view that natural kind terms can sometimes take on a causal-historical reading and at other times take on a descriptivist (...) reading. The meaning will shift depending on the conversational setting. The theoretical view has roots in work by Kitcher. We present some original experiments that support the thesis. (shrink)

Over the last 20 years, a number of central figures in moral philosophy have defended some version of moral rationalism, the idea that morality is based on reason or rationality (e.g., Gewirth 1978, Darwall 1983, Nagel 1970, 1986, Korsgaard 1986, Singer 1995; Smith 1994, 1997). According to rationalism, morality is based on reason or rationality rather than the emotions or cultural idiosyncrasies, and this has seemed to many to be the best way of securing a kind of objectivism about moral (...) claims. Consider the following representative statements. (shrink)

I begin by briefly tracing the history of the split between environmental ethics and animal liberation, go on to sketch a theory of value that I think is implicit in animal liberation, and explain how this theory is consistent with strong environmental commitments. I conclude with some observations about problems that remain.

One promising way to investigate the genealogy of norms is by considering not the origin of norms, but rather, what makes certain norms more likely to prevail. Emotional responses, I maintain, constitute one important set of mechanisms that affects the cultural viability of norms. To corroborate this, I exploit historical evidence indicating that 16th century etiquette norms prohibiting disgusting actions were much more likely to survive than other 16th century etiquette norms. This case suggests more broadly that work on cultural (...) evolution should pay greater attention to the role of emotion systems in cultural transmission. (shrink)

An important constraint on the nature of intrinsic value---the “Supervenience Principle” (SP)---holds that some object, event, or state of affairs ϕ is intrinsically valuable only if the value of ϕ supervenes entirely on ϕ 's intrinsic properties. In this paper, I argue that SP should be rejected. SP is inordinately restrictive. In particular, I argue that no SP-respecting conception of intrinsic value can accept the importance of psychological resonance, or the positive endorsement of persons, in explaining value.

According to recent accounts of the imagination, mental mechanisms that can take input from both imagining and from believing will process imagination‐based inputs (pretense representations) and isomorphic beliefs in much the same way. That is, such a mechanism should produce similar outputs whether its input is the belief that p or the pretense representation that p. Unfortunately, there seem to be clear counterexamples to this hypothesis, for in many cases, imagining that p and believing that p have quite different psychological (...) consequences. This paper sets out some central problem cases and argues that the cases might be accommodated by adverting to the role of desires concerning real and imaginary situations. (shrink)

My goal in this paper is to shed light on how moral progress actually occurs. I begin by restating a conception of moral progress that I set out in previous work, the “Naïve Conception,” and explain how it comports with various normative and metaethical views. I go on to develop an index of moral progress and show how judgments about moral progress can be made. I then discuss an example of moral progress from the past—the British abolition of the Atlantic (...) slave trade—with a view to what can be learned from this for a contemporary struggle for moral progress: the movement to decarbonize the global economy. I close with some thoughts about how moral progress actually occurs. (shrink)

The present work considers Hume's critique of infinity in historical context as a product of Enlightenment theory of knowledge, and assesses the prospects of ...

Franz Brentano (1838-1917) led an intellectual revolution that sought to revitalize German-language philosophy and to reverse its post-Kantian direction. His philosophy laid the groundwork for philosophy of science as it came to fruition in the Vienna Circle, and for phenomenology in the work of such figures as his student Edmund Husserl. This volume brings together newly commissioned chapters on his important work in theory of judgement, the reform of syllogistic logic, theory of intentionality, empirical descriptive psychology and phenomenology, theory of (...) knowledge, metaphysics and ontology, value theory, and natural theology. It also offers a critical evaluation of Brentano's significance in his historical context, and of his impact on contemporary philosophy in both the analytic and the continental traditions. (shrink)

This paper relies on experimental methods to explore the psychological underpinnings of folk intuitions about free will and responsibility. In different conditions, people give conflicting responses about agency and responsibility. In some contexts, people treat agency as indeterminist; in other contexts, they treat agency as determinist. Furthermore, in some contexts people treat responsibility as incompatible with determinism, and in other contexts people treat responsibility as compatible with determinism. The paper considers possible accounts of the psychological mechanisms that underlie these conflicting (...) responses. (shrink)

Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 125–157. A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. The (...) operational semantics is formalized by the identification of a class of cut-free sequent proofs called uniform proofs. A uniform proof is one that can be found by a goal-directed search that respects the interpretation of the logical connectives as search instructions. The concept of a uniform proof is used to define the notion of an abstract logic programming language, and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language. Horn clauses are then generalized to hereditary Harrop formulas and it is shown that first-order and higher-order versions of this new class of formulas are also abstract logic programming languages if the inference rules are those of either intuitionistic or minimal logic. The programming language significance of the various generalizations to first-order Horn clauses is briefly discussed. (shrink)

Do you know you are not being massively deceived by an evil demon? That is a familiar skeptical challenge. Less familiar is this question: How do you have a conception of knowledge on which the evil demon constitutes a prima facie challenge? Recently several philosophers have suggested that our responses to skeptical scenarios can be explained in terms of heuristics and biases. We offer an alternative explanation, based in learning theory. We argue that, given the evidence available to the learner, (...) it would be rational for the learner to infer an infallibilist conception of knowledge. (shrink)