Results for 'Laura Crosilla'

(not author) ( search as author name )
998 found
Order:
  1.  68
    On constructing completions.Laura Crosilla, Hajime Ishihara & Peter Schuster - 2005 - Journal of Symbolic Logic 70 (3):969-978.
    The Dedekind cuts in an ordered set form a set in the sense of constructive Zermelo—Fraenkel set theory. We deduce this statement from the principle of refinement, which we distill before from the axiom of fullness. Together with exponentiation, refinement is equivalent to fullness. None of the defining properties of an ordering is needed, and only refinement for two—element coverings is used. In particular, the Dedekind reals form a set; whence we have also refined an earlier result by Aczel and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Exploring Predicativity.Laura Crosilla - 1995 - In Klaus Mainzer, Peter Schuster & Helmut Schwichtenberg (eds.), Proof and Computation. World Scientific. pp. 83-108.
    Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the paradoxes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics. Cham (Switzerland): Springer.
    In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Weyl and Two Kinds of Potential Domains.Laura Crosilla & Øystein Linnebo - forthcoming - Noûs.
    According to Weyl, “‘inexhaustibility’ is essential to the infinite”. However, he distinguishes two kinds of inexhaustible, or merely potential, domains: those that are “extensionally determinate” and those that are not. This article clarifies Weyl's distinction and explains its enduring logical and philosophical significance. The distinction sheds lights on the contemporary debate about potentialism, which in turn affords a deeper understanding of Weyl.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.
    Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  37
    From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
    This edited collection bridges the foundations and practice of constructive mathematics and focuses on the contrast between the theoretical developments, which have been most useful for computer science (ie: constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logician, mathematicians, philosophers and computer scientists with contributions from leading researchers, it is up to date, highly topical and broad in scope.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  24
    A generalized cut characterization of the fullness axiom in CZF.Laura Crosilla, Erik Palmgren & Peter Schuster - 2013 - Logic Journal of the IGPL 21 (1):63-76.
    In the present note, we study a generalization of Dedekind cuts in the context of constructive Zermelo–Fraenkel set theory CZF. For this purpose, we single out an equivalent of CZF's axiom of fullness and show that it is sufficient to derive that the Dedekind cuts in this generalized sense form a set. We also discuss the instance of this equivalent of fullness that is tantamount to the assertion that the class of Dedekind cuts in the rational numbers, in the customary (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Constructive notions of set: Part I. Sets in Martin–Löf type theory.Laura Crosilla - 2005 - Annali Del Dipartimento di Filosofia 11:347-387.
    This is the first of two articles dedicated to the notion of constructive set. In them we attempt a comparison between two different notions of set which occur in the context of the foundations for constructive mathematics. We also put them under perspective by stressing analogies and differences with the notion of set as codified in the classical theory Zermelo–Fraenkel. In the current article we illustrate in some detail the notion of set as expressed in Martin–L¨of type theory and present (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  59
    Set theory: Constructive and intuitionistic ZF.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
    Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we can thus (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
    Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  21
    Conservativity of Transitive Closure over weak operational set theory.Laura Crosilla & Andrea Cantini - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter.
    Constructive set theory a' la Myhill-Aczel has been extended in (Cantini and Crosilla 2008, Cantini and Crosilla 2010) to incorporate a notion of (partial, non--extensional) operation. Constructive operational set theory is a constructive and predicative analogue of Beeson's Inuitionistic set theory with rules and of Feferman's Operational set theory (Beeson 1988, Feferman 2006, Jaeger 2007, Jaeger 2009, Jaeger 1009b). This paper is concerned with an extension of constructive operational set theory (Cantini and Crosilla 2010) by a uniform (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  15
    Constructivity and Predicativity: Philosophical Foundations.Laura Crosilla - 2016 - Dissertation, University of Leeds
    The thesis examines two dimensions of constructivity that manifest themselves within foundational systems for Bishop constructive mathematics: intuitionistic logic and predicativity. The latter, in particular, is the main focus of the thesis. The use of intuitionistic logic affects the notion of proof : constructive proofs may be seen as very general algorithms. Predicativity relates instead to the notion of set: predicative sets are viewed as if they were constructed from within and step by step. The first part of the thesis (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  61
    Binary Refinement Implies Discrete Exponentiation.Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster - 2006 - Studia Logica 84 (3):361-368.
    Working in the weakening of constructive Zermelo-Fraenkel set theory in which the subset collection scheme is omitted, we show that the binary refinement principle implies all the instances of the exponentiation axiom in which the basis is a discrete set. In particular binary refinement implies that the class of detachable subsets of a set form a set. Binary refinement was originally extracted from the fullness axiom, an equivalent of subset collection, as a principle that was sufficient to prove that the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Handbook of Bishop's Mathematics.Laura Crosilla (ed.) - forthcoming - CUP.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Realizability models for constructive set theories with restricted induction principles.Laura Crosilla - unknown
    This thesis presents a proof theoretical investigation of some constructive set theories with restricted set induction. The set theories considered are various systems of Constructive Zermelo Fraenkel set theory, CZF ([1]), in which the schema of $\in$ - Induction is either removed or weakened. We shall examine the theories $CZF^\Sigma_\omega$ and $CZF_\omega$, in which the $\in$ - Induction scheme is replaced by a scheme of induction on the natural numbers (only for  formulas in the case of the first theory, (...)
     
    Export citation  
     
    Bookmark  
  18.  34
    Tutorial for Minlog.Laura Crosilla, Monika Seisenberger & Helmut Schwichtenberg - 2011 - Minlog Proof Assistant - Freely Distributed.
    This is a tutorial for the Minlog Proof Assistant, version 5.0.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. The physics and metaphysics of identity and individuality: Steven French and Décio Krause: Identity in physics: A historical, philosophical, and formal analysis. Oxford: Clarendon Press, 2006, 440 pp, £68.00 HB.Don Howard, Bas C. van Fraassen, Otávio Bueno, Elena Castellani, Laura Crosilla, Steven French & Décio Krause - 2010 - Metascience 20 (2):225-251.
    The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, 50139 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20.  7
    Conservativity of transitive closure over weak constructive operational set theory.Andrea Cantini & Laura Crosilla - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 91-122.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  33
    Finite Methods in Mathematical Practice.Peter Schuster & Laura Crosilla - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 351-410.
    In the present contribution we look at the legacy of Hilbert's programme in some recent developments in mathematics. Hilbert's ideas have seen new life in generalised and relativised forms by the hands of proof theorists and have been a source of motivation for the so--called reverse mathematics programme initiated by H. Friedman and S. Simpson. More recently Hilbert's programme has inspired T. Coquand and H. Lombardi to undertake a new approach to constructive algebra in which strong emphasis is laid on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  15
    Elementary Constructive Operational Set Theory.Andrea Cantini & Laura Crosilla - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 199-240.
    We introduce an operational set theory in the style of [5] and [16]. The theory we develop here is a theory of constructive sets and operations. One motivation behind constructive operational set theory is to merge a constructive notion of set ([1], [2]) with some aspects which are typical of explicit mathematics [14]. In particular, one has non-extensional operations (or rules) alongside extensional constructive sets. Operations are in general partial and a limited form of self{application is permitted. The system we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  21
    Constructive Set Theory with Operations.Andrea Cantini & Laura Crosilla - 2007 - In Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.), Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press.
    We present an extension of constructive Zermelo{Fraenkel set theory [2]. Constructive sets are endowed with an applicative structure, which allows us to express several set theoretic constructs uniformly and explicitly. From the proof theoretic point of view, the addition is shown to be conservative. In particular, we single out a theory of constructive sets with operations which has the same strength as Peano arithmetic.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.Jaap van Oosten - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.
     
    Export citation  
     
    Bookmark  
  25. Anger and its desires.Laura Silva - 2022 - European Journal of Philosophy 29 (4):1115-1135.
    The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire for recognition, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  26.  95
    Does size matter? The state of the art in small business ethics.Laura J. Spence - 1999 - Business Ethics, the Environment and Responsibility 8 (3):163–174.
    In this paper the exclusive focus on large firms in the field of business ethics is challenged. Some of the idiosyncrasies of small firms are explained, and links are made between these and potential ethical issues. A review of the existing literature on ethics in small firms demonstrates the lack of appropriate research, so that to date we can draw no firm conclusions in relation to ethics in the small firm. Recommendations are made as to the way forward for small (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   113 citations  
  27. The Epistemic Role of Outlaw Emotions.Laura Silva - 2021 - Ergo 8 (23).
    Outlaw emotions are emotions that stand in tension with one’s wider belief system, often allowing epistemic insight one may have otherwise lacked. Outlaw emotions are thought to play crucial epistemic roles under conditions of oppression. Although the crucial epistemic value of these emotions is widely acknowledged, specific accounts of their epistemic role(s) remain largely programmatic. There are two dominant accounts of the epistemic role of emotions: The Motivational View and the Justificatory View. Philosophers of emotion assume that these dominant ways (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. The Efficacy of Anger: Recognition and Retribution.Laura Luz Silva - 2021 - In Ana Falcato (ed.), The Politics of Emotional Shockwaves. Palgrave Macmillan. pp. 27-55.
    Anger is often an appropriate reaction to harms and injustices, but is it a politically beneficial one? Martha Nussbaum (Journal of the American Philosophical Association 1 (1), 41–56, 2015, Anger and Forgiveness. Oxford University Press, 2016) has argued that, although anger is useful in initially recruiting agents for action, anger is typically counterproductive to securing the political aims of those harmed. After the initial shockwave of outrage, Nussbaum argues that to be effective at enacting positive social change, groups and individuals (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  27
    Behind Closed Doors: Irbs and the Making of Ethical Research.Laura Stark - 2011 - University of Chicago Press.
    IRBs in action -- Everyone's an expert? Warrants for expertise -- Local precedents -- Documents and deliberations: an anticipatory perspective -- Setting IRBs in motion in Cold War America -- An ethics of place -- The many forms of consent -- Deflecting responsibility -- Conclusion: the making of ethical research.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  30. Acceptance and the ethics of belief.Laura K. Soter - 2023 - Philosophical Studies 180 (8):2213-2243.
    Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Is Anger a Hostile Emotion?Laura Silva - 2021 - Review of Philosophy and Psychology.
    In this article I argue that characterizations of anger as a hostile emotion may be mistaken. My project is empirically informed and is partly descriptive, partly diagnostic. It is descriptive in that I am concerned with what anger is, and how it tends to manifest, rather than with what anger should be or how moral anger is manifested. The orthodox view on anger takes it to be, descriptively, an emotion that aims for retribution. This view fits well with anger being (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  32. Towards an Affective Quality Space.Laura Silva - 2023 - Journal of Consciousness Studies 30 (7):164-195.
    In this paper I lay the foundations for the construction of an affective quality space. I begin by outlining what quality spaces are, and how they have been constructed for sensory qualities across different perceptual modalities. I then turn to tackle four obstacles that an affective quality space might face that would make an affective quality space unfeasible. After showing these obstacles to be surmountable, I propose a number of conditions and methodological constraints that should be satisfied in attempts to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Trust, Risk, and Race in American Medicine.Laura Specker Sullivan - 2020 - Hastings Center Report 50 (1):18-26.
    Trust is a core feature of the physician-patient relationship, and risk is central to trust. Patients take risks when they trust their providers to care for them effectively and appropriately. Not all patients take these risks: some medical relationships are marked by mistrust and suspicion. Empirical evidence suggests that some patients and families of color in the United States may be more likely to mistrust their providers and to be suspicious of specific medical practices and institutions. Given both historical and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  34.  10
    Corporate Social Responsibility and Small Business in a European Policy Context.Laura J. Spence - 2007 - Business and Society Review 112 (4):533-552.
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  35. On being angry at oneself.Laura Silva - 2022 - Ratio 35 (3):236-244.
    The phenomenon of self-anger has been overlooked in the contemporary literature on emotion. This is a failing we should seek to remedy. In this paper I provide the first ef-fort towards a philosophical characterization of self-anger. I argue that self-anger is a genuine instance of anger and that, as such, it is importantly distinct from the negative self-directed emotions of guilt and shame. Doing so will uncover a potentially distinctive role for self-anger in our moral psychology, as one of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. A coherence theory of autonomy.Laura Waddell Ekstrom - 1993 - Philosophy and Phenomenological Research 53 (3):599-616.
    This paper presents a conception of the self partially in terms of a particular notion of preference. It develops a coherentist account of when one's preferences are "authorized", or sanctioned as one's own, and presents a coherence theory of autonomous action. The view presented solves certain problems with hierarchical accounts of freedom, such as Harry Frankfurt's.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  37.  8
    Climates of Distrust in Medicine.Laura Specker Sullivan - 2023 - Hastings Center Report 53 (S2):33-38.
    Trust in medicine is often conceived of on an individual level, with respect to how people rely on particular clinicians or institutions. Yet as discussions of trust during the Covid‐19 pandemic highlighted, trust decisions are not always as individual or interpersonal as this conception suggests. Rather, individual instances of trusting behavior are related to social trust, which is conceived as a willingness to be vulnerable to people in general, based on a sense of shared norms. In this essay, I propose (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Toward a plausible event-causal indeterminist account of free will.Laura W. Ekstrom - 2019 - Synthese 196 (1):127-144.
    For those who maintain that free will is incompatible with causal determinism, a persistent problem is to give a coherent characterization of action that is neither determined by prior events nor random, arbitrary, lucky or in some way insufficiently under the control of the agent to count as free action. One approach—that of Roderick Chisholm and others—is to say that a third alternative is for an action to be caused by an agent in a way that is not reducible to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  39.  14
    Retrieving Experience Subjectivity and Recognition in Feminist Politics.Laura Hengehold - 2001
    In lieu of an abstract, here is a brief excerpt of the content:The Journal of Speculative Philosophy 17.1 (2003) 73-75 [Access article in PDF] Retrieving Experience: Subjectivity and Recognition in Feminist Politics. Sonia Kruks. Ithaca and London: Cornell University Press, 2001. Pp. xii + 200. $35.00 h.c. 0-8014-3387-8; $16.95 pbk. 0-8014-8417-0. Sonia Kruks' latest book, Retrieving Experience, is a valuable contribution to ongoing debates about the relevance of feminist philosophy in a period of relative political quietism. It also offers timely (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  40. Health and environment from adaptation to adaptivity: a situated relational account.Laura Menatti, Leonardo Bich & Cristian Saborido - 2022 - History and Philosophy of the Life Sciences 44 (3):1-28.
    The definitions and conceptualizations of health, and the management of healthcare have been challenged by the current global scenarios (e.g., new diseases, new geographical distribution of diseases, effects of climate change on health, etc.) and by the ongoing scholarship in humanities and science. In this paper we question the mainstream definition of health adopted by the WHO—‘a state of complete physical, mental and social well-being and not merely the absence of disease or infirmity’ (WHO in Preamble to the constitution of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Free will, chance, and mystery.Laura Ekstrom - 2003 - Philosophical Studies 113 (2):153-80.
    This paper proposes a reconciliation between libertarian freedomand causal indeterminism, without relying on agent-causation asa primitive notion. I closely examine Peter van Inwagen''s recentcase for free will mysterianism, which is based in part on thewidespread worry that undetermined acts are too chancy to befree. I distinguish three senses of the term chance I thenargue that van Inwagen''s case for free will mystrianism fails,since there is no single construal of the term change on whichall of the premises of his argument for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  42.  80
    A defense of back-end doxastic voluntarism.Laura Soter - forthcoming - Noûs.
    Doxastic involuntarism—the thesis that we lack direct voluntary control (in response to non-evidential reasons) over our belief states—is often touted as philosophical orthodoxy. I here offer a novel defense of doxastic voluntarism, centered around three key moves. First, I point out that belief has two central functional roles, but that discussions of voluntarism have largely ignored questions of control over belief's guidance function. Second, I propose that we can learn much about doxastic control by looking to cognitive scientific research on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Mechanisms meet structural explanation.Laura Felline - 2018 - Synthese 195 (1):99-114.
    This paper investigates the relationship between structural explanation and the New Mechanistic account of explanation. The aim of this paper is twofold: firstly, to argue that some phenomena in the domain of fundamental physics, although mechanically brute, are structurally explained; and secondly, by elaborating on the contrast between SE and mechanistic explanation to better clarify some features of SE. Finally, this paper will argue that, notwithstanding their apparently antithetical character, SE and ME can be reconciled within a unified account of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  44.  30
    The Mill-Whewell Debate: Much Ado about Induction.Laura J. Snyder - 1997 - Perspectives on Science 5 (2):159-198.
    This article examines the nineteenth-century debate about scientific method between John Stuart Mill and William Whewell. Contrary to standard interpretations (given, for example, by Achinstein, Buchdahl, Butts, and Laudan), I argue that their debate was not over whether to endorse an inductive methodology but rather over the nature of inductive reasoning in science and the types of conclusions yielded by it. Whewell endorses, while Mill rejects, a type of inductive reasoning in which inference is employed to find a property or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  45. Discoverers' induction.Laura J. Snyder - 1997 - Philosophy of Science 64 (4):580-604.
    In this paper I demonstrate that, contrary to the standard interpretations, William Whewell's view of scientific method is neither that of the hypothetico-deductivist nor that of the retroductivist. Rather, he offers a unique inductive methodology, which he calls "discoverers' induction." After explicating this methodology, I show that Kepler's discovery of his first law of planetary motion conforms to it, as Whewell claims it does. In explaining Whewell's famous phrase about "happy guesses" in science, I suggest that Whewell intended a distinction (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  46.  67
    Enhancing Stakeholder Practice.Laura Dunham, R. Edward Freeman & Jeanne Liedtka - 2006 - Business Ethics Quarterly 16 (1):23-42.
    Lack of specificity around stakeholder identity remains a serious obstacle to the further development of stakeholder theory andits adoption in actual practice by business managers. Nowhere is this shortcoming more evident than in stakeholder theory’s treatment of the constituency known as “community.”In this paper we attempt to set forth what we call “the Problem of Community” as indicative of the definitional problems of stakeholdertheory. We then begin the process of gaining greater specificity around our notions of community and the role (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  47.  24
    Pacifier Overuse and Conceptual Relations of Abstract and Emotional Concepts.Barca Laura, Mazzuca Claudia & M. Borghi Anna - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48. Metasemantics and Metaethics.Laura Schroeter & Francois Schroeter - 2017 - In Tristram Colin McPherson & David Plunkett (eds.), The Routledge Handbook of Metaethics. New York: Routledge. pp. 519-535.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  44
    Eye Movements Reveal the Dynamic Simulation of Speed in Language.Laura J. Speed & Gabriella Vigliocco - 2014 - Cognitive Science 38 (2):367-382.
    This study investigates how speed of motion is processed in language. In three eye-tracking experiments, participants were presented with visual scenes and spoken sentences describing fast or slow events (e.g., The lion ambled/dashed to the balloon). Results showed that looking time to relevant objects in the visual scene was affected by the speed of verb of the sentence, speaking rate, and configuration of a supporting visual scene. The results provide novel evidence for the mental simulation of speed in language and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  57
    Epistemic Emotions Justified.Laura Silva - 2022 - Philosophies 7 (5):104.
    The view that emotions can provide defeasible justification for evaluative beliefs is widespread in the emotion literature. Despite this, the question of whether epistemic emotions can provide defeasible justification for theoretical beliefs has been almost entirely ignored. There seems to be an implicit consensus that while emotions may have justificatory roles to play in the former case, they have no such roles to play in the latter case. Here, I argue against this consensus by sketching a proposal for securing epistemic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 998