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)

We investigate the meaning of the wave function by analyzing the mass and charge density distributions of a quantum system. According to protective measurement, a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. In a realistic interpretation, the wave function of a quantum system can be taken as a description of either a physical field or the ergodic motion of a particle. The essential difference (...) between a field and the ergodic motion of a particle lies in the property of simultaneity; a field exists throughout space simultaneously, whereas the ergodic motion of a particle exists throughout space in a time-divided way. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously for a charged quantum system, and thus there will exist gravitational and electrostatic self-interactions of its wave function. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus the wave function cannot be a description of a physical field but a description of the ergodic motion of a particle. For the later there is only a localized particle with mass and charge at every instant, and thus there will not exist any self-interaction for the wave function. Which kind of ergodic motion of particles then? It is argued that the classical ergodic models, which assume continuous motion of particles, cannot be consistent with quantum mechanics. Based on the negative result, we suggest that the wave function is a description of the quantum motion of particles, which is random and discontinuous in nature. On this interpretation, the square of the absolute value of the wave function not only gives the probability of the particle being found in certain locations, but also gives the probability of the particle being there. We show that this new interpretation of the wave function provides a natural realistic alternative to the orthodox interpretation, and its implications for other realistic interpretations of quantum mechanics are also briefly discussed. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

According to the laws of physics, the state of a physical system can only be measured by another system (usually a particular measuring device) via a physical interaction. However, when our brain is in a conscious mental state, it can in principle output the information about its physical state based on the psycho-physical correspondance between the mental state and the physical state. It is argued that this suggests that the conscious mind violates physical laws and it is not physical as (...) physicalism claims. (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)

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)

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)

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)

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)

We give a new argument supporting a gravitational role in quantum collapse. It is demonstrated that the discreteness of space-time, which results from the proper combination of quantum theory and general relativity, may inevitably result in the dynamical collapse of thewave function. Moreover, the minimum size of discrete space-time yields a plausible collapse criterion consistent with experiments. By assuming that the source to collapse the wave function is the inherent random motion of particles described by the wave function, we further (...) propose a concrete model of wavefunction collapse in the discrete space-time. It is shown that the model is consistent with the existing experiments and macroscopic experiences. (shrink)

We analyze the possible implications of spacetime discreteness for the special and general relativity and quantum theory. It is argued that the existence of a minimum size of spacetime may explain the invariance of the speed of light in special relativity and Einstein’s equivalence principle in general relativity. Moreover, the discreteness of spacetime may also result in the collapse of the wave function in quantum mechanics, which may provide a possible solution to the quantum measurement problem. These interesting results might (...) have some important implications for a complete theory of quantum gravity. (shrink)

Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

We investigate the validity of the field explanation of the wave function by analyzing the mass and charge density distributions of a quantum system. It is argued that a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. This is also a consequence of protective measurement. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously (...) for a charged quantum system, and thus there will exist a remarkable electrostatic self-interaction of its wave function, though the gravitational self-interaction is too weak to be detected presently. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus we conclude that the wave function cannot be a description of a physical field. In the second part of this paper, we further analyze the implications of these results for the main realistic interpretations of quantum mechanics, especially for de Broglie-Bohm theory. It has been argued that de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions, which turns out to be wrong according to the above results. For a charged quantum system, both Ψ-field and Bohmian particle have charge density distribution. This then results in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which contradicts both the predictions of quantum mechanics and experimental observations. Therefore, de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is probably wrong. Lastly, we suggest that the wave function is a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles, and we also briefly analyze the implications of this suggestion for other realistic interpretations of quantum mechanics including many-worlds interpretation and dynamical collapse theories. (shrink)

