STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of (...) the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

I have two objectives in this article. The first is methodological: I elaborate a minimal phenomenological method and attempt to show its importance in studies of infant behavior. The second objective is substantive: Applying the minimal phenomenological approach, combined with Meltzoff’s “like-me” developmental framework, I propose the hypothesis that infants learn the pointing gesture at least in part through imitation. I explain how developments in sensorimotor ability (posture, arm and hand control and coordination, and locomotion) in the first year of (...) life prepare the infant for acquiring the pointing gesture. The former may directly enable the latter by allowing the infant to experience its own body as being “like those” of others, thus allowing it to imitatively appropriate a broader range of adult behavior. My proposal emphasizes the embodiment of mind in the development of cognition, contrary to latent dualistic tendencies in some developmental literature. (shrink)

Radical and autopoietic enactivists disagree concerning how to understand the concept of sense-making in enactivist discourse and the extent of its distribution within the organic domain. I situate this debate within a broader conflict of commitments to naturalism on the part of radical enactivists, and to phenomenology on the part of autopoietic enactivists. I argue that autopoietic enactivists are in part responsible for the obscurity of the notion of sense-making by attributing it univocally to sentient and non-sentient beings and following (...) Hans Jonas in maintaining a phenomenological dimension to life-mind continuity among all living beings, sentient or non-sentient. I propose following Merleau-Ponty instead, who offers a properly phenomenological notion of sense-making for which sentience is a necessary condition. Against radicalist efforts to replace sense-making with a deflationary, naturalist conception of intentionality, I discuss the role of the phenomenological notion of sense-making for understanding animal behavior and experience. (shrink)

This paper clarifies Merleau-Ponty’s distinction between speaking and spoken speech, and the relation between the two, in his Phenomenology of Perception. Against a common interpretation, I argue on exegetical and philosophical grounds that the distinction should not be understood as one between two kinds of speech, but rather between two internally related dimensions present in all speech. This suggests an interdependence between speaking and spoken aspects of speech, and some commentators have critiqued Merleau-Ponty for claiming a priority of speaking over (...) spoken speech. However, there is a sense in which Merleau-Ponty is right to emphasize the priority, namely, in terms of the ontological priority of the speaking subject with respect to language understood as a constituted cultural ideality. The latter only maintains its ontological status insofar as it is taken up by a language community. I favorably contrast Merleau-Ponty’s views on this question to those of the late Heidegger and de Saussure, and suggest potential applications of this clarified position for contemporary discussions in philosophy of language. (shrink)

Approaches to the naturalization of phenomenology usually understand naturalization as a matter of rendering continuous the methods, epistemologies, and ontologies of phenomenological and natural scientific inquiry. Presupposed in this statement of the problematic, however, is that there is an original discontinuity, a rupture between phenomenology and the natural sciences that must be remedied. I propose that this way of thinking about the issue is rooted in a simplistic understanding of the phenomenological reduction that entails certain assumptions about the subject matter (...) of phenomenology and its relationship to the natural sciences. By contrast, Merleau‐Ponty's first work, The Structure of Behavior, presents a radically different approach to the phenomenological reduction, one that traverses the natural sciences and integrates them into phenomenology from the outset. I outline the argument for this position in The Structure of Behavior and then discuss consequences for current methodological issues surrounding the naturalization of phenomenology, focusing on the relationship between empirical sciences of mind, phenomenological psychology, and transcendental phenomenology. This novel exegesis of Merleau‐Ponty's view on the reduction offers new insight into his oft‐quoted remark that the phenomenological reduction is impossible to complete. (shrink)

Bernard Williams argued that historical and philosophical inquiry were importantly linked in a number of ways. This introductory chapter distinguishes four different connections he identified between philosophy and history. (1) He believed that philosophy could not ignore its own history in the way that science can. (2) He thought that when engaging with philosophy’s history primarily to produce history, one still had to draw on philosophy. (3) Even doing history of philosophy philosophically, i.e. primarily to produce philosophy, required a keen (...) sense of how historically distant from us past philosophers were, on his view, because the point of reading them was to confront something different from the present. (4) He held that systematic philosophy itself needed to be done historically, engaging not necessarily with its own history, but with that of the concepts it sought to understand. The chapter closes with an overview of the volume’s structure and content. (shrink)

