We work in the context of ω-stable theories. We obtain a natural, algebraic equivalent of ENI-NDOP and discuss recent joint proofs with Shelah that if an ω-stable theory has either ENI-DOP or is ENI-NDOP and is ENI-deep, then the set of models of T with universe ω is Borel complete.

We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion $(M,A)$ by a unary predicate with the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class of elementary extensions of a fixed mutually algebraic (...) structure. (shrink)

We show that if a countable structure M in a finite relational language is not cellular, then there is an age-preserving $N \supseteq M$ such that $2^{\aleph _0}$ many structures are bi-embeddable with N. The proof proceeds by a case division based on mutual algebraicity.

We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure M. We prove that if T is a complete L-theory, then T is mutually algebraic if and only if there is some model M of T for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory T is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model M of T.

We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas.

Fix a weakly minimal (i.e. superstable U-rank 1) structure M. Let M∗ be an expansion by constants for an elementary substructure, and let A be an arbitrary subset of the universe M. We show that all formulas in the expansion (M∗,A) are equivalent to bounded formulas, and so (M,A) is stable (or NIP) if and only if the M-induced structure AM on A is stable (or NIP). We then restrict to the case that M is a pure abelian group with (...) a weakly minimal theory, and AM is mutually algebraic (equivalently, weakly minimal with trivial forking). This setting encompasses most of the recent research on stable expansions of (Z,+). Using various characterizations of mutual algebraicity, we give new examples of stable structures of the form (M,A). Most notably, we show that if (G,+) is a weakly minimal additive subgroup of the algebraic numbers, A⊆G is enumerated by a homogeneous linear recurrence relation with algebraic coefficients, and no repeated root of the characteristic polynomial of A is a root of unity, then (G,+,B) is superstable for any B⊆A. (shrink)

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show that a countable structure M is cellular if and only if M is \-categorical and mutually algebraic. Second, if a countable structure M in a finite relational language is mutually algebraic non-cellular, we show it admits an elementary extension adding infinitely many infinite MA-connected components. Towards these results, we introduce MA-presentations of a mutually algebraic structure, in which every atomic formula is mutually (...) algebraic. This allows for an improved quantifier elimination and a decomposition of the structure into independent pieces. We also show this decomposition is largely independent of the MA-presentation chosen. (shrink)

We sharpen Hájek’s Completeness Theorem for theories extending predicate product logic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi\forall}$$\end{document}. By relating provability in this system to embedding properties of ordered abelian groups we construct a universal BL-chain L in the sense that a sentence is provable from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi\forall}$$\end{document} if and only if it is an L-tautology. As well we characterize the class of lexicographic sums that have this universality property.

We study o-minimal expansions of Archimedean totally ordered groups. We first prove that any such expansion must be elementarily embeddable via a unique (provided some nonzero element is 0-definable) elementary embedding into a unique o-minimal expansion of the additive ordered group of real numbers R. We then show that a definable function in an o-minimal expansion of R enjoys good differentiability properties and use this to prove that an Archimedean real closed field is definable in any nonsemilinear expansion of R. (...) Combining these results, we obtain several restrictions on possible o-minimal expansions of arbitrary Archimedean ordered groups and in particular of the rational ordered group. (shrink)

We show that if T is a trivial uncountably categorical theory of Morley Rank 1 then T is model complete after naming constants for a model.

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

A countable, atomically stable structure U in a finite, relational language has fewer than 2 ω non-isomorphic substructures if and only if U is cellular. An example shows that the finiteness of the language is necessary.

We describe the Ax-Kochen definable subsets of the value group of a Hensel field and apply our results to a problem on identifying invariant factors in Hecke algebras.

We study classes of atomic models \ of a countable, complete first-order theory T. We prove that if \ is not \-small, i.e., there is an atomic model N that realizes uncountably many types over \\) for some finite \ from N, then there are \ non-isomorphic atomic models of T, each of size \.

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel complete reduct, and if a theory T is not $\omega $ -stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

We consider the question of when, given a subset A of M, the setwise stabilizer of the group of automorphisms induces a closed subgroup on Sym(A). We define s-homogeneity to be the analogue of homogeneity relative to strong embeddings and show that any subset of a countable, s-homogeneous, ω-stable structure induces a closed subgroup and contrast this with a number of negative results. We also show that for ω-stable structures s-homogeneity is preserved under naming countably many constants, but under slightly (...) weaker conditions it can be lost by naming a single point. (shrink)

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablity and show that this lies strictly between VC-minimality and dp-minimality. To do this we prove a general result about set systems with independence dimension ≤ 1. Next, we define the notion of weak VC-minimality, show it lies strictly between VC-minimality and dependence, and show that all unstable weakly VC-minimal theories interpret an infinite linear order. Finally, we define the notion full VC-minimality, (...) show that this lies strictly between weak o-minimality and VC-minimality, and show that theories that are fully VC-minimal have low VC-density. (shrink)

This article characterizes the varieties of four - dimensionalism and provides a critical overview of the main arguments in support of it.

