We give an account of the appearance and first developments of the statistical model of atoms proposed by Thomas and Fermi, focusing on the main results achieved by Fermi and his group in Rome. Particular attention is addressed to the unknown contribution to this subject by Majorana, anticipating some important results reached later by leading physicists.

" In Being No One, Metzinger, a German philosopher, draws strongly on neuroscientific research to present a representationalist and functional analysis of...

David DeGrazia tentatively defends what he calls the Interests Model of moral status (see page 135).1 On this model all sentient beings have the same moral status, though some are owed more than others in virtue of having more or stronger interests. The proponent of this model can accept, say, that one should normally save the life of a human in preference to that of a dog. But she denies that we should save the human because he (...) has higher moral status. Instead, the human should be saved because he has more at stake—he may, for example, have a stronger interest in continued existence. In defending the Interests Model, DeGrazia cuts against the grain of recent theorising on moral status, which has instead favoured what he calls the Respect Model. (shrink)

As a way to address both ominous and ordinary threats of artificial intelligence, researchers have started proposing ways to stop an AI system before it has a chance to escape outside control and cause harm. A so-called “big red button” would enable human operators to interrupt or divert a system while preventing the system from learning that such an intervention is a threat. Though an emergency button for AI seems to make intuitive sense, that approach ultimately concentrates on the point (...) when a system has already “gone rogue” and seeks to obstruct interference. A better approach would be to make ongoing self-evaluation and testing an integral part of a system’s operation, diagnose how the system is in error and to prevent chaos and risk before they start. In this paper, we describe the demands that recent big red button proposals have not addressed, and we offer a preliminary model of an approach that could better meet them. We argue for an ethical core that consists of a scenario-generation mechanism and a simulation environment that are used to test a system’s decisions in simulated worlds, rather than the real world. This EC would be kept opaque to the system itself: through careful design of memory and the character of the scenario, the system’s algorithms would be prevented from learning about its operation and its function, and ultimately its presence. By monitoring and checking for deviant behavior, we conclude, a continual testing approach will be far more effective, responsive, and vigilant toward a system’s learning and action in the world than an emergency button which one might not get to push in time. (shrink)

Is our case strong enough to go to trial? Will interest rates go up? Can I trust this person? Such questions - and the judgments required to answer them - are woven into the fabric of everyday experience. This book, first published in 2002, examines how people make such judgments. The study of human judgment was transformed in the 1970s, when Kahneman and Tversky introduced their 'heuristics and biases' approach and challenged the dominance of strictly rational models. Their work highlighted (...) the reflexive mental operations used to make complex problems manageable and illuminated how the same processes can lead to both accurate and dangerously flawed judgments. The heuristics and biases framework generated a torrent of influential research in psychology - research that reverberated widely and affected scholarship in economics, law, medicine, management, and political science. This book compiles the most influential research in the heuristics and biases tradition since the initial collection of 1982. (shrink)

This is the first in a series of instalments aiming at a minimal model explanation for conscious experience, taking the phenomenal character of “pure consciousness” or “pure awareness” in meditation as its entry point. It develops the concept of “minimal phenomenal experience” as a candidate for the simplest form of consciousness, substantiating it by extracting six semantic constraints from the existing literature and using sixteen phenomenological case-studies to incrementally flesh out the new working concept. One empirical hypothesis is that (...) the phenomenological prototype of “pure awareness”, to which all such reports refer, really is the content of a predictive model, namely, a Bayesian representation of tonic alertness. On a more abstract conceptual level, it can be described as a model of an unpartitioned epistemic space. (shrink)

Kelly Sorensen defends a model of the relationship between effort and moral worth in which the effort exerted in performing a morally desirable action contributes positively to the action’s moral worth, but the effort required to perform the action detracts from its moral worth. I argue that Sorensen’s model, though on the right track, is mistaken in three ways. First, it fails to capture the relevance of counterfactual effort to moral worth. Second, it wrongly implies that exerting unnecessary (...) effort confers moral worth on an action. Third, it fails to adequately distinguish between cases in which effort is required because of defects of moral character and those in which effort is required because of barriers external to moral character, such as social pressures or non-moral cognitive deficits. I suggest three amendments to Sorensen’s model that correct these three defects. (shrink)