In this paper I develop a novel account of the phenomenality of language by focusing on characteristics of perceived speech. I explore the extent to which the spoken word can be said to have a horizonal structure similar to that of spatiotemporal objects: our perception of each is informed by habitual associations and expectations formed through past experiences of the object or word and other associated objects and experiences. Specifically, the horizonal structure of speech in use can fruitfully be compared (...) to that of a tool in use. The comparison suggests an account of our linguistic faculty as continuous with more foundational faculties of perception and action. I provide empirical corroboration of this account by drawing on recent neuroimaging studies of the multimodal, sensorimotor bases of speech comprehension. I then discuss how such an understanding of our linguistic ability helps advocates of embodied, non-representationalist accounts of cognition respond to a common objection. Critics grant that embodied approaches may be adequate to account for lower-level, online modes of cognition, such as perception and action, which directly engage their object. But they question whether such approaches can “scale up” to higher modes of cognition, such as imagination, memory, thought, and language, which can entertain absent, non-existent, or abstract objects. By providing a plausible account of the continuity of lower cognition and language-involving cognition, my approach responds to this objection, at least where language is concerned. (shrink)

Despite their success in describing and predicting cognitive behavior, the plausibility of so-called ‘rational explanations’ is often contested on the grounds of computational intractability. Several cognitive scientists have argued that such intractability is an orthogonal pseudoproblem, however, since rational explanations account for the ‘why’ of cognition but are agnostic about the ‘how’. Their central premise is that humans do not actually perform the rational calculations posited by their models, but only act as if they do. Whether or not the problem (...) of intractability is solved by recourse to ‘as if’ explanations critically depends, inter alia, on the semantics of the ‘as if’ connective. We examine the five most sensible explications in the literature, and conclude that none of them circumvents the problem. As a result, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. (shrink)

This paper claims that the standard characterization of the motivational role of belief should be supplemented. Beliefs do not only, jointly with desires, cause and rationalize actions that will satisfy the desires, if the beliefs are true; beliefs are also the practical ground of other cognitive attitudes, like imagining, which means beliefs determine whether and when one acts with those other attitudes as the cognitive inputs into choices and practical reasoning. In addition to arguing for this thesis, I take issue (...) with Velleman's argument that belief and imagining cannot be distinguished on the basis of motivational role. (shrink)

Abstract: This entry elucidates causal and constitutive roles that various forms of imagining play in human action. Imagination influences more kinds of action than just pretend play. I distinguish different senses of the terms “imagining” and “imagination”: imagistic imagining, propositional imagining, and constructive imagining. Each variety of imagining makes its own characteristic contributions to action. Imagistic imagining can structure bodily movement. Propositional imagining interacts with desires to motivate pretend play and mimetic expressive action. And constructive imagination generates representations of possibilities (...) and actions on the basis of which we choose what to do. [Version archived here is a penultimate draft.]. (shrink)

In this entry, I seek to show the interdependence of questions about self-deception in philosophy of mind, psychology, and ethics. I taxonomize solutions to the paradoxes of self-deception, present possible psychological mechanisms behind it, and highlight how different approaches to the philosophy of mind and psychology will affect how we answer important ethical questions. Is self-deception conducive to happiness? How does self-deception affect responsibility? Is there something intrinsically wrong with self-deception? The entry, on the one hand, is a tour of (...) the literature; on the other, it is a case for more work that crosses traditional sub-disciplinary boundaries. (shrink)

This paper tracks the development of Merleau-Ponty's inquiries into language through the themes of institution, symbolism, and nature in his Collège de France lectures of 1953-1960. It seeks to show the continuity of Merleau-Ponty's inquiries over this period. The Problem of Speech course (1953-1954) constitutes his last extended treatment of speech, language, and expression, and it leaves many questions unanswered. Nonetheless, a careful study of the course reveals that the inquiries that follow into institution and symbolism, and later into nature, (...) do not mark a sharp rupture with his earlier thought. Rather, the later investigations are required by those into language and expression to clarify the underlying functions that support them. Ultimately, the themes of language and nature will be deeply interwoven in Merleau-Ponty's late thought, with institution and symbolism serving as important mediating concepts. (shrink)

Bohm’s interpretation of quantum mechanics has generally been received as an attempt to restore the determinism of classical physics. However, although this interpretation, as Bohm initially proposed it in 1952, does indeed have the feature of being deterministic, for Bohm this was never the main point. In fact, in other publications and in correspondence from this period, he argued that the assumption that nature is deterministic is unjustified and should be abandoned. Whereas it has been argued before that Bohm’s commitment (...) to determinism was connected to his interest in Marxism, I argue for the opposite: Bohm found resources in Marxist philosophy for developing a nondeterministic notion of causality, which is based on the idea of infinite complexity and an infinite number of levels of nature. From ca. 1954 onwards, Bohm’s conception of causality further weakened, as he developed the idea of a dialectical relation between causality and chance. (shrink)

