Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

Why do humans make music? Theories of the evolution of musicality have focused mainly on the value of music for specific adaptive contexts such as mate selection, parental care, coalition signaling, and group cohesion. Synthesizing and extending previous proposals, we argue that social bonding is an overarching function that unifies all of these theories, and that musicality enabled social bonding at larger scales than grooming and other bonding mechanisms available in ancestral primate societies. We combine cross-disciplinary evidence from archeology, anthropology, (...) biology, musicology, psychology, and neuroscience into a unified framework that accounts for the biological and cultural evolution of music. We argue that the evolution of musicality involves gene–culture coevolution, through which proto-musical behaviors that initially arose and spread as cultural inventions had feedback effects on biological evolution because of their impact on social bonding. We emphasize the deep links between production, perception, prediction, and social reward arising from repetition, synchronization, and harmonization of rhythms and pitches, and summarize empirical evidence for these links at the levels of brain networks, physiological mechanisms, and behaviors across cultures and across species. Finally, we address potential criticisms and make testable predictions for future research, including neurobiological bases of musicality and relationships between human music, language, animal song, and other domains. The music and social bonding hypothesis provides the most comprehensive theory to date of the biological and cultural evolution of music. (shrink)

Confirmation in evolutionary biology depends on what biologists take to be the genuine rivals. Investigating what constrains the scope of biological possibility provides part of the story: explaining how possible helps determine what counts as a genuine rival and thus informs confirmation. To clarify the criteria for genuine rivalry I distinguish between global and local constraints on biological possibility, and offer an account of how-possibly explanation. To sharpen the connection between confirmation and explaining how possible I discuss the view that (...) formal inquiry can provide a kind of confirmation-theoretic support for evolutionary models, and offer an example of how-possibly explanation interacting with testing practice. (shrink)

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between polynomial-time computation (...) and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (shrink)

We discuss the scientific task of historical reconstruction and the problem of epistemic access. We argue that strong epistemic support for historical claims consists in the consilience of multiple independent lines of evidence, and analyze the impact hypothesis for the End-Cretaceous mass extinction to illustrate the accrual of epistemic support. Although there are elements of the impact hypothesis that enjoy strong epistemic support, the general conditions for this are strict, and help to clarify the difficulties associated with reconstructing the deep (...) past. (shrink)

Organisationen spielen in modernen Gesellschaften eine zentrale Rolle. Der Beitrag geht davon aus, dass in den mittlerweile etablierten Formen von Ethik und Ethikberatung in Einrichtungen des Gesundheitssystems eine angemessene Reflexion des Organisationsbezugs oft ausbleibt bzw. eine besondere Herausforderung darstellt. Wir konzipieren deshalb eine „prozedurale Organisationsethik“, die sich kritisch mit der organisationalen Passung der Prozesse ethischer Reflexion auseinandersetzt. Daraus lassen sich als Anregung für Theorie und Praxis von ethischen Prozessen praktische Schlussfolgerungen ableiten. Sie betreffen die Orte der Differenzsetzung für die Frage (...) nach dem Guten; die ethischen Hintergrundtheorien und die Frage nach der organisatorischen Verknüpfung der Reflexionssettings. (shrink)

ELEMENTARY LOGIC GR. C. MOISIL Institute of Mathematics, Rumanian Academy, Bucharest, Rumania 1. We shall consider a typified logic of propositions. ...

Definition of the problem Organisations play a vital role in modern societies. This article presumes a lack of sufficient organisational reflection of well-established forms of ethics and ethics counselling in institutions belonging to the health sector or sees particular challenges where it is implemented. Arguments We have therefore conceived a procedural type of organisational ethics which critically examines the organisational fit of processes in terms of ethical reflection, leading to practicable suggestions. Conclusions On the one hand they relate to where (...) differences are established when asking for the good; on the other hand they are concerned with background theories and the organisational fit of the reflection settings. (shrink)

The environmental impacts of anthropogenic climate change, from an increase in global temperatures melting polar ice caps to the generation of extreme weather events, appear to be happening even mo...

This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.

