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)

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)

According to doxastic pragmatism, certain perceived practical factors, such as high stakes and urgency, have systematic effects on normal subjects’ outright beliefs. Upholders of doxastic pragmatism have so far endorsed a particular version of this view, which we may call threshold pragmatism. This view holds that the sensitivity of belief to the relevant practical factors is due to a corresponding sensitivity of the threshold on the degree of credence necessary for outright belief. According to an alternative but yet unrecognised version (...) of doxastic pragmatism, practical factors affect credence rather than the threshold on credence. Let’s call this alternative view credal pragmatism. In this paper, I argue that credal pragmatism is more plausible than threshold pragmatism. I show that the former view better accommodates a cluster of intuitive and empirical data. I conclude by considering the issue of whether our doxastic attitudes’ sensitivity to practical factors can be considered rational, and if yes, in what sense. (shrink)

According to evidentialist views, credence in a proposition p should be proportional to the degree of evidential support that one has in favor of p. However, empirical evidence suggests that our credences are systematically sensitive to practical factors. In this article, I provide a cost–benefit analysis of credences' practical sensitivity. The upshot of this analysis is that credences sensitive to practical factors fare better than practically insensitive ones along several dimensions. All things considered, our credences should be sensitive to practical (...) factors. (shrink)

According to pragmatic encroachment, whether an epistemic attitude towards p has some positive epistemic status (e.g., whether a belief is epistemically rational or justified, or it amounts to knowledge) partially depends on practical factors such as the costs of being wrong or the practical goals of the agent. Pragmatic encroachment comes in many varieties. This survey article provides an overview of different kinds of pragmatic encroachment. It focuses on three dimensions under which kinds of pragmatic encroachment differ: the type of (...) epistemic status affected by practical factors, the type of practical factors affecting the epistemic status, and the type of normative considerations encroaching on the epistemic status. (shrink)

It has been argued recently that knowledge is the norm of practical reasoning. This norm can be formulated as a bi-conditional: it is appropriate to treat p as a reason for acting if and only if you know that p. Other proposals replace knowledge with warranted or justified belief. This paper gives counter-examples of both directions of any such bi-conditional. To the left-to-right direction: scientists can appropriately treat as reasons for action propositions of a theory they believe to be false (...) but good approximations to the truth for present purposes. Cases based on a variant of Pascal’s Wager and actions performed by a skeptic also illustrate the point. To the right-to-left direction: in certain circumstances, it can be unreasonable for a scientist to reason from propositions of a theory she knows to be true. (shrink)

One challenge for moderate invariantists is to explain why we tend to deny knowledge to subjects in high stakes when the target propositions seem to be inappropriate premises for practical reasoning. According to an account suggested by Williamson, our intuitive judgments are erroneous due to an alleged failure to acknowledge the distinction between first-order and higher-order knowledge: the high-stakes subject lacks the latter but possesses the former. In this paper, I provide three objections to Williamson’s account: i) his account delivers (...) counterintuitive verdicts about what it is appropriate for a high-stakes subject to do; ii) the high-stakes subject doesn’t need iterated knowledge in order to be regarded as appropriately relying on the relevant proposition in practical reasoning; iii) Williamson’s account doesn’t provide a good explanation of why the high-stakes subject would be blameworthy if she were relying on the relevant proposition in her practical reasoning. (shrink)

Self-deception is typically considered epistemically irrational, for it involves holding certain doxastic attitudes against strong counter-evidence. Pragmatic encroachment about epistemic rationality says that whether it is epistemically rational to believe, withhold belief or disbelieve something can depend on perceived practical factors of one’s situation. In this paper I argue that some cases of self-deception satisfy what pragmatic encroachment considers sufficient conditions for epistemic rationality. As a result, we face the following dilemma: either we revise the received view about self-deception or (...) we deny pragmatic encroachment on epistemic rationality. I suggest that the dilemma can be solved if we pay close attention to the distinction between ideal and bounded rationality. I argue that the problematic cases fail to meet standards of ideal rationality but exemplify bounded rationality. The solution preserves pragmatic encroachment on bounded rationality, but denies it on ideal rationality. (shrink)

In this entry, we provide an overview of some of the methodological debates surrounding contextualism and consider whether they are, in effect, based on an underlying methodological dispute. We consider three modes of motivation of epistemic contextualism including i) the method of cases, ii) the appeal to linguistic analogies and iii) the appeal to conceptual analogies and functional roles. We also consider the methodological debates about contextualism arising from experimental philosophy. We conclude that i) there is no distinctive methodological doctrine (...) or set of methodological doctrines that is centrally invoked by all epistemic contextualists and ii) the substantive dispute about the truth of contextualism very frequently, although not invariably, reflects an underlying methodological dispute. (shrink)

