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 (...) more or less independently by technical experts who specialize in XAI methods. Drawing on resources from feminist epistemology, we show why technical XAI is mistaken. Specifically, we demonstrate that the proper detection of algorithmic bias requires relevant interpretive resources, which can only be made available, in practice, by actively involving a diverse group of stakeholders. Finally, we suggest how feminist theories can help shape integrated XAI: an inclusive social-epistemic process that facilitates the amelioration of algorithmic bias. (shrink)

The view of embodied cognition believes that cognition is embodied in nature, only the dynamics involved in the interaction between cognitive activities and the nervous system, body and environment, only by closely linking the correct evaluation of time-dependent and relationship, then only can make a correct understanding of cognitive activities. The core concepts of body and environment involved in embodied cognition are different from the body and environment in the usual sense. In terms of research methods, dynamic research methods that (...) are different from traditional computer simulations are also adopted. The article first integrates and analyzes the basic position and general propositions in the discipline, then the embodied cognition are explained based on author's understanding. In addition, the suitability of dynamic research methods, its advantages and disadvantages is analyzed, and finally, a brief summary of the current status of embodied cognition research. (shrink)

Liver transplantation (LT) activities during the COVID-19 pandemic have been curtailed in many countries. The impact of various policies restricting LT on outcomes of potential LT candidates is unclear. We studied all patients on the nationwide LT waitlists in Hong Kong and Singapore between January 2016 and May 2020. We used continuous time Markov chains to model the effects of different scenarios and varying durations of disruption on LT candidates.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Recently, there is a renewed debate concerning the role of perspective in vision. Morales et al. (2020) present evidence that, in the case of viewing a rotated coin, the visual system is sensitive to what has often been called “perspectival shapes.” It has generated vigorous discussions, including an online symposium by Morales and Cohen, an exchange between Linton (2021) and Morales et al. (2021), and most recently, a fierce critique by Burge and Burge (2022), in which they launch various conceptual (...) and empirical objections. Although Morales and Firestone (2022) have responded to them recently, and we are in agreement with Morales and Firestone in general, there are further problems in Burge and Burge (2022) that are worth highlighting. The main point of this comment is that what the Burge–Burge team call “viewpoint-dependent relational properties” are simply instances of what the Morales–Firestone team call “perspectival shapes”; the confusion arises from Burge and Burge’s misconstrual of Morales et al.’s claims. This shows that conceptually, the two teams are in large agreement, as Morales and Firestone (2022) also point out, and the focus should be put on the empirical disagreements, which has been covered by Morales and Firestone (2022). Relatedly, we argue that Burge and Burge (2022) misinterpret Morales et al. (2020) as supporting a new entity in perception science, and that this misinterpretation is a primary source of their apparent disagreement. This is worth pointing out because such misunderstanding generates many unnecessary quarrels that hinder progress. (shrink)

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 (...) knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

This paper examines Aristotle’s vocabulary of pain, that is the differences and relations of the concepts of pain expressed by synonyms in the same semantic field. It investigates what is particularly Aristotelian in the selection of the pain-words in comparison with earlier authors and specifies the special semantic scope of each word-cluster. The result not only aims to pin down the exact way these terms converge with and diverge from each other, but also serves as a basis for further understanding (...) Aristotle’s philosophical conception of pain. (shrink)

I propose a dynamic causal approach to characterizing the notion of a mechanism. Levy and Bechtel, among others, have pointed out several critical limitations of the new mechanical philosophy, and pointed in a new direction to extend this philosophy. Nevertheless, they have not fully fleshed out what that extended philosophy would look like. Based on a closer look at neuroscientific practice, I propose that a mechanism is a dynamic causal system that involves various components interacting, typically nonlinearly, with one another (...) to produce a phenomenon of interest. (shrink)

This study aims to provide a coherent new interpretation of the notorious anti-hedonism of Speusippus, Plato’s nephew and the second scholarch of the Academy, by reconsidering all the relevant sources concerning his attitude toward pleasure—sources that seem to be in tension or even incompatible with each other. By reassessing Speusippus’ anti-hedonism and Aristotle’s response, it also sheds new light on the Academic debate over pleasure in which he and Aristotle participated: This debate is not merely concerned with the truth and (...) credibility of the arguments for or against hedonism; there are also notable differences among the participants in their understanding of the practical significance of evaluating hedonic experiences. This new interpretation allows us to better understand Aristotle’s selective representation of the intra-school debate and some neglected features of his responses to different interlocutors. (shrink)

