Proceedings of the papers presented at the Symposium on "Revisiting Turing and his Test: Comprehensiveness, Qualia, and the Real World" at the 2012 AISB and IACAP Symposium that was held in the Turing year 2012, 2–6 July at the University of Birmingham, UK. Ten papers. - http://www.pt-ai.org/turing-test --- Daniel Devatman Hromada: From Taxonomy of Turing Test-Consistent Scenarios Towards Attribution of Legal Status to Meta-modular Artificial Autonomous Agents - Michael Zillich: My Robot is Smarter than Your Robot: On the Need for (...) a Total Turing Test for Robots - Adam Linson, Chris Dobbyn and Robin Laney: Interactive Intelligence: Behaviour-based AI, Musical HCI and the Turing Test - Javier Insa, Jose Hernandez-Orallo, Sergio España - David Dowe and M.Victoria Hernandez-Lloreda: The anYnt Project Intelligence Test (Demo) - Jose Hernandez-Orallo, Javier Insa, David Dowe and Bill Hibbard: Turing Machines and Recursive Turing Tests — Francesco Bianchini and Domenica Bruni: What Language for Turing Test in the Age of Qualia? - Paul Schweizer: Could there be a Turing Test for Qualia? - Antonio Chella and Riccardo Manzotti: Jazz and Machine Consciousness: Towards a New Turing Test - William York and Jerry Swan: Taking Turing Seriously (But Not Literally) - Hajo Greif: Laws of Form and the Force of Function: Variations on the Turing Test. (shrink)

Einleitung 1 -/- Kritik des Positivismus: Realismus «Was kann ich wissen?» 1 Erklärung und Referenz (1973) 1 2 Sprache und Wirklichkeit (1975) 38 3 Was ist ‹Realismus›? (1975) 77 -/- Der dritte Weg: Interer Realismus statt metaphysischem Realismus oder Positivismus 4 Modelle und Wirklichkeit (1980) 112 5 Referenz und Wahrheit (1980) 159 6 Wie man zugleich interner Realist und transzendentaler Idealist sein kann (1980) 191 7 Warum es keine Fertigwelt gibt (1982) 218 -/- Auf des Messers Schneide: Interner Realismus und (...) Relativismus 8 Wozu die Philosophen? (1986) 259 9 Realismus mit menschlichem Antlitz (1988/90) 284 10 Irrealismus und Dekonstruktion (1992) 330 -/- Bibliographie der Schriften von Hilary Putnam 363 I Bücher 363 II Aufsätze, Vorträge und Vorlesungen 365 III Übersetzungen ins Deutsche 385 -/- Literaturverzeichnis 387 Register 413. (shrink)

This dissertation seeks to clarify the import of the transcendence problem in Heidegger and Derrida. The guiding suggestion of my interpretations of both thinkers is that following the development of this problem through their respective projects can help to demonstrate in each an underlying continuity in light of which their seemingly discrepant shifts in emphasis from early to late can be understood as moments of an ongoing hermeneutic task. ;My argument unfolds in four chapters and a brief conclusion. Chapter one (...) motivates the project in view of the contentious standing of the problem in continental philosophy as it is characterized in the competing narratives advanced by Richard Rorty, John Caputo, and Rodolphe Gasche. ;Chapters two and three trace the problem through Heidegger's Denkweg. While Being and Time might seem to be the obvious place to start, I argue that the character of the problem is difficult to see without recourse to both the context in which the problem first arises, and the future interpretations of the problem toward which Being and Time proceeds. Accordingly, I attend to the emergence of the problem in Heidegger's dissertation and early lectures, and then leap ahead to its more explicit appropriations in the writings of 1928 where the provisional standing of fundamental ontology becomes increasingly apparent. In view of its past and future trajectories, then, I return to Being and Time to exhibit therein what I take to be latent indications of Heidegger's later disposition toward transcendence. ;Chapter four situates Derrida in terms of his debts to and departures from Heidegger. I argue that Derrida's debts in fact compel his departures; since he concurs that the transcendence of predecessor discourses necessitates their destruction in the name of advancing their undeveloped possibilities, he must dismantle Heidegger to do justice to him. In applying this insight to Derrida's project, I maintain, the careful reader can find traces of his later injunctions to "absolute responsibility" in his early affirmations of "infinite play". ;I conclude with a few brief remarks as to how this investigation might contribute to a richer understanding of contemporary continental philosophy. (shrink)