The remarkable connections between gravity and thermodynamics seem to imply that gravity is not fundamental but emergent, and in particular, as Verlinde suggested, gravity is probably an entropic force. In this paper, we will argue that the idea of gravity as an entropic force is debatable. It is shown that there is no convincing analogy between gravity and entropic force in Verlinde’s example. Neither holographic screen nor test particle satisfies all requirements for the existence of entropic force in a thermodynamics (...) system. As a result, there is no entropic force in the gravity system. Furthermore, we show that the entropy increase of the screen is not caused by its statistical tendency to increase entropy as required by the existence of entropic force, but in fact caused by gravity. Therefore, Verlinde’s argument for the entropic origin of gravity is problematic. In addition, we argue that the existence of a minimum size of spacetime, together with the Heisenberg uncertainty principle in quantum theory, may imply the fundamental existence of gravity as a geometric property of spacetime. This provides a further support for the conclusion that gravity is not an entropic force. (shrink)

We investigate the implications of protective measurement for de Broglie-Bohm theory, mainly focusing on the interpretation of the wave function. It has been argued that the de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions. But this premise turns out to be wrong according to protective measurement; a charged quantum system (...) has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. Then in the de Broglie-Bohm theory both Ψ-field and Bohmian particle will have charge density distribution for a charged quantum system. This will result in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Therefore, the de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is problematic according to protective measurement. Lastly, we briefly discuss the possibility that the wave function is not a physical field but a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles. (shrink)

We show that the physical meaning of the wave function can be derived based on the established parts of quantum mechanics. It turns out that the wave function represents the state of random discontinuous motion of particles, and its modulus square determines the probability density of the particles appearing in certain positions in space.

We explore the ethics of deliberately exposing consenting adults to SARS-CoV-2 to induce immunity to the virus (“DEI” for short). We explain what a responsible DEI program might look like. We explore a consequentialist argument for DEI according to which DEI is a viable harm-reduction strategy. Then we consider a non-consequentialist argument for DEI that draws on the moral significance of consent. Additionally, we consider arguments for the view that DEI is unethical on the grounds that, given that large-scale DEI (...) would be highly likely to result in some severe illnesses and deaths, DEI amounts to a form of killing. Our thesis is that incorporating a DEI program alongside the status-quo “calibrate-the-curve” responses could have significant advantages at the early stages of pandemics. These potential advantages mean that, at a minimum, research into DEI would have been justified early in the COVID-19 pandemic, and that DEI programs should be explored as potential additions to our overall approach to emerging pandemics in the future. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (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)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

It is shown that the heuristic "derivation" of the Schrödinger equation in quantum mechanics textbooks can be turned into a real derivation by resorting to spacetime translation invariance and relativistic invariance.

Purpose: Although psychopathy is characterized by amoral behavior, literature on the association between psychopathy and moral judgment pattern is mixed. Recent evidence suggests that this may be due to the moderation effect of anxiety (Koenigs, Kruepke, Zeier, & Newman, 2011). The current study aims to examine the psychopathy-utilitarian judgment association in college students. Method: In this study, a group of 302 college students completed a moral judgment test involving hypothetical dilemmas. Their psychopathic traits were assessed by the Psychopathic Personality Inventory (...) – Short Form (PPI-SF) (Lilienfeld & Andrews, 1996). Results: Individuals with higher psychopathic traits were more likely to make utilitarian responses to moral dilemmas. Furthermore, the association between utilitarian responses and psychopathy was more salient for the behavioral factor of psychopathy (PPI-II), and this association was mediated by self-reported aggression. However, the moderating effect of anxiety was not found. Conclusions: These results build upon work on utilitarian moral judgment in psychopathic individuals in a non-incarcerated, non-institutionalized sample, and have important implications for the behavioral correc- tion system. (shrink)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

