Assume that the class of partial automorphisms of the monster model of a complete theory has the amalgamation property. The beautiful automorphisms are the automorphisms of models ofT which: 1. are strong, i.e. leave the algebraic closure (inT eq) of the empty set pointwise fixed, 2. are obtained by the Fraïsse construction using the amalgamation property that we have just mentioned. We show that all the beautiful automorphisms have the same theory (in the language ofT plus one unary function symbol (...) for the automorphism), and we study this theory. In particular, we examine the question of the saturation of the beautiful automorphisms. We also prove that in some cases (in particular if the theory is ω-stable andG-trivial), almost all (in the sense of Baire categoricity) automorphisms of the saturated countable model are beautiful and conjugate. (shrink)

We give a characterisation of forking in the context of simple theories in terms of the fundamental order.

We associate with every first order structure [Formula: see text] a family of invariant, locally Noetherian topologies. The structure is almost determined by the topologies, and properties of the structure are reflected by topological properties. We study these topologies in particular for stable structures. In nice cases, we get a behaviour similar to the Zariski topology in algebraically closed fields.

Let M be a countable saturated structure, and assume that D(ν) is a strongly minimal formula (without parameter) such that M is the algebraic closure of D(M). We will prove the two following theorems: Theorem 1. If G is a subgroup of $\operatorname{Aut}(\mathfrak{M})$ of countable index, there exists a finite set A in M such that every A-strong automorphism is in G. Theorem 2. Assume that G is a normal subgroup of $\operatorname{Aut}(\mathfrak{M})$ containing an element g such that for all (...) n there exists $X \subseteq D(\mathfrak{M})$ such that $\operatorname{Dim}(g(X)/X) > n$. Then every strong automorphism is in G. (shrink)

The 1996 European Summer Meeting of the Association of Symbolic Logic was held held the University of the Basque Country, at Donostia (San Se bastian) Spain, on July 9-15, 1996. It was organised by the Institute for Logic, Cognition, Language and Information (ILCLI) and the Department of Logic and Philosophy of Sciences of the University of the Basque Coun try. It was supported by: the University of Pais Vasco/Euskal Herriko Unib ertsitatea, the Ministerio de Education y Ciencia (DGCYT), Hezkuntza Saila (...) (Eusko Jaurlaritza), Gipuzkoako Foru Aldundia, and Kuxta Fun dazioa. The main topics of the meeting were Model Theory, Proof Theory, Re cursion and Complexity Theory, Models of Arithmetic, Logic for Artifi cial Intelligence, Formal Semantics of Natural Language and Philosophy of Contemporary Logic. The Program Committee consisted of K. Ambos Spies (Heidelberg), J.L. Balcazar (Barcelona), J.E. Fenstad (Oslo), D. Israel (Stanford), H. Kamp (Stuttgart), R. Kaye (Birmingham), J.M. Larrazabal (San Sebastian), D. Lascar (Paris, chairman), A. Marcja (Firenze), G. Mints (Stanford), M. Otero (Madrid), S. Ronchi della Rocca (Torino), K. Segerberg (Uppsala) and L. Vega (Madrid). The organizing Committee consisted of X. Arrazola (San Sebastian), A. Arrieta (San Sebastian), R. Beneyeto (Valencia), B. Carrascal (San Se bastian), K. Korta (San Sebastian), J.M. Larrazabal (San Sebastian, chair man), J.C. Martinez (Barcelona), J.M. Mendez (Salamanca), F. Migura (Victoria) and J. Perez (Victoria). (shrink)

We prove that has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank ω. Additionally, our methods yield other superstable expansions such as equipped with the set of factorial elements.

It is common to hear talk of the aim of belief and to find philosophers appealing to that aim for numerous explanatory purposes. What belief 's aim explains depends, of course, on what that aim is. Many hold that it is somehow related to truth, but there are various ways in which one might specify belief 's aim using the notion of truth. In this article, by considering whether they can account for belief 's standard of correctness and the epistemic (...) norms governing belief, I argue against certain prominent specifications of belief 's aim given in terms of truth, and advance a neglected alternative. (shrink)

Simon May has argued that the notion of a principled compromise is incoherent. Reasons to compromise are always in his view strategic: though we think that the position we defend is still the right one, we compromise on this view in order to avoid the undesirable consequences that might flow from not compromising. I argue against May that there are indeed often principled reasons to compromise, and that these reasons are in fact multiple. First, compromises evince respect for persons that (...) we have reason to think of as our epistemic peers, and acknowledgement of our own finitudes as moral reasoners. Second, compromises are often made morally necessary by the shortfalls that unavoidably separate democratic institutions from democratic ideals. Third, compromises express a desirable form of democratic community. And fourth, compromises are often justified from a consequentialist point of view, in that they allow for the realization of values that would not be realized as well by the failure to compromise. (shrink)

Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits (...) of knowledge; and they allow Plato to co-opt cultural authority as a way of defining and legitimating the practice of philosophy. Platonic myth, as a species of traditional tale, is thus both distinct from philosophical dialectic and similar to it. Ultimately, the most powerful effect of Platonic myth is the way in which it leads readers to participate in Plato's dialogues and to engage in a process of self-examination. (shrink)

This paper defends the epistemic account of the normativity of requests. The epistemic account says that a request does not create any reasons and thus does not have any special normative power. Rather, a request gives reasons by revealing information which is normatively relevant. I argue that compared to competing accounts of request normativity, especially those of David Enoch and James H.P. Lewis, the epistemic account gives better answers to cases of insincere requests, is simpler, and does a better job (...) incorporating the importance of relationships. I also defend the epistemic account from three objections: that requests are important because they constitute consent, that requests and wishes must be normatively different, and that some requests do not provide any new information. (shrink)

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters in ways that are morally objectionable, (...) and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