Most definitions of radical emergentism characterize it epistemologically. This leads to misunderstandings and makes it hard to assess the doctrine's metaphysical worth. This paper puts forward purely metaphysical characterizations of emergentism and property emergence. It explores the nature of the necessitation relation between base and emergent and argues that emergentism entails a Humean account of causation and related relations. Then it presents arguments against emergentism, both as a wider metaphysic and as an account of consciousness. These maintain that emergentism makes (...) implausible claims about how the world works. The paper also stresses the doctrine's contemporary relevance: most current property dualists endorse views effectively identical to classical emergentism less its historical commitment to novel emergent forces. (shrink)

Ethics consultation in institutions of the healthcare system has been given a standard form based on three pillars: education, the development of guidelines and concrete ethics consultation in case conferences. The spread of ethics committees, which perform these tasks on an organizational level, is a remarkable historic achievement. At the same time it cannot be denied that modern ethics consultation neglects relevant aspects of care ethics approaches. In our essay we present an “ethics of care” approach as well as an (...) empirical pilot project—“Ethics from the bottom up”—which organizes ethics consultation based on this focus. Findings and philosophy of the project will be discussed as far as relevant for ethics consultation in the healthcare system. (shrink)

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.

Abstract: The core aim of this special issue is to present the philosophy of information as a way of doing philosophy, to focus on the contributions of Luciano Floridi to that area, and most important, to stimulate the debate on the most distinctive and controversial views he has defended in that context. This introduction contains a description of the philosophy of information, a discussion of two common misconceptions about the scope and the ambition of the philosophy of information, and a (...) brief overview of the essays in the issue. (shrink)

This introduction provides background information on the emerging field of nanotechnology and its ethical dimensions. After defining nanotechnology and briefly discussing its status as a discipline, about which there exists a meta-controversy, this introduction turns to a discussion of the status of nanoethics and lays out particular issues of concern in the field, both current and emerging.

This paper argues that it is permissible for computer scientists and engineers—working with advanced militaries that are making good faith efforts to follow the laws of war—to engage in the research and development of lethal autonomous weapons systems. Research and development into a new weapons system is permissible if and only if the new weapons system can plausibly generate a superior risk profile for all morally relevant classes and it is not intrinsically wrong. The paper then suggests that these conditions (...) are satisfied by at least some potential LAWS development programs. More specifically, since LAWS will lead to greater force protection, warfighters are free to become more risk-acceptant in protecting civilian lives and property. Further, various malicious motivations that lead to war crimes will not apply to LAWS or will apply to no greater extent than with human warfighters. Finally, intrinsic objections—such as the claims that LAWS violate human dignity or that it creates ‘responsibility gaps’—are rejected on the basis that they rely upon implausibly idealized and atomized understandings of human decision-making in combat. (shrink)

The logic of ‘being informed’ gives a formal analysis of a cognitive state that does not coincide with either belief, or knowledge. To Floridi, who first proposed the formal analysis, the latter is supported by the fact that unlike knowledge or belief, being informed is a factive, but not a reflective state. This paper takes a closer look at the formal analysis itself, provides a pure and an applied semantics for the logic of being informed, and tries to find out (...) to what extent the formal analysis can contribute to an information-based epistemology. (shrink)

The Polymath Project is an online collaborative enterprise that was initiated in 2009, when Timothy Gowers asked whether and how groups could work together to solve mathematical problems that “do not naturally split up into a vast number of subtasks.” Gowers proposed to answer this question himself by actually trying to set up such a collaboration, based on interactions taking place in the comment-threads of a series of posts on a WordPress blog. Hence, the first project officially started in early (...) 2009, to be proclaimed successful only 6 weeks later (Gowers and Nielsen 2009). From its inception until April 2018, 15 more Polymath problems (and a handful of smaller or related ones) have been launched. These projects have attracted attention from different scholarly communities, including the philosophy of mathematical practices, from the perspective of which the Polymath Project can be seen as a vast repository of mathematics in action. This chapter continues previous work by its authors on the topic in question and topics related. More specifically, for the purposes of this volume, it is our aim to both summarize and expand upon these earlier contributions. The starting point is the above observation that in the past decade, the issue of “massively collaborative mathematics” (to be qualified below) has drawn quite some attention. However, does it also warrant intensive philosophical attention in particular? For, as exciting as these developments might be from mathematical and other points of view, the enhanced possibilities that have come with it do not per se give rise to any philosophical import. In Van Bendegem (2011), one of us has indeed tentatively argued for the philosophical relevance of these new dynamics of proof construction flowing from the wide availability and efficiency of Internet technology. We shall below briefly rehearse and update the argument given there. (shrink)

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)