In the center of the fifth book of the Nicomachean Ethics, Aristotle elliptically characterizes political justice as a form of reciprocal rule that exists between free and equal persons pursuing a common life directed toward self-sufficiency under the rule of law. My dissertation analyzes Aristotle's thematic treatments of political justice in the Nicomachean Ethics and Politics in order to elucidate its meaning, clarify its relationship to the other forms of justice that he also discusses, and compare it to contemporary neo-Aristotelian (...) accounts of justice. ;The first chapter examines the unclear and disputed passages of Ethics V.6--7 and explains why Aristotle discusses political justice in his ethical treatise. The second chapter makes use of Aristotle's juxtaposition of political justice to household justice on the one hand and despotic justice on the other hand in order to explicate the necessary conditions of political justice, namely, freedom, equality, commonality, self-sufficiency, and the rule of law. To make sense of these concepts, the chapter explores such topics as Aristotle's understanding of the household, his notion of the self and his political criticisms of Socrates. The third chapter examines political justice or reciprocal rule in the Politics in order to understand how political justice can be both a human virtue and an institutional arrangement of offices. The fourth chapter offers a critique of Fred Miller's reconstruction of Aristotelian natural rights. Although Miller is correct to say that Aristotle recognized and understood "rights claims," he is mistaken in claiming that they are an integral part of Aristotle's practical philosophy. Aristotle understood the problems for political compromise posed by rights conceived as "trumps," and he rejects rights as philosophically fundamental on the grounds that they are an inadequate solution to both the political problem of justice and the stability of flourishing political institutions. (shrink)

Many of those working on moral responsibility assume that "once blameworthy, always blameworthy." They believe that blameworthiness is like diamonds: it is forever. We argue that blameworthiness is not forever; rather, it can diminish through time. We begin by showing that the view that blameworthiness is forever is best understood as the claim that personal identity is sufficient for diachronic blameworthiness. We argue that this view should be rejected because it entails that blameworthiness for past action is completely divorced from (...) the distinctive psychological features of the person at the later time. This is because on none of the leading accounts of personal identity does identity require the preservation of any distinctive psychological features, but merely requires some form of continuity. The claim that blameworthiness is forever should therefore be rejected. We then sketch an account of blameworthiness over time, and consider two objections. (shrink)

Following Kripke and Putnam, the received view of chemical kinds has been a microstructuralist one. To be a microstructuralist about chemical kinds is to think that membership in said kinds is conferred by microstructural properties. Recently, the received microstructuralist view has been elaborated and defended, but it has also been attacked on the basis of complexities, both chemical and ontological. Here, I look at which complexities really challenge the microstructuralist view; at how the view itself might be made more complicated (...) in order to accommodate such challenges; and finally, at what this increasingly complicated picture implies for our standard assessment of chemical kindhood—primarily, for the widespread assumption that chemical kinds in general are more neat and tidy than those messy biological ones. _1_ The Received View _2_ A Taxonomy of Chemical Kinds _3_ Atomic Number _4_ H2O, H3O+, OH−, and More _5_ Complicating the Microstructuralist Picture _6_ Concrete and Other Mixtures _7_ Macromolecules, Especially Proteins _8_ Abandoning Sameness of Elemental Composition _9_ Not So Different after All. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is false: assuming that true belief does (...) have value, there is more of final epistemic value than mere true belief. (shrink)

Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...) misconstrues this discussion. His weak positive claim that mechanistic sciences appeal to generalizations is true but uninteresting. His stronger claim, that all causal claims require laws, is unsupported by his arguments. Though we proceed by criticizing Leuridan’s arguments, our greater purpose is to embellish his arguments in order to show how thinking about mechanisms enriches and transforms old philosophical debates about laws in biology and provides new insights into how generalizations afford prediction, explanation and control. (shrink)

The standard treatment of conditional probability leaves conditional probability undefined when the conditioning proposition has zero probability. Nonetheless, some find the option of extending the scope of conditional probability to include zero-probability conditions attractive or even compelling. This article reviews some of the pitfalls associated with this move, and concludes that, for the most part, probabilities conditional on zero-probability propositions are more trouble than they are worth.

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

