Results for 'Dan Chen'

998 found
Order:
  1. Governing Without A Fundamental Direction of Time: Minimal Primitivism about Laws of Nature.Eddy Keming Chen & Sheldon Goldstein - 2022 - In Yemima Ben-Menahem (ed.), Rethinking Laws of Nature. Springer. pp. 21-64.
    The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Strong Determinism.Eddy Keming Chen - forthcoming - Philosophers' Imprint.
    A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in a world like ours. In this paper, I show that it can be achieved in a simple way and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  47
    The Verifiability of Daoist Somatic Mystical Experience.Wen Chen & Xiaoxing Zhang - forthcoming - Ergo: An Open Access Journal of Philosophy.
    Mystical religious experiences typically purport to engage with the transcendent and often claim to involve encounters with spiritual entities or a detachment from the material world. Daoism diverges from this paradigm. This paper examines Daoist mystical experiences of bodily transformations and explores their epistemological implications. Specifically, we defend the justificatory power of Daoist somatic experiences against the disanalogy objection. The disanalogy objection posits that mystical experiences, in contrast to sense perceptions, are not socially verifiable and thereby lack prima facie epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Preservice Teachers’ Self-concept, Self-efficacy, and Attitude: Its Implications to Mathematics Achievement.Chen Chen R. Dua, Augustine C. Mancera, Yrish Jean R. Solis, Jupeth Pentang & Ronalyn Bautista - 2022 - Studies in Technology and Education 1 (1):1-13.
    This correlational study investigated the relationship between preservice teachers’ math self-concept, self-efficacy, and attitude with their math achievement. Participants were chosen using stratified random sampling from BEEd and BSEd mathematics majors (n = 117). From the findings, preservice teachers had moderate to high math self-concept, self-efficacy, and attitude. These variables were statistically correlated with each other and with math achievement. The inclusion of training programs for developing the preservice teachers’ math self-concept, self-efficacy, and attitude, as well as designing curricula that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Algorithmic Randomness and Probabilistic Laws.Jeffrey A. Barrett & Eddy Keming Chen - manuscript
    We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Past Hypothesis and the Nature of Physical Laws.Eddy Keming Chen - 2023 - In Barry Loewer, Brad Weslake & Eric B. Winsberg (eds.), The Probability Map of the Universe: Essays on David Albert’s _time and Chance_. Cambridge MA: Harvard University Press. pp. 204-248.
    If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing'' view. Some worries arise from the non-dynamical and time-dependent (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  7. Our Reliability is in Principle Explainable.Dan Baras - 2017 - Episteme 14 (2):197-211.
    Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  8. Quantum Mechanics in a Time-Asymmetric Universe: On the Nature of the Initial Quantum State.Eddy Keming Chen - 2021 - British Journal for the Philosophy of Science 72 (4):1155–1183.
    In a quantum universe with a strong arrow of time, we postulate a low-entropy boundary condition to account for the temporal asymmetry. In this paper, I show that the Past Hypothesis also contains enough information to simplify the quantum ontology and define a unique initial condition in such a world. First, I introduce Density Matrix Realism, the thesis that the quantum universe is described by a fundamental density matrix that represents something objective. This stands in sharp contrast to Wave Function (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  9. Fundamental Nomic Vagueness.Eddy Keming Chen - 2022 - Philosophical Review 131 (1):1-49.
    If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Realism about the wave function.Eddy Keming Chen - 2019 - Philosophy Compass 14 (7):e12611.
    A century after the discovery of quantum mechanics, the meaning of quantum mechanics still remains elusive. This is largely due to the puzzling nature of the wave function, the central object in quantum mechanics. If we are realists about quantum mechanics, how should we understand the wave function? What does it represent? What is its physical meaning? Answering these questions would improve our understanding of what it means to be a realist about quantum mechanics. In this survey article, I review (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  11. Calling for explanation: the case of the thermodynamic past state.Dan Baras & Orly Shenker - 2020 - European Journal for Philosophy of Science 10 (3):1-20.
    Philosophers of physics have long debated whether the Past State of low entropy of our universe calls for explanation. What is meant by “calls for explanation”? In this article we analyze this notion, distinguishing between several possible meanings that may be attached to it. Taking the debate around the Past State as a case study, we show how our analysis of what “calling for explanation” might mean can contribute to clarifying the debate and perhaps to settling it, thus demonstrating the (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  12. The Simplicity of Physical Laws.Eddy Keming Chen - manuscript
    Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. This principle of simplicity clarifies and addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. ​​Our Fundamental Physical Space: An Essay on the Metaphysics of the Wave Function.Eddy Keming Chen - 2017 - Journal of Philosophy 114 (7):333-365.
    The mathematical structure of realist quantum theories has given rise to a debate about how our ordinary 3-dimensional space is related to the 3N-dimensional configuration space on which the wave function is defined. Which of the two spaces is our (more) fundamental physical space? I review the debate between 3N-Fundamentalists and 3D-Fundamentalists and evaluate it based on three criteria. I argue that when we consider which view leads to a deeper understanding of the physical world, especially given the deeper topological (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  14. The Wentaculus: Density Matrix Realism Meets the Arrow of Time.Eddy Keming Chen - manuscript
    Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. They are difficult because the fundamental dynamical laws of physics do not privilege an arrow of time, and the quantum-mechanical wave function describes a high-dimensional reality that is radically different from our ordinary experiences. -/- In this paper, I characterize and elaborate on the ``Wentaculus” theory, a new approach to time’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Calling for Explanation.Dan Baras - 2022 - New York, NY: Oxford University Press.
    The idea that there are some facts that call for explanation serves as an unexamined premise in influential arguments for the inexistence of moral or mathematical facts and for the existence of a god and of other universes. This book is the first to offer a comprehensive and critical treatment of this idea. It argues that calling for explanation is a sometimes-misleading figure of speech rather than a fundamental property of facts.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Surreal Decisions.Eddy Keming Chen & Daniel Rubio - 2020 - Philosophy and Phenomenological Research 100 (1):54-74.
    Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  17. The Ethics of Racist Monuments.Dan Demetriou & Ajume Wingo - 2018 - In David Boonin (ed.), Palgrave Handbook of Philosophy and Public Policy. Cham: Palgrave Macmillan.
    In this chapter we focus on the debate over publicly-maintained racist monuments as it manifests in the mid-2010s Anglosphere, primarily in the US (chiefly regarding the over 700 monuments devoted to the Confederacy), but to some degree also in Britain and Commonwealth countries, especially South Africa (chiefly regarding monuments devoted to figures and events associated with colonialism and apartheid). After pointing to some representative examples of racist monuments, we discuss ways a monument can be thought racist, and neutrally categorize removalist (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  18. For-me-ness: What it is and what it is not.Dan Zahavi & Uriah Kriegel - 2015 - In D. Dahlstrom, A. Elpidorou & W. Hopp (eds.), Philosophy of mind and phenomenology. New York: Routledge. pp. 36-53.
    The alleged for-me-ness or mineness of conscious experience has been the topic of considerable debate in recent phenomenology and philosophy of mind. By considering a series of objections to the notion of for-me-ness, or to a properly robust construal of it, this paper attempts to clarify to what the notion is committed and to what it is not committed. This exercise results in the emergence of a relatively determinate and textured portrayal of for-me-ness as the authors conceive of it.
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  19. Foundational Holism, Substantive Theory of Truth, and A New Philosophy of Logic: Interview with Gila Sher BY Chen Bo.Gila Sher & Chen Bo - 2019 - Philosophical Forum 50 (1):3-57.
    Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Applied phenomenology: why it is safe to ignore the epoché.Dan Zahavi - 2019 - Continental Philosophy Review (2):1-15.
    The question of whether a proper phenomenological investigation and analysis requires one to perform the epoché and the reduction has not only been discussed within phenomenological philosophy. It is also very much a question that has been hotly debated within qualitative research. Amedeo Giorgi, in particular, has insisted that no scientific research can claim phenomenological status unless it is supported by some use of the epoché and reduction. Giorgi partially bases this claim on ideas found in Husserl’s writings on phenomenological (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  21. The Cosmic Void.Eddy Keming Chen - 2021 - In Sara Bernstein & Tyron Goldschmidt (eds.), Non-Being: New Essays on the Metaphysics of Nonexistence. Oxford University Press.
    What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Time's Arrow in a Quantum Universe: On the Status of Statistical Mechanical Probabilities.Eddy Keming Chen - 2020 - In Valia Allori (ed.), Statistical Mechanics and Scientific Explanation: Determinism, Indeterminism and Laws of Nature. World Scientific. pp. 479–515.
    In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate---the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a ''typical'' choice in the macrostate. Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  23. From Time Asymmetry to Quantum Entanglement: The Humean Unification.Eddy Keming Chen - 2022 - Noûs 56 (1):227-255.
    Two of the most difficult problems in the foundations of physics are (1) what gives rise to the arrow of time and (2) what the ontology of quantum mechanics is. I propose a unified 'Humean' solution to the two problems. Humeanism allows us to incorporate the Past Hypothesis and the Statistical Postulate into the best system, which we then use to simplify the quantum state of the universe. This enables us to confer the nomological status to the quantum state in (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. How can necessary facts call for explanation.Dan Baras - 2020 - Synthese 198 (12):11607-11624.
    While there has been much discussion about what makes some mathematical proofs more explanatory than others, and what are mathematical coincidences, in this article I explore the distinct phenomenon of mathematical facts that call for explanation. The existence of mathematical facts that call for explanation stands in tension with virtually all existing accounts of “calling for explanation”, which imply that necessary facts cannot call for explanation. In this paper I explore what theoretical revisions are needed in order to accommodate this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. From “thought and language” to “thinking for speaking”.Dan I. Slobin - 1996 - In J. Gumperz & S. Levinson (eds.), Rethinking Linguistic Relativity. Cambridge University Press. pp. 70--96.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  26. What Makes Something Surprising?Dan Baras & Oded Na’Aman - 2022 - Philosophy and Phenomenological Research 105 (1):195-215.
    Surprises are important in our everyday lives as well as in our scientific and philosophical theorizing—in psychology, information theory, cognitive-neuroscience, philosophy of science, and confirmation theory. Nevertheless, there is no satisfactory theory of what makes something surprising. It has long been acknowledged that not everything unexpected is surprising. The reader had no reason to expect that there will be exactly 190 words in this abstract and yet there is nothing surprising about this fact. We offer a novel theory that explains (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Why Do Certain States of Affairs Call Out for Explanation? A Critique of Two Horwichian Accounts.Dan Baras - 2019 - Philosophia 47 (5):1405-1419.
    Motivated by examples, many philosophers believe that there is a significant distinction between states of affairs that are striking and therefore call for explanation and states of affairs that are not striking. This idea underlies several influential debates in metaphysics, philosophy of mathematics, normative theory, philosophy of modality, and philosophy of science but is not fully elaborated or explored. This paper aims to address this lack of clear explanation first by clarifying the epistemological issue at hand. Then it introduces an (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  28. Carbon Offsetting.Dan Baras - forthcoming - Ethics, Policy and Environment.
    Do carbon-offsetting schemes morally offset emissions? The moral equivalence thesis is the claim that the combination of emitting greenhouse gasses and offsetting those emissions is morally equivalent to not emitting at all. This thesis implies that in response to climate change, we need not make any lifestyle changes to reduce our emissions as long as we offset them. An influential argument in favor of this thesis is premised on two claims, one empirical and the other normative: (1) When you emit (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Laws of Physics.Eddy Keming Chen - manuscript
    Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws--simplicity, exactness, and objectivity--and discuss whether and how they may be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Welcome to the Fuzzy-Verse.Eddy Keming Chen - 2020 - New Scientist 247 (3298):36-40.
    We expect the laws of nature that describe the universe to be exact, but what if that isn't true? In this popular science article, I discuss the possibility that some candidate fundamental laws of nature, such as the Past Hypothesis, may be vague. This possibility is in conflict with the idea that the fundamental laws of nature can always and faithfully be described by classical mathematics. -/- [Bibliographic note: this article is featured on the magazine website under a different title (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Quantum States of a Time-Asymmetric Universe: Wave Function, Density Matrix, and Empirical Equivalence.Eddy Keming Chen - 2019 - Dissertation, Rutgers University - New Brunswick
    What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a boundary condition that accounts for the time-asymmetry of the universe. The natural choice is given not by a wave function but by a density matrix. I begin by classifying quantum theories into two types: theories with a fundamental wave function and theories with (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  32. The Content of Practical Knowledge.Chumiao Chen - 2021 - Journal of Human Cognition 5 (1):38-57.
    This paper aims to give a charitable and comprehensible interpretation of the concept of practical knowledge in Intention, G. E. M. Anscombe's famous monograph. In particular, it focuses on her claim that practical knowledge is present even if the agent fails to execute his intention. I argue that (1) a rejection of this claim is unacceptable, and that (2) the content of practical knowledge should be formulated as "I am X-ing", with which this concept can be coherently interpreted.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Bell’s Theorem, Quantum Probabilities, and Superdeterminism.Eddy Keming Chen - 2022 - In Eleanor Knox & Alastair Wilson (eds.), The Routledge Companion to Philosophy of Physics. London, UK: Routledge.
    In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. Potable Water Reuse Willingness among water users in the United States’s arid region: The roles of concerns about local issues.Dan Li, Ben Ma, Ni Putu Wulan Purnama Sari, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Given the close relatedness of local issues, water scarcity, and sustainability, this research sought to investigate the factors affecting residents’ willingness to reuse direct and indirect potable water in the arid region. Utilizing the Bayesian Mindsponge Framework (BMF), an analysis was undertaken with a sample of 1,831 water consumers in the City of Albuquerque, the most populous city in New Mexico, United States. The primary analysis revealed positive associations between local concerns about drought or water scarcity and population growth with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Influence of the Cortical Midline Structures on Moral Emotion and Motivation in Moral Decision-Making.Hyemin Han, Jingyuan E. Chen, Changwoo Jeong & Gary H. Glover - 2016 - Behavioural Brain Research 302:237-251.
    The present study aims to examine the relationship between the cortical midline structures (CMS), which have been regarded to be associated with selfhood, and moral decision making processes at the neural level. Traditional moral psychological studies have suggested the role of moral self as the moderator of moral cognition, so activity of moral self would present at the neural level. The present study examined the interaction between the CMS and other moral-related regions by conducting psycho-physiological interaction analysis of functional images (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  36. The Quantum Wave Function Isn't Real.Eddy Keming Chen - 2022 - The Institute of Art and Ideas.
    In this popular article, I suggest that the task of interpreting quantum mechanics becomes easier if we reject the view that the quantum universe must be described by a wave function. We should zoom out from the wave function and represent the universe with something more coarse-grained, one that naturally arises from considerations about the Past Hypothesis. The new proposal is called the Wentaculus.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Ameliorating Algorithmic Bias, or Why Explainable AI Needs Feminist Philosophy.Linus Ta-Lun Huang, Hsiang-Yun Chen, Ying-Tung Lin, Tsung-Ren Huang & Tzu-Wei Hung - 2022 - Feminist Philosophy Quarterly 8 (3).
    Artificial intelligence (AI) systems are increasingly adopted to make decisions in domains such as business, education, health care, and criminal justice. However, such algorithmic decision systems can have prevalent biases against marginalized social groups and undermine social justice. Explainable artificial intelligence (XAI) is a recent development aiming to make an AI system’s decision processes less opaque and to expose its problematic biases. This paper argues against technical XAI, according to which the detection and interpretation of algorithmic bias can be handled (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Millikan and her critics.Dan Ryder, Justine Kingsbury & Kenneth Williford (eds.) - 2013 - Malden, MA: Wiley.
    Millikan and Her Critics offers a unique critical discussion of Ruth Millikan's highly regarded, influential, and systematic contributions to philosophy of mind and language, philosophy of biology, epistemology, and metaphysics. These newly written contributions present discussion from some of the most important philosophers in the field today and include replies from Millikan herself.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39.  35
    Menschheit, Humanismus und Antihumanismus in den historischen Anthropologien Droysens und Burckhardts.Arthur Alfaix Assis & Chih-Hung Chen - 2009 - In Gala Rebane, Katja Bendels & Nina Riedler (eds.), Humanismus polyphon. Menschlichkeit im Zeitalter der Globalisierung. Bielefeld: Transcript. pp. 107-124.
    The text addresses conceptions of human selfhood and humankind as developed by two major nineteenth-century German-speaking historians, Johann Gustav Droysen and Jacob Burckhardt. It aims at ascertaining to what extent the historical anthropologies proposed by both authors can be considered to be humanistic. We will attempt to provide an answer to this question while locating and discussing both humanistic and anti-humanistic features in their texts. Humanism is understood here as a perspective that emerged within the framework of the philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Disagreement and Higher-Order Evidence.Yan Chen & Alex Worsnip - forthcoming - In Maria Baghramian, J. Adam Carter & Rach Cosker-Rowland (eds.), Routledge Handbook of Disagreement. Routledge.
    In the contemporary epistemological literature, peer disagreement is often taken to be an instance of a more general phenomenon of “higher-order evidence.” Correspondingly, its epistemic significance is often thought to turn on the epistemic significance of higher-order evidence in general. This chapter attempts to evaluate this claim, and in doing so to clarify some points of unclarity in the current literature – both about what it is for evidence to be “higher-order,” and about the relationship between disagreement and higher-order evidence. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. AI and the New God: Breaking Solomon's Cycle.Yu Chen - manuscript
    This article explores the profound impact of Artificial Intelligence (AI) on the realm of religion, exploring the potential for AI to catalyze the birth of new world religions and break the "Solomon's Cycle." Drawing inspiration from King Solomon's timeless declaration, "There is nothing new under the sun," the article examines the challenges faced by new religions in a world dominated by established faiths and traditions. By leveraging the transformative capabilities of AI to inspire creativity, foster cross-cultural dialogue, provide ethical guidance, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A rich-lexicon theory of slurs and their uses.Dan Zeman - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (7):942-966.
    ABSTRACT In this paper, I present data involving the use of the Romanian slur ‘țigan’, consideration of which leads to the postulation of a sui-generis, irreducible type of use of slurs. This type of use is potentially problematic for extant theories of slurs. In addition, together with other well-established uses, it shows that there is more variation in the use of slurs than previously acknowledged. I explain this variation by construing slurs as polysemous. To implement this idea, I appeal to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Intuitive Biases in Judgements about Thought Experiments: The Experience Machine Revisited.Dan Weijers - 2013 - Philosophical Writings 41 (1):17-31.
    This paper is a warning that objections based on thought experiments can be misleading because they may elicit judgments that, unbeknownst to the judger, have been seriously skewed by psychological biases. The fact that most people choose not to plug in to the Experience Machine in Nozick’s (1974) famous thought experiment has long been used as a knock-down objection to hedonism because it is widely thought to show that real experiences are more important to us than pleasurable experiences. This paper (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  45. Calling for Explanation: An Extraordinary Account.Dan Baras - manuscript
    Are there any facts that call for explanation? According to one possible view, all facts call for explanation; according to another, none do. This paper is concerned with an intermediate view according to which some facts call for explanation and others do not. Such a view requires explaining what makes some facts call for explanation and not others. In this paper, I explore a neglected proposal, inspired by the work of George Schlesinger, according to which facts call for explanation when (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. How Close Are Impossible Worlds? A Critique of Brogaard and Salerno’s Account of Counterpossibles.Dan Baras - 2019 - Dialectica 73 (3):315-329.
    Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their account that end up implying (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. An Intrinsic Theory of Quantum Mechanics: Progress in Field's Nominalistic Program, Part I.Eddy Keming Chen - manuscript
    In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Research on the issue of “evil” in Wang Yangming’s thought.Lisheng Chen - 2007 - Frontiers of Philosophy in China 2 (2):172-187.
    Wang Yangming’s discussions concerning evil mainly appear in two sets of texts, i.e., Chuanxilu 传习录 (Instructions for Practical Living) and gongyi 公移 (documents transferred to vertically unrelated departments). The former addresses evil in metaphysical terms, and the latter in social terms. These subtly different approaches show the nuance between self-cultivation and governance of others.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Property Rights, Future Generations and the Destruction and Degradation of Natural Resources.Dan Dennis - 2015 - Moral Philosophy and Politics 2 (1):107-139.
    The paper argues that members of future generations have an entitlement to natural resources equal to ours. Therefore, if a currently living individual destroys or degrades natural resources then he must pay compensation to members of future generations. This compensation takes the form of “primary goods” which will be valued by members of future generations as equally useful for promoting the good life as the natural resources they have been deprived of. As a result of this policy, each generation inherits (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. To Mask or Not to Mask.Hsiang-Yun Chen, Li-an Yu & Linus Ta-Lun Huang - 2021 - Techné: Research in Philosophy and Technology 25 (3):503-512.
    Reluctance to adopt mask-wearing as a preventive measure is widely observed in many Western societies since the beginning of the COVID-19 pandemics. This reluctance toward mask adoption, like any other complex social phenomena, will have multiple causes. Plausible explanations have been identified, including political polarization, skepticism about media reports and the authority of public health agencies, and concerns over liberty, amongst others. In this paper, we propose potential explanations hitherto unnoticed, based on the framework of epistemic injustice. We show how (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 998