This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...) if data exists along certain paths within a nested sequent. Such rules require us to generalise our nested sequents to include signatures (i.e. finite collections of variables) in the first-order cases, thus giving rise to a generalisation of the usual nested sequent formalism. Our calculi exhibit favourable properties, admitting the height-preserving invertibility of every logical rule and the (height-preserving) admissibility of a large collection of structural and reachability rules. We prove all of our systems sound and cut-free complete, and show that syntactic cut-elimination obtains for the intuitionistic systems. We conclude the paper by discussing possible extensions and modifications, putting forth an array of structural rules that could be used to provide a sizable class of intermediate logics with cut-free nested sequent systems. (shrink)

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

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)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (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.

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

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 introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

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)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

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)

What determines whether an action is right or wrong? Morality, Rules, and Consequences: A Critical Reader explores for students and researchers the relationship between consequentialist theory and moral rules. Most of the chapters focus on rule consequentialism or on the distinction between act and rule versions of consequentialism. Contributors, among them the leading philosophers in the discipline, suggest ways of assessing whether rule consequentialism could be a satisfactory moral theory. These essays, all of which are previously unpublished, provide students in (...) moral philosophy with essential material and ask key questions on just what the criteria for an adequate moral theory might be. (shrink)

Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future systems will need (...) to be much more collaborative, open, diverse, egalitarian, and able to work with values and systemic issues. They will also need to go beyond producing knowledge about our world to generating wisdom about how to act within it. To get to envisioned systems we will need to rapidly scale methodological innovations, connect innovators, and creatively accelerate learning about working with intractable challenges. We will also need to create new funding schemes, a global knowledge commons, and challenge deeply held assumptions. To genuinely be a creative force in supporting longevity of human and non-human life on our planet, the shift in knowledge systems will probably need to be at the scale of the enlightenment and speed of the scientific and technological revolution accompanying the second World War. This will require bold and strategic action from governments, scientists, civic society and sustained transformational intent. (shrink)

Comments on Tim Lyons: Exploring the Prospects for a Purely Axiological Realism Midwest Workshop in Philosophy of Science and Philosophy of Mathematics April 15-16, 2011 Department of Philosophy Indiana-Purdue University Fort Wayne LA35A Let me first see if I can summarize Tim’s view : None of the various epistemic realist claims about what we are justified in believing about successful scientific theories work due to the presence of historical counterexamples. But if so we lack reason to believe the corresponding descriptive (...) semantic claims about what is true about successful theories as well as their corresponding descriptive syntactic claims about what successor theories retain from their predecessors. But this does not mean that we should reject axiological realism, roughly the view that science aims at truth, because one can be justified in having an aim even if one is never justified in believing that one has attained it. But this is possible only if we can identify certain necessary conditions for the attainment of progress towards our ideal aim, some of which also have value in themselves that can account for the utility of the pursuit of a utopian aim, one we can never know we’ve attained. But given all this the aim of science must be some subset of truth for which such necessary conditions can be specified and towards which it can plausibly be maintained science has been endeavoring in its history. The subset of truth towards which science aims is the increase of experientially concretized truths in theory-complexes. Theory-complexes are sets of theories + auxiliaries needed to generate predictions, tests and reports from them. XT truths are true statements that enter into reports of specific experiences or in tested statements about the world of experience. Specifically, they are not truths that are detached from the complex or conjoined in such a way that they are vacuous and can make no difference to the world of experience. Axiological realism thus appropriately modified becomes independent of the debate over epistemic realism; its justification lies elsewhere But the debate concerning epistemic realism has led to a succession of descriptive content-retention hypotheses that can in principle be ranked according to the quantity of historical counter-examples. This is useful because it provides evidence for a descriptive view about the nature of scientific inquiry according to which theory change has been historically governed by the application of not one but a prioritized distribution of content-retention hypotheses And this prioritized list of content-retention hypotheses can be combined with a prioritized list of theoretical virtues that are necessary conditions for achievement on IncXT The result is a descriptive view of the nature of scientific inquiry with the following characteristics It is grounded in axiological rather than epistemic realism It emphasizes flexibility in theorizing It combines content-retention principles with non-empirical theoretical virtue principles. From it inference to the best explanation follows. It is testable. It responds to the historical challenge to realism as a modus tollens rather than as a pessimistic induction. Can you be more specific about the connection between your content-retention and theoretical virtue priorities and the nature of inference to the best explanation? How is it that IBE follows from these? Are you saying that your view provides a better grounding of IBE as a mode of inductive inference or gives it more substance What’s the nature of the modus tollens you refer to? You say that it falsifies the Type-D semantic meta-hypothesis “Successful theories are approximately true”. So is this it? “If successful theories are approximately true then successful theories a, b, c …n should be approximately true. But its not the case that successful theories a, b, c … n are approximately true, so its not the case that successful theories are approximately true.” But reading “all” as the quantifier this just leads to “Some successful theories are not approximately true” which needn’t trouble the realist much if most of them are. So why can’t the type-D meta-hypothesis still be probably correct? In which case we are back to the pessimistic induction argument it seems. In a similar vein, what’s the argument that the epistemic realist needs to defend a universal type-D content retention meta-hypothesis, one that works in all cases? Only, it seems to me, if she says that being approximately true is the only explanation of theoretical success. But why must she say this? In any case, trying to support a probabilistic content-retention meta-hypothesis would seem to be an alternative to a methodology involving a hierarchical ranking of such hypothesis. Tim talks about Type-E meta-hypotheses that correspond with Type-D semantic meta-hypotheses that in turn correspond with Type-D syntactic content retention meta-hypotheses but why no mention of Type-D metaphysical meta-hypotheses? Following Devitt, why not say that at the center of the realist debate is the metaphysical question, and that sematic and epistemic issues are parasitic on the metaphysical issue? In any case, it seems like we could at least recognize a similar variety of Type-D metaphysical meta-hypotheses corresponding to the various epistemic, semantic, and syntactic ones, making for three descriptive levels. And if so, following the logic of this paper, perhaps we could take the results of the epistemic debate all the way down to the metaphysical level, with a hierarchical prioritized list of metaphysical hypotheses. If we can’t ever know if we have attained or are approaching our aim, and have to rely on the utility argument to ground scientific methodology or inquiry, how is this different from saying that the real aim of science is just the attainment of those necessary conditions of IncXT that have value in themselves? And does e.g. empirical accuracy and BOS really have this sort of value? (shrink)