This book examines the moral philosophy of Paul Ramsey--one of the 20th century's most influential ethicists--from a theological perspective illustrating that religion can still play a substantial role in our ongoing moral inquiries. Ramsey wrote prodigiously on ethical issues including politics, medical research, the Vietnam war, and nuclear proliferation. His ethical theory, which concentrates on divine love, or `agape, ' as well as justice and order, provides a middle ground between fundamentalism and secularism. Therefore, Ramsey's ethics will appeal to the (...) 21st-century social conscience. McKenzie grounds his theological exploration in a comprehensive history of the theological and philosophical influences on Ramsey's thought, including Jonathan Edwards' theory of natural morality. He also explores a multidisciplinary selection of Ramsey's writings. In conclusion, McKenzie argues that Ramsey's natural law theory will continue to have significant and increasing relevance for morality in the postmodern world. This is the most thorough study of Paul Ramsey's work as well as a significant contribution to philosophy and theology. (shrink)

Although there is a large literature on referentiality, going back to at least the nineteenth and early twentieth century, much of this early work is based on constructed data and most of it is on English. The chapters in this volume contribute to a growing body of work that examines referentiality through naturalistic data in context. Taking an interactional approach to (non)referentiality, contributors to this volume ask how participants talk in real time about persons and things as individuals or as (...) categories, and what distinguishes 'referential' from 'nonreferential', 'specific' from 'nonspecific', and 'generic' from 'nongeneric'. Crucially, we ask whether these distinctions even matter to participants in conversation, and if they do, what the evidence for that would be. Contributors investigate these issues using data from conversational interaction in a variety of social contexts - from close friends and family to more casual acquaintances, in service encounters, and between adults and children - and in a range of languages: English, Finnish, French, Indonesian, Japanese, and Mandarin. Collectively, the chapters develop insights showing that reference is often fluid, dynamic, and indeterminate, that referential indeterminacy is typically unproblematic for participants, that shifts in referentiality tend to be tied to specific social goals, and that reference and referentiality emerge dialogically and interactionally. (shrink)

This article challenges conventional readings of Michel Foucault by examining his fascination with neoliberalism in the late 1970s. Foucault did not critique neoliberalism during this period; rather, he strategically endorsed it. The necessary cause for this approval lies in the broader rehabilitation of economic liberalism in France during the 1970s. The sufficient cause lies in Foucault's own intellectual development: drawing on his long-standing critique of the state as a model for conceptualizing power, Foucault concluded, during the 1970s, that economic liberalism, (...) rather than “discipline,” was modernity's paradigmatic power form. Moreover, this article seeks to clarify the relationship between Foucault's philosophical antihumanism and his assessment of liberalism. Rather than arguing that Foucault's antihumanism precluded a positive appraisal of liberalism, or that the apparent reorientation of his politics in a more liberal direction in the late 1970s entailed a partial retreat from antihumanism, this article contends that Foucault's brief, strategic, and contingent endorsement of liberalism was possible precisely because he saw no incompatibility between antihumanism and liberalism—but only liberalism of the economic variety. Economic liberalism alone, and not its political iteration, was compatible with the philosophical antihumanism that is the hallmark of Foucault's thought. (shrink)

A detailed account of human language and evolution, reconciling the apparent dichotomy between humans and all other animals. Focuses on the speculative presence of a Generative Assembly Device, unique to Homo sapiens.

Abstract: In this article, I offer a proposal to clarify what I believe is the proper relation between value maximization and stakeholder theory, which I call enlightened value maximization. Enlightened value maximization utilizes much of the structure of stakeholder theory but accepts maximization of the long-run value of the firm as the criterion for making the requisite tradeoffs among its stakeholders, and specifies long-term value maximization or value seeking as the firm’s objective. This proposal therefore solves the problems that arise (...) from the multiple objectives that accompany traditional stakeholder theory. I also discuss the Balanced Scorecard, which is the managerial equivalent of stakeholder theory, explaining how this theory is flawed because it presents managers with a scorecard that gives no score—that is, no single-valued measure of how they have performed. Thus managers evaluated with such a system (which can easily have two dozen measures and provides no information on the tradeoffs between them) have no way to make principled or purposeful decisions. The solution is to define a true (single dimensional) score for measuring performance for the organization or division (and it must be consistent with the organization’s strategy), and as long as their score is defined properly, (and for lower levels in the organization it will generally not be value) this will enhance their contribution to the firm. (shrink)

In this critical examination of recent accounts of the nature of science and of its justification given by Kuhn, Popper, Lakatos, Laudan, and Newton-Smith, Banner contends that models of scientific rationality which are used in criticism of religious beliefs are in fact often inadequate as accounts of the nature of science. He argues that a realist philosophy of science both reflects the character of science and scientific justifications, and suggests that religious belief could be given a justification of the same (...) sort. (shrink)