The two purposes of this essay. The general philosophical problem with most versions of social libertarianism and how this essay will proceed. The specific problem with liberty explained by a thought-experiment. The positive and abstract theory of interpersonal liberty-in-itself as ‘the absence of interpersonal initiated constraints on want-satisfaction’, for short ‘no initiated impositions’. The individualistic liberty-maximisation theory solves the problems of clashes, defences, and rectifications without entailing interpersonal utility comparisons or libertarian consequentialism. The practical implications of instantiating liberty: three rules (...) of liberty-in-practice, 1) initial ultimate control of one’s body, 2) initial ultimate control of one’s used resources, 3) consensual interpersonal interactions and resource transfers. These rules are economically efficient and maximise general want-satisfaction. Private property and legal remedies are additional practical institutional aspects, but to which ‘initiated impositions’ then apply prima facie. Libertarian law is often mistaken for complete libertarianism. Moral explanations are a separate issue. The three main moral theories imply libertarianism, but it can be morally posited independently of them. Critical rationalism and its application. No empirical or argumentative support for theories. An important ambiguity with ‘justification’. How the epistemology applies to the theory of liberty and its application but remains separable in principle. Conclusion: there are further published explanations but this should be enough to generate useful criticism. Appendix replying to some typical comments. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue that (...) these considerations do not establish the desired conclusions that open-mindedness is truth-conducive. To establish these much stronger conclusions we would need an adequate reply to what I shall call Montmarquet’s objection. I argue that Linda Zagzebski’s reply to Montmarquet’s objection, to which Kwong defers, is inadequate. I conclude that it is contingent if open-mindedness is truth-conducive, and if a necessary tie to truth is what makes an intellectual virtue a virtue, then the status of open-mindedness as an intellectual virtue is jeopardised. We either need an adequate reliabilist response to Montmarquet’s objection, or else seek alternative accounts of what it is that makes a virtue a virtue. I conclude by briefly outlining some alternatives. (shrink)

To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Techniques from behavioral economics—nudges—may help physicians increase pediatric vaccine compliance, but critics have objected that nudges can undermine autonomy. Since autonomy is a centrally important value in healthcare decision-making contexts, it counts against pediatric vaccination nudges if they undermine parental autonomy. Advocates for healthcare nudges have resisted the charge that nudges undermine autonomy, and the recent bioethics literature illustrates the current intractability of this debate. This article rejects a principle to which parties on both sides of this debate sometimes seem (...) committed: that nudges are morally permissible only if they are consistent with autonomy. Instead, I argue that, at least in the case of pediatric vaccination, some autonomy-undermining nudges may be morally justified. This is because parental autonomy in pediatric decision-making is not as morally valuable as the autonomy of adult patients, and because the interests of both the vaccinated child and other members of the community can sometimes be weighty enough to justify autonomy-infringing pediatric vaccination nudges. This article concludes with a set of worries about the effect of pediatric vaccination nudges on parent-physician relationships, and it calls on the American Academy of Pediatrics to draw on scientific and bioethics research to develop guidelines for the use of nudges in pediatric practice and, in particular, for the use of pediatric vaccination nudges. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

Classically, gratitude is a tri-polar construal, logically ordering a benefactor, a benefice, and a beneficiary in a favour-giving-receiving situation. Grammatically, the poles are distinguished and bound together by the prepositions ”to’ and ”for’; so I call this classic concept ”to-for’ gratitude. Classic religious gratitude follows this schema, with God as the benefactor. Such gratitude, when felt, is a religious experience, and a reliable readiness or ”habit’ of such construal is a religious virtue. However, atheists have sometimes felt an urge or (...) need for an analogous experience and virtue of gratitude, and theists sometimes feel intellectual discomfort with classical theistic gratitude on consideration of the misfortunes that characterize our life along with its blessings. In response, another conception of religious gratitude has been attempted, a construal that lacks the to-for structure. This paper probes the significance of the benefactor for gratitude, both secular and religious, and, with Søren Kierkegaard’s help, some features of the theology of classical religious gratitude that dissolve the problem of misfortunes. (shrink)

We consider an ethical dilemma in global health: is it ethically acceptable to provide some patients cheaper treatments that are less effective or more toxic than the treatments other patients receive? We argue that it is ethical to consider local resource constraints when deciding what interventions to provide. The provision of cheaper, less effective health care is frequently the most effective way of promoting health and realizing the ethical values of utility, equality, and priority to the worst off.

Government’s use of imprisonment raises distinctive moral issues. Even if government has broad authority to make and to enforce law, government may not be entitled to use imprisonment as a punishment for all the criminal laws it is entitled to make. Indeed, there may be some serious crimes that it is wrong to punish with imprisonment, even if the conditions of imprisonment are humane and even if no adequate alternative punishments are available.

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