The debate over the value of pleasure among Eudoxus, Speusippus, and Aristotle is dramatically documented by the Nicomachean Ethics, particularly in the dialectical pros-and-cons concerning the so-called argument from contraries. Two similar versions of this argument are preserved at EN VII. 13, 1153b1–4, and X. 2, 1172b18–20. Many scholars believe that the argument at EN VII is either a report or an appropriation of the Eudoxean argument in EN X. This essay aims to revise this received view. It will explain (...) why these two arguments differ in premises, contents and purposes, and why these distinctions matter for a proper assessment of Aristotle’s understanding of pleasure and pain in general and his dialectical art in particular. (shrink)

Polger and Shapiro argue that their official recipe, a criterion for judging when the phenomenon of multiple realization exists, renders MR less widespread than its proponents have assumed. I argue that, although Polger and Shapiro’s criterion is a useful contribution, they arrive at their conclusion too hastily. Contrary to Polger and Shapiro, I claim that the phenomenon of multiple realization in the biological world, judged by their criterion, is not as scarce as they suggest. To show this, an updated official (...) recipe, namely a multiple mechanistic realization thesis, integrating Polger and Shapiro’s criterion with a compositional conception of realization, is developed. Then, three examples of varied kinds are examined, showing that cases of MR are not so hard to find in the biological world. (shrink)

Reformed catholicity suffers from a fragility that causes it to easily fragment over comparatively small differences. This study wagers that an important resource that can be useful for addressing this problem is the Chinese philosophy of tianxia. The article introduces the idea of a ‘Reformed catholicity under Heaven’ by placing a more liberal interpretation of tianxia in conversation with the problems in Reformed approaches to the church’s catholicity. In doing so, the article demonstrates tianxia’s ecclesiological usefulness while articulating two dimensions (...) of ‘Reformed catholicity under Heaven’ that can deepen how Reformed churches inhabit catholicity in ways that promote unity. (shrink)

This study presents the Accra Confession as a theological response to the ecological crisis from a Reformed perspective while also addressing its critical weakness, namely the problem of universality in both Reformed ecclesiology and global approaches to ecological destruction. Because of a fragile universality, both Reformed churches and global institutions find it difficult to agree on a concrete plan to address climate change. Theologically, this difficulty arrives not primarily from disagreement with the existence or causes of climate change but how (...) Christian theological values translate concretely to acts of justice. This study proposes a way to ground these discussions on the concept of dangerous memory by resourcing the theology of Johann Baptist Metz. Dangerous memories allow stories of the suffering vanquished to be constitutive to the construction of caritas, which in turn serves as a suitable theological foundation for addressing differing approaches to engaging climate issues. Reading the Accra Confession as dangerous memory, then, provides a valuable resource to the Reformed community by allowing the testimonies of those affected adversely by climate change to substantially inform theological discourses on climate justice. (shrink)

Is Web 2.0 and its related communications technology ethically neutral? With the exception of obvious ills, do they indeed have very few, if any, ethical drawbacks? Even before the internet underwent its evolutionary ascension, computer engineers and philosophers have given some thought to these questions. Few have taken such insights and applied them to the life of the church. How does the church make use of such technologies? How has the church abused it? And, most importantly, what is the church’s (...) witness in a world of Facebook, Twitter, and Google? (shrink)

Conflicts abound in Asian American churches between different groups. This study articulates a theological location of forgiveness that speaks to those conflicts. In particular, it situates forgiveness in the liminal space between what Homi K. Bhabha describes as "domains of difference" that define different generational or ethnic groups within Asian American churches. Yet the possibility of forgiveness is enacted only when both sides of a conflict are willing to move from those domains into liminal space. This study argues that Mark (...) Lewis Taylor's articulation of "dialogical questioning" is a useful mechanism for making such movements possible. (shrink)