My goal in this paper is to provide characterizations of matter, form and constituency in a way that avoids what I take to be the three main drawbacks of other hylomorphic theories: (i) commitment to the universal-particular distinction; (ii) commitment to a primitive or problematic notion of inherence or constituency; (iii) inability to identify viable candidates for matter and form in nature, or to characterize them in terms of primitives widely regarded to be intelligible.

To most people it seems obvious that there are major mental differences between ourselves and other species, but there is considerable debate over exactly how special our minds are, in what respects, and which were the critical evolutionary events that have shaped us. Some researchers claimlanguage as a solely human, even defining, attribute, while others claim that only humans are truly conscious. These questions have been explored mainly by archaeologists and anthropologists until recently, but this volume aims to show what (...) psychologists have to say on the evolution of mind. The book begins with a thorough overview of what is known of the non-primate mind and its evolution. Following this, an international range of experts discuss in temporal sequence the human mind at various stages of evolution, beginning with the pre-hominids of 20 million years ago and ending withcontemporary human behaviour. Accessible to students and researchers alike in psychology, anthropology, evolution, archaeology, and ethology, The Descent of Mind provides a range of provocative answers to the timeless question of what it means to be human. (shrink)

This paper defends Mereological Universalism(the thesis that, for any set S of disjoint objects, there is an object that the members of S compose. Universalism is unpalatable to many philosophers because it entails that if there are such things as my left tennis shoe, W. V. Quine, and the Taj Mahal, then there is another object that those three things compose. This paper presents and criticizes Peter van Inwagen's argument against Universalism and then presents a new argument in favor of (...) Universalism. It turns out that the most reasonable way to resist the argument for Universalism is to deny the existence of artifacts; thus, if we believe in artifacts, we have no real choice other than to embrace Universalism. (shrink)

This comprehensive analysis of the complex relationship of black political thought identifies which political ideologies are supported by blacks, then traces their historical roots and examines their effects on black public opinion.

This book addresses such key ethical issues as euthanasia, the environment, biotechnology, abortion, the family, sexual ethics, and the distribution of health care resources. Michael Banner argues that the task of Christian ethics is to understand the world and humankind in the light of the credal affirmations of the Christian faith, and to explicate this understanding in its significance for human action through a critical engagement with the concerns, claims and problems of other ethics. He illustrates both the distinctiveness (...) of Christian convictions in relation to the above issues and also the critical dialogue with practices based on other convictions which this sense of distinctiveness motivates but does not prevent. The book's importance lies in its attempt to show the crucial difference which Christian belief makes to an understanding of these issues, whilst at the same time demonstrating some of the weaknesses and confusions of certain popular approaches to them. (shrink)

Procedures that increase the sustainability of agriculture often result in animals being treated more humanely:both livestock in animal and mixed farming and wildlife in arable farming. Equally, procedures ensuring humane treatment of farm animals often increase sustainability, for example in disease control and manure management. This overlap between sustainability and humaneness is not coincidental. Both approaches can be said to be animal centered, to be based on the fact that animal production is primarily a biological process. Proponents of both will (...) gain from recognition of commonality and development of cooperation. A collaborative approach to humane sustainable agriculture will benefit animals, people, and the environment. (shrink)

This paper is the report of a meetingthat gathered many of the UK's most senioranimal scientists with representatives of thefarming industry, consumer groups, animalwelfare groups, and environmentalists. Therewas strong consensus that the current economicstructure of agriculture cannot adequatelyaddress major issues of concern to society:farm incomes, food security and safety, theneeds of developing countries, animal welfare,and the environment. This economic structure isbased primarily on competition betweenproducers and between retailers, driving foodprices down, combined with externalization ofmany costs. These issues must be addressed (...) by acombination of legislation, restructuring ofthe market, and use of public funds. Themeeting included workshops that made otherrecommendations for research and education. Themost urgent requirement is recognition thatchange is needed and development of a visionfor what that change must achieve. (shrink)

This paper defends Mereological Universalism (the thesis that, for any set S of disjoint objects, there is an object that the members of S compose. Universalism is unpalatable to many philosophers because it entails that if there are such things as my left tennis shoe, W. V. Quine, and the Taj Mahal, then there is another object that those three things compose. This paper presents and criticizes Peter van Inwagen’s argument against Universalism and then presents a new argument in favor (...) of Universalism. It turns out that the most reasonable way to resist the argument for Universalism is to deny the existence of artifacts; thus, if we believe in artifacts, we have no real choice other than to embrace Universalism. (shrink)

Language is commonly held to be unique to humans, and to have emerged suddenly in a single “great leap forward” within the past 100,000 years. The view is profoundly anti-Darwinian, and I propose instead a framework for understanding how language might have evolved incrementally from our primate heritage. One major proposition is that language evolved from manual action, with vocalization emerging as the dominant mode late in hominin evolution. The second proposition has to do with the role of language as (...) a means of communicating about events displaced in space and time from the present. Some have argued that mental time travel itself is unique to human, which might explain why language itself is uniquely human. I argue instead that mental time travel has ancient evolutionary origins, and gradually assumed narrative-like properties during the Pleistocene, when language itself began to take shape. (shrink)