This essay explores the nature and neurological basis of creativity in technical production. After presenting a model of expert technical cognition based in cognitive anthropology and cognitive psychology, the authors propose that craft production has three inherent sources of novelty — procedural drift, serendipitous error and fiddling. However, these are quite limited in their creative potential, which may help explain the virtual absence of innovation over the long millennia of the Palaeolithic. Innovation can be far more rapid and effective (...) via invention, which requires folk theories of causation and adequate working memory capacity, all fairly recent evolutionary developments. The neurological basis of expert technical cognition lies in well-known cortical and sub-cortical structures, but recent research has established a provocative role for the cerebellum in the formulation of novel arrangements. (shrink)

We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof standards to determine the acceptability of statements on an issue-by-issue basis. The model uses different types of premises (ordinary premises, assumptions and exceptions) and information about the dialectical status of statements (stated, questioned, accepted or rejected) to allow the burden of proof to be allocated to the proponent or the respondent, as appropriate, for (...) each premise separately. Our approach allows the burden of proof for a premise to be assigned to a different party than the one who has the burden of proving the conclusion of the argument, and also to change the burden of proof or applicable proof standard as the dialogue progresses from stage to stage. Useful for modeling legal dialogues, the burden of production and burden of persuasion can be handled separately, with a different responsible party and applicable proof standard for each. Carneades enables critical questions of argumentation schemes to be modeled as additional premises, using premise types to capture the varying effect on the burden of proof of different kinds of questions. (shrink)

In Rahul Banerjee and Bikas K. Chakrabarti (eds.), Progress in Brain Research, 168: 215-246. Amsterdam: Elsevier. Electronic offprint available upon request.

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

Our minds have physical effects. This happens, for instance, when we move our bodies when we act. How is this possible? Thomas Kroedel defends an account of mental causation in terms of difference-making: if our minds had been different, the physical world would have been different; therefore, the mind causes events in the physical world. His account not only explains how the mind has physical effects at all, but solves the exclusion problem - the problem of how those effects (...) can have both mental and physical causes. It is also unprecedented in scope, because it is available to dualists about the mind as well as physicalists, drawing on traditional views of causation as well as on the latest developments in the field of causal modelling. It will be of interest to a range of readers in philosophy of mind and philosophy of science. This book is also available as Open Access. (shrink)

Authors of books on business ethics and corporate social responsibility fall into two general approaches when they answer the question: Why should a business firm, which represents private property, have greater obligations to the local community than an ordinary citizen? Authors generally subscribe to a rights approach or to a power model. This paper will present four rights approaches and three power models which are used to describe the relationship of the firm to society. Introducing these different approaches and (...) models will be two brief expositions which provide the setting for determining the relationship of a firm to society. The first traces two lines to the development of the contemporary American corporation. The second views the business corporation as a quasi-public institution. (shrink)

In mental action there is no motor output to be controlled and no sensory input vector that could be manipulated by bodily movement. It is therefore unclear whether this specific target phenomenon can be accommodated under the predictive processing framework at all, or if the concept of “active inference” can be adapted to this highly relevant explanatory domain. This contribution puts the phenomenon of mental action into explicit focus by introducing a set of novel conceptual instruments and developing a first (...) positive model, concentrating on epistemic mental actions and epistemic self-control. Action initiation is a functionally adequate form of self-deception; mental actions are a specific form of predictive control of effective connectivity, accompanied and possibly even functionally mediated by a conscious “epistemic agent model”. The overall process is aimed at increasing the epistemic value of pre-existing states in the conscious self-model, without causally looping through sensory sheets or using the non-neural body as an instrument for active inference. (shrink)

Marr's levels of analysis—computational, algorithmic, and implementation—have served cognitive science well over the last 30 years. But the recent increase in the popularity of the computational level raises a new challenge: How do we begin to relate models at different levels of analysis? We propose that it is possible to define levels of analysis that lie between the computational and the algorithmic, providing a way to build a bridge between computational- and algorithmic-level models. The key idea is to push the (...) notion of rationality, often used in defining computational-level models, deeper toward the algorithmic level. We offer a simple recipe for reverse-engineering the mind's cognitive strategies by deriving optimal algorithms for a series of increasingly more realistic abstract computational architectures, which we call “resource-rational analysis.”. (shrink)

