We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We use the pairs to isolate a class of geometric structures called weakly locally modular which generalizes the class of linear structures in the settings of SU-rank one theories and o-minimal theories. For o-minimal theories, we use the Peterzil–Starchenko trichotomy theorem to characterize for a sufficiently general point, the local geometry around it in terms of the thorn U-rank of its type inside a lovely pair.

We study expansions of an algebraically closed field K or a real closed field R with a linearly independent subgroup G of the multiplicative group of the field or the unit circle group \\), satisfying a density/codensity condition. Since the set G is neither algebraically closed nor algebraically independent, the expansion can be viewed as “intermediate” between the two other types of dense/codense expansions of geometric theories: lovely pairs and H-structures. We show that in both the algebraically closed field and (...) real closed field cases, the resulting theory is near model complete and the expansion preserves many nice model theoretic conditions related to the complexity of definable sets such as stability and NIP. (shrink)

We characterize þ-independence in a variety of structures, focusing on the field of real numbers expanded by predicate defining a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of finite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.

We provide a general theorem implying that for a (strongly) dependent theory T the theory of sufficiently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of first-order topological theories.

We show that if T is any geometric theory having the NTP2 then the corresponding theories of lovely pairs of models of T and of H‐structures associated to T also have the NTP2. We also prove that if T is strong then the same two expansions of T are also strong.

We study definable groups in dense/codense expansions of geometric theories with a new predicate P such as lovely pairs and expansions of fields by groups with the Mann property. We show that in such expansions, large definable subgroups of groups definable in the original language \ are also \-definable, and definably amenable \-definable groups remain amenable in the expansion. We also show that if the underlying geometric theory is NIP, and G is a group definable in a model of T, (...) then the connected component \ of G in the expansion agrees with the connected component \ in the original language. We prove similar preservation results for \^n\), the P-part of G in a lovely pair, and for subgroups of G in pairs where R is a real closed field and G is a subgroup of \ or the unit circle \\) with the Mann property. (shrink)

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has these properties. We show that (...) if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite vector space over (...) a finite field. (shrink)

Let G be a countable group. We prove that there is a model companion for the theory of Hilbert spaces with a group G of automorphisms. We use a theorem of Hulanicki to show that G is amenable if and only if the structure induced by countable copies of the regular representation of G is existentially closed.

We study simplicity and stability in some large strongly homogeneous expansions of Hilbert spaces. Our approach to simplicity is that of Buechler and Lessmann 69). All structures we consider are shown to have built-in canonical bases.

We study randomizations of definable groups. Whenever the underlying theory is stable or NIP and the group is definably amenable, we show its randomization is definably connected.

We generalize Shelah's analysis of cardinality quantifiers for a superstable theory from Chapter V of Classification Theory and the Number of Nonisomorphic Models. We start with a set of bounds for the cardinality of each formula in some general invariant family of formulas in a superstable theory (in Classification Theory, a uniform family of formulas is considered) and find a set of derived bounds for all formulas. The set of derived bounds is sharp: up to a technical restriction, every model (...) that satisfies the original bounds has a sufficiently saturated elementary extension that satisfies the original bounds and such that for each formula the set of its realizations in the extension has arbitrarily large cardinality below the corresponding derived bound of the formula. (shrink)

We show that type-definable subgroups of measure algebras are definable.

We generalize tools and results from first order stable theories to groups inside a simple stable strongly homogeneous model.

We study global dynamical properties of the isometry group of the Borel randomization of a separable complete structure. We show that if properties such as the Rokhlin property, topometric generics, and extreme amenability hold for the isometry group of the structure, then they also hold in the isometry group of the randomization.

Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) characterize forking and canonical bases of types in the expansion. We also analyze the effect these expansions have on one‐basedness and CM‐triviality. In the one‐based case, when T has SU‐rank and the SU‐rank is continuous, we take to be the type of elements of SU‐rank and we describe a natural “geometry of generics modulo H” associated with such expansions and show it is modular. (shrink)

We interpret the algebra of finite rank operators as imaginaries inside a Hilbert space. We prove that the Hilbert space enlarged with these imaginaries has built-in canonical bases.

We study Hilbert spaces expanded with a unitary operator with a countable spectrum. We show that the theory of such a structure is ω -stable and admits quantifier elimination.

