We prove covering theorems for K, where K is the core model below the sharp for a strong cardinal, and give an application to stationary set reflection.

We develop the theory of layered posets and use the notion of layering to prove a new iteration theorem is κ-cc, as long as direct limits are used sufficiently often. This iteration theorem simplifies and generalizes the various chain condition arguments for universal Kunen iterations in the literature on saturated ideals, especially in situations where finite support iterations are not possible. We also provide two applications:1 For any n≥1, a wide variety of <ωn−1-closed, ωn+1-cc posets of size ωn+1 (...) can consistently be absorbed by quotients of saturated ideals on ωn.2 For any n∈ω, the tree property at ωn+3 is consistent with Chang’s conjecture ↠. (shrink)

We prove a variety of theorems about stationary set reflection and concepts related to internal approachability. We prove that an implication of Fuchino–Usuba relating stationary reflection to a version of Strong Chang’s Conjecture cannot be reversed; strengthen and simplify some results of Krueger about forcing axioms and approachability; and prove that some other related results of Krueger are sharp. We also adapt some ideas of Woodin to simplify and unify many arguments in the literature involving preservation of forcing axioms.

Given an ideal $I$ , let $\mathbb{P}_{I}$ denote the forcing with $I$ -positive sets. We consider models of forcing axioms $MA(\Gamma)$ which also have a normal ideal $I$ with completeness $\omega_{2}$ such that $\mathbb{P}_{I}\in \Gamma$ . Using a bit more than a superhuge cardinal, we produce a model of PFA (proper forcing axiom) which has many ideals on $\omega_{2}$ whose associated forcings are proper; a similar phenomenon is also observed in the standard model of $MA^{+\omega_{1}}(\sigma\mbox{-closed})$ obtained from a supercompact cardinal. (...) Our model of PFA also exhibits weaker versions of ideal properties, which were shown by Foreman and Magidor to be inconsistent with PFA. Along the way, we also show (1) the diagonal reflection principle for internally club sets ( $\mathit{DRP}(IC_{\omega_{1}})$ ) introduced by the author in earlier work is equivalent to a natural weakening of “there is an ideal $I$ such that $\mathbb{P}_{I}$ is proper”; and (2) for many natural classes $\Gamma$ of posets, $MA^{+\omega_{1}}(\Gamma)$ is equivalent to an apparently stronger version which we call $MA^{+\operatorname{Diag}}(\Gamma)$. (shrink)

Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito (...) and Steila, by proving that ‐systems of filters do not capture all kinds of set‐generic embeddings. We provide a characterization of supercompactness in terms of short extenders and canonical projections of NS, without any reference to the strength of the extenders; as a corollary, NS can consistently fail to canonically project to arbitrarily strong short extenders. We prove that ω‐cofinal towers of normal ultrafilters, e.g., the kind used to characterize I2 and I3 embeddings, are well‐founded if and only if they are canonical projections of NS. Finally, we provide a characterization of “ is Jónsson” in terms of canonical projections of NS. (shrink)

Cox’s theorem states that, under certain assumptions, any measure of belief is isomorphic to a probability measure. This theorem, although intended as a justification of the subjectivist interpretation of probability theory, is sometimes presented as an argument for more controversial theses. Of particular interest is the thesis that the only coherent means of representing uncertainty is via the probability calculus. In this paper I examine the logical assumptions of Cox’s theorem and I show how these impinge on (...) the philosophical conclusions thought to be supported by the theorem. I show that the more controversial thesis is not supported by Cox’s theorem. (shrink)

This note concerns the model theoretic properties of logics extending the first-order logic with monadic second-order variables equipped with the stationarity quantifier. The eight variations of the strong downward Löwenheim–Skolem Theorem down to <ℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$<\aleph _2$$\end{document} for this logic with the interpretation of second-order variables as countable subsets of the structures are classified into four principles. The strongest of these four is shown to be equivalent to the conjunction of CH and (...) the Diagonal Reflection Principle for internally clubness of S. Cox. We show that a further strengthening of this SDLS and its variations follow from the Game Reflection Principle of B. König and its generalizations. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