The concept of impetus denoted the transmission of a power from the mover to the object moved. Many authors resorted to this concept to explain why a projectile keeps on moving when no longer in contact with its initial mover. But its application went further, as impetus was also appealed to in attempts to explain the acceleration of falling bodies or the motion of the heavens. It was widely applied in Renaissance natural philosophy, but it also raised a number of (...) ontological questions concerning its precise nature. (shrink)

In an earlier issue, I argue (2014) that psychology and epistemology should distinguish religious credence from factual belief. These are distinct cognitive attitudes. Levy (2017) rejects this distinction, arguing that both religious and factual “beliefs” are subject to “shifting” on the basis of fluency and “intuitiveness.” Levy’s theory, however, (1) is out of keeping with much research in cognitive science of religion and (2) misrepresents the notion of factual belief employed in my theory. So his claims don’t undermine my distinction. (...) I conclude by suggesting some approaches to empirically testing our views. (shrink)

Jill de Villiers has argued that children's mastery of sentential complements plays a crucial role in enabling them to succeed at false-belief tasks. Josef Perner has disputed that and has argued that mastery of false-belief tasks requires an understanding of the multiplicity of perspectives. This paper attempts to resolve the debate by explicating attributions of desires and beliefs as extensions of the linguistic practices of making commands and assertions, respectively. In terms of these linguistic practices one can explain why desire-talk (...) will precede belief-talk and why even older children will have difficulty attributing incompatible desires. (shrink)

I raise the question of what cognitive attitude self-deception brings about. That is: what is the product of self-deception? Robert Audi and Georges Rey have argued that self-deception does not bring about belief in the usual sense, but rather “avowal” or “avowed belief.” That means a tendency to affirm verbally (both privately and publicly) that lacks normal belief-like connections to non-verbal actions. I contest their view by discussing cases in which the product of self-deception is implicated in action in a (...) way that exemplifies the motivational role of belief. Furthermore, by applying independent criteria of what it is for a mental state to be a belief, I defend the more intuitive view that being self-deceived that p entails believing that p. Beliefs (i) are the default for action relative to other cognitive attitudes (such as imagining and hypothesis) and (ii) have cognitive governance over the other cognitive attitudes. I explicate these two relations and argue that they obtain for the product of self-deception. (shrink)

What makes paternalism wrong? I give an indirect answer to that question by challenging a recent trend in the literature that I call the exclusionary strategy. The exclusionary strategy aims to show how some feature of the paternalizee’s normative situation morally excludes acting for the paternalizee’s well-being. This moral exclusion consists either in ruling out the reasons for which a paternalizer may act or in changes to the right-making status of the reasons that (would) justify paternalistic intervention. I argue that (...) both versions of the exclusionary strategy fail to explain the wrongness of paternalism and that they struggle to accommodate the mainstream view that paternalism is only pro tanto wrong. Their failure consists either in being implausibly strong expressions of antipaternalism or in struggling to spell out the scope of exclusion in an uncomplicated way. After discouraging this exclusionary strategy, I suggest we can capture what is appealing about it—as well as avoiding its pitfalls—by sketching a philosophical model in which we compare the weights of reasons for and against paternalistically interfering. To precisify this sketch, I introduce some conceptual tools from the literature on practical reasoning—in particular, the concept of modifiers—and suggest that these tools offer a better starting point for figuring out what makes paternalism (pro tanto) wrong. (shrink)

Virtue ethics has now well and truly established itself as one of the main normative theories. It is now quite common, and indeed, expected, for virtue ethics to be included, alongside deontology and consequentialism, in any Moral Philosophy syllabus worth its salt. Students are typically introduced to virtue ethics only after studying the other two normative theories, and this often sets the scene for various sorts of misunderstandings, with students expecting virtue ethics to be based on the same set of (...) rules and assumptions as its rivals. Or at least, that is my experience. In this paper I want to focus on one such misunderstanding, which arises when trying to apply virtue ethics to our judgments of other people’s actions and behaviour. Although there are countless ways in which a theory can be misunderstood, it is worth guarding against this one in particular, given that it can lead someone who takes virtue ethics seriously to act in ways that are not virtuous, or even vicious. I begin by making a few remarks about the role of normative theory, and then go on to give four examples of how applying virtue ethics can lead to poor behaviour. In the final section I identify the mistake in question and conclude by noting how it can be avoided. (shrink)

