The integration of biomedical terminologies is indispensable to the process of information integration. When terminologies are linked merely through the alignment of their leaf terms, however, differences in context and ontological structure are ignored. Making use of the SNAP and SPAN ontologies, we show how three reference domain ontologies can be integrated at a higher level, through what we shall call the OBR framework (for: Ontology of Biomedical Reality). OBR is designed to facilitate inference across the boundaries of domain ontologies (...) in anatomy, physiology and pathology. (shrink)

© 2017. The American Astronomical Society. All rights reserved.We present new observations of the low-mass companion to HD 984 taken with the Gemini Planet Imager as a part of the GPI Exoplanet Survey campaign. Images of HD 984 B were obtained in the J and H bands. Combined with archival epochs from 2012 and 2014, we fit the first orbit to the companion to find an 18 au orbit with a 68% confidence interval between 14 and 28 au, an eccentricity (...) of 0.18 with a 68% confidence interval between 0.05 and 0.47, and an inclination of 119°with a 68% confidence interval between 114°and 125°. To address the considerable spectral covariance in both spectra, we present a method of splitting the spectra into low and high frequencies to analyze the spectral structure at different spatial frequencies with the proper spectral noise correlation. Using the split spectra, we compare them to known spectral types using field brown dwarf and low-mass star spectra and find a best-fit match of a field gravity M6.5 ±1.5 spectral type with a corresponding temperature of K. Photometry of the companion yields a luminosity of log=2.88 ± 0.07 dex with DUSTY models. Mass estimates, again from DUSTY models, find an age-dependent mass of 34 ±1 to 95 ±4 M Jup. These results are consistent with previous measurements of the object. (shrink)

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we study forking (...) and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Reality+: Virtual Worlds and the Problems of Philosophy by David J. ChalmersAnand Jayprakash Vaidya (bio)Reality+: Virtual Worlds and the Problems of Philosophy. By David J. Chalmers. New York, NY: W.W Norton & Company, 2022. Pp. xi + 520. Hardcover $22.49, isbn 978-0-393635-80-5.It isn't uncommon to think that virtual worlds, the worlds we engage with in video games, for example, are not real or at least less real than (...) the ordinary world. After all, they are worlds that are created by us, and thus are less real than the world we didn't create, mind-independent reality. However, in Reality+, David Chalmers argues for the thesis that virtual reality is genuine reality.Reality+ is the twenty-first century equivalent of Bertrand Russell's twentieth century The Problems of Philosophy, published 110 years prior. Like Russell, Chalmers' goal is to explain the basic problems of philosophy to a wide audience.The book's twenty-four chapters are organized into seven different parts: virtual worlds, knowledge, reality, real virtual reality, mind, value, and foundations. Each section has about three to four chapters. Having taught the book in an upper-division philosophy of mind course, I would say that the first nine chapters should be read together to get a good sense of the whole project, because they give shape and structure to Chalmers' basic arguments and positions. The following fifteen self-explanatory, self-contained, chapters, are independently engaging, and can be taught separately, as standalone works of philosophy.Chalmers engages in what he terms technophilosophy, which is the combination of (1) asking philosophical questions about technology and (2) using technology to help answer traditional questions of philosophy. He claims that he draws inspiration for the project from Patricia Churchland's 1986 Neurophilosophy, where she does the equivalent of (1) and (2) with neuroscience. Reality+ delivers clear arguments, referencing historical and contemporary philosophical work, while frequently drawing from science fiction, including several outstanding Rick and Morty -style illustrations. The use of science fiction helps to connect students to abstract ideas, while the robustly constructed arguments serve to instruct students on how to go about critically examining the ideas. My students found the book accessible and engaging. I imagine the book [End Page 1] will become even more relevant to successive classes, as the issues Chalmers discusses grow more dominant in the future.Chapter 1, "Is this the real life?", begins by discussing Indian and Chinese philosophy in relation to Greek philosophy with respect to theme of illusion/dreams vs. reality. In all three traditions, one finds discussion of the nature of reality and whether we can know it. Chalmers thinks that each of these traditions helps to formulate the basic questions of his book: the knowledge question, the reality question, and the value question.The knowledge question: can we know whether or not we are living in a virtual world? In part 2, Chalmers argues that we cannot know that we are not living in a virtual world. He does so by defending his own version of Nick Bostrom's simulation argument (2003), which very roughly goes as follows: (1) If there is nothing (technological or otherwise) that would serve to block the creation of a perfect simulation of a humanlike being into existence (what he calls a sim blocker), then most humanlike beings are simulations. (2) if most humanlike beings are simulations, we are probably simulations. So, (3) if there are no sim blockers, we are probably sims.The reality question: are virtual worlds real? He argues that virtual worlds are genuinely real by examining a variety of definitions of what makes something real in chapter 6. I will examine this argument in more detail in the following section.The value question: can you lead a good life in a virtual world? He argues that one can, in parts 5 and 6. He says: "In principle, life in virtual reality can have the same sort of value as life in nonvirtual reality. To be sure, life in virtual reality can be good or bad" (p. 311).As successful as Reality+ is, philosophical counterpoints arose in my mind. In the next section, I present... (shrink)