According to an increasingly popular view in epistemology and philosophy of mind, beliefs are sensitive to contextual factors such as practical factors and salient error possibilities. A prominent version of this view, called credal sensitivism, holds that the context-sensitivity of belief is due to the context-sensitivity of degrees of belief or credence. Credal sensitivism comes in two variants: while credence-one sensitivism (COS) holds that maximal confidence (credence one) is necessary for belief, threshold credal sensitivism (TCS) holds that belief consists in (...) having credence above some threshold, where this threshold doesn’t require maximal confidence. In this paper, I argue that COS has difficulties in accounting for three important features about belief: i) the compatibility between believing p and assigning non-zero credence to certain error possibilities that one takes to entail not-p, ii) the fact that outright beliefs can occur in different strengths, and iii) beliefs held by unconscious subjects. I also argue that TCS can easily avoid these problems. Finally, I consider an alleged advantage of COS over TCS in terms of explaining beliefs about lotteries. I argue that lottery cases are rather more problematic for COS than TCS. In conclusion, TCS is the most plausible version of credal sensitivitism. (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)

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 (...) value. We argue that some Daoist mystical bodily states, being essentially spatiotemporal, are exempt from this challenge. This leads to a broader understanding of mysticism and offers a partial resolution to the disanalogy objection. (shrink)

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 (...) engage and encourage them to do mathematics and problem-solving, must be considered among teacher education institutions. (shrink)

This paper focuses on a potential problem with Sosa’s theory of default assumption, viz., the alleged incompatibility of this theory with the closure principle. Given the similarity between the notion of default assumption and Wittgenstein’s notion of hinge commitment, I suggest that two influential hinge epistemologies including Wright’s entitlement theory and Pritchard’s non-belief theory provide resources for possible solutions to the problem. I argue that default assumption should be classified as acceptance and hence as a non-doxastic propositional attitude. Sosa’s theory (...) can deal with the apparent incompatibility with the closure principle by adopting the solution of the non-belief theory, while also avoiding problems affecting the latter view. (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)

An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.

The paper investigates what type of motivation can be given for adopting a knowledge-based decision theory. KBDT seems to have several advantages over competing theories of rationality. It is commonly argued that this theory would naturally fit with the intuitive idea that being rational is doing what we take to be best given what we know, an idea often supported by appeal to ordinary folk appraisals. Moreover, KBDT seems to strike a perfect balance between the problematic extremes of subjectivist and (...) objectivist decision theory. We argue that these alleged advantages do not stand up to a closer scrutiny: KBDT inherits the same kinds of problems as alternative decision theoretic frameworks but doesn’t retain any of the respective advantages. Moreover, differently from other knowledge-action principles advanced in the literature, KBDT cannot fully explain the intuitive connections between knowledge and rational action. We conclude that the most serious challenge for knowledge-based decision theorists is to provide a substantive rationale for the adoption of such a view. (shrink)

Improvements of the happiness of the rural population are an essential sign of the effectiveness of relative poverty governance. In the context of today’s digital economy, assessing the relationship between digital literacy and the subjective happiness of rural low-income groups is of great practicality. Based on data from China Family Panel Studies, the effect of digital literacy on the subjective well-being of rural low-income groups was empirically tested. A significant happiness effect of digital literacy on rural low-income groups was found. (...) Digital literacy promotes the subjective happiness of rural low-income groups through income increase and consumption growth effects. The observed happiness effect is heterogeneous among different characteristic groups, and digital literacy significantly positively impacts the subjective happiness of rural low-income groups. Decomposition of subjective happiness into life satisfaction and job satisfaction shows that digital literacy significantly positively affects the job and life satisfaction of rural low-income groups. This paper demonstrates that digital literacy induces a practical happiness effect. To further strengthen the subjective welfare effect of digital literacy in the construction of digital villages, the government should focus on cultivating digital literacy among low-income groups from the demand side. The construction of digital infrastructure should be actively promoted from the supply side. (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)

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)

The present study aimed to explore the effect of subliminal priming on team trust and the mechanism through the mediating role of perceived trustworthiness. A total of 144 participants were asked to complete a lexical decision task that was embedded with the “trust” or “suspicion” Chinese words as the subliminal stimuli. Then, they played a public good game and evaluated the perceived trustworthiness of the team. The results of the study showed that subliminal stimuli had a significant effect on team (...) trust [β = –0.99, 95% CI = (−1.64, −0.33)]. Perceived trustworthiness was found to have a significant mediating effect between the priming condition and team trust [β = −0.35, 95% CI = (−0.72, −0.02)]. The current study revealed the underlying mechanism through which subliminal priming techniques influence team trust and informed efforts by altering perceived trustworthiness. (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)

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)

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

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)

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 (...) arrow in a quantum universe that offers a unified solution to both problems. Central to the Wentaculus are (i) Density Matrix Realism, the idea that the quantum state of the universe is objective but can be impure, and (ii) the Initial Projection Hypothesis, a new law of nature that selects a unique initial quantum state. On the Wentaculus, the quantum state of the universe is sufficiently simple to be a law, and the arrow of time can be traced back to an exact boundary condition. It removes the intrinsic vagueness of the Past Hypothesis, eliminates the Statistical Postulate, provides a higher degree of theoretical unity, and contains a natural realization of “strong determinism." I end by responding to four recent objections. In a companion paper, I elaborate on Density Matrix Realism. (shrink)