As artefacts, the worlds of digital games are designed and developed to fulfil certain expressive, functional, and experiential objectives. During play, players infer these purposes and aspirations from various aspects of their engagement with the gameworld. Influenced by their sociocultural backgrounds, sensitivities, gameplay preferences, and familiarity with game conventions, players construct a subjective interpretation of the intentions with which they believe the digital game in question was created. By analogy with the narratological notion of the implied author, we call the (...) figure to which players ascribe these intentions ‘the implied designer’. In this article, we introduce the notion of the implied designer and present an initial account of how appreciators ascribe meaning to interactive, fictional gameworlds and act within them based on what they perceive to be the designer’s intentions. (shrink)

Developing countries have seen rapid economic growth, but they have also faced unprecedented environmental challenges, including air pollution, water pollution, land pollution, waste pollution, etc. Take air pollution as an example. It is alarming that 99 percent of the world’s population breathes polluted air. Air pollution is deemed a “quiet killer”, giving rise to numerous consequences ranging from health and psychological impacts to economic and social costs. For example, air pollution annually causes roughly 7 million premature deaths and an economic (...) loss of USD 8.1 trillion, accounting for 6.1% of the global GDP. Furthermore, it is worth noting that the urban population is projected to exceed two-thirds of the total global population by 2050, as urbanization exacerbates the air pollution problem, creating even more air pollution challenges for humankind in the long run. Every new piece of information matters for scientific progress in air pollution assessment, policymaking, and public health protection. From this viewpoint, the goal/objective of this Special Issue (SI) of Urban Science is to keep communities, scholars, and policymakers informed on the research progress on air quality and human health. Specifically, this SI serves as a forum for advancing scientific understanding of environmental changes associated with air pollution and air quality, strategies and/or different measures that the public, particularly urban residents, can employ to lessen and/or mitigate unexpected impacts. I hope that the useful information and insightful findings presented by scholars in this SI can support or facilitate desirable urban environment policies that help, ultimately, increase human and societal wellbeing. (shrink)

Argument mapping is a way of diagramming the logical structure of an argument to explicitly and concisely represent reasoning. The use of argument mapping in critical thinking instruction has increased dramatically in recent decades. This paper overviews the innovation and provides a procedural approach for new teaches wanting to use argument mapping in the classroom. A brief history of argument mapping is provided at the end of this paper.

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used (...) as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

Galileo proposed what has been called a proto-inertial principle, according to which a body un horizontal motion will conserve its motion. This statement is only true in counterfactual circumstances where no impediments are present. This paper analyzes how Galileo could have been justified in ascribing definite properties to this idealized motion. This analysis is then used to better understand the relation of Galileo’s proto-inertial principle to the classical inertial principle.

State legitimacy is often said to have two aspects: an internal and an external one. Internally, a legitimate state has the right to rule over its subjects. Externally, it has a right that outsiders not interfere with its domestic governance. But what is the relation between these two aspects? In this paper, I defend a conception of legitimacy according to which these two aspects are related in an importantly asymmetrical manner. In particular, a legitimate state’s external right to rule affords (...) it protections that include and go beyond what its internal right to rule enables it to do. This asymmetrical view, I argue, is preferable to its two main rivals: the view that a state’s internal and external legitimacy are separate issues, and the view that internal and external legitimacy are mirroring. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

Democratic societies expect their armed forces to act in a morally responsible way, which seems a fair expectation given the fact that they entrust their armed forces with the monopoly of violence. However, this is not as straightforward and unambiguous as it sounds. Present-day military practices show that political assignments, social and cultural contexts, innovative technologies and organisational structures, present military personnel with questions and dilemma’s that can have far-reaching consequences for all involved – not in the last place for (...) the soldiers themselves. A thorough training and education, in which critical thinking is developed and stimulated, seems therefore a necessary condition for morally responsible behaviour. This book aims to contribute to this form of ‘reflective practitioning’ in military practice. (shrink)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

As a nexus of fertility’s finitude and female midlife, menopause is a physical and cultural phenomenon through which the relation between the medicalization of the female reproductive cycle and normative attitudes toward aging become expressed. Age, like other systems of separation, can function as an “instrument of regulatory regimes” and shows similarities to gender in its body-bound, surface-focused, and morally coded position in the sociomedical sphere. However, although age is an influential social category, its reliance on historical and epistemic constructions (...) of the body has not been politicized to a degree comparable to other categories like gender, race, and sexuality. As Kathleen. (shrink)