Historians have long since rejected the dubious assertions of the conflict model, with its narratives of perennial religion versus science combat. Nonetheless, this theory persists in various academic disciplines, and it is still presented to university students as the authoritative historical account of religion–science interactions. Cases of this can be identified within modern anthropology textbooks and reference materials, which often recapitulate claims once made by John W. Draper and Andrew D. White. This article examines 21st-century introductory anthropology publications, demonstrating (...) how such works perpetuate religion–science myths and the notion that history has been replete with inevitable religion versus science warfare. In particular, this study reveals how such introductory materials propagate discord narratives associated with the Scientific Revolution and the Enlightenment. Affiliated with these anecdotes are oversimplified accounts of religious responses to heliocentrism and evolutionary theory, as well as claims that science has invariably led to the usurpation of religious belief and secularization from Galileo onwards. (shrink)

A representationalist analysis of strong first-person phenomena is developed (Baker 1998), and it is argued that conscious, cognitive self-reference can be naturalized under this representationalist analysis. According to this view, the phenomenal first-person perspective is a condition of possibility for the emergence of a cognitive first-person perspective. Cognitive self-reference always is reference to the phenomenal content of a transparent self-model. The concepts of phenomenal transparency and introspection are clarified. More generally, I suggest that the concepts of phenomenal opacity and (...) phenomenal transparency are interesting instruments for analyzing conscious, self-representational content, and that their relevance in understanding reflexive, i.e., cognitive subjectivity may have been overlooked in the past. (shrink)

Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenon that draws on standard tools from the literature on graphical causal models and, in particular, on the idea of probabilistic sampling. Using these tools, we propose a new measure of actual causal strength. This measure accurately captures three effects of normality on causal judgment that have been observed in existing studies. (...) More importantly, the measure predicts a new effect ("abnormal deflation"). Two studies show that people's judgments do, in fact, show this new effect. Taken together, the patterns of people's causal judgments thereby provide support for the proposed explanation. (shrink)

The self/non-self model, first proposed by F.M. Burnet, has dominated immunology for 60 years now. According to this model, any foreign element will trigger an immune reaction in an organism, whereas endogenous elements will not, in normal circumstances, induce an immune reaction. In this paper we show that the self/non-self model is no longer an appropriate explanation of experimental data in immunology, and that this inadequacy may be rooted in an excessively strong metaphysical conception of biological identity. (...) We suggest that another hypothesis, one based on the notion of continuity, gives a better account of immune phenomena. Finally, we underscore the mapping between this metaphysical deflation from self to continuity in immunology and the philosophical debate between substantialism and empiricism about identity. (shrink)

We understand responsible leadership as a social-relational and ethical phenomenon, which occurs in social processes of interaction. While the prevailing leadership literature has for the most part focussed on the relationship between leaders and followers in the organization and defined followers as subordinates, we show in this article that leadership takes place in interaction with a multitude of followers as stakeholders inside and outside the corporation. Using an ethical lens, we discuss leadership responsibilities in a stakeholder society, thereby following Bass (...) and Steidelmeier’s suggestion to discuss “leadership in the context of contemporary stakeholder theory” (1999: 200). Moreover, from a relational and stakeholder perspective we approach the questions: What is responsible leadership? What makes a responsible leader? What qualities are needed? Finally, we propose a so-called “roles model” of responsible leadership, which gives a gestalt to a responsible leader and describes the different roles he or she takes in leading stakeholders and business in society. (shrink)

This paper introduces a class of graphical independence models that is closed under marginalization and conditioning but that contains all DAG independence models. This class of graphs, called maximal ancestral graphs, has two attractive features: there is at most one edge between each pair of vertices; every missing edge corresponds to an independence relation. These features lead to a simple parameterization of the corresponding set of distributions in the Gaussian case.

This research investigates the efficacy of business ethics intervention, tests a theoretical model that the love of money is directly or indirectly related to propensity to engage in unethical behavior (PUB), and treats college major (business vs. psychology) and gender (male vs. female) as moderators in multi-group analyses. Results suggested that business students who received business ethics intervention significantly changed their conceptions of unethical behavior and reduced their propensity to engage in theft; while psychology students without intervention had no (...) such changes. Therefore, ethics training had some impacts on business students' learning and education (intelligence). For our theoretical model, results of the whole sample (N = 298) revealed that Machiavellianism (measured at Time 1) was a mediator of the relationship between the love of money (measured at Time 1) and unethical behavior (measured at Time 2) (the Love of Money → Machiavellianism → Unethical Behavior). Further, this mediating effect existed for business students (n = 198) but not for psychology students (n = 100), for male students (n = 165) but not for female students (n = 133), and for male business students (n = 128) but not for female business students (n = 70). Moreover, when examined alone, the direct effect (the Love of Money → Unethical Behavior) existed for business students but not for psychology students. We concluded that a short business ethics intervention may have no impact on the issue of virtue (wisdom). (shrink)

