The following conjecture is due to Shelah–Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non‐trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.

This paper looks at philosophical questions that arise in the context of AI alignment. It defends three propositions. First, normative and technical aspects of the AI alignment problem are interrelated, creating space for productive engagement between people working in both domains. Second, it is important to be clear about the goal of alignment. There are significant differences between AI that aligns with instructions, intentions, revealed preferences, ideal preferences, interests and values. A principle-based approach to AI alignment, which combines these elements (...) in a systematic way, has considerable advantages in this context. Third, the central challenge for theorists is not to identify ‘true’ moral principles for AI; rather, it is to identify fair principles for alignment that receive reflective endorsement despite widespread variation in people’s moral beliefs. The final part of the paper explores three ways in which fair principles for AI alignment could potentially be identified. (shrink)

Those who wish to claim that all facts about grounding are themselves grounded (“the meta-grounding thesis”) must defend against the charge that such a claim leads to infinite regress and violates the well-foundedness of ground. In this paper, we defend. First, we explore three distinct but related notions of “well-founded”, which are often conflated, and three corresponding notions of infinite regress. We explore the entailment relations between these notions. We conclude that the meta-grounding thesis need not lead to tension with (...) any of the three notions of “well-founded”. Finally, we explore the details of and motivations for further conditions on ground that one might add to generate a conflict between the meta-grounding thesis and a well-founded constraint. We explore these topics by developing and utilizing a formal framework based on the notion of a grounding structure. (shrink)

We look at recent accounts of the indefinite extensibility of the concept set and compare them with a certain linguistic model of indefinite extensibility. We suggest that the linguistic model has much to recommend over alternative accounts of indefinite extensibility, and we defend it against three prima facie objections.

Effective altruism is a philosophy and a social movement that aims to revolutionise the way we do philanthropy. It encourages individuals to do as much good as possible, typically by contributing money to the best-performing aid and development organisations. Surprisingly, this approach has met with considerable resistance among activists and aid providers who argue that effective altruism is insensitive to justice insofar as it overlooks the value of equality, urgency and rights. They also hold that the movement suffers from methodological (...) bias, reaching mistaken conclusions about how best to act for that reason. Finally, concerns have been raised about the ability of effective altruism to achieve systemic change. This article weighs the force of each objection in turn, and looks at responses to the challenge they pose. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some of the (...) uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, heretics (...) have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

Groups are ubiquitous in our lives. But while some of them are highly structured and appear to support a shared intentionality and even a shared agency, others are much less cohesive and do not seem to demand much of their individual members. Queues, for example, seem to be, at a given time, nothing over and above some individuals as they exemplify a certain spatial arrangement. Indeed, the main aim of this paper is to develop the more general thought that at (...) a given time, a group is nothing over and above some individual members as they exemplify a certain complex condition. The general conception of groups that emerges is able to accommodate a variety of constraints on a reasonable answer to the question of what are groups. (shrink)

I would like to discuss the claim that the resources of plural reference and plural quantification are sufficient for the purpose of paraphrasing all ordinary statements apparently concerned with composite material objects into plural statements concerned exclusively with simples.

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

When viewed as the most comprehensive theory of collections, set theory leaves no room for classes. But the vocabulary of classes, it is argued, provides us with compact and, sometimes, irreplaceable formulations of largecardinal hypotheses that are prominent in much very important and very interesting work in set theory. Fortunately, George Boolos has persuasively argued that plural quantification over the universe of all sets need not commit us to classes. This paper suggests that we retain the vocabulary of classes, but (...) explain that what appears to be singular reference to classes is, in fact, covert plural reference to sets. (shrink)

This paper takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

ABSTRACT This essay has three goals. The first is to introduce the notion of fundamentality and to argue that physicalism can usefully be conceived of as a thesis about fundamentality. The second is to argue for the advantages of fundamentality physicalism over modal formulations and that fundamentality physicalism is what many who endorse modal formulations of physicalism had in mind all along. Third, I describe what I take to be the main obstacle for a fundamentality-oriented formulation of physicalism: ‘the problem (...) of abstracta’, which asks how physical can accommodate phenomena such as mathematics and universals, and which modal formulations do not face. I canvas three solutions: the inapt for ground solution, the concrete restriction, and the contingency restriction. (shrink)