We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

This is an expanded and thoroughly revised edition of the widely adopted introduction to the philosophical foundations of the human sciences. Ranging from cultural anthropology to mathematical economics, Alexander Rosenberg leads the reader through behaviorism, naturalism, interpretativism about human action, and macrosocial scientific perspectives, illuminating the motivation and strategy of each.Rewritten throughout to increase accessibility, this new edition retains the remarkable achievement of revealing the social sciences’ enduring relation to the fundamental problems of philosophy. It includes new discussions of (...) positivism, European philosophy of history, causation, statistical laws, quantitative models, and postempiricist social science, along with a completely updated literature guide that keys chapters to widely anthologized papers. (shrink)

While it might seem prima facie plausible that divine foreknowledge is all that is needed for prophecy, this seems incorrect. To issue a prophecy, God hasto know not just how someone will act, but how someone would act were the prophecy issued. This makes some think that Middle Knowledge is required.I argue that Thomas Flint’s two Middle Knowledge based accounts of prophecy are unsatisfactory, but one of them can be repaired. However the resources needed for repair also yield a sketch (...) of a foreknowledge-only account of prophecy. (shrink)

Argues that Nietzsche tried to create a specific literary character in his writings and discusses the paradoxes of his work.

Researchers are often faced with attempting to estimate a correlation based on the aggregation of sample rs either from several samples or from repeated measures within a single sample. The usual approach is either to average the observed correlations or to average the Fisher’s z- transformed rs and to back-transform the average z value. This note describes a minimum-variance unbiased estimator for the situation that is superior to either approach and is also simple to compute.

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

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)

Some combinations of attitudes--of beliefs, credences, intentions, preferences, hopes, fears, and so on--do not fit together right: they are incoherent. A natural idea is that there are requirements of "structural rationality" that forbid us from being in these incoherent states. Yet a number of surprisingly difficult challenges arise for this idea. These challenges have recently led many philosophers to attempt to minimize or eliminate structural rationality, arguing that it is just a "shadow" of "substantive rationality"--that is, correctly responding to one's (...) reasons. -/- In *Fitting Things Together*, Alex Worsnip pushes back against this trend--defending the view that structural rationality is a genuine kind of rationality, distinct from and irreducible to substantive rationality, and tackling the most important challenges for this view. In so doing, he gives an original positive theory of the nature of coherence and structural rationality that explains how the diverse range of instances of incoherence can be unified under a general account, and how facts about coherence are normatively significant. He also shows how a failure to focus on coherence requirements as a distinctive phenomenon and distinguish them adequately from requirements of substantive rationality has led to confusion and mistakes in several substantive debates in epistemology and ethics. -/- Taken as a whole, Fitting Things Together provides the first sustained defense of the view that structural rationality is a genuine, autonomous, unified, and normatively significant phenomenon. (shrink)

How did vanilla, once a rare luxury, become a global sensation? Rather than taking the vanilla flavor of vanilla beans as a pre-existing natural fact, this essay argues that the sensory experience that came to be recognized as vanilla was a hybrid artifact produced by an expanding global trade in a diverse set of pleasurable substances, including cured beans from artificially pollinated vanilla orchids, synthetic vanillin, sugar, and a far-flung miscellany of other botanical and chemical materials. Global trade and large-scale (...) production resulted not in the production of a homogenous, stable commodity, but in a range of local vanillas, heterogeneous mixtures with a range of qualities and virtues. As local commercial and regulatory interests competed to define the origins, and thus the market value, of authentic vanilla flavor, scientific experts were called upon to adjudicate these rival claims. In the United States, these debates played out in the context of the 1906 Pure Food and Drug Act, where efforts to define and chemically enforce a ‘standard’ vanilla extract, in contradistinction from adulterated, ‘imitation’ extracts, clashed with the interests of makers and users of both synthetic and ‘genuine’ vanilla flavorings. As regulatory chemists grappled with the growing variety of vanillas, they were required to determine the appropriate chemical components of genuine vanilla, and consequently to delimit the subjective sensory effects proper to the flavor. Nonetheless, the materials, experiences, and meanings popularly associated with vanilla flavor continued to exceed the limits prescribed by officials. (shrink)