In “Getting that Model T Back on the Road: Thomas Flint on Incarnation and Mereology,” William Hasker contends that the reasons I offered for being dissatisfied with Model T, a mereological model of the incarnation, are insufficient. I argue, though, that Hasker’s defense of Model T is inadequate; though Christians may not want to consign it to the junkyard, they should at least be open to trading it in for a better model.

Languages are transmitted from person to person and generation to generation via a process of iterated learning: people learn a language from other people who once learned that language themselves. We analyze the consequences of iterated learning for learning algorithms based on the principles of Bayesian inference, assuming that learners compute a posterior distribution over languages by combining a prior (representing their inductive biases) with the evidence provided by linguistic data. We show that when learners sample languages from this posterior (...) distribution, iterated learning converges to a distribution over languages that is determined entirely by the prior. Under these conditions, iterated learning is a form of Gibbs sampling, a widely-used Markov chain Monte Carlo algorithm. The consequences of iterated learning are more complicated when learners choose the language with maximum posterior probability, being affected by both the prior of the learners and the amount of information transmitted between generations. We show that in this case, iterated learning corresponds to another statistical inference algorithm, a variant of the expectation-maximization (EM) algorithm. These results clarify the role of iterated learning in explanations of linguistic universals and provide a formal connection between constraints on language acquisition and the languages that come to be spoken, suggesting that information transmitted via iterated learning will ultimately come to mirror the minds of the learners. (shrink)

Suppose that you and I disagree about some non-straightforward matter of fact (say, about whether capital punishment tends to have a deterrent effect on crime). Psychologists have demonstrated the following striking phenomenon: if you and I are subsequently exposed to a mixed body of evidence that bears on the question, doing so tends to increase the extent of our initial disagreement. That is, in response to exactly the same evidence, each of us grows increasingly confident of his or her original (...) view; we thus become increasingly polarized as our common evidence increases. I consider several alternative models of how people reason about newly-acquired evidence which seems to disconfirm their prior beliefs. I then explore the normative implications of these models for the phenomenon in question. (shrink)

Most current talk of forgiveness and reconciliation in the aftermath of collective violence proceeds from an assumption that forgiveness is always superior to resentment and refusal to forgive. Victims who demonstrate a willingness to forgive are often celebrated as virtuous moral models, while those who refuse to forgive are frequently seen as suffering from a pathology. Resentment is viewed as a negative state, held by victims who are not "ready" or "capable" of forgiving and healing. Resentment's Virtue offers a new, (...) more nuanced view. Building on the writings of Holocaust survivor Jean Améry and the work of the South African Truth and Reconciliation Commission, Thomas Brudholm argues that the preservation of resentment can be the reflex of a moral protest that might be as permissible, humane or honorable as the willingness to forgive. Taking into account the experiences of victims, the findings of truth commissions, and studies of mass atrocities, Brudholm seeks to enrich the philosophical understanding of resentment. (shrink)

This Alfred Schutz Memorial Lecture discusses the relationship between the phenomenological life-world analysis and the methodology of the social sciences, which was the central motive of Schutz’s work. I have set two major goals in this lecture. The first is to scrutinize the postulate of adequacy, as this postulate is the most crucial of Schutz’s methodological postulates. Max Weber devised the postulate ‘adequacy of meaning’ in analogy to the postulate of ‘causal adequacy’ (a concept used in jurisprudence) and regarded both (...) as complementary and, in the context of sociological analysis, critical. Schutz extracted the two postulates from the Neokantian epistemology, dismissed the concept of causality, and reduced Weber’s two postulates of adequacy into one, namely, the adequacy of meaning. I discuss the benefits and shortcomings of this reduction. A major problem, in my view, is that Schutz’s reformulation lost the empirical concern that was inherent in Weber’s ‘causal adequacy’. As a result, the models of economics (which shaped Schutz’s conception of social science) are considered to be adequate if they are ‘understandable’ to an everyday actor, even when they are based on the most unrealistic assumptions. To recapture Weber’s empirical orientation I recommend a more restrictive interpretation of the postulate of adequacy that links it to qualitative research and unfolds the critical potential of Schutz’s phenomenological life-world analysis. My second goal is to report on some current developments in German sociology in which a number of approaches explicitly refer to Schutz’s analysis of the life-world and attempt to pursue ‘adequate’ empirical research. This lecture focuses on three approaches: ethnophenomenology, life-world analytic ethnography, and social scientific hermeneutics. (shrink)