According to the Rational Threshold View, a rational agent believes p if and only if her credence in p is equal to or greater than a certain threshold. One of the most serious challenges for this view is the problem of statistical evidence: statistical evidence is often not sufficient to make an outright belief rational, no matter how probable the target proposition is given such evidence. This indicates that rational belief is not as sensitive to statistical evidence as rational credence. (...) The aim of this paper is twofold. First, we argue that, in addition to playing a decisive role in rationalizing outright belief, non-statistical evidence also plays a preponderant role in rationalizing credence. More precisely, when both types of evidence are present in a context, non-statistical evidence should receive a heavier weight than statistical evidence in determining rational credence. Second, based on this result, we argue that a modified version of the Rational Threshold View can avoid the problem of statistical evidence. We conclude by suggesting a possible explanation of the varying sensitivity to different types of evidence for belief and credence based on the respective aims of these attitudes. (shrink)

When a widely reused ontology appears in a new version which is not compatible with older versions, the ontologies reusing it need to be updated accordingly. Ontobull has been developed to automatically update ontologies with new term IRI(s) and associated metadata to take account of such version changes. To use the Ontobull web interface a user is required to (i) upload one or more ontology OWL source files; (ii) input an ontology term IRI mapping; and (where needed) (iii) provide update (...) settings for ontology headers and XML namespace IDs. Using this information, the backend Ontobull Java program automatically updates the OWL ontology files with desired term IRIs and ontology metadata. The Ontobull subprogram BFOConvert supports the conversion of an ontology that imports a previous version of BFO. A use case is provided to demonstrate the features of Ontobull and BFOConvert. (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)

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)

Linguistic data are commonly considered a defeasible source of evidence from which it is legitimate to draw philosophical hypotheses and conclusions. Traditionally epistemologists have relied almost exclusively on linguistic data from western languages, with a primary focus on contemporary English. However, in the last two decades there has been an increasing interest in cross-linguistic studies in epistemology. In this entry, we provide a brief overview of cross-linguistic data discussed by contemporary epistemologists and the philosophical debates they have generated.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (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)

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 (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (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)

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 (...) associated with laws of physics. (shrink)

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 (...) as "The fuzzy law that could break the idea of a mathematical universe" and on the magazine cover as "The Flaw at the Heart of Reality: Why precise mathematical laws can never fully explain the universe." It is a popular version of the article "Nomic Vagueness" that can be found on arXiv: 2006.05298.]. (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)

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.

This book examines some possible ethical principles to resolve moral dilemmas involving water. Existing problems in current water management practices are discussed in light of these principles. Transformation of human water ethics has the potential to be far more effective, cheaper and acceptable than some existing means of “regulation”, but transformation of personal and societal ethics need time because the changes to ethical values are slow.

In a gradually more interlinked world, the formation of collaborations with partners is increasingly regarded as an important driver for generating innovation. Although multidimensional proximities are important factors influencing interorganizational coinnovation performance, relevant empirical studies have not reached consistent conclusions. By focusing on organizational dyad and including intraorganizational collaboration network inefficiency as a moderating variable, we explore the effects of multidimensional proximities on interorganizational coinnovation performance. By reference to 5G patent data collected in China between 2011 and 2020, the research (...) results based on the quadratic assignment procedure (QAP) model show that geographical proximity, cognitive proximity, and institutional proximity all improve interorganizational coinnovation performance. (shrink)

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.

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)

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)

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.

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 (...) the Enlightenment, for example, in Immanuel Kant's ethics and in Friedrich Niethammer's pedagogy. On the one hand, we will define Droysen's and Burckhardt's anthropologies as humanistic, stressing their intellectual connection to the universalistic notions of humankind and human nature developed in the late eighteenth-century. On the other, we will relativize this predicament by exploring their main anti-humanistic traits, i.e. nationalism, with regard to Droysen, and aestheticism, in the case of Burckhardt. (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 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. (...) We will begin by considering some candidate definitions of “higher-order evidence,” and offering our own definition that attempts to capture the phenomenon of interest. We will then consider, in light of this definition, whether disagreement and its epistemic significance are best-understood as a kind of higher-order evidence. We’ll argue that although peer disagreement can be epistemically significant qua higher-order evidence, this role doesn’t exhaust its significance, and that it can also serve as straightforward first-order evidence. Finally, we’ll suggest that inattention to this latter point has made broadly conciliatory views about peer disagreement seem somewhat easier to resist than they in fact are. (shrink)

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.

Statistics play a critical role in biological and clinical research. To promote logically consistent representation and classification of statistical entities, we have developed the Ontology of Biological and Clinical Statistics (OBCS). OBCS extends the Ontology of Biomedical Investigations (OBI), an OBO Foundry ontology supported by some 20 communities. Currently, OBCS contains 686 terms, including 381 classes imported from OBI and 147 classes specific to OBCS. The goal of this paper is to present OBCS for community critique and to describe a (...) number of use cases designed to illustrate its potential applications. The OBCS project and source code are available at http://obcs.googlecode.com. (shrink)