Building on Peter French’s important work, this chapter draws three distinctions that arise in the context of attributions of moral responsibility, understood as the extent to which an agent is blameworthy or praiseworthy. First, the subject of an attribution of responsibility may be an individual agent or a collective agent. Second, the object of the responsibility attribution may be an individual action (or consequence) or a collective action (or consequence). The third distinction concerns the temporal dimension of the responsibility attribution. (...) Sometimes responsibility for an action is attributed to an agent at the time of the action. At other times responsibility for an action is attributed to an agent sometime after the action has taken place. Taken together, these three binary distinctions yield eight types of responsibility attribution. It is argued that a collective agent’s responsibility for a past collective act is properly understood on the same theoretical model as is an individual’s responsibility for a past individual act. While most assume that responsibility over time is a straightforward matter of identity over time, it is argued that instead this is a matter of psychological or attitudinal connectedness. The possibility is considered that this relation also grounds attributions involving an asymmetry between subject and object, such as individual responsibility for past collective action, but a skeptical worry is raised that such attributions entail an unpalatable form of moral luck and should therefore be rejected. (shrink)

A common view among nontheists combines the de jure objection that theism is epistemically unacceptable with agnosticism about the de facto objection that theism is false. Following Plantinga, we can call this a “proper” de jure objection—a de jure objection that does not depend on any de facto objection. In his Warranted Christian Belief, Plantinga has produced a general argument against all proper de jure objections. Here I first show that this argument is logically fallacious (it makes subtle probabilistic fallacies (...) disguised by scope ambiguities), and proceed to lay the groundwork for the construction of actual proper de jure objections. (shrink)

This chapter analyzes the concept of an event and of event representation as an umbrella notion. It provides an overview of different ways events have been dealt with in philosophy, linguistics, and cognitive science. This variety of positions has been construed in part as the result of different descriptive and explanatory projects. It is argued that various types of notions — common-sense, theoretically revised, scientific, and internalist psychological — be kept apart.

Maurice Merleau-Ponty is often interpreted as claiming that opportunities for action are directly present in perceptual experience. However, he does not provide much evidence for how or why this would occur, and one can doubt that this is an appropriate interpretation of his phenomenological descriptions. In particular, it could be argued the Merleau-Pontyian descriptions mistakenly attribute pre-perceptual or post-perceptual elements such as allocation of attention or judgment to the perceptual experience itself. This paper argues for the Merleau-Pontyian idea that opportunities (...) for action are present in perceptual experience. It further argues that the phenomenological descriptions can be supported and explained via reference to contemporary research on motor imagery. In particular, it will be argued that non-conscious, covert motor imagery is used to prepare for and regulate skilled actions, and that it is plausible that this imagery combines with perception (likely vision) to create a single experience of the environment as enabling action. The paper will also show that contemporary views on motor imagery are broadly compatible with Merleau-Ponty’s aims. (shrink)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

Self-Interest and Public Interest in Western Politics showed that the public, politicians, and bureaucrats are often public spirited. But this does not invalidate public-choice theory. Public-choice theory is an ideal type, not a claim that self-interest explains all political behavior. Instead, public-choice theory is useful in creating rules and institutions that guard against the worst case, which would be universal self-interestedness in politics. In contrast, the public-interest hypothesis is neither a comprehensive explanation of political behavior nor a sound basis for (...) institutional design. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...) _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

This is a response to Macleod 2012's argument that the history of unjust property acquisitions requires rich libertarians to give away everything in excess of equality. At first, problematic questions are raised. How much property is usually inherited or illegitimate? Why should legitimate inheritance be affected? What of the burden of proof and court cases? A counterfactual problem is addressed. Three important cases are considered: great earned wealth; American slavery; land usurpation. All are argued to be problematic for Macleod 2012's (...) thesis. Various problems are explained concerning using the Nozickian argument to decide the alleged excess that rich libertarians own. The essay's main error is the presupposition that free markets do not help the worst-off. The majority of unjust holdings today are not the result of historical injustices but arise through continuing transfers enabled by taxation and state-regulation. More study of libertarian contributions to the social sciences and philosophy would appear to be desirable "personal behavior" among socialists. (shrink)