As Douglas Adams points out, if there is no final answer to question, 'What is the meaning of life?', '42' is as good or bad an answer as any other. Indeed, 42 quotes might be even better! Gary Cox guides us through 42 of the most misunderstood, misquoted, provocative and significant quotes in the history of philosophy providing a witty and compelling commentary along the way. This entertaining and illuminating collection of quotes doesn't merely list who said what and when. (...) Gary Cox claims that each quote is a philosophical thesis in itself. By exploring who a particular philosopher is and what he or she really meant when they said what they said, this book looks for the philosophy within the quote. Using the writings of everyone from Douglas Adams to A.J. Ayer and Thomas Aquinas to Karl Marx, Gary Cox takes us on a philosophical journey through history, culture and writing to bring us to a deeper understanding of why we think the way we do. (shrink)

This paper explores the grounds upon which moral judgment of a person's beliefs is properly made. The beliefs in question are non-moral beliefs and the objects of moral judgment are individual instances of believing. We argue that instances of believing may be morally wrong on any of three distinct grounds: (i) by constituting a moral hazard, (ii) by being the result of immoral inquiry, or (iii) by arising from vicious inner processes of belief formation. On this way of articulating the (...) basis of moral judgment of belief it becomes clear that rational and epistemic norms do not exhaust the kinds of normative judgment properly made of a person's state of believing. We argue that there are instances of believing that are both rational and true and yet morally wrong. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

This volume examines the transmission and influence of Ciceronian rhetoric from late antiquity to the fifteenth century, examining the relationship between rhetoric and practices as diverse as law, dialectic, memory theory, poetics, and ethics. Includes an appendix of primary texts.

This volume examines the transmission and influence of Ciceronian rhetoric from late antiquity to the fifteenth century, examining the relationship between rhetoric and practices as diverse as law, dialectic, memory theory, poetics, and ethics. Includes an appendix of primary texts.

SummaryComparison of some longitudinal data on infant weight in two samples of Australian Aborigines indicates changes in infant growth between 1966 and 1976 which suggest that at the time when the child comes off the breast, weight gain slows. This faltering of weight gain is often followed by a partial catch-up, but the resultant weight for age at 1 year corresponds with a lower British centile than the child was at just before weaning.

A concise and accessible dictionary of the key terms used in Sartre's philosophy, his major works and philosophical influences.

What's wrong with high executive pay? Beyond envy, is some issue of justice or fairness at stake? And what can anyone do about it? (A lot, as it turns out.).

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

There is no satisfactory account for the general phenomenon of confabulation, for the following reasons: (1) confabulation occurs in a number of pathological and non-pathological conditions; (2) impairments giving rise to confabulation are likely to have different neural bases; and (3) there is no unique theory explaining the aetiology of confabulations. An epistemic approach to defining confabulation could solve all of these issues, by focusing on the surface features of the phenomenon. However, existing epistemic accounts are unable to offer sufficient (...) conditions for confabulation and tend to emphasise only its epistemic disadvantages. In this paper, we argue that a satisfactory epistemic account of confabulation should also acknowledge those features which are (potentially) epistemically advantageous. For example, confabulation may allow subjects to exercise some control over their own cognitive life which is instrumental to the construction or preservation of their sense of self. (shrink)

Progress in addiction science is hampered by disagreements and ambiguity around its core construct: addiction. Addiction Ontology (AddictO) offers a path to a solution of the kind that has addressed similar problems in other areas of science: a set of clearly and uniquely defined entities to which terms such as ‘addiction’, addictive disorder’ and ‘substance dependence ’can be applied for ease of reference while recognizing that it is the construct definitions and their unique IDs that are central, not the terms.

Clinical delusions are difficult to investigate in the laboratory because they co-occur with other symptoms and with intellectual impairment. Partly for these reasons, researchers have recently begun to use hypnosis with neurologically intact people in order to model clinical delusions. In this paper we describe striking analogies between the behavior of patients with a clinical delusion of mirrored self misidentification, and the behavior of highly hypnotizable subjects who receive a hypnotic suggestion to see a stranger when they look in the (...) mirror. Based on these analogies, we argue that the use of hypnosis is a reliable method to investigate the surface features of clinical delusions. But to what extent can hypnosis successfully recreate delusions? Can it also contribute to a better understanding of delusion formation? Although clinical delusions and hypnotically induced beliefs are different in etiology, some analogies can be identified in the underlying processes that characterise them, based on the two-factor theory of delusion formation. (shrink)