After the terrorist attacks of September 11, 2001, most legacy airlines filed for bankruptcy protection as a way to cut costs drastically, with the exception of American Airlines. This article applies the Principle of Double-Effect to the act of filing for Chapter 11 bankruptcy protection for reasons of management strategy, in particular, cost-cutting. It argues that the Principle can be a useful tool for discerning the ethicality of the action, and demonstrates the usefulness by proposing three double-effect criteria that, when (...) fulfilled, argues for the ethical justifiability the action in question. (shrink)

This paper reexamines Theophrastus’ Metaphysics 11a18–26, an obscure testimony about Speusippus, the second head of the Platonic Academy. As opposed to the traditional interpretation, which takes this passage as Theophrastus’ polemic against Speusippus’ doctrine of value, I argue that he here dialectically takes advantage of, rather than launches an attack on, the Platonist. Based on this new reading, I further propose a revision and a reassessment of the ‘gloomy metaphysics’ of Speusippus which will shed new light on his ethics.

Nearly thirty years ago, Robert Alexy in his book The Concept and Validity of Law as well as in other early articles raised non-positivistic arguments in the Continental European tradition against legal positivism in general, which was assumed to be held by, among others, John Austin, Hans Kelsen and H.L.A. Hart. The core thesis of legal positivism that was being discussed among contemporary German jurists, just as with their Anglo- American counterparts, is the claim that there is no necessary connection (...) between law and morality. Robert Alexy has argued, however, that the law, besides consisting conceptually of elements of authoritative issuance and social efficacy, necessarily lays a claim to substantial correctness, which is derived from analytical arguments. Furthermore, if this claim to substantial correctness necessarily requires the incorporation of moral elements into law, then the ‘necessary connection thesis’, as defended by non-positivism, can be justified. Some of the most significant objections to this sort of claim, stemming from the Anglo-American world, are those introduced by Joseph Raz. In his ‘Reply’ to Robert Alexy, Raz raises at least three interesting criticisms, including, first, the ambiguity of ‘legal theory in the positivistic tradition’, second, the indeterminate formulations of the ‘separation thesis’, and, third, the necessary claim of law to legitimate authority as a moral claim. As a point of departure, I will argue that Raz’s three criticisms are misleading. For they do not enhance our understanding of the genuine compatibility or incompatibility between legal positivism and non-positivism. Despite the frequently reformulated theses of legal positivism and the various kinds of opponents responding thereto, the essential divergence between legal positivism and non-positivism was and remains the answer to the question of the relation between law and morality. Furthermore, I will clarify that in the strictest sense there can be three and only three logically possible positions concerning the relation between law and morality: the connection between them is either necessary, or impossible (i. e. they are necessarily separate), or contingent (i. e. they are neither necessarily connected nor necessarily separate). The first position is non-positivistic, while the latter two positions are, indeed, both positivistic, but in different forms: one may be called ‘exclusive’ legal positivism, the other ‘inclusive’ legal positivism. I will continue by showing that these three positions stand to one another in the relation of contraries, not contradictories, and that, taken together, they exhaust the logically possible positions concerning the relation between law and morality, never mind the tradition or authority from which these positions are derived. Raz mentions, however, many changeable formulations of the separation thesis, which even leads him to acknowledge ‘necessary connections between law and morality’. One who is trying to understand legal positivism would no doubt be puzzled by this claim. Nevertheless, I will argue that this is an alternative strategy of legal positivism, and it points to naturalistically oriented view. Although this necessary separation between law and morality, understood naturalistically, strikes one as strengthening the separation, in the end it leads to a weakened notion of necessity. This weakened necessary separation thesis, however, cannot be justified through the so-called claim of the law to legitimate authority, defended by Raz, for it is difficult to answer the question of whether a normally justified but factual authority can gain legitimate authority. Finally, the necessary connection between law and morality in a strong sense can still be justified by the claim of law to correctness, as per Alexy’s argument. (shrink)