Virtue ethics is frequently billed as a remedy to the problems of deontological and consequentialist ethics that Bernard Williams identified in his critique of “the morality system.” But how far can virtue ethics be relied upon to avoid these problems? What does Williams’s critique of the morality system mean for virtue ethics? To answer this question, we offer a more principled characterisation of the defining features of the morality system in terms of its organising ambition—to shelter life against luck. This (...) reveals the system to be multiply realisable: the same function can be served by substantively different but functionally equivalent ideas. After identifying four requirements that ethical thought must meet to function as a morality system, we show that they can also be met by certain constellations of virtue-ethical ideas. We thereby demonstrate the possibility of virtue-ethical morality systems raising problems analogous to those besetting their deontological and consequentialist counterparts. This not only widens the scope of Williams’s critique and brings out the cautionary aspect of his legacy for virtue ethics. It also offers contemporary virtue ethicists a more principled understanding of the functional features that mark out morality systems and lie at the root of their problems, thereby helping them to avoid or overcome these problems. (shrink)

Als Plato de hedendaagse academie zou aanschouwen, zou hij niet alleen stomverbaasd zijn over de massificatie en de byzantijnse bureaucratie, maar gezien het ethische doel van de universiteit zou hij ook reden hebben om bezorgd te zijn.

Surprisingly little has been written about hedged assertion. Linguists often focus on semantic or syntactic theorizing about, for example, grammatical evidentials or epistemic modals, but pay far less attention to what hedging does at the level of action. By contrast, philosophers have focused extensively on normative issues regarding what epistemic position is required for proper assertion, yet they have almost exclusively considered unqualified declaratives. This essay considers the linguistic and normative issues side-by-side. We aim to bring some order and clarity (...) to thinking about hedging, so as to illuminate aspects of interest to both linguists and philosophers. In particular, we consider three broad questions. 1) The structural question: when one hedges, what is the speaker’s commitment weakened from? 2) The functional question: what is the best way to understand how a hedge weakens? And 3) the taxonomic question: are hedged assertions genuine assertions, another speech act, or what? (shrink)

Although Minsky’s interpretation of Keynes’s macroeconomics and essential message clashes with authoritative alternative interpretations, it has become increasingly influential during the years following the Global Financial Crisis, even in mainstream circles. This paper offers a critical evaluation of Minsky’s Financial Instability Hypothesis from the perspective of the alternative Austro-Wicksellian paradigm. Although some of the similarities and/or analogies between Minsky’s approach and that of the Austrian School suggest a more than merely superficial affinity between the two theoretical frameworks and although some (...) scope for cross-fertilization between both approaches can be found, both theoretically and empirically, at a fundamental conceptual level both theories remain incompatible and difficult if not impossible to reconcile, in particular in terms of fundamental causality and in terms of policy conclusions and prescriptions. Despite the fact that Minsky’s policy conclusions are multifaceted and somewhat eclectic, they manifest a lack of familiarity with the conclusions of the Austrian analysis of the problems of central planning by Big Players such as Big Bank and Big Government. Both approaches also offer contrasting interpretations of the historical experience of the Global Financial Crisis. (shrink)

In medical settings, machines are in close proximity with human beings: with patients who are in vulnerable states of health, who have disabilities of various kinds, with the very young or very old, and with medical professionals. Machines in these contexts are undertaking important medical tasks that require emotional sensitivity, knowledge of medical codes, human dignity, and privacy. -/- As machine technology advances, ethical concerns become more urgent: should medical machines be programmed to follow a code of medical ethics? What (...) theory or theories should constrain medical machine conduct? What design features are required? Should machines share responsibility with humans for the ethical consequences of medical actions? How ought clinical relationships involving machines to be modeled? Is a capacity for empathy and emotion detection necessary? What about consciousness? -/- The essays in this collection by researchers from both humanities and science describe various theoretical and experimental approaches to adding medical ethics to a machine, what design features are necessary in order to achieve this, philosophical and practical questions concerning justice, rights, decision-making and responsibility, and accurately modeling essential physician-machine-patient relationships. -/- This collection is the first book to address these 21st-century concerns. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