Does science successfully uncover the deep structure of the natural world? Or are the depths forever beyond our epistemic grasp? Since the decline of logical positivism and logical empiricism, scientific realism has become the consensus view: of course our scientific theories apprehend the deep structure of the world. What else could explain the remarkable success of science? This is the explanationist defense of scientific realism, the “ultimate argument.” Kyle Stanford starts here and, using the history of theorizing about biological inheritance (...) as his case study, constructs a convincing argument against the realist consensus in his thought provoking book, Exceeding Our Grasp.1 Here I will review the core of Stanford’s new argument for instrumentalism (§ 1) and discuss his considered view of theoretical science (§ 2). (shrink)

Cognitive Science, Literature, and the Arts is the first student-friendly introduction to the uses of cognitive science in the study of literature, written specifically for the non-scientist. Patrick Colm Hogan guides the reader through all of the major theories of cognitive science, focusing on those areas that are most important to fostering a new understanding of the production and reception of literature. This accessible volume provides a strong foundation of the basic principles of cognitive science, and allows us to (...) begin to understand how the brain works and makes us feel as we read. (shrink)

A new solution to the liar paradox is developed using the insight that it is illegitimate to even suppose (let alone assert) that a liar sentence has a truth-status (true or not) on the grounds that supposing this sentence to be true/not-true essentially defeats the telos of supposition in a readily identifiable way. On that basis, the paradox is blocked by restricting the Rule of Assumptions in Gentzen-style presentations of the sequent-calculus. The lesson of the liar is that not all (...) assumptions are for free. One merit of this proposal is that it is free from the revenge problem. (shrink)

The military is a major driver of technological, world-changing innovations which, like the Internet, often have unpredictable dual uses and widespread civilian impact (?blowback?). Ethical and policy concerns arising from such technologies, therefore, are not limited to military affairs, but can have great implications for society at large as well. This paper will focus on two technology areas making headlines at present: human enhancement technologies and robotics, representing both biological and technological upgrades to the military. The concerns we will raise (...) are about (1) the unintended effects that these technologies could have on society and (2) the possibly self-defeating nature of these military programs in making war itself more, rather than less likely to occur. Given that society also can influence military programs (e.g., through civil protests) it is important for the military to attend to such concerns. (shrink)

This paper develops a novel, neo-republican account of just state surveillance in the information age. The goal of state surveillance should be to avoid and prevent domination, both public and private. In light of that conception of justice, the paper makes three substantive points. First, it argues that modern state surveillance based upon information technology and predicated upon a close partnership with the tech sector gives the state significant power and represents a serious potential source of domination. Second, it argues (...) that, nonetheless, state surveillance can serve legitimate republican ends and so unilateral and private technological attempts to block it may be wrongful. Third, it argues that, despite the serious normative failings of current institutions, state surveillance can be justly regulated and made accountable through a legal liability regime that incentivizes tech company intermediaries to ally with civil society groups in order to safeguard the privacy rights of potential subjects of state surveillance. (shrink)

The determination of individual moral status is a central factor in the ethical evaluation of controversial practices such as elective abortion, human embryo-destructive research, and the care of the severely disabled and those in persistent vegetative states. A review of recent work on Kant reveals the need for a careful examination of the content of Kant ’s biological and psychological theories and their relation to his views about moral status. Such an examination, in conjunction with Kant ’s practical-metaphysical analysis of (...) the origins of freedom, reveals Kant ’s principled basis for his contention that all human beings possess moral status. (shrink)

The distinction between distributive and non-distributive profiles figures prominently in current evaluations of the ethical and epistemological risks that are associated with automated profiling practices. The diagnosis that non-distributive profiles may coincidentally situate an individual in the wrong category is often perceived as the central shortcoming of such profiles. According to this diagnosis, most risks can be retraced to the use of non-universal generalisations and various other statistical associations. This article develops a top-down analysis of non-distributive profiles in which this (...) fallibility of non-distributive profiles is no longer central. Instead, it focuses on how profiling creates various asymmetries between an individual data-subject and a profiler. The emergence of informational, interest, and perspectival asymmetries between data-subject and profiler explains how non-distributive profiles weaken the epistemic position of a profiled individual. This alternative analysis provides a more balanced assessment of the epistemic risks associated with non-distributive profiles. (shrink)