The concept of human dignity has been criticized as either too thick or too thin. However, according to the non-positivistic standpoint, the legal normativity of human dignity can be justified and thus strengthened by means of its moral correctness. From the individual perspective, Mencius’ understanding of human dignity as an intrinsic value and Kant’s formula of ‘man as an end in itself’ can be adequately understood based on the differentiation of, as well as the connection between, principium diiudicationis and principium (...) executionis, between will and choice, and between homo phaenomenon and homo noumenon (that is, ‘humanity in the personality’). From the social perspective, since the dual dimensions of the individual and the social person are both fictive constructions, even Radbruch, once as a supporter of social law, has not replaced the concept of ‘legal person’ and, in the post-War period, acknowledges individualistic human dignity as the criterion for applying the famous ‘disavowal formula’. On the one hand, human dignity shows at least a weak normative character, which requires, firstly, balancing between the exercise of state powers and the constitutional review under the guidance of the dual dimensions of man and, secondly, optimization of the principle of human dignity in individual cases. On the other hand, through the necessary connection between the concept of dignity and that of personality, human dignity can exhibit a strong normative character, which unavoidably requires a metaphysical justification. (shrink)

Plato’s nephew Speusippus has been widely accepted as the historical person behind the mask of the anti-hedonists in Phlb. 42b–44c. This hypothesis is supported by, inter alia, the link between Socrates’ char- acterization of them as δυσχερεῖς and the frequent references of δυσχέρεια as ἀπορία to Speusippus in Aristotle’s Metaphysics MN. This study argues against assigning any privileged status to Speusippus in the assimilation of δυσχέρεια with ἀπορία. Instead, based on a comprehensive survey of how δυσχερ- words were used in (...) classical antiquity, the semantic shift of δυσχέρεια can be explained in an alternative way. (shrink)

El concepto de dignidad humana ha sido considerado o demasiado denso o demasiado delgado. Sin embargo, desde el punto de vista del no-positivismo, la normatividad jurídica de la dignidad humana puede ser justificada y reforzada por medio de su corrección moral. Desde una perspectiva individual, la comprensión de Mencio sobre la dignidad humana como un valor intrínseco y el imperativo categórico de Kant (el ser humano como un fin en sí mismo) podrían ser adecuadamente comprendidos con base en la diferencia (...) (así como la conexión) entre el principium diiudicationis y el principium executionis, entre voluntad y “elección”; así como entre homo phaenomenon y homo noumenon (es decir, humanidad en la persona de los seres humanos). Desde una perspectiva social, las dimensiones del individuo y la persona social son construcciones ficticias; inclusive Radbruch -alguna vez defensor del derecho social- no remplazó el concepto de “persona jurídica” y, en el periodo de posguerra, reconoció la dignidad humana individual como el criterio para aplicar su famosa “fórmula de Radbruch". Por una parte, la dignidad humana muestra cuando menos un carácter normativo débil, el cual requiere, primero, ponderar entre el ejercicio de los poderes estatales y el control de constitucionalidad bajo la guía de la dimensión dual del ser humano y, segundo, la optimización del principio de la dignidad humana en casos particulares. Por otra, a través de la conexión necesaria entre el concepto de dignidad y personalidad, la dignidad humana puede exhibir un carácter normativo fuerte, el cual requiere inevitablemente una justificación metafísica. (shrink)

This article argues for the explanatory autonomy of psychology drawing on cases from the multilevel modeling practice. This is done by considering a multilevel linear model in personality and social psychology, and discussing its philosophical implications for the reductionism debate in philosophy of psychology. I argue that this practice challenges the reductionist position in philosophy of psychology, and supports the explanatory autonomy of psychology.

Die Disziplin, die als „Juristische Methodenlehre“ bezeichnet wird, ist gegenwärtig chinesischen Juristen nicht fremd, sie stammt aber ursprünglich aus dem deutschen Sprachraum. In der Literatur finden sich auch verwandte Ausdrücke wie „Juristische Methodologie“, „Juristische Methodik“ bzw.„Methodenlehre der Rechtswissenschaft“. Seit Anfang des 21. Jahrhunderts wurde ihre Rezeption in China durch zwei Übersetzungen gekennzeichnet, nämlich die „rechtswissenschaftliche Methodenlehre“ (faxue fangfalun) und die „rechtliche Methodenlehre“ (falü fangfalun). Neben der herkömmlichen Methodenlehre entwickelte sich auch eine jüngere Theorie der juristischen Argumentation, die die weltweite Aufmerksamkeit (...) sogar außerhalb Deutschlands auf sich lenken konnte und deren Bestand in China einen ganz selbständigen Abschnitt verdient. Als Hintergrund dafür soll von vornherein ein Blick auf die Entwicklungen der chinesischen Rechtstheorie und Rechtsphilosophie nach 1978 und demzufolge auf die Entstehung der Methodenfrage in der chinesischen Rechtswissenschaft geworfen werden. (shrink)