In a recent paper, Aidan Lyon and Mark Colyvan have proposed an explanation of the structure of the bee's honeycomb based on the mathematical Honeycomb Conjecture. This explanation has instantly become one of the standard examples in the philosophical debate on mathematical explanations of physical phenomena. In this critical note, I argue that the explanation is not scientifically adequate. The reason for this is that the explanation fails to do justice to the essentially three-dimensional structure of the bee's honeycomb.

In this lively and accessible study, David Lyon explores the relationship between religion and postmodernity, through the central metaphor of 'Jesus in Disneyland.' Contemporary disciples of Jesus have used Disneyland for religious events, whilst Disney characters are now probably better known throughout the world than many biblical figures. But this book cautions against seeing it as a simple substitution. Rather, Lyon shows how this metaphor reveals highly innovative and potentially enduring features of contemporary spiritual quests. In the West, (...) many religious institutions have declined in social significance, but what Lyon calls the religious realm, including faith and spirituality, is flourishing in multifarious forms. Throughout the text he examines a wide variety of religious and para-religious behaviour, exploring its relation to issues of identity, cyberculture, consumer culture and social theories of time. Lyon's stimulating use of contemporary case studies illuminates the interconnections between religion and postmodernity in a world where holy wars are waged in cyberspace, New Age self religions resonate with new identity quests, and Pentecostalism sparks globalization from below. This book will be essential reading for students and scholars in the sociology of religion, sociology of culture, social theory, religious studies and theology.. (shrink)

Does thought have distinctive experiential features? Is there, in addition to sensory phenomenology, a kind of cognitive phenomenology--phenomenology of a cognitive or conceptual character? Leading philosophers of mind debate whether conscious thought has cognitive phenomenology and whether it is part of conscious perception and conscious emotion.

Much recent work on the ethics of new biomedical technologies is committed to hidden, contestable views about the nature of biological reality. This selection of essays by Tim Lewens explores and scrutinises these biological foundations, and includes work on human enhancement, synthetic biology, and justice in healthcare decision-making.

What do we owe to our descendants? How do we balance their needs against our own? Tim Mulgan develops a new theory of our obligations to future generations, based on a new rule-consequentialist account of the morality of individual reproduction. He also brings together several different contemporary philosophical discussions, including the demands of morality and international justice. His aim is to produce a coherent, intuitively plausible moral theory that is not unreasonably demanding, even when extended to cover future people. While (...) the book focuses on developing this new account, there are also substantial discussions of alternative views, especially contract-based accounts of intergenerational justice and competing forms of consequentialism. (shrink)