Literature provides us with otherwise unavailable insights into the ways emotions are produced, experienced and enacted in human social life. It is particularly valuable because it deepens our comprehension of the mutual relations between emotional response and ethical judgment. These are the central claims of Hogan's study, which carefully examines a range of highly esteemed literary works in the context of current neurobiological, psychological, sociological and other empirical research. In this work, he explains the value of literary study for a (...) cognitive science of emotion and outlines the emotional organization of the human mind. He explores the emotions of romantic love, grief, mirth, guilt, shame, jealousy, attachment, compassion and pity - in each case drawing on one work by Shakespeare and one or more works by writers from different historical periods or different cultural backgrounds, such as the eleventh-century Chinese poet Li Ch'ing-Chao and the contemporary Nigerian playwright Wole Soyinka. (shrink)

We prove the existence of hidden variables, or, what we call generalized common causes, for finite sequences of pairwise correlated random variables that do not have a joint probability distribution. The hidden variables constructed have upper probability distributions that are nonmonotonic. The theorem applies directly to quantum mechanical correlations that do not satisfy the Bell inequalities.

Questions about dirty hands have often focused on legitimate, secure leaders deciding whether to violate important deontological principles or the rules of interpersonal morality. The purpose of this paper is to show that revolutionaries have dirty hands; revolutionaries do wrong by engaging in unilateral usurpation of the existing system with the hope that latter benefits will justify their actions. Yet, once the revolution securely generates improvements for the common good, the initial usurpation becomes increasingly irrelevant to judgments of the new (...) government’s legitimacy. The paper argues that only retroactive justification—where later success forces opponents and advocates to reinterpret the wrongness of the initial action—can fully capture the complex moral dynamics of revolutions. (shrink)

The media, perhaps more than any other slice of culture, influence what we think and talk about, what we take to be important, what we worry about. And this was especially true when news of Dolly hit the airwaves and newstands. Most Americans received training in the ethics of cloning before they knew what cloning was. Media coverage fixed the content and outline of the public moral debate, both revealing and creating the dominant public worries about cloning humans. The primary (...) characterization of cloning as an ethical issue centers around three connected concerns: the loss of human uniqueness and individuality, the pathological motivations of a cloner, and the fear of out‐of‐control scientists. (shrink)

First of all, I agree with much of what F.A. Muller says in his article ‘Reflections on the revolution in Stanford’. And where I differ, the difference is on the decision of what direction of further development represents the best choice for the philosophy of science. I list my remarks as a sequence of topics.

This book explores how the creations of great authors result from the same operations as our everyday counterfactual and hypothetical imaginations, which cognitive scientists refer to as 'simulations'. Drawing on detailed literary analyses as well as recent research in neuroscience and related fields, Patrick Colm Hogan develops a rigorous theory of the principles governing simulation that goes beyond any existing framework. He examines the functions and mechanisms of narrative imagination, with particular attention to the role of theory of mind, (...) and relates this analysis to narrative universals. In the course of this theoretical discussion, Hogan explores works by Austen, Faulkner, Shakespeare, Racine, Brecht, Kafka and Calvino. He pays particular attention to the principles and parameters defining an author's narrative idiolect, examining the cognitive and emotional continuities that span an individual author's body of work. (shrink)

An embedding of the implicational propositional intuitionistic logic into the nonmodal fragment of intuitionistic linear logic is given. The embedding preserves cut-free proofs in a proof system that is a variant of IIL. The embedding is efficient and provides an alternative proof of the PSPACE-hardness of IMALL. It exploits several proof-theoretic properties of intuitionistic implication that analyze the use of resources in IIL proofs.

The starting point of this paper is a version of intra-theoretical pluralism that was recently proposed by Hjortland [2013]. In a first move, I use synonymy-relations to formulate an intuitively compelling objection against Hjortland's claim that, if one uses a single calculus to characterise the consequence relations of the paraconsistent logic LP and the paracomplete logic K3, one immediately obtains multiple consequence relations for a single language and hence a reply to the Quinean charge of meaning variance. In a second (...) move, I explain how a natural generalisation of the notion of synonymy can be used to counter this objection, but I also show how the solution can be turned into an equally devastating ‘one logic after all’ type of objection. Finally, I propose the general diagnosis that these problems could only arise in the presence of conceptual distinctions that are too coarse to accommodate coherent pluralist theses. T.. (shrink)