In this article, we consider variations of Nuel Belnap’s ‘artificial reasoner’. In particular, we examine cases in which the artificial reasoner is faulty, e.g. situations in which the reasoner is unable to calculate the value of a formula due to an inability to retrieve the values of its atoms. In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...) Priest’s first-degree entailment with an ‘emptiness’ value and Richard Angell’s analytic containment, making computational interpretations of these systems possible. The Belnap-type semantics for AC bring FDE φ and AC in line with other containment logics in their neighborhood. The second half of the article examines formal questions, such as whether AC admits an analysis along the lines of that given to the related system of William Parry’s system of analytic implication, as suggested by Kurt Gödel and confirmed by Kit Fine. Furthermore, a natural means of extending these systems to languages with an intensional implication connective is investigated. (shrink)

Disagreement is a ubiquitous feature of human life, and philosophers have dutifully attended to it. One important question related to disagreement is epistemological: How does a rational person change her beliefs (if at all) in light of disagreement from others? The typical methodology for answering this question is to endorse a steadfast or conciliatory disagreement norm (and not both) on a priori grounds and selected intuitive cases. In this paper, I argue that this methodology is misguided. Instead, a thoroughgoingly Bayesian (...) strategy is what's needed. Such a strategy provides conciliatory norms in appropriate cases and steadfast norms in appropriate cases. I argue, further, that the few extant efforts to address disagreement in the Bayesian spirit are laudable but uncompelling. A modelling, rather than a functional, approach gets us the right norms and is highly general, allowing the epistemologist to deal with (1) multiple epistemic interlocutors, (2) epistemic superiors and inferiors (i.e. not just epistemic peers), and (3) dependence between interlocutors. (shrink)

What we traditionally call ‘conscious thought’ actually is a subpersonal process, and only rarely a form of mental action. The paradigmatic, standard form of conscious thought is non-agentive, because it lacks veto-control and involves an unnoticed loss of epistemic agency and goal-directed causal self-determination at the level of mental content. Conceptually, it must be described as an unintentional form of inner behaviour. Empirical research shows that we are not mentally autonomous subjects for about two thirds of our conscious lifetime, because (...) while conscious cognition is unfolding, it often cannot be inhibited, suspended, or terminated. The instantiation of a stable first- person perspective as well as of certain necessary conditions of personhood turn out to be rare, graded, and dynamically variable properties of human beings. I argue that individual representational events only become part of a personal-level process by being functionally integrated into a specific form of transparent conscious self-representation, the ‘epistemic agent model’. The EAM may be the true origin of our consciously experienced firstperson perspective. (shrink)

The standard view is that the Lagrangian and Hamiltonian formulations of classical mechanics are theoretically equivalent. Jill North, however, argues that they are not. In particular, she argues that the state-space of Hamiltonian mechanics has less structure than the state-space of Lagrangian mechanics. I will isolate two arguments that North puts forward for this conclusion and argue that neither yet succeeds. 1 Introduction2 Hamiltonian State-space Has less Structure than Lagrangian State-space2.1 Lagrangian state-space is metrical2.2 Hamiltonian state-space is symplectic2.3 Metric > (...) symplectic3 Hamiltonian State-space Does Not Have Less Structure than Lagrangian State-space3.1 Lagrangian state-space has less than metric structure3.1.1 A potential worry3.1.2 General Lagrangians3.2 Hamiltonian state-space has more than symplectic structure3.2.1 A dual structure on the Hamiltonian state-space3.2.2 Simple Hamiltonians3.3 Comparing Lagrangian and Hamiltonian structures3.3.1 Counting mathematical structure3.3.2 Symplectic and metric structure are incomparable4 An Alternative Argument for LS4.1 The argument for P3*4.2 Symplectic manifold vs. tangent bundle structure4.3 Trying to patch up the argument for P3*5 Interpreting Mathematical Structure5.1 State-space realism5.2 Model isomorphism and theoretical equivalence6 Conclusion. (shrink)

In this response to Neil Manson’s latest intervention in our debate about the best consent model for biobank research we show, contra Manson that the ‘expiry problem’ that affects broad consent models because of changes over time in methods, purposes, types of data used and governance structures is a real and significant problem. We further show that our preferred implementation of meta consent as a national consent platform solves this problem and is not subject to the cost and burden (...) objections that Manson raises. (shrink)

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, (...) Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)