This book on the philosophy of science argues for an empiricism, opposed to the tradition of David Hume, in which singular rather than general causal claims are primary; causal laws express facts about singular causes whereas the general causal claims of science are ascriptions of capacities or causal powers, capacities to make things happen. Taking science as measurement, Cartwright argues that capacities are necessary for science and that these can be measured, provided suitable conditions are met. There are case studies (...) from both econometrics and quantum mechanics. (shrink)

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

Some machine learning models, in particular deep neural networks (DNNs), are not very well understood; nevertheless, they are frequently used in science. Does this lack of understanding pose a problem for using DNNs to understand empirical phenomena? Emily Sullivan has recently argued that understanding with DNNs is not limited by our lack of understanding of DNNs themselves. In the present paper, we will argue, _contra_ Sullivan, that our current lack of understanding of DNNs does limit our ability to understand with (...) DNNs. Sullivan’s claim hinges on which notion of understanding is at play. If we employ a weak notion of understanding, then her claim is tenable, but rather weak. If, however, we employ a strong notion of understanding, particularly explanatory understanding, then her claim is not tenable. (shrink)

Industrial emissions of greenhouse gases are significant contributors to climate change, which poses a grave threat to social and economic systems. Our understanding of what might drive firms to reduce their emissions of these gases, however, is incomplete, and it is not clear that the knowledge gained from other environmental issues will readily apply to these emissions. We argue and find that indicators of environmental injustice previously shown to relate to toxic pollutants, for example, are poor predictors of greenhouse gas (...) emissions. Instead, we show that the degree of belief in and concern about climate change in a local community is a significant predictor of the facility’s rate of emission improvements. Furthermore, we find that beliefs at both the facility and headquarter communities influence emission reduction, and that those effects are substitutes for each other. (shrink)

Is human nature something that the natural and social sciences aim to describe, or is it a pernicious fiction? What role, if any, does ”human nature’ play in directing and informing scientific work? Can we talk about human nature without invoking---either implicitly or explicitly---a contrast with human culture? It might be tempting to think that the respectability of ”human nature’ is an issue that divides natural and social scientists along disciplinary boundaries, but the truth is more complex. The contributors to (...) this collection take very different stances with regard to the idea of human nature. They come from the fields of psychology, the philosophy of science, social and biological anthropology, evolutionary theory, and the study of animal cognition. Some of them are ”human nature’ enthusiasts, some are sceptics, and some say that human nature is a concept with many faces, each of which plays a role in its own investigative niche. Some want to eliminate the notion altogether, some think it unproblematic, others want to retain it with reforming modifications. Some say that human nature is a target for investigation that the human sciences cannot do without, others argue that the term does far more harm than good. The diverse perspectives articulated in this book help to explain why we disagree about human nature, and what, if anything, might resolve that disagreement. Introduction Tim Lewens 1 Doubling Down on the Nomological Notion of Human Nature Edouard Machery 2 Trait Bin and Trait Cluster Accounts of Human Nature Grant Ramsey 3 A Developmental Systems Account of Human Nature Karola Stotz and Paul Griffiths 4 Human Nature, Natural Pedagogy, and Evolutionary Causal Essentialism Cecilia Heyes 5 Human Nature John Dupré 6 Sceptical Reflections on Human Nature Kim Sterelny 7 The Social Construction of Human Nature Kevin N. Laland and Gillian R. Brown 8 The Use and Non-Use of the Human Nature Concept by Evolutionary Biologists Peter J. Richerson 9 Human Ontogenies as Historical Processes Christina Toren 10 Divide and Conquer Maria Kronfeldner. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

Abstract The only biologically respectable notion of human nature is an extremely permissive one that names the reliable dispositions of the human species as a whole. This conception offers no ethical guidance in debates over enhancement, and indeed it has the result that alterations to human nature have been commonplace in the history of our species. Aristotelian conceptions of species natures, which are currently fashionable in meta-ethics and applied ethics, have no basis in biological fact. Moreover, because our folk psychology (...) finds this misleading Aristotelian conception highly tempting, we are in fact better off if we refrain from mentioning human nature altogether in debates over enhancement. Content Type Journal Article Category Special Issue Pages 1-16 DOI 10.1007/s13347-012-0063-x Authors Tim Lewens, Department of History and Philosophy of Science, University of Cambridge, Free School Lane, Cambridge, CB2 3RH UK Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

We argue that corporate social performance (CSP) has become a legitimizing identity (brand) for researchers in the business and society field, but it has not developed into a viable theoretical or operational construct. Because measuring CSP is contingent on the operational setting (industry, issues, etc.), it is difficult to produce worthwhile comparisons across studies or generalizing beyond the boundaries of a specific study. The authors suggest that researchers remove the CSP label from their operational variables, and instead narrowly define their (...) studies in operational terms. They provide aworking example of the proposed research direction by examining the theory underlying the popular CSP–financial performance (FP) debate. In the authors’ conceptualization, stakeholder action provides the underlying logic connecting CSP-FP, and we recast the research question to investigate the conditions under which stakeholders will take action to influence the focal organization and when those actions will influence the CSP-FP link. (shrink)

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to the (...) abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