Quine’s desert is generally contrasted with Meinong’s jungle, as a sober ontological alternative to the exuberant luxuriance that comes with the latter. Here I focus instead on the desert as a sober metaphysical alternative to the Aristotelian garden, with its tidily organized varieties of flora and fauna neatly governed by fundamental laws that reflect the essence of things and the way they can be, or the way they must be. In the desert there are no “natural joints”; all the boundaries (...) we find are lines we have drawn, artificial fencings that merely reflect of our own demarcations, our classifications, our desperate need to ward off the flux and meet an excusable but ungrounded demand for order and stability. The desert returns a picture of reality that is radically anti-realist. And yet the picture does not amount to a form of irrealism. The desert is out there and is what it is regardless of how we feel. And it is not completely structureless. It’s just that the structure it has is very thin and does not correspond to the sort of structure that so-called metaphysical realists—and scientific realists alike—tend to attribute to it. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

In this paper, I argue that no strong doctrine of the Fall can undermine the propriety of epistemic self-trust. My argument proceeds by introducing a common type of philosophical methodology, known as reflective equilibrium. After a brief exposition of the method, I introduce a puzzle for someone engaged in the project of self-reflection after gaining a reason to distrust their epistemic selves on the basis of a construal of a doctrine of the Fall. I close by introducing the worry as (...) a formal argument and demonstrate the self-undermining nature of such an argument. (shrink)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

“Critical-Rationalist Libertarianism” (CRL) was replied to in “Libertarianism Without Argument” (the reply). Various points in that text are here given responses. Both critical rationalism and how it applies to libertarianism are elucidated and elaborated. This response will proceed by quoting the reply where relevant (virtually all of it) and then responding immediately after the quotations, following the order of the reply’s very brief “critique” (605 words).

An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents. But these contents may be orthogonal to the processes that determine how thoughts unfold over time, remaining stable or wandering from one topic to another. In this chapter, we emphasize the importance of incorporating such processes into current definitions of mind-wandering, and propose that mind-wandering and other forms of spontaneous thought (such as (...) dreaming and creativity) are mental states that arise and transition relatively freely due to an absence of constraints on cognition. We review existing psychological, philosophical and neuroscientific research on spontaneous thought through the lens of this framework, and call for additional research into the dynamic properties of the mind and brain. (shrink)

In _Leviathan_, Hobbes embraces three seemingly inconsistent claims: (i) the unity of a multitude is secured only by the unity of its representer, (ii) assemblies can represent other multitudes, and (iii) assemblies are, or are constituted by, multitudes. Together these claims require that a representative assembly, itself, be represented. If that representer is another assembly, it too will need a unifying representer, and so on. To stop a regress, we will need an already unified representer. But a multitude can only (...) speak or act through its representer, and an assembly is a multitude, so any representing done by the assembly is actually done by this already unified, regress-stopping representer. That is, if (i) and (iii) are true, (ii) cannot be. I will argue that this inconsistency is only apparent and that we can resolve it without rejecting any of these three claims. We do this by appealing to a representer-as-decision-procedure meeting certain criteria. Such a procedural representer breaks the transitivity of representation such that the assembly it represents can properly represent some further multitude. I proceed in my defense of the procedural representer view by addressing a series of problems it faces, the solutions to which give us a progressively clearer picture of the criteria this representer must meet. (shrink)

How does an engagement with religious traditions (broadly construed) illuminate and complicate the task of thinking through the ethics of eating? In this introduction, we survey some of the many food ethical issues that arise within various religious traditions and also consider some ethical positions that such traditions take on food. To say the least, we do not attempt to address all the ethical issues concerning food that arise in religious contexts, nor do we attempt to cover every tradition’s take (...) on food. We look at just a few traditions and a few interesting writings on food ethics and religion: What do they say about the ethics of eating? Why do they say these things? Here we use the terms “food ethics” and “religion” ecumenically as big tents under which many importantly different sorts of things may be grouped. Among the wide range of food ethical issues we consider in this chapter, for example, are religious views about the ethics of keeping, hurting, and killing animals, killing plants, dominion over creation, wastefulness, purity, blessing, atonement, and the connection between food and character. We realize, moreover, that it might be a stretch to label some of the views engaged by selected readings in this chapter as “religious” on a stringent understanding of that term; Lisa Kemmerer’s “Indigenous Traditions,” for instance, addresses some views that are recognizably spiritual but perhaps not religious in a strict sense. We hope that our ecumenical usage of the term can bring these important traditions to bear on the discussion without reducing them to something they are not. (shrink)