Argument invention is a method that can be used to help an arguer find arguments that could be used to prove a claim he needs to defend. The aim of this paper is to show how argumentation systems recently developed in artificial intelligence can be applied to the task of argument invention. One such system called Carneades is featured. Carneades can be used to analyze arguments, evaluate arguments, to make an argument diagram, and to construct arguments from a database. Using (...) some simple examples, the paper explains how Carneades works as a system of argument invention. (shrink)

Subjective probability plays an increasingly important role in many fields concerned with human cognition and behavior. Yet there have been significant criticisms of the idea that probabilities could actually be represented in the mind. This paper presents and elaborates a view of subjective probability as a kind of sampling propensity associated with internally represented generative models. The resulting view answers to some of the most well known criticisms of subjective probability, and is also supported by empirical work in neuroscience and (...) behavioral psychology. The repercussions of the view for how we conceive of many ordinary instances of subjective probability, and how it relates to more traditional conceptions of subjective probability, are discussed in some detail. (shrink)

By the mid-1600s, the commonsense, manifest picture of the world associated with Aristotle had been undermined by skeptical arguments on the one hand and by the rise of the New Science on the other. What would be the scientific image to succeed the Aristotelian model? Thomas Lennon argues here that the contest between the supporters of Descartes and the supporters of Gassendi to decide this issue was the most important philosophical debate of the latter half of the seventeenth (...) century. Descartes and Gassendi inspired their followers with radically opposed perspectives on space, the objects in it, and how these objects are known. Lennon maintains that differing concepts on these matters implied significant moral and political differences: the Descartes/Gassendi conflict was typical of Plato's perennial battle of the gods and giants, and the crux of that enduring philosophical struggle is the exercise of moral and political authority. Lennon demonstrates, in addition, that John Locke should be read as having taken up Gassendi's cause against Descartes. In Lennon's reinterpretation of the history of philosophy between the death dates of Gassendi and Malebranche, Locke's acknowledged opposition to Descartes on some issues is applied to the most important questions of Locke exegesis. Originally published in 1993. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent domains, (...) an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

This paper develops an account of how the implementation of ML models into healthcare settings requires revising the methodological apparatus of philosophical bioethics. On this account, ML models are cognitive interventions that provide decision-support to physicians and patients. Due to reliability issues, opaque reasoning processes, and information asymmetries, ML models pose inferential problems for them. These inferential problems lay the grounds for many ethical problems that currently claim centre-stage in the bioethical debate. Accordingly, this paper argues that the best way (...) to make progress in remedying these ethical problems is to distil their epistemic core and to identify appropriate epistemic norms as guardrails. The viability of this approach will be highlighted based on four key issues: trust, responsibility, paternalism, and fairness. In that respect, the paper also contributes to a more pronounced view of the specific methodological challenges for ethical theorizing, when the point of reference are complex statistical models that make predictions, rather than individual agents, acting for reasons. (shrink)

A probabilistic Chomsky–Schützenberger hierarchy of grammars is introduced and studied, with the aim of understanding the expressive power of generative models. We offer characterizations of the distributions definable at each level of the hierarchy, including probabilistic regular, context-free, (linear) indexed, context-sensitive, and unrestricted grammars, each corresponding to familiar probabilistic machine classes. Special attention is given to distributions on (unary notations for) positive integers. Unlike in the classical case where the "semi-linear" languages all collapse into the regular languages, using analytic tools (...) adapted from the classical setting we show there is no collapse in the probabilistic hierarchy: more distributions become definable at each level. We also address related issues such as closure under probabilistic conditioning. (shrink)

This article discusses the basic arguments and important achievements of Jane Bennett’s vital materialism, as well as some problems and limitations of this theoretical perspective. It first analyzes the ontological underpinnings of Bennett’s materialist account and presents two examples she uses to illustrate the notion of a ‘force of things’. The paper then addresses central conceptual and analytic problems of Bennett’s account. The notion of an all-encompassing ‘vitality of matter’ is insufficient to explain the relationality of matter; it is also (...) empirically limited and provides only a selective account of agency. These shortcomings and limitations affect the political perspectives of Bennett’s version of vital materialism. I conclude that there is a tendency in her work to displace political considerations by invoking new ethical responsibilities and sensibilities. Being attentive to the vitality of things translates into a systematic blindness concerning the inequalities, asymmetries and hierarchies enacted in vital materializations. (shrink)