The meaning of the wave function and its evolution are investigated. First, we argue that the wave function in quantum mechanics is a description of random discontinuous motion of particles, and the modulus square of the wave function gives the probability density of the particles being in certain locations in space. Next, we show that the linear non-relativistic evolution of the wave function of an isolated system obeys the free Schrödinger equation due to the requirements of spacetime translation invariance and (...) relativistic invariance. Thirdly, we argue that the random discontinuous motion of particles may lead to a stochastic, nonlinear collapse evolution of the wave function. A discrete model of energy-conserved wavefunction collapse is proposed and shown consistent with existing experiments and our macroscopic experience. Besides, we also give a critical analysis of the de Broglie-Bohm theory, the many-worlds interpretation and other dynamical collapse theories, and briefly discuss the issues of unifying quantum mechanics and relativity. (shrink)

In quantum mechanics, the wave function of a N-body system is a mathematical function defined in a 3N-dimensional configuration space. We argue that wave function realism implies particle ontology when assuming: (1) the wave function of a N-body system describes N physical entities; (2) each triple of the 3N coordinates of a point in configuration space that relates to one physical entity represents a point in ordinary three-dimensional space. Moreover, the motion of particles is random and discontinuous.

It is shown that the superposed wave function of a measuring device, in each branch of which there is a definite measurement result, does not correspond to many mutually unobservable but equally real worlds, as the superposed wave function can be observed in our world by protective measurement.

Based on an analysis of protective measurements, we show that the quantum state represents the physical state of a single quantum system. This result is more definite than the PBR theorem [Pusey, Barrett, and Rudolph, Nature Phys. 8, 475 (2012)].

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)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

Background— Although one of the main characteristics of psychopaths is a deficit in emotion, it is unknown whether they show a fundamental impairment in appropriately recognizing their own body sensations during an emotion-inducing task. Method— Skin conductance and heart rate were recorded in 138 males during a social stressor together with subjective reports of body sensations. Psychopathic traits were assessed using the Psychopathy Checklist – Revised (PCL-R) 2nd edition (Hare, 2003). Results— Nonpsychopathic controls who reported higher body sensations showed higher (...) heart rate reactivity, but this verbal-autonomic consistency was not found in psychopathic individuals. This mind-body disconnection is particularly associated with the interpersonal-affective factor of psychopathy. Conclusions— Findings are the first to document this body sensations– autonomic mismatch in psychopaths, and suggest that somatic aphasia the inaccurate identification and recognition of one‘s own somatic states may partly underlie the interpersonal-affective features of psychopaths. (shrink)

This paper proposes a new explanation for the paradoxes related to anthropic reasoning. Solutions to the Sleeping Beauty Problem and the Doomsday argument are discussed in detail. The main argument can be summarized as follows: -/- Our thoughts, reasonings and narratives inherently comes from a certain perspective. With each perspective there is a center, or using the term broadly, a self. The natural first-person perspective is most primitive. However we can also think and express from others’ perspectives with a theory (...) of mind. A perspective’s center could be unrelated to the topic of discussion so its de se thoughts need not to be considered, e.g. the perspective of an outside observer. Let’s call these the third-person perspective. First-person reasoning allows primitive self identification as I am inherently unique as the center of the perspective. Whereas from third-person perspective I am not fundamentally special comparing to others so a reference class of observers including me can be defined. It is my contention that reasonings from different perspectives should not mix. Otherwise it could lead to paradoxes even independent of anthropic reasoning. The paradoxes surrounding anthropic reasoning are caused by the aforementioned perspective mix. Regarding the sleeping beauty problem the correct answer should be double halving. Lewisian halving and thirding uses unique reasonings from both first and third-person perspectives. Indexical probabilities such as “the probability that this is the first awakening” or “the probability of me being one of the first 100 billion human beings” also mixes first- and third-person reasonings. Therefore invalid. Readers against perspectivism may disagree with point 1 and suggest we could reason in objective terms without the limit of perspectives. My argument is compatible with this belief. Objective reasoning would be analytically identical to the third-person perspective. My argument would become that objective reasoning and perspective reasonings should not mix. In the following I would continue to use “third-person perspective” but readers can switch that to “objective reasoning” if they wish so. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Seminal work intended to found a new field of integrative Noetic Science is summarized. Until now the philosophy of Biological Mechanism has ruled medicine and psychology. Penrose claims, AA scientific world-view which does not profoundly come to terms with the problem of conscious mind can have no serious pretensions of completeness@. A noetic action principle synonymous with the historic concept of élan vital is introduced as the basis of a Continuous State Conscious Universe (CSCU). The least unit of CSCU superspace (...) defines Awareness as a fundamental physical quantity like charge in electrodynamics. This cosmological context reveals the origin of complexity in self-organized living-systems wherein the physical basis of qualia is formalized. The dynamics of this teleological action principle, mediated by a unitary noetic field pervading all biochemical species, optimizes the state of well-being through homeostasis and provides the fundamental basis for developing a Moral Psychology. (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)