Warfare is becoming increasingly automated, from automatic missile defense systems to micro-UAVs (WASPs) that can maneuver through urban environments with ease, and each advance brings with it ethical questions in need of resolving. Proponents of lethal autonomous weapons systems (LAWS) provide varied arguments in their favor; robots are capable of better identifying combatants and civilians, thus reducing "collateral damage"; robots need not protect themselves and so can incur more risks to protect innocents or gather more information before using deadly force; (...) robots can assess situations more quickly and do so without emotion, reducing the likelihood of fatal mistakes due to human error; and sending robots to war protects our own soldiers from harm. However, these arguments only point in favor of autonomous weapons systems, failing to demonstrate why such systems need be made *lethal*. In this paper I argue that if one grants all of the proponents' points in favor of LAWS, then, contrary to what might be expected, this leads to the conclusion that it would be both immoral and illegal to deploy *lethal* autonomous weapons, because the many features that speak in favor of them also undermine the need for them to be programmed to take lives. In particular, I argue that such systems, if lethal, would violate the moral and legal principle of necessity, which forbids the use of weapons that impose superfluous injury or unnecessary harm. I conclude by highlighting that the argument is not against autonomous weapons per se, but only against *lethal* autonomous weapons. (shrink)

Confirmation bias has been widely studied for its role in failures of reasoning. Individuals exhibiting confirmation bias fail to engage with information that contradicts their current beliefs, and, as a result, can fail to abandon inaccurate beliefs. But although most investigations of confirmation bias focus on individual learning, human knowledge is typically developed within a social structure. We use network models to show that moderate confirmation bias often improves group learning. However, a downside is that a stronger form of confirmation (...) bias can hurt the knowledge producing capacity of the community. (shrink)

The doctrine that whatever could exist does exist leads to a proliferation of possibly concrete objects given certain principles of recombination. If, for example, there could have been a large infinite number of concrete objects, then there is at least the same number of possibly concrete objects in existence. And further cardinality considerations point to a tension between the preceding doctrine and the Cantorian conception of the absolutely infinite. This paper develops a parallel problem for a variety of possible worlds (...) accounts of modality which eschew the commitment to a plethora of possibly concrete objects. Moreover, the difficulty is importantly different from more familiar threats of paradox exemplified by certain descendants of Russell's paradox of propositions and Kaplan's paradox. (shrink)