Leibniz said that the universe, if God-created, would exist at a unique, conjoint, physical maximum: Of all possible worlds, it would be richest in phenomena, but its richness would arise from the simplest physical laws and initial conditions. Using concepts of ‘‘variety’’ and algorithmic informational complexity, Leibniz’ claim can be reframed as a testable theory. This theory predicts that the laws and conditions of the actual universe should be simpler, and the universe richer in phenomena, than the presence of observers (...) would require. Tegmark has shown that inhabitants of an infinite multiverse would likely observe simple laws and conditions, but also phenomenal richness just great enough to explain their existence. Empirical observations fit the claim of divine choice better than the claim of an infinite multiverse. The future of the universe, including its future information-processing capacity, is predicted to be endless. -/- . (shrink)

While the 2010 EPSRC principles for robotics state a set of 5 rules of what ‘should’ be done, I argue they should differentiate between legal obligations and ethical demands. Only if we make this difference can we state clearly what the legal obligations already are, and what additional ethical demands we want to make. I provide suggestions how to revise the rules in this light and how to make them more structured.

While it is often said that robotics should aspire to reproducible and measurable results that allow benchmarking, I argue that a focus on benchmarking can be a hindrance for progress in robotics. The reason is what I call the ‘measure-target confusion’, the confusion between a measure of progress and the target of progress. Progress on a benchmark (the measure) is not identical to scientific or technological progress (the target). In the past, several academic disciplines have been led into pursuing only (...) reproducible and measurable ‘scientific’ results – robotics should be careful to follow that line because results that can be benchmarked must be specific and context-dependent, but robotics targets whole complex systems for a broad variety of contexts. While it is extremely valuable to improve benchmarks to reduce the distance be- tween measure and target, the general problem to measure progress towards more intelligent machines (the target) will not be solved by benchmarks alone; we need a balanced approach with sophisticated benchmarks, plus real-life testing, plus qualitative judgment. (shrink)

Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in "On Denoting", Russell rejected methods that begin with an expression designating its denotation, and then alter it with a "the meaning of" operator to designate the meaning. Such methods attempt an impossible "backward road" from denotation to meaning. Contemporary neo-Fregeans, however, have suggested that we can disambiguate _with_, rather than _against_, the grain, by (...) using a notation that begins with expressions designating senses or meanings, and then alters them with a "the denotation of" operator to designate the denotation. I show that in his manuscripts of 1903–05, Russell both considered and rejected a similar notation along with the metaphysical suppositions underlying it. This discussion sheds light on the evolution of Russell's thought, and may yet be instructive for ongoing debates. (shrink)

The link between human nature and human flourishing is undeniable. "A healthy tree cannot bear bad fruit, nor can a diseased tree bear good fruit" (Matt. 7:18). The ontology of the human person will, therefore, ground the nature of human flourishing and thereby sanctification. Spiritual formation is the area of Christian theology that studies sanctification, the Spirit-guided process whereby disciples of Jesus are formed into the image of Jesus (Rom. 8:28-29; 2 Cor. 3:18; 2 Peter 3:18). Until the nineteenth century, (...) there was an overwhelming consensus among Christian thinkers that some form of mind-body (or soul-body) dualism is true of human beings. Recently, that consensus has eroded, and with it the availability of a shared body of knowledge about spiritual formation. Some Christian physicalists argue that dualism is incompatible with central elements of spiritual formation. Neuroscientist Warren Brown and psychologist Brad Strawn offer the only substantive account of spiritual formation from the view of Christian physicalism and its accompanying objections to dualism. It is on their arguments that this chapter focuses. We argue that Brown and Strawn fail to support their incompatibility thesis. Additionally, we argue that Christian physicalism stands in tension with important philosophical and theological foundations of Christian spiritual formation. In doing so we offer a specific form of dualism, the bodily soul view, and explain how this view illuminates the importance of embodiment, our neurological and social development, and hence the important physical aspects of Christian spiritual formation. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

This article encourages a reconsideration of Christian sociology. It explains how deism makes a decisive impact in the theoretical foundations of the discipline. Dutch neocalvinistic philosophy in its North American immigrant setting after World War II issued a challenge which drew attention to the dogmas of deism implicit in sociology, but this challenge has not been met. Christian sociology, however, still retains its God-given vocation to find ways to encourage people everywhere to positively form complex differentiated social settings in the (...) Spirit of the Suffering and Glorified Messiah. (shrink)