This paper aims to clarify Plato’s notions of the natural and the neutral state in relation to hedonic properties. Contra two extreme trends among scholars—people either conflate one state with the other, or keep them apart as to establish an unsurmount- able gap between both states, I argue that neither view accurately reflects Plato’s position because the natural state is real and can coincide with the neutral state in part, whereas the latter, as an umbrella term, can also be realized (...) in a non-natural condition. The clarification of the relation between the two states will shed light on the degree to which Plato admits and constrains the hedonic value for a good human life; further, this will call attention to some (not well explored) parallel thoughts in the medical tradition to which Plato is indebted. (shrink)

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 (...) Realism, the thesis that the quantum universe is described by a wave function that represents something objective. Second, I suggest that the Past Hypothesis is sufficient to determine a unique and simple density matrix. This is achieved by what I call the Initial Projection Hypothesis: the initial density matrix of the universe is the normalized projection onto the special low-dimensional Hilbert space. Third, because the initial quantum state is unique and simple, we have a strong case for the \emph{Nomological Thesis}: the initial quantum state of the universe is on a par with laws of nature. This new package of ideas has several interesting implications, including on the harmony between statistical mechanics and quantum mechanics, the dynamic unity of the universe and the subsystems, and the alleged conflict between Humean supervenience and quantum entanglement. (shrink)

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 (...) and compare several realist interpretations of the wave function. They fall into three categories: ontological interpretations, nomological interpretations, and the sui generis interpretation. For simplicity, I will focus on non-relativistic quantum mechanics. (shrink)

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 (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

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 (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

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.

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 (...) explanation from the unordered configurations to the Symmetrization Postulate, we have strong reasons in favor of 3D-Fundamentalism. I conclude that our evidence favors the view that our fundamental physical space in a quantum world is 3-dimensional rather than 3N-dimensional. I outline lines of future research where the evidential balance can be restored or reversed. Finally, I draw lessons from this case study to the debate about theoretical equivalence. (shrink)

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 (...) sources of randomness in such a universe: the quantum-mechanical probabilities of the Born rule and the statistical mechanical probabilities of the Statistical Postulate. I propose a new way to understand time's arrow in a quantum universe. It is based on what I call the Thermodynamic Theories of Quantum Mechanics. According to this perspective, there is a natural choice for the initial quantum state of the universe, which is given by not a wave function but by a density matrix. The density matrix plays a microscopic role: it appears in the fundamental dynamical equations of those theories. The density matrix also plays a macroscopic / thermodynamic role: it is exactly the projection operator onto the Past Hypothesis subspace. Thus, given an initial subspace, we obtain a unique choice of the initial density matrix. I call this property "the conditional uniqueness" of the initial quantum state. The conditional uniqueness provides a new and general strategy to eliminate statistical mechanical probabilities in the fundamental physical theories, by which we can reduce the two sources of randomness to only the quantum mechanical one. I also explore the idea of an absolutely unique initial quantum state, in a way that might realize Penrose's idea of a strongly deterministic universe. (shrink)

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 (...) character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows---the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now. (shrink)

This study constitutes an ethical analysis through the lens of distributive justice in the case of the Troubled Asset Relief Program (TARP), which was enacted in the midst of the Great Recession of 2007–2009. It begins by engaging with the visions of justice constructed by John Rawls and Robert Nozick, using their insights to locate the injustices of TARP according to their moral imaginations. However, this study argues that Rawls’ and Nozick’s theories of justice primarily envision the nature of law (...) as being restrictive of vice, not as instructors of virtue. Thus, it resources the legal philosophy of St. Thomas Aquinas to demonstrate how the positive pedagogy of law can enable a more just construction of economic rescue legislation, one that not only prevents future repetitions of economic vices and injustice, but is also formative for a society that prizes economic justice and virtues. In doing so, the study proposes two criteria for a more just consideration of economic rescue legislation that embraces law’s positive pedagogy. (shrink)

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 (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

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 (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

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 (...) a fundamental density matrix. The Past Hypothesis is compatible with infinitely many initial wave functions, none of which seems to be particularly natural. However, once we turn to density matrices, the Past Hypothesis provides a natural choice---the normalized projection onto the Past Hypothesis subspace in the Hilbert space. Nevertheless, the two types of theories can be empirically equivalent. To provide a concrete understanding of the empirical equivalence, I provide a novel subsystem analysis in the context of Bohmian theories. Given the empirical equivalence, it seems empirically underdetermined whether the universe is in a pure state or a mixed state. Finally, I discuss some theoretical payoffs of the density-matrix theories and present some open problems for future research. (Bibliographic note: the thesis was submitted for the Master of Science in mathematics at Rutgers University.). (shrink)

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 (...) a way that adds no significant complexity to the best system and solves the ''supervenient-kind problem'' facing the original version of the Past Hypothesis. We call the resultant theory the Humean unification. It provides a unified explanation of time asymmetry and quantum entanglement. On this theory, what gives rise to time's arrow is also responsible for quantum phenomena. The new theory has a separable mosaic, a best system that is simple and non-vague, less tension between quantum mechanics and special relativity, and a higher degree of theoretical and dynamical unity. The Humean unification leads to new insights that can be useful to Humeans and non-Humeans alike. (shrink)

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 (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

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.

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. The proposal 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 to be more tightly (...) connected to lawhood than to mere truth. (shrink)

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 (...) issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

This paper is about the epistemology of quantum theory. We establish a new result about a limitation to knowledge of its central object---the quantum state of the universe. We show that, if the universal quantum state can be assumed to be a typical unit vector from a high-dimensional subspace of Hilbert space (such as the subspace defined by a low-entropy macro-state as prescribed by the Past Hypothesis), then no observation can determine (or even just narrow down significantly) which vector it (...) is. Typical state vectors, in other words, are observationally indistinguishable from each other. Our argument is based on a typicality theorem from quantum statistical mechanics. We also discuss how theoretical considerations that go beyond the empirical evidence might bear on this fact and on our knowledge of the universal quantum state. (shrink)

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 (...) acquired while 16 subjects were solving moral dilemmas. Furthermore, we performed Granger causality analysis to demonstrate the direction of influences between activities in the regions in moral decision-making. We first demonstrate there are significant positive interactions between two central CMS seed regions—i.e., the medial prefrontal cortex (MPFC) and posterior cingulate cortex (PCC)—and brain regions associated with moral functioning including the cerebellum, brainstem, midbrain, dorsolateral prefrontal cortex, orbitofrontal cortex and anterior insula (AI); on the other hand, the posterior insula (PI) showed significant negative interaction with the seed regions. Second, several significant Granger causality was found from CMS to insula regions particularly under the moral-personal condition. Furthermore, significant dominant influence from the AI to PI was reported. Moral psychological implications of these findings are discussed. The present study demonstrated the significant interaction and influence between the CMS and morality-related regions while subject were solving moral dilemmas. Given that, activity in the CMS is significantly involved in human moral functioning. (shrink)

Harry Frankfurt had insightfully pointed out that an agent acts freely when he acts in accord with the mental states with which he identifies. The concept of identification rightly captures the ownership condition (something being one’s really own), which plays a significant role in the issues of freedom and moral responsibility. For Frankfurt, identification consists of one’s forming second-order volitions, endorsing first-order desires, and issuing in his actions wholeheartedly. An agent not only wants to φ but also fully embraces his (...) desire to φ (and φ). Frankfurt’s official theory above encounters some serious problems, especially since it is believed that his concept of wholehearted identification is too strong to be necessary for freedom. In this paper, I propose that we can uncouple identification from wholeheartedness and thus get two different senses of identification: weak identification and strong identification. Then, I argue that this distinction does a better job than Frankfurt’s official theory. On the one hand, weak identification is enough for ownership and freedom and thus more promising than strong identification; on the other hand, this distinction has an attractive implication that it fits well with our intuition about the degree of freedom and responsibility. (shrink)

E. Husserl’s reflections in Logical Investigations on “intentional feelings” and “non-intentional feelings” are significant in both his later ethical explorations and M. Scheler’s thought on ethics. Through the incorporation of the views of Husserl and Scheler, we find that the phenomenology of the intentional feeling-acts is not only the foundation of the non-formal ethics of values in Scheler’s phenomenology, but also at least the constitutive foundation of the ethics of Husserl’s first orientation.

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 (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)