BackgroundIn the Canadian Alliance for Healthy Hearts and Minds (CAHHM) cohort, participants underwent magnetic resonance imaging (MRI) of the brain, heart, and abdomen, that generated incidental findings (IFs). The approach to managing these unexpected results remain a complex issue. Our objectives were to describe the CAHHM policy for the management of IFs, to understand the impact of disclosing IFs to healthy research participants, and to reflect on the ethical obligations of researchers in future MRI studies.MethodsBetween 2013 and 2019, 8252 participants (...) (mean age 58 ± 9 years, 54% women) were recruited with a follow-up questionnaire administered to 909 participants (40% response rate) at 1-year. The CAHHM policy followed a restricted approach, whereby routine feedback on IFs was not provided. Only IFs of severe structural abnormalities were reported.ResultsSevere structural abnormalities occurred in 8.3% (95% confidence interval 7.7–8.9%) of participants, with the highest proportions found in the brain (4.2%) and abdomen (3.1%). The majority of participants (97%) informed of an IF reported no change in quality of life, with 3% of participants reporting that the knowledge of an IF negatively impacted their quality of life. Furthermore, 50% reported increased stress in learning about an IF, and in 95%, the discovery of an IF did not adversely impact his/her life insurance policy. Most participants (90%) would enrol in the study again and perceived the MRI scan to be beneficial, regardless of whether they were informed of IFs. While the implications of a restricted approach to IF management was perceived to be mostly positive, a degree of diagnostic misconception was present amongst participants, indicating the importance of a more thorough consent process to support participant autonomy.ConclusionThe management of IFs from research MRI scans remain a challenging issue, as participants may experience stress and a reduced quality of life when IFs are disclosed. The restricted approach to IF management in CAHHM demonstrated a fair fulfillment of the overarching ethical principles of respect for autonomy, concern for wellbeing, and justice. The approach outlined in the CAHHM policy may serve as a framework for future research studies.Clinical trial registrationhttps://clinicaltrials.gov/ct2/show/nct02220582. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

We prove that if T is a stable theory with only a finite number of countable models, then T contains a type-definable pseudoplane. We also show that for any stable theory T either T contains a type-definable pseudoplane or T is weakly normal.

In this paper we establish the following theorems. THEOREM A. Let T be a complete first-order theory which is uncountable. Then: (i) I(|T|, T) ≥ ℵ 0 . (ii) If T is not unidimensional, then for any λ ≥ |T|, I (λ, T) ≥ ℵ 0 . THEOREM B. Let T be superstable, not totally transcendental and nonmultidimensional. Let θ(x) be a formula of least R ∞ rank which does not have Morley rank, and let p be any stationary completion (...) of θ which also fails to have Morley rank. Then p is regular and locally modular. (shrink)