My aim in this paper is to identify the wrong that is done in all cases of testimonial injustice, if there is one. Miranda Fricker (2007) proposes one account of this distinctive wrong, and Gaile Pohlhaus Jr. (2014) offers another. I think neither works. Nor does an account based on giving due respect to the testifier's epistemic competence. Nor does an account based on exposing the testifier to substantial risk of harm. Rachel Fraser (2023) describes a further account, and the (...) proposal I favour is a slight amendment of this. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Adaptive preferences give rise to puzzles in ethics, political philosophy, decision theory, and the theory of action. Like our other preferences, adaptive preferences lead us to make choices, take action, and give consent. In 'False Consciousness for Liberals', recently published in The Philosophical Review, David Enoch (2020) proposes a criterion by which to identify when these choices, actions, and acts of consent are less than fully autonomous; that is, when they suffer from what Natalie Stoljar (2014) calls an 'autonomy deficit'. (...) According to Enoch, such actions are not protected in the usual way against interference by others; there is not the same prohibition against trying to prevent someone from acting in a particular way when that action is motivated by such adaptive preferences and is an attempt to satisfy them. In this note, I raise two concerns about Enoch's criterion. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Touch is standardly taken to be a proximal sense, principally constituted by capacities to detect proximal pressure and thermal stimulation, and contrasted with the distal senses of vision and audition. It has, however, recently been argued that the scope of touch extends beyond proximal perception; touch can connect us to distal objects. Hence touch generally should be thought of as a connection sense. In this paper, I argue that whereas pressure perception is a connection sense, thermal perception is not. Thermal (...) perception is a proximal sense distinct from touch. One significant consequence of this is that it motivates an alternative explanation of how we detect the thermal properties of the things we touch and what they are. (shrink)

In real-time collaborative graphical editing systems, Object-based Group/Ungroup operations are frequently accessible and practically useful. However, the existing research on these operations of the graphical editing is rare and defective. In this paper, based on Multi-Version strategy and Address Space Transformation method, a new MVSDR algorithm, which is not only applied to simple operations (such as Create, Delete, ChangeATT, etc.), but also suitable for Group/Ungroup ones, is proposed to solve the consistency maintenance problem. The proposed algorithm abandons previous attempts to (...) divide conflict operations into Real-Conflict operations and Resolvable-Conflict ones and to deal with them separately, thus making the algorithm more simple and effective. In addition, an example analysis is also given in this paper to prove the algorithm’s correctness and effectiveness. (shrink)

Replicated architecture is widely used in the field of real-time collaborative text editor. The idea of address space transformation provides a new way for concurrency control. During concurrent processing, it retraces the document status back to the state when the operations are generated to maintain consistency. However the previous concurrency processes strategy is based on single characters, the transmission cost during processing is too high since every character is packaged and broadcasted to remote sites after they are created by local (...) site. When the network load is high, especially when the network is unstable, this shortage will be even more obvious. Due to this problem, this paper presents a consistency maintenance strategy based on string editing operations, and proposes the string splitting mechanism combined with the idea of the address space transformation in order to maintain consistency. This strategy increases the transmission efficiency while guaranteeing the consistency of the shared document. (shrink)