This biography of Emil du Bois-Reymond, the most important forgotten intellectual of the nineteenth century, received an Honorable Mention for History of Science, Medicine, and Technology at the 2013 PROSE Awards, was shortlisted for the 2014 John Pickstone Prize (Britain's most prestigious award for the best scholarly book in the history of science), and was named by the American Association for the Advancement of Science as one of the Best Books of 2014. -/- In his own time (1818–1896) du Bois-Reymond (...) grew famous for his groundbreaking research in neuroscience and his provocative addresses on politics and culture. His discovery of the electrical transmission of nerve signals, his innovations in laboratory instrumentation, and his reductionist methodology all helped lay the foundations of modern neuroscience. -/- In addition to describing the pioneering experiments that earned du Bois-Reymond a seat in the Prussian Academy of Sciences and a professorship at the University of Berlin, this book also recounts du Bois-Reymond’s family origins, private life, public service, and lasting influence. In talks that touched on science, philosophy, history, and literature, du Bois-Reymond introduced Darwin to German students (triggering two days of debate in the Prussian parliament), asked on the eve of the Franco-Prussian War whether France had forfeited its right to exist, and proclaimed the mystery of consciousness, heralding the age of doubt. The first modern biography in any language, "Emil du Bois-Reymond" recovers an important chapter in the history of science, the history of ideas, and the history of Germany. (shrink)

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

Identity is a modally inflexible relation: two objects are necessarily identical or necessarily distinct. However, identity is not alone in this respect. We will look at the relation that one object bears to some objects if and only if it is one of them. In particular, we will consider the credentials of the thesis that no matter what some objects are, an object is necessarily one of them or necessarily not one of them.

Do mereological fusions have their parts necessarily? None of the axioms of non-modal formulations of classical mereology appear to speak directly to this question. And yet a great many philosophers who take the part-whole relation to be governed by classical mereology seem to assume that they do. In addition to this, many philosophers who make allowance for the part-whole relation to obtain merely contingently between a part and a mereological fusion tend to depart from non-modal formulations of classical mereology at (...) least when it comes to the axiom of Unique Fusion, which states that no two different mereological fusions ever fuse exactly the same objects. This is no coincidence. There are reasons of principle why one’s adherence to classical mereology should exert some pull towards the view that mereological fusions have their parts necessarily. There is, however, no direct route from the combination of classical mereology and propositional modal logic to the hypothesis that the part-whole relation obtains necessarily between a part and a mereological fusion. In order to bridge between a modal formulation of classical mereology and the hypothesis that fusions have their parts necessarily, one needs to strengthen the axiom of Unrestricted Fusion in a way that is agreeable to many philosophers on both sides of the debate. (shrink)

We shall introduce in this paper a language whose formulas will be interpreted by games of imperfect information. Such games will be defined in the same way as the games for first-order formulas except that the players do not have complete information of the earlier course of the game. Some simple logical properties of these games will be stated together with the relation of such games of imperfect information to higher-order logic. Finally, a set of applications will be outlined.

In this paper, I first explore Hegel’s own distinctions between various types of idealism, most of which he explicitly rejects. I discuss his notions of subjective, transcendental and absolute idealism and present the outlines of his criticisms of the first two as well as the motivation behind his commitment to a version of absolute idealism. In particular, I argue that the latter does not share the defining features of what is now commonly called ‘idealism’, as Hegel neither denies the existence (...) of an external world nor even holds that we can only somehow indirectly infer the truth of propositions about the external world from the structure of some given mental material. I give a basic account of what Hegel’s concept of ‘the absolute idea’ is about, which lies behind his absolute idealism. In this context, I maintain that it is crucial for our understanding of Hegel and of his potential relevance for contemporary metaphysics and epistemology that the absolute idea is precisely not a mental or ‘spiritual’ (geistig) entity. Rather, it amounts to a set of methodological assumptions designed to guarantee the overall intelligibility of what there is, regardless of its actual natural, social or more broadly normative structure. (shrink)

Thought: A Journal of Philosophy, EarlyView.

To achieve impact, academics need to create personal impact development plans, focused on what and on whom to have an impact and the necessary competencies to do so. Profession and university leaders play a critical role in the successful implementation of such plans.

The prelims comprise: To Kalon as Effective Teleological Order The Visibility of the Fine Pleasure and Praise The Value of the Fine Conclusion Acknowledgments Notes References Further reading.

Agents can think using concepts they do not fully understand. This paper investigates the question “Under what conditions does a thinker fully understand, or have mastery of, a concept?” I lay out a gauntlet of problems and desiderata with which any theory of concept mastery must cope. I use these considerations to argue against three views of concept mastery, according to which mastery is a matter of holding certain beliefs, being disposed to make certain inferences, or having certain intuitions. None (...) of these attitudes is either necessary or sufficient for mastery. I propose and respond to objections to my own recognition view of the conditions under which a thinker has mastery of a concept. (shrink)

This chapter contains section titled: Beauty and Goodness Patterns of Beautiful Poetry Human Excellence and the Standard of Poetic Beauty Moral Psychology Love of Beauty and Being Just Conclusion.

Während die Bedeutung Freges für die Philosophie der Gegenwart, soweit sich diese der analytischen Philosophie verpflichtet fühlt, allgemeine Anerkennung gefunden hat, ist seine Stellung innerhalb der eigenen Zeit noch weitgehend unaufgeklärt geblieben. So herrscht die Auffassung vor, Frege habe seine Ideen ganz aus sich selbst oder geradezu im Gegensatz zur deutschen philosophischen Tradition seiner Zeit gewonnen. Bei genauerer Textanalyse weisen Freges Schriften dagegen vielfältige Beziehungen zur zeitgenössischen Logik, Erkenntnistheorie, Sprachphilosophie und Philosophie der Mathematik auf, so dass bei ihm von einem (...) Bruch mit der kontinentalen Philosophie nicht die Rede sein kann. Weil die historischen Voraussetzungen unberücksichtigt geblieben sind, ist ein unzutreffendes Bild von Freges Einsichten entstanden. Dieses Bild wird durch die Entfaltung des historischen Kontextes korrigiert. Bestimmend ist dabei ein problemorientierter Zugang, der sich systematischer Bewertungen und Weiterführungen nicht enthält. (shrink)

A hugely important book that rediscovers three crucial, but long overlooked themes in German idealism: mythology, madness and laughter.

The standard model of precedential constraint holds that a court is equally free to modify a precedent of its own and a precedent of a superior court—overruling aside, it does not differentiate horizontal and vertical precedents. This paper shows that no model can capture the U.S. doctrine of precedent without making that distinction. A precise model is then developed that does just that. This requires situating precedent cases in a formal representation of a hierarchical legal structure, and adjusting the constraint (...) that a precedent imposes based on the relationship of the precedent court and the instant court. The paper closes with suggestions for further improvements of the model. (shrink)

We show that if a first-order structure${\cal M}$, with universe ℤ, is an expansion of (ℤ,+,0) and a reduct of (ℤ,+,<,0), then${\cal M}$must be interdefinable with (ℤ,+,0) or (ℤ,+,<,0).

This paper looks at the question of what regions of space are possibly exactly occupied by a material object.

In this article I ask what recent moral psychology and neuroscience can and can’t claim to have discovered about morality. I argue that the object of study of much recent work is not morality but a particular kind of individual moral judgment. But this is a small and peculiar sample of morality. There are many things that are moral yet not moral judgments. There are also many things that are moral judgments yet not of that particular kind. If moral things (...) are various and diverse, then empirical research about one kind of individual moral judgment doesn’t warrant theoretical conclusions about morality in general. If that kind of individual moral judgment is a peculiar and rare thing, then it is not obvious what it tells us about other moral things. What is more, it is not obvious what its theoretical importance is to begin with—that is, why we should care about it at all. In light of these arguments, I call for a pluralism of methods and objects of inquiry in the scientific investigation of morality, so that it transcends its problematic overemphasis on a particular kind of individual moral judgment. (shrink)

According to Frank Jackson’s famous knowledge argument, Mary, a brilliant neuroscientist raised in a black and white room and bestowed with complete physical knowledge, cannot know certain truths about phenomenal experience. This claim about knowledge, in turn, implies that physicalism is false. I argue that the knowledge argument founders on a dilemma. Either (i) Mary cannot know the relevant experiential truths because of trivial obstacles that have no bearing on the truth of physicalism or (ii) once the obstacles have been (...) removed, Mary can know the relevant truths. If we give Mary the epistemological capabilities necessary to draw metaphysical conclusions about physicalism, she will, while trapped in the black and white room, be able to know every truth about phenomenal experience. (shrink)

In NIP theories, generically stable Keisler measures can be characterized in several ways. We analyze these various forms of “generic stability” in arbitrary theories. Among other things, we show that the standard definition of generic stability for types coincides with the notion of a frequency interpretation measure. We also give combinatorial examples of types in NSOP theories that are finitely approximated but not generically stable, as well as ϕ-types in simple theories that are definable and finitely satisfiable in a small (...) model, but not finitely approximated. Our proofs demonstrate interesting connections to classical results from Ramsey theory for finite graphs and hypergraphs. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

It is shown how frege's problematic connection between truth-Value and "bedeutung" (of a sentence) becomes more plausible when set against the background of german language and philosophy, Especially by comparing frege's position with the value-Theoretical school of neo-Kantianism (w windelband).

We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.

We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type p over a set B does not divide over $C\subseteq B$, then no extension of p to a complete type over $\operatorname {acl}(B)$ divides over C. Two of our examples are also the first known theories where all sets are extension bases for nonforking, but forking and dividing differ for complete types (answering a question of Adler). One example is an $\mathrm {NSOP}_1$ theory (...) with a complete type that forks, but does not divide, over a model (answering a question of d’Elbée). Moreover, dividing independence fails to imply M-independence in this example (which refutes another folklore claim). In addition to these counterexamples, we summarize various related properties of dividing that are still true. We also address consequences for previous literature, including an earlier unpublished result about forking and dividing in free amalgamation theories, and some claims about dividing in the theory of generic $K_{m,n}$ -free incidence structures. (shrink)