Where in cognitive architecture do experiences of agency lie? This chapter defends the claim that such states qualify as a species of perception. Reference to ‘the sense of agency’ should not be taken as a mere façon de parler but picks out a genuinely perceptual system. The chapter begins by outlining the perceptual model of agentive experience before turning to its two main rivals: the doxastic model, according to which agentive experience is really a species of belief, and the telic (...) model, according to which agentive experience is really a species of agency. I conclude by defending the perceptual model against a number of objections to it, and by briefly exploring its implications for the question of how to approach the study of perception. (shrink)

Some have argued that chance and determinism are compatible in order to account for the objectivity of probabilities in theories that are compatible with determinism, like Classical Statistical Mechanics (CSM) and Evolutionary Theory (ET). Contrarily, some have argued that chance and determinism are incompatible, and so such probabilities are subjective. In this paper, I argue that both of these positions are unsatisfactory. I argue that the probabilities of theories like CSM and ET are not chances, but also that they are (...) not subjective probabilities either. Rather, they are a third type of probability, which I call counterfactual probability. The main distinguishing feature of counterfactual-probability is the role it plays in conveying important counterfactual information in explanations. This distinguishes counterfactual probability from chance as a second concept of objective probability. (shrink)

Imagine living in the future in a world already damaged by humankind, a world where resources are insufficient to meet everyone's basic needs and where a chaotic climate makes life precarious. Then imagine looking back into the past, back to our own time and assessing the ethics of the early twenty-first century. "Ethics for a Broken World" imagines how the future might judge us and how living in a time of global environmental degradation might utterly reshape the politics and ethics (...) of the future. This book is presented as a series of history of philosophy lectures given in the future, studying the classic texts from a past age of affluence, our own time. The central ethical questions of our time are shown to look very different from the perspective of a ruined world. The aim of "Ethics for a Broken" World is to look at our present with the benefit of hindsight - to reimagine contemporary philosophy in an historical context - and to highlight the contingency of our own moral and political ideals. (shrink)

We theorize that social media will reduce the incidence of corporate greenwash. Drawing on the management literature on decoupling and the economic literature on information disclosure, we characterize specifically where this effect is likely to be most pronounced. We identify important differences between social media and traditional media, and present a theoretical framework for understanding greenwash in which corporate environmental communications may backfire if citizens and activists feel a company is engaging in excessive self-promotion. The framework allows us to draw (...) out a series of propositions regarding the impact of social media on corporate decisions whether to greenwash, and what channels to use for environmental communication. We conclude with a number of suggestions for future research. (shrink)

This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...) by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work. (shrink)

Is consciousness multisensory? Obviously it is multisensory in certain ways. Human beings typically possess the capacity to have experiences in at least the five familiar sensory modalities, and quite possibly in a number of other less commonly recognised modalities as well. But there are other respects in which it is far from obvious that consciousness is multisensory. This chapter is concerned with one such respect. Οur concern here is with whether consciousness contains experiences associated with distinct modalities at the same (...) time. We will describe those who endorse a positive answer to this question as endorsing a multisensory view (MSV) of the structure of consciousness, and those who endorse a negative answer to this question as having a unisensory view (USV) of the structure of consciousness. (shrink)

Australia’s experience of the COVID-19 pandemic has been widely perceived to have been a successful one, based on the relatively few number of lives lost to the virus compared to the rest of the world. There remain, nonetheless, serious ethical challenges at the heart of the Australian response to COVID-19. The broadly positive outcomes of Australia’s pandemic response mask more troubling developments within its political culture, and the costs it has imposed on its society. This article examines two concerns in (...) particular: the normalisation of fear and emergency through the language and policy responses adopted by governments, and the significant diminution of individual freedoms and human rights. (shrink)

After being sorely neglected for some time, consciousness is well and truly back on the philosophical and scientific agenda. This entry provides a whistle-stop tour of some recent debates surrounding consciousness, with a particular focus on issues relevant to the scientific study of consciousness. The first half of this entry (the first to fourth sections) focuses on clarifying the explanandum of a science of consciousness and identifying constraints on an adequate account of consciousness; the second half of this entry (the (...) fifth to seventh sections) examines a number of the methodological challenges facing the science of consciousness. (shrink)