I ask you to X. You now have a reason to X. My request gave you a reason. How? One unpopular theory is the epistemic account, according to which requests do not create any new reasons but instead simply reveal information. For instance, my request that you X reveals that I desire that you X, and my desire gives you a reason to X. Peter Schaber has recently attacked both the epistemic account and other theories of the reason-giving force of (...) requests. Schaber defends a new theory of the reason-giving force of requests according to which request give reasons because it is valuable for requesters and requestees that requests have this power. In this paper I argue that Schaber's attack on the epistemic account fails, and that his own theory ought to be rejected because it faces compelling objections. (shrink)

“X-Firsters” hold that there is some normative feature that is fundamental to all others (and, often, that there’s some normative feature that is the “mark of the normative”: all other normative properties have it, and are normative in virtue of having it). This view is taken as a starting point in the debate about which X is “on first.” Little has been said about whether or why we should be X-Firsters, or what we should think about normativity if we aren’t (...) X-Firsters. Hence the chapter’s two main goals. First, to provide a simple argument that one shouldn’t be an X-Firster about the normative domain, which starts with the observation that analogous views have dubious merits in analogous domains. Second, to offer an alternative view—taking normativity to be a determinable explained in terms of its determinates—that offers an interesting way to think about the structure and unity of normativity. (shrink)

Motion—and, in particular, local motion or change in location—plays a central role in Kenelm Digby’s natural philosophy and in his arguments for the immateriality of the soul. Despite this, Digby’s account of what motion consists in has yet to receive much scholarly attention. In this paper, I advance a novel interpretation of Digby on motion. According to it, Digby holds that for a body to move is for it to divide from and unify with other bodies. This is a view (...) of motion—as change in relations of parthood—that Alison Peterman attributes to Digby’s contemporary and acquaintance, Margaret Cavendish. Having shown that Digby’s presentation of the view predates Cavendish’s by more than a decade, I make a case that Digby’s work influenced Cavendish’s on this topic. In developing and defending my reading, I consider to what extent the Digbean account of motion and the arguments for it accord with the ideals of the mechanical philosophy emerging in the early modern period. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things worse for (...) minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

Abstract This paper offers an appraisal of Phillip Pettit's approach to the problem how a merely finite set of examples can serve to represent a determinate rule, given that indefinitely many rules can be extrapolated from any such set. I argue that Pettit's so-called ethnocentric theory of rule-following fails to deliver the solution to this problem he sets out to provide. More constructively, I consider what further provisions are needed in order to advance Pettit's general approach to the problem. I (...) conclude that what is needed is an account that, whilst it affirms the view that agents' responses are constitutively involved in the exemplification of rules, does not allow such responses the pride of place they have in Pettit's theory. (shrink)

This book is a study of the role of intellect in human action as described by Thomas Aquinas. One of its primary aims is to compare the interpretation of Aristotle by Aquinas with the lines of interpretation offered in contemporary Aristotelian scholarship. The book seeks to clarify the problems involved in the appropriation of Aristotle's theory by a Christian theologian, including such topics as the practical syllogism and the problems of akrasia. Westberg argues that Aquinas was much closer to Aristotle (...) than is often recognized, and he puts forward important new interpretations of the relation of intellect and will in the stages of intention, deliberation, decision, and execution. In the concluding section of the book, he shows how this new interpretation yields fruitful insights on a range of theological topics, including sin, law, love, and the moral virtues. (shrink)

Mandatory minimum sentencing provisions have been a feature of the U.S. justice system since 1790. But they have expanded considerably under the war on drugs, and their use has expanded considerably under the Trump Administration; some states are also poised to expand drug-related mandatory minimums further in efforts to fight the current opioid epidemic. In this paper I outline and evaluate three prominent arguments for and against the use of mandatory minimums in the war on drugs—they appeal, respectively, to proportionality, (...) consistency, and efficiency. I ultimately defend the view that the use of mandatory minimums in the war on drugs is unjust. -/- . (shrink)

This paper aims to understand Hegel’s claim in the introduction to his Philosophy of Mind that mind is an actualization of the Idea and argues that this claim provides us with a novel and defensible way of understanding Hegel’s naturalism. I suggest that Hegel’s approach to naturalism should be understood as ‘formal’, and argue that Hegel’s Logic, particularly the section on the ‘Idea’, provides us with a method for this approach. In the first part of the paper, I present an (...) interpretation of Hegel’s method in which life plays a central role. In the second part of the paper, I develop Hegel’s method by providing a reading of Hegel’s Subjective Spirit, focusing on the sections ‘Anthropology’ and ‘Phenomenology’ in particular, arguing that they display the dialectic between life and cognition outlined by Hegel’s Idea. (shrink)

This paper aims to understand Hegel’s claim in the introduction to his Philosophy of Mind that mind is an actualization of the Idea and argues that this claim provides us with a novel and defensible way of understanding Hegel’s naturalism. I suggest that Hegel’s approach to naturalism should be understood as ‘formal’, and argue that Hegel’s Logic, particularly the section on the ‘Idea’, provides us with a method for this approach. In the first part of the paper, I present an (...) interpretation of Hegel’s method in which life plays a central role. In the second part of the paper, I develop Hegel’s method by providing a reading of Hegel’s Subjective Spirit, focusing on the sections ‘Anthropology’ and ‘Phenomenology’ in particular, arguing that they display the dialectic between life and cognition outlined by Hegel’s Idea. (shrink)