Let T be a complete O-minimal theory in a language L. We first give an elementary proof of the result (due to Marker and Steinhorn) that all types over Dedekind complete models of T are definable. Let L * be L together with a unary predicate P. Let T * be the L * -theory of all pairs (N, M), where M is a Dedekind complete model of T and N is an |M| + -saturated elementary extension of N (and (...) M is the interpretation of P). Using the definability of types result, we show that T * is complete and we give a simple set of axioms for T * . We also show that for every L * -formula φ(x) there is an L-formula ψ(x) such that $T^\ast \models (\forall \mathbf{x})(P(\mathbf{x}) \rightarrow (\phi(\mathbf{x}) \mapsto \psi (\mathbf{x}))$ . This yields the following result: Let M be a Dedekind complete model of T. Let φ(x, y) be an L-formula where l(y) = k. Let $\mathbf{X} = \{X \subset M^k$ : for some a in an elementary extension N of M, X = φ (a,y N ∩ M k }. Then there is a formula ψ(y, z) of L such that X = {ψ (y, b) M : b in M}. (shrink)

§1. Introduction. In this report we wish to describe recent work on a class of first order theories first introduced by Shelah in [32], the simple theories. Major progress was made in the first author's doctoral thesis [17]. We will give a survey of this, as well as further works by the authors and others.The class of simple theories includes stable theories, but also many more, such as the theory of the random graph. Moreover, many of the theories of particular (...) algebraic structures which have been studied recently turn out to be simple. The interest is basically that a large amount of the machinery of stability theory, invented by Shelah, is valid in the broader class of simple theories. Stable theories will be defined formally in the next section. An exhaustive study of them is carried out in [33]. Without trying to read Shelah's mind, we feel comfortable in saying that the importance of stability for Shelah lay partly in the fact that an unstable theory T has 2λ many models in any cardinal λ ≥ ω1 + |T|. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...) an elementary class if and only if T has the definable multiplicity property. (shrink)

We prove that any countable simple unidimensional theory T is supersimple, under the additional assumptions that T eliminates hyperimaginaries and that the $D_\phi-ranks$ are finite and definable.

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well (...) as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

For a countable complete o-minimal theory T, we introduce the notion of a sequentially complete model of T. We show that a model M of T is sequentially complete if and only if $\mathscr{M} \prec \mathscr{N}$ for some Dedekind complete model N. We also prove that if T has a Dedekind complete model of power greater than 2 ℵ 0 , then T has Dedekind complete models of arbitrarily large powers. Lastly, we show that a dyadic theory--namely, a theory relative (...) to which every formula is equivalent to a Boolean combination of formulas in two variables--that has some Dedekind complete model has Dedekind complete models in arbitrarily large powers. (shrink)

We give some sufficient conditions for a predicate P in a complete theory T to be "stably embedded". Let P be P with its "induced θ-definable structure". The conditions are that P (or rather its theory) is "rosy", P has NIP in T and that P is stably 1-embedded in T. This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T. Our proofs make use of the theory of strict (...) nonforking and weight in NIP theories ([3], [10]). (shrink)

We give an exposition of results of Baldwin–Shelah [2] on saturated free algebras, at the level of generality of complete first order theories T with a saturated model M which is in the algebraic closure of an indiscernible set. We then make some new observations when M is a saturated free algebra, analogous to results for the free group, such as a description of forking.

We characterize the non-modular models of a unidimensional first-order theory of modules as the elementary submodels of its prime pure-injective model. We show that in case the maximal non-modular submodel of a given model splits off this is true for every such submodel, and we thus obtain a cancellation result for this situation. Although the theories in question always have models whose maximal non-modular submodel do split off, they may as well have others where they don't. We present a corresponding (...) example. (shrink)

We initiate an account of Shelah’s notion of “strong dependence” in terms of generically stable measures, proving a measure analogue of the fact that a stable theory $T$ is “strongly dependent” if and only if all types have almost finite weight.

A theory T is called almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical if for any pure types p1,…,pn there are only finitely many pure types which extend p1 ∪…∪pn. It is shown that if T is an almost [MATHEMATICAL SCRIPT CAPITAL N]0-categorical theory with I = 3, then a dense linear ordering is interpretable in T.

A revised, one-volume edition of Gandhi's account of his life and work up to 1921. The illuminating detail, the humility and humor of the author in contrast with the great events he shaped, combine to make an unforgettable book.--E. T.

The second volume of this comprehensive anthology covers the twentieth and early twenty-first centuries. The anthology is broad ranging both in its selection of material by figures traditionally acknowledged as being of central importance, and in the material it presents by a range of other figures. The material in this volume is presented in three sections. The first, “Power and the State,” includes selections by such figures as Goldman, Lenin, Weber, Schmitt, and Hayek. Among those included in the “Race, Gender, (...) and Colonialism” section are de Beauvoir, Gandhi, Fanon, and Young. The third and by far the longest section, “Rights-Based Liberalism and its Critics,” focuses on the many interrelated directions that social and political philosophy has taken since the publication of John Rawls’s ground-breaking _A Theory of Justice_ in 1971. In order to better meet the needs of today’s students, the editors have made every effort to include accurate and accessible translations of the readings. Additionally, every selection has been painstakingly annotated, and each figure is given a substantial introduction highlighting her or his major contributions within the tradition. For figures of central importance, the editors have included extended introductions that place the figure in the context of intellectual history as well as of political thought. In order to ensure the highest standards of accuracy and accessibility, the editors have consulted dozens of leading academics during the course of the volume’s development. The result is an anthology with unparalleled pedagogical benefits; _The Broadview Anthology of Social and Political Thought_ sets the new standard for social and political philosophy instruction. (shrink)

The second volume of this comprehensive anthology covers the twentieth and early twenty-first centuries. The anthology is broad ranging both in its selection of material by figures traditionally acknowledged as being of central importance, and in the material it presents by a range of other figures. The material in this volume is presented in three sections. The first, “Power and the State,” includes selections by such figures as Goldman, Lenin, Weber, Schmitt, and Hayek. Among those included in the “Race, Gender, (...) and Colonialism” section are de Beauvoir, Gandhi, Fanon, and Young. The third and by far the longest section, “Rights-Based Liberalism and its Critics,” focuses on the many interrelated directions that social and political philosophy has taken since the publication of John Rawls’s ground-breaking _A Theory of Justice_ in 1971. In order to better meet the needs of today’s students, the editors have made every effort to include accurate and accessible translations of the readings. Additionally, every selection has been painstakingly annotated, and each figure is given a substantial introduction highlighting her or his major contributions within the tradition. For figures of central importance, the editors have included extended introductions that place the figure in the context of intellectual history as well as of political thought. In order to ensure the highest standards of accuracy and accessibility, the editors have consulted dozens of leading academics during the course of the volume’s development (many of whom have contributed introductory material as well as advice). The result is an anthology with unparalleled pedagogical benefits; _The Broadview Anthology of Social and Political Thought_ sets the new standard for social and political philosophy instruction. (shrink)

This essay positions the figure and thought of T.W. Adorno in relation to Mulk Raj Anand, and the latter’s foundational contributions to the modern Indian novel in English. In Adorno’s musical writings, “late style” features as a methodological premise, or an expository mode that removes the work from conventional norms of evaluation. Late style is directed especially toward canonized works that seem to lack current artistic or social relevance, despite their culturally privileged standing. The essay approaches Adorno and (...) class='Hi'>Anand, accordingly: Their affiliations with European modernism and postcolonial realism, respectively, are read in late style, or, as largely obsoleted formations of the previous century. Focussing on Anand’s historical fiction, Across the Black Waters, my essay recuperates the novel’s vision of a single if internally differentiated twentieth-century: By imagining the Great War as world-historical crisis, Anand’s novel stage... (shrink)

This volume provides an overview of issues arising in work on the foundations of decision theory and social choice. The collection will be of particular value to researchers in economics with interests in utility or welfare, but also to any social scientist or philosopher interested in theories of rationality or group decision-making.

I examine social capital’s impact on financial reports. Based on the social capital literature, I predict that the quality of the financial reports is higher when a firm is headquartered in a region with high social capital. Consistent with this prediction, I find that the firms that are headquartered in this type of region in the USA have a lower probability of committing fraud by misrepresenting financial information. Further, I find that the firms in regions with high social capital have (...) lower levels of discretionary accruals and much more readable annual reports. (shrink)

When weighing up which inhaler to prescribe, a doctor may prioritise a patient’s preferences over the expected harms from the associated carbon emissions. Parker argues that this is wrong.1 Doctors have a pro-tanto duty to switch from a high-carbon metered-dose inhaler (MDI) to a low-carbon dry-powdered inhaler (DPI)—even though this provides no direct patient benefit—unless switching would undermine trust or significantly worsen a patient’s health. He goes on to state that even if DPIs are more expensive for the National Health (...) Service (NHS) then this is justified so long as it does not ‘significantly threaten’ the NHS’ ability to protect and promote health. This may appear to be a radical proposal, challenging the ethical principles of autonomy, health entitlements and justly distributed resources. However, we will claim that it is only radical in so far as one perceives (A) patient autonomy and healthcare entitlements as existing within a vacuum, unrelated to other foundational ethics concerns and (B) the health consequences of a given healthcare budget are limited solely to the designated recipients rather than all affected parties. Here, we test the claim that our responsibility for promoting patient autonomy …. (shrink)

The Unified Medical Language System and the Gene Ontology are among the most widely used terminology resources in the biomedical domain. However, when we evaluate them in the light of simple principles for wellconstructed ontologies we find a number of characteristic inadequacies. Employing the theory of granular partitions, a new approach to the understanding of ontologies and of the relationships ontologies bear to instances in reality, we provide an application of this theory in relation to an example drawn from the (...) context of the pathophysiology of hypertension. This exercise is designed to demonstrate how, by taking ontological principles into account we can create more realistic biomedical ontologies which will also bring advantages in terms of efficiency and robustness of associated software applications. (shrink)

The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While people (...) well versed in Indian philosophy will not find that statement problematic, it is still controversial in the analytic tradition. Luckily for us, Strawson has elaborately defended the notion of a thin subject—an SoE which exhibits a phenomenal unity with different types of content (sensations, thoughts etc.) occurring during its temporal existence. Next, following Stoljar, we invoke our ignorance of the true physical as the reason for the explanatory gap between present day physical processes (events, properties) and experience. We are therefore permitted to conceive of thin subjects as related to the physical via a new, yet to be elaborated relation. While this is difficult to conceive under most varieties of classical physics, we argue that this may not be the case under certain quantum field theory ontologies. We suggest that the relation binding an SoE to the physical is akin to the relation between a particle and (quantum) field. In quantum field theory, a particle is conceived as a coherent excitation of a field. Under the right set of circumstances, a particle coalesces out of a field and dissipates. We suggest that an SoE can be conceived as akin to a particle—a SelfOn—which coalesces out of physical fields, persists for a brief period of time and then dissipates in a manner similar to the phenomenology of a thin subject. Experiences are physical properties of selfons with the constraint (specified by a similarity metric) that selfons belonging to the same natural kind will have similar experiences. While it is odd at first glance to conceive of subjects of experience as akin to particles, the spatial and temporal unity exhibited by particles as opposed to fields and the expectation that selfons are new kinds of particles, paves the way for cementing this notion. Next, we detail the various no-go theorems in most versions of quantum field theory and discuss their impact on the existence of selfons. Finally, we argue that the time is ripe for a rejuvenated Indian philosophy to begin tackling the three-way relationship between SoEs (which may become equivalent to jivas in certain Indian frameworks), phenomenal content and the physical world. With analytic philosophy still struggling to come to terms with the complex worlds of quantum field theory and with the relative inexperience of the western world in arguing the jiva-world relation, there is a clear and present opportunity for Indian philosophy to make a worldcentric contribution to the hard problem of experience. (shrink)

Autumn Fiester's “Neglected Ends: Clinical Ethics Consultation and the Prospects for Closure” (2015) demonstrates how a focus on recommendations in clinical ethics consultations (CECs) can fail to...

Sen’s capabilities approach offers a radical generalisation of the conventional approach to welfare economics. It has been highly influential in development and many researchers are now beginning to explore its implications for health care. This paper contributes to the emerging debate by discussing two examples of such applications: first, at the individual decision making level, namely the right to die, and second, at the social choice level. For the first application, which draws on Nussbaum’s list of capabilities, it is argued (...) that many capabilities are ambiguously or indirectly related to the right to die, but the ability to form a concept of the good life and plan one’s own life provides a direct justification for such a right. In the second application, the focus is specifically on healthcare rationing and it is argued that, although not committed to age based rationing, the capabilities approach provides a more natural justification of age related access to health care than the fair innings argument, which is often used to justify the alleged ageism inherent in quality adjusted life years maximisation. (shrink)