In attempting to debunk moral realism through an appeal to evolutionary facts, debunkers face a series of problems, which we label the problems of scope, corrosiveness, and post‐hoc justification. To overcome these problems, debunkers must assume certain metaphysical or epistemological positions, or otherwise pre‐establish them. In doing so, they must assume or pre‐establish the very conclusion they seek in advancing the argument. This means that such debunking arguments either beg the question against the moral realist or are undermined as standalone (...) metaethical arguments. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

Manuel DeLanda discusses his neo-materialist philosophy with Christoph Cox.

Nursing research in palliative care raises specific and challenging ethical issues. Questions have arisen about whether such research is morally justified, given the low likelihood of direct benefit to dying patients as research participants. The Canadian Code of ethics for registered nurses outlines eight primary values intended to guide nursing practice. We use these values to explore the moral dimensions of research with the palliative care population. Our conclusion is that palliative care research is needed to foster excellent care for (...) these patients and their families, but that nurses must remain constantly vigilant to ensure that participants are protected from resultant harms. Through this exploration we highlight particular considerations that nurse researchers must contemplate when accessing a vulnerable population. (shrink)

This article examines the relations between methods used in both animal work and study and concepts of animal mind. By "animal work" the authors mean humans and animals working together, and by "animal study" they mean the discipline of ethology, especially the emerging area of cognitive ethology. Within these areas the wide range of conceptions of animal mind includes varying emphases on intelligence, forms of rationality and language, cognition, consciousness, and intentionality. The authors' central concern is to elucidate the vocabulary (...) and the concepts which seem necessary to establishing successful working relationships with sheepdogs and gundogs. Their argument moves toward an emphasis on the appreciation of particular intentional states and recognizes that they invariably deploy elements of a moral vocabulary in achieving creative teamwork performances with dogs and other animals. The article concludes by consid enng the relevance of accounts of work with animals for associated considerations of intentionality. (shrink)

This article presents a computational model of the learning of diagnostic knowledge, based on observations of human operators engaged in real-world troubleshooting tasks. We present a model of problem solving and learning in which the reasoner introspects about its own performance on the problem-solving task, identifies what it needs to learn to improve its performance, formulates learning goals to acquire the required knowledge, and pursues its learning goals using multiple learning strategies. The model is implemented in a computer system which (...) provides a case study based on observations of troubleshooting operators and protocol analysis of the data gathered in the test area of an operational electronics manufacturing plant. The model not only addresses issues in human learning, but, in addition, is computationally justified as a uniform, extensible framework for multistrategy learning. (shrink)

To practise ‘fairly and justly’ a clinician must balance the needs of both the many and the few: the individual patient in front of them, and the many unseen patients in the waiting room, and in the county. They must consider the immediate clinical needs of those in the present, and how their actions will impact on future patients. The good medical practice guidance ‘Make the care of your patient your first concern’ provides no guidance on how doctors should act (...) when they care for multiple patients with conflicting needs. Moreover, conflicting needs extend far past simply those between different patients. At an organisational level, financial obligations must be balanced with clinical ones; the system must support those who work within it in a variety of roles; and, finally, in order for a healthcare service to be sustainable, the demands of current and future generations must be balanced.The central problem, we propose, is that there is no shared philosophical framework on which the provision of care or the development of health policy is based, nor is there a practical, fair and transparent process to ensure that the service is equipped to deal justly with new challenges as they emerge. Many philosophers have grappled with constructing a set of principles which would lead to a ‘good’ society which is just to different users; prominent among them is Rawls.Four important principles can be derived using a Rawlsian approach: equity of access, distributive justice, sustainability and openness. However, Rawls’ approach is sometimes considered too abstract to be applied readily to policymaking; it does not provide clear guidance for how individuals working within existing institutions can enact the principles of justice. We therefore combine the principles derived from Rawls with Scanlonian contractualism: by demanding that decisions are made in a way which cannot be ‘reasonably rejected’ by different stakeholders, we ensure that conflicting needs are considered robustly.We demonstrate how embedding this framework would ensure just policies and fair practice. We illustrate this by using examples of how it would help prevent injustice among different socioeconomic groups, prevent intergenerational injustice and prevent injustice in a crisis, for example, as we respond to new challenges such as COVID-19.Attempts to help individual doctors practise fairly and justly throughout their professional lives are best focused at an institutional or systemic level. We propose a practical framework: combining Scanlonian contractualism with a Rawlsian approach. Adopting this framework would equip the workforce and population to contribute to fair policymaking, and would ultimately result in a healthcare system whose practice and policies—at their core—were just. (shrink)