Professional philosophers and advanced students working in metaphysics and the philosophy of science will find this book both provocative and stimulating.

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

The present study investigated whether individual differences between psychologists in thinking styles are associated with accuracy in diagnostic classification. We asked novice and experienced clinicians to classify two clinical cases of clients with two co-occurring psychological disorders. No significant difference in diagnostic accuracy was found between the two groups, but when combining the data from novices and experienced psychologists accuracy was found to be negatively associated with certain decision making strategies and with a higher self-assessed ability and preference for a (...) rational thinking style. Our results underscore the idea that it might be fruitful to look for explanations of differences in the accuracy of diagnostic judgments in individual differences between psychologists (such as in thinking styles or decision making strategies used), rather than in experience level. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

In this paper, I explore a fundamental but under-appreciated distinction between two ways of understanding the desire-satisfaction theory of well-being. According to proactive desire satisfactionism, a person is benefited by the acquisition of new satisfied desires. According to reactive desire satisfactionism, a person can be benefited only by the satisfaction of their existing desires. I first offer an overview of this distinction. I then canvass several ways of developing a general formulation of desire satisfactionism that would capture the reactive view, (...) and argue that all come with significant costs. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

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)

A collection of essays by Alexander Rosenberg, the distinguished philosopher of science. The essays cover three broad areas related to Darwinian thought and naturalism: the first deals with the solution of philosophical problems such as reductionism, the second with the development of social theories, and the third with the intersection of evolutionary biology with economics, political philosophy, and public policy. Specific papers deal with naturalistic epistemology, the limits of reductionism, the biological justification of ethics, the so-called 'trolley problem' in (...) moral philosophy, the political philosophy of biological endowments, and the Human Genome Project and its implications for policy. Rosenberg's important writings on a variety of issues are here organized into a coherent philosophical framework which promises to be a significant and controversial contribution to scholarship in many areas. (shrink)

This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

The first part of this paper argues that if Craver’s ([2007a], [2007b]) popular mutual manipulability account (MM) of mechanistic constitution is embedded within Woodward’s ([2003]) interventionist theory of causation--for which it is explicitly designed--it either undermines the mechanistic research paradigm by entailing that there do not exist relationships of constitutive relevance or it gives rise to the unwanted consequence that constitution is a form of causation. The second part shows how Woodward’s theory can be adapted in such a way that (...) (MM) neither undermines the mechanistic paradigm nor reduces constitution to causation. However, it turns out that this modified theoretical embedding of (MM) makes it impossible to produce empirical evidence for constitutive relations. The paper ends by suggesting an additional criterion, the fat-handedness criterion, which, when combined with (MM), generates indirect empirical evidence for constitutive relevance. (shrink)

Could it be true that even though we as a group ought to do something, you as an individual ought not to do your part? And under what conditions, in particular, could this happen? In this article, I discuss how a certain kind of case, introduced by David Copp, illustrates the possibility that you ought not to do your part even when you would be playing a crucial causal role in the group action. This is because you may have special (...) agent-relative reasons against participating that are not shared by the group as a whole. I defend the claim that these are indeed cases in which you ought not to do your part in what the group ought to do. I then argue that we can expect these cases to produce a troubling kind of rational conflict. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (shrink)

Nulle part dans son oeuvre Aristote n'avait traite de la notion de providence. C'est a Alexandre d'Aphrodise, exegete du corpus aristotelicien qui vecut au III siecle que nous devons la tentative originale d'aborder la question du destin et de la providence selon les principes et les methodes du Stagirite. La presente edition, fruit d'un inestimable travail de recherche philologique, riche d'un apparat critique complet, presente un etat des lieux des connaissances sur l'auteur et commente ce texte longtemps meconnu ou se (...) melent les pensees grecques et arabes. La longue introduction fournit une abondante documentation, notamment sur l'identite d'Alexandre d'Aphrodise et propose une liste exhaustive de ses oeuvres, assorties a chaque fois d'un bref commentaire, tant pour les ecrits en grec que pour ceux dont seule la traduction arabe nous est parvenue. De riches commentaires philosophiques donnent tous les elements pour comprendre la portee de ce texte aux influences multiples. Cette edition est en outre dotee d'un stemma, d'une bibliographie, d'un index verborum et d'un index nominum. (shrink)