When the reader turns to a text, he conceives of the narrated events as ordered in time. When the natural philosopher turns to the world, he also conceives of its events as ordered in time—or lately, in space-time. But each has the task of constituting this order on the basis of clues present in what is to be ordered. Interrogating the parallels to be found in their problems and methods, I shall argue that in both cases the definiteness of the (...) relation between the order and what is ordered resides mainly in how the matter is to be conceived, and is underdetermined by the facts. (shrink)

Decades of debate about scientific realism notwithstanding, we find ourselves bemused by what different philosophers appear to think it is, exactly. Does it require any sort of belief in relation to scientific theories and, if so, what sort? Is it rather typified by a certain understanding of the rationality of such beliefs? In the following dialogue we explore these questions in hopes of clarifying some convictions about what scientific realism is, and what it could or should be. En route, we (...) encounter some profoundly divergent conceptions of the nature of science and of philosophy. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

In the late summer of 1998, the authors, a cognitive scientist and a logician, started talking about the relevance of modern mathematical logic to the study of human reasoning, and we have been talking ever since. This book is an interim report of that conversation. It argues that results such as those on the Wason selection task, purportedly showing the irrelevance of formal logic to actual human reasoning, have been widely misinterpreted, mainly because the picture of logic current in psychology (...) and cognitive science is completely mistaken. We aim to give the reader a more accurate picture of mathematical logic and, in doing so, hope to show that logic, properly conceived, is still a very helpful tool in cognitive science. The main thrust of the book is therefore constructive. We give a number of examples in which logical theorizing helps in understanding and modeling observed behavior in reasoning tasks, deviations of that behavior in a psychiatric disorder (autism), and even the roots of that behavior in the evolution of the brain. (shrink)

What features will something have if it counts as an explanation? And will something count as an explanation if it has those features? In the second half of the 20th century, philosophers of science set for themselves the task of answering such questions, just as a priori conceptual analysis was generally falling out of favor. And as it did, most philosophers of science just moved on to more manageable questions about the varieties of explanation and discipline-specific scientific explanation. Often, such (...) shifts are sound strategies for problem-solving. But leaving fallow certain basic conceptual issues can also result in foundational debates. (shrink)

The impact of science on ethics forms since long the subject of intense debate. Although there is a growing consensus that science can describe morality and explain its evolutionary origins, there is less consensus about the ability of science to provide input to the normative domain of ethics. Whereas defenders of a scientific normative ethics appeal to naturalism, its critics either see the naturalistic fallacy committed or argue that the relevance of science to normative ethics remains undemonstrated. In this paper, (...) we argue that current scientific normative ethicists commit no fallacy, that criticisms of scientific ethics contradict each other, and that scientific insights are relevant to normative inquiries by informing ethics about the options open to the ethical debate. Moreover, when conceiving normative ethics as being a nonfoundational ethics, science can be used to evaluate every possible norm. This stands in contrast to foundational ethics in which some norms remain beyond scientific inquiry. Finally, we state that a difference in conception of normative ethics underlies the disagreement between proponents and opponents of a scientific ethics. Our argument is based on and preceded by a reconsideration of the notions naturalistic fallacy and foundational ethics. This argument differs from previous work in scientific ethics: whereas before the philosophical project of naturalizing the normative has been stressed, here we focus on concrete consequences of biological findings for normative decisions or on the day-to-day normative relevance of these scientific insights. (shrink)

A computational theory of consciousness should include a quantitative measure of consciousness, or MoC, that (i) would reveal to what extent a given system is conscious, (ii) would make it possible to compare not only different systems, but also the same system at different times, and (iii) would be graded, because so is consciousness. However, unless its design is properly constrained, such an MoC gives rise to what we call the boundary problem: an MoC that labels a system as conscious (...) will do so for some – perhaps most – of its subsystems, as well as for irrelevantly extended systems (e.g., the original system augmented with physical appendages that contribute nothing to the properties supposedly supporting consciousness), and for aggregates of individually conscious systems (e.g., groups of people). This problem suggests that the properties that are being measured are epiphenomenal to consciousness, or else it implies a bizarre proliferation of minds. We propose that a solution to the boundary problem can be found by identifying properties that are intrinsic or systemic: properties that clearly differentiate between systems whose existence is a matter of fact, as opposed to those whose existence is a matter of interpretation (in the eye of the beholder). We argue that if a putative MoC can be shown to be systemic, this ipso facto resolves any associated boundary issues. As test cases, we analyze two recent theories of consciousness in light of our definitions: the Integrated Information Theory and the Geometric Theory of consciousness. (shrink)