A staunch hylomorphism involves a commitment to a sparse theory of universals and a sparse theory of composite material objects, as well as to an ontology of fundamental causal powers. Faint-hearted hylomorphism, in contrast, lacks one or more of these elements. On the staunch version of HM, a substantial form is not merely some structural property of a set of elements—it is rather a power conferred on those elements by that structure, a power that is the cause of the generation (...) (by fusion) and persistence of a composite whole through time. Bernard Williams discussed (and rejected) a faint-hearted version of HM in 1986, and faint-hearted HM has been defended more recently by Mark Johnston (2006) and Kathrin Koslicki (2008). I defend the superiority of the staunch version, in spite of its heavier ontological commitments, as a way of accounting for a real distinction between living organisms and heaps of matter, without recourse to dualism or vitalism, and as a way of combining a powers ontology with the possibility of gunk. (shrink)

This is a sustained critique of materialism. The contributors offer arguments from conscious experience, rational thought, the interaction of mind and body, and the unity and persisting identity of human persons, and develop a wide range of alternatives.

This book develops a framework for analysing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents and which has proved extremely fruitful in economics, political theory and business management. The author argues that a logical paradox lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to establish some kind of reputation. Building on the work of Parsons, Burge, (...) Gaifman and Barwise and Etchemendy, Robert Koons constructs a context-sensitive solution to the whole family of liar-like paradoxes including, for the first time, a detailed account of how the interpretation of paradoxical statements is fixed by context. This analysis provides an understanding of how the rational agent model can account for the emergence of rules, practices and institutions. (shrink)

The last two decades have seen two significant trends emerging within the philosophy of science: the rapid development and focus on the philosophy of the specialised sciences, and a resurgence of Aristotelian metaphysics, much of which is concerned with the possibility of emergence, as well as the ontological status and indispensability of dispositions and powers in science. Despite these recent trends, few Aristotelian metaphysicians have engaged directly with the philosophy of the specialised sciences. Additionally, the relationship between fundamental Aristotelian concepts—such (...) as "hylomorphism", "substance", and "faculties"—and contemporary science has yet to receive a critical and systematic treatment. _Neo-Aristotelian Perspectives on Contemporary Science _aims to fill this gap in the literature by bringing together essays on the relationship between Aristotelianism and science that cut across interdisciplinary boundaries. The chapters in this volume are divided into two main sections covering the philosophy of physics and the philosophy of the life sciences. Featuring original contributions from distinguished and early-career scholars, this book will be of interest to specialists in analytical metaphysics and the philosophy of science. (shrink)

The book covers a broad range of key topics, including theories of properties and particulars, the notion of truth-makers, powers and possibilities, material composition, and a variety of issues related to time and causation.

The cosmological argument for God’s existence has a long history, but perhaps the most influential version of it has been the argument from contingency. This is the version that Frederick Copleston pressed upon Bertrand Russell in their famous debate about God’s existence in 1948 (printed in Russell’s 1957 Why I am not a Christian). Russell’s lodges three objections to the Thomistic argument.

In this wide-ranging philosophical work, Koons takes on two powerful dogmas--anti-realism and materialism.

The Atlas of Reality: A Comprehensive Guide to Metaphysics presents an extensive examination of the key topics, concepts, and guiding principles of metaphysics. Represents the most comprehensive guide to metaphysics available today Offers authoritative coverage of the full range of topics that comprise the field of metaphysics in an accessible manner while considering competing views Explores key concepts such as space, time, powers, universals, and composition with clarity and depth Articulates coherent packages of metaphysical theses that include neo-Aristotelian, Quinean, Armstrongian, (...) and neo-Humean Carefully tracks the use of common assumptions and methodological principles in metaphysics. (shrink)

The Principle of Sufficient Reason must be justified dialectically: by showing the disastrous consequences of denying it. We formulate a version of the Principle that is restricted to basic natural facts, which entails the obtaining of at least one supernatural fact. Denying this principle results in extreme empirical skepticism. We consider six current theories of empirical knowledge, showing that on each account we cannot know that we have empirical knowledge unless we all have a priori knowledge of the PSR. We (...) consider objections based on Neo-Humeanism and the essentiality of origins, and we consider the possibility that we have empirical knowledge without knowing it. (shrink)

To understand Aristotle’s conception of form, we have to see clearly the relationship between his account and Plato’s Theory of Forms. I offer a novel interpretation of Aristotle’s Moderate Realism, in which forms are simple particulars that ground the character and mutual similarity of the entities they inform. Such an account has advantages in three areas: explaining (1) the similarity of particulars, (2) the synchronic unity of composite particulars, and (3) the diachronic unity or persistence of intrinsically changing particulars.

The book covers a broad range of key topics, including theories of properties and particulars, the notion of truth-makers, powers and possibilities, material composition, and a variety of issues related to time and causation.

The paper addresses a problem for the unification of quantum physics with the new Aristotelianism: the identification of the members of the category of substance. I outline briefly the role that substance plays in Aristotelian metaphysics, leading to the postulating of the Tiling Constraint. I then turn to the question of which entities in quantum physics can qualify as Aristotelian substances. I offer an answer: the theory of thermal substances, and I construct a fivefold case for thermal substances, based on (...) the irreversibility of time, the definition of thermodynamic concepts, spontaneous symmetry breaking, phase transitions, and chemical form. (shrink)

Defenders of physicalism often point to the reduction of chemistry to quantum physics as a paradigm for the reduction of the rest of reality to a microphysical foundation. This argument is based, however, on a misreading of the philosophical significance of the quantum revolution. A hylomorphic interpretation of quantum thermodynamics and chemistry, in which parts and wholes stand in a mutually determining relationship, better fits both the empirical facts and the actual practice of scientists. I argue that only a hylomorphic (...) interpretation of quantum mechanics is able to treat thermodynamic quantities, such as temperature and entropy, as genuinely real, which in turn provides grounds for the reality of the direction of time and of molecular structure. (shrink)

William Hasker has been one of the most trenchant and insightful critics of the revival of Molinism. He has focused on the “freedom problem”, a set of challenges designed to show that Molinism does not secure a place for genuinely free human action. These challenges focus on a key element in the Molinist story: the counterfactual conditionals of creaturely freedom. According to Molinism, these conditionals have contingent truth-values that are knowable to God prior to His decision of what world to (...) actualize. This divine “middle knowledge” is supposed to enable God to execute a detailed plan for world history without any loss of creaturely freedom. Hasker has argued that this middle knowledge nonetheless deprives us of the power to do otherwise than we do, a crucial element in human freedom and responsibility. I hope to accomplish three things in this paper. First, I want to step back a bit and explore the nature of the conditionals of creaturely free decision-making, bringing out some of the difficulties in delimiting their scope and nature. Second, I will explore the implications of different answers to an important question that has not been addressed in the literature: whether we have counterfactual power over the conditionals of divine freedom. And, third, I would like to recommend to Molinists a revision that offers a solution to the freedom problem. (shrink)

Materialism—the view that all of reality is wholly determined by the very, very small—and extreme nominalism—the view that properties, kinds, and qualities do not really exist—have been the dominant view in analytic philosophy for the last 100 years or so. Both views, however, have failed to provide adequate accounts for the possibility of intentionality and of knowledge. We must therefore look to alternatives. One well-tested alternative, the hylomorphism of Aristotle and the medieval scholastics, was rejected without being refuted and so (...) deserves further examination. I will argue that Aristotelian hylomorphic provides a markedly superior account of knowledge, cognitive normativity, and intentionality. (shrink)

Defenders of physicalism often point to the reduction of chemistry to quantum physics as a paradigm for the reduction of the rest of reality to a microphysical foundation. This argument is based, however, on a misreading of the philosophical significance of the quantum revolution. A hylomorphic (from Aristotle’s concepts of hyle, matter, and morphe, form) interpretation of quantum thermodynamics and chemistry, in which parts and wholes stand in a mutually determining relationship, better fits both the empirical facts and the actual (...) practice of scientists. I argue that only a hylomorphic interpretation of quantum mechanics (QM) is able to treat thermodynamic quantities, such as temperature and entropy, as genuinely real, which in turn provides grounds for the reality of the direction of time and of molecular structure. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

An Aristotelian philosophy of nature rejects the modern prejudice in favor of the microscopic, a rejection that is crucial if we are to penetrate the mysteries of the quantum world. I defend an Aristotelian model by drawing on both quantum chemistry and recent work on the measurement problem. By building on the work of Hans Primas, using the distinction between quantum and classical properties that emerges in quantum chemistry at the thermodynamic or continuum limit, I develop a new version of (...) the Copenhagen interpretation, a version that is realist, holistic, and hylomorphic in character, allowing for the attribution of fundamental causal powers to human observers and their instruments. I conclude with a critique of non-hylomorphic theories of primitive ontology, including Bohmian mechanics, Everettianism, and GRW mass-density. (shrink)

Situation theory, as developed by Barwise and his collaborators, is used to demonstrate the possibility of defining teleology (and related notions, like that of proper or biological function) in terms of higher order causation, along the lines suggested by Taylor and Wright. This definition avoids the excessive narrowness that results from trying to define teleology in terms of evolutionary history or the effects of natural selection. By legitimating the concept of teleology, this definition also provides promising new avenues for solving (...) long standing problems in the philosophy of mind, such as the problems of intentionality and mental causation. (shrink)

There is substantial controversy about the nature of both particulars and properties. Some philosophers think that the categories of particular and property are fundamental, that at least some of the things in both are in no way derived from or dependent on things in another category. These philosophers are Realists about both particulars and properties. Nominalists think of particulars as fundamental and of properties as non‐fundamental, with the latter being derived from the former. This chapter explores why someone might go (...) in for Realism about properties. If one insists that universals are just properties that could be exemplified by more than one thing, Class and Resemblance Nominalism turn out to be committed to universals. Ostrich Nominalism is much larger qualitatively, since UP‐Realism has only two fundamental kinds, whereas Ostrich Nominalism has n fundamental kinds. Ostrich Nominalists must posit a very large number of metaphysically fundamental sorts of things: spheres, cubes, blue things, red things, etc. (shrink)

The “New Natural Law” Theory (NNL) of Germain Grisez, John Finnis, Joseph Boyle, and their collaborators offers a distinctive account of intentional action, which underlies a moral theory that aims to justify many aspects of traditional morality and Catholic doctrine. -/- In fact, we show that the NNL is committed to premises that entail the permissibility of many actions that are irreconcilable with traditional morality and Catholic doctrine, such as elective abortions. These consequences follow principally from two aspects of the (...) NNL. The first aspect is its distinctive version of the planning theory of intention, in which adopting the 'first-person perspective' of an agent is a sufficient, and not merely necessary, condition for determining the nature of his intentional action; this planning theory rests upon an implicitly Cartesian conception of human behavior, in which behavior chosen by an agent has no intrinsic “intentionalness” apart from what he confers upon it as part of his plan. The second aspect is the NNL's distinctive account of basic human goods' incommensurability, according to which there is no common factor shared by basic human goods that allows them to be comparatively ranked in any way that directs practical deliberation. -/- The entailments of these two aspects of the NNL, we argue, amount to a reductio ad absurdum. Pace the proponents of the NNL account, we sketch an alternative hylomorphic conception of intentional action that avoids untoward moral implications by grounding human agency in the exercise of basic powers that are either (a) essential constituents of human nature or (b) acquired through participation in social practices. This conception of intentional action provides a stronger foundation for natural law theory. (shrink)

This is a reply to a paper by Graham Oppy in the July, 1999 issue of this journal, “Koons’ Cosmological Argument.” Recent work in defeasible or nonmonotonic logic means that the cosmological argument can be cast in such a way that it does not presuppose that every contingent situation, without exception, has a cause. Instead, the burden of proof is shifted to the skeptic, who must produce positive reasons for thinking that the cosmos is an exception to the defeasible law (...) of causality. I show how Oppy’s critique can be turned into a plausible rebuttal of my argument. However, this rebuttal can be set aside when the original argument is supplemented by a plausible account of the nature of causal priority. Several independent lines of argument in support of this account are outlined. (shrink)

Prime matter plays an indispensable role in Aristotle’s philosophy, enabling him to avoid the pitfalls of both naïve Platonism and nominalism. Prime matter is best thought of as a kind of infinitely divisible and atomless bare particularity, grounding the distinctness of distinct members of the same species. Such bare particularity is needed in symmetrical situations, like a world consisting of indistinguishable Max Black spheres. Bare particularity is especially important in modern physics, given the homogeneity and isotropy of space. With the (...) importance of fields in classical, relativistic, and quantum physics, we have good reason to prefer something like Aristotle’s continuous, infinitely divisible matter over indivisible particles. Mass and energy in relativistic physics also points in the direction of prime matter as the enduring substrate of these quantities. Recent work on Aristotelian interpretations of quantum mechanics, further underscores the contemporary relevance of prime matter. (shrink)

This is a reply to a paper by Graham Oppy in the July, 1999 issue of this journal, “Koons’ Cosmological Argument.” Recent work in defeasible or nonmonotonic logic means that the cosmological argument can be cast in such a way that it does not presuppose that every contingent situation, without exception, has a cause. Instead, the burden of proof is shifted to the skeptic, who must produce positive reasons for thinking that the cosmos is an exception to the defeasible law (...) of causality. I show how Oppy’s critique can be turned into a plausible rebuttal of my argument. However, this rebuttal can be set aside when the original argument is supplemented by a plausible account of the nature of causal priority. Several independent lines of argument in support of this account are outlined. (shrink)

Recently, the Intelligent Design (ID) movement has challenged the claim of many in the scientific establishment that nature gives no empirical signs of having been deliberately designed. In particular, ID arguments in biology dispute the notion that neo-Darwinian evolution is the only viable scientific explanation of the origin of biological novelty, arguing that there are telltale signs of the activity of intelligence which can be recognized and studied empirically. In recent years, a number of Catholic philosophers, theologians, and scientists have (...) expressed opposition to ID. Some of these critics claim that there is a conflict between the philosophy of St. Thomas Aquinas and that of the ID movement, and even an affinity between Aquinas’s ideas and theistic Darwinism. We consider six such criticisms and find each wanting. (shrink)

The logical treatment of the nature of religious belief (here I will concentrate on belief in Christianity) has been distorted by the acceptance of a false dilemma. On the one hand, many (e.g., Braithwaite, Hare) have placed the significance of religious belief entirely outside the realm of intellectual cognition. According to this view, religious statements do not express factual propositions: they are not made true or false by the ways things are. Religious belief consists in a certain attitude toward the (...) world, life, or other human beings, or in what sorts of things one values. On the other hand, others (such as Swinburne, 1981, Chapers 1 and 4) have taken religious belief to include (at least) being certain of the truth of particular factual religious propositions. The strength of a person's religious belief is identified with his degree of confidence in the truth of those propositions, measured by the "subjective probability" which those propositions have for that person. I propose a third alternative, according to which, (1) contrary to the first view, religious belief does involve a relation to factual religious propositions, such as that God exists, that Jesus was God and man, etc., -- propositions which are made true or false by the way things actually are -- but, (2) contrary to the second view, the strength of religious belief is measured, not by the degree of one's confidence1 in the truth of these propositions, but rather by the way in which the value or desirability to oneself of the various ways the world could be is affected by their including or not including the truth of these religious propositions. Thus, religious belief does consist in what one values or prizes, not in what.. (shrink)

This chapter focuses on two clusters of questions concerning existence. The first cluster concerns the scope of existence, examining how wide the domain of existing things is and whether it encompass absolutely everything. The second cluster concerns vagueness and indeterminacy, explaining whether vague things and vague categories of things are there or all vagueness is a matter of referring indifferently to a large number of absolutely precise things and showing the ultimate source of vagueness. There are two theories of vagueness, (...) epistemic and metaphysical. The chapter focuses on Meinongian definitions of 'existence' and examines four arguments in favor of Anti‐Actualism. The first and second respectively appeals to common sense and the need for intentional objects, that is, objects of certain mental attitudes. The third appeals to the need for fictional and illusory entities. And the fourth appeals to the need for non‐existent things as constituents of certain merely possible situations. (shrink)

I wrote the following essay in early 2006 while still a member of the Lutheran Church -- Missouri Synod. On the Vigil of Pentecost in A.D. 2007 (May 25th) I was formally received into the fellowship of the Roman Catholic Church at the parish of St. Louis the King of France in Austin, Texas.

This chapter argues that materialism is vulnerable to two kinds of epistemological objections: transcendental arguments, that show that materialism is incompatible with the very possibility of knowledge; and defeater arguments, that show that belief in materialism provides an effective defeaters to claims to knowledge. It constructs objections of these two kinds in three areas of epistemology: our knowledge of the laws of nature (and of scientific essences), our knowledge of the ontology of material objects, mathematical and logical knowledge. The chapter (...) argues that these epistemological weaknesses place the materialist in a dialectically weak position in respect of ontological identity claims, since the materialist cannot know the causal powers or persistence conditions of material objects. It also argues that the materialist can provide no non-circular account of epistemic normativity. Anti-realist accounts of normativity are unavailable because normativity is already implicated in all intentionality. Moreover, materialists face a fatal dilemma in attempting to carry out an etiological reduction of teleological norms, since neither Humean nor anti-Humean accounts of causation yield defensible results. (shrink)

The ancient puzzle of the Liar was shown by Tarski to be a genuine paradox or antinomy. I show, analogously, that certain puzzles of contemporary game theory are genuinely paradoxical, i.e., certain very plausible principles of rationality, which are in fact presupposed by game theorists, are inconsistent as naively formulated. ;I use Godel theory to construct three versions of this new paradox, in which the role of 'true' in the Liar paradox is played, respectively, by 'provable', 'self-evident', and 'justifiable'. I (...) also construct in modal operator logic a paradox involving reflexive empirical reasoning. Unlike the paradox of the Liar, the paradox of reflexive reasoning does not depend on self-reference. ;I consider various solutions to the Liar paradox and evaluate how well these solutions cope with the paradox of reflexive reasoning. I then formalize the solution to the paradoxes which I favor: the indexical-hierarchical approach, first sketched out by Charles Parsons and Tyler Burge. In this solution, occurrences of the predicate 'true' in sentence-tokens are contextually relativized to levels of a hierarchy. Drawing also on some brief remarks of Bertrand Russell and Charles Parsons, I develop an account of the kind of schematic generality needed for this theory to be statable. ;Finally, I demonstrate that the principles shown to be paradoxical are in fact presupposed by contemporary game theorists in their reliance on the notion of common knowledge or, more precisely, mutual belief. I create novel analyses of and corresponding solutions to several recalcitrant puzzles within game theory, including the "chain-store paradox". (shrink)

One might think that the best metaphysical theory of the world includes the existence of other minds and of the physical world, while denying that we can know or be certain that this theory is true. This chapter considers Solipsism as a theory about reality. It examines the Veil of Perception, and then considers a series of direct arguments against the Solipsistic Veil, Phenomenalism, and Solipsism itself. The chapter looks at two obviously inadequate arguments for the Veil, namely, Berkeley's inconceivability (...) argument and the argument from causal mediation. Then, the chapter looks at two much more interesting and important arguments, namely, the argument from hallucination and illusion and the argument from color and other secondary qualities. Besides the Veil of Perception, arguments for Idealism and Solipsism depend on an appeal to Ockham's Razor. These arguments can be taken either as providing additional support for Perceptual Realism or as a defense of Inferred Anti‐Idealism. (shrink)

Fred Dretske, David M. Armstrong, and Michael Tooley have all proposed that the truths about the laws of nature are metaphysically fundamental, consisting in a primitive, unanalyzable relation of 'necessitation' holding between two or more properties or universals. According to Strong Nomism, the laws of nature determine which counterfactual conditionals are true, and they also determine which powers and tendencies particular things have. This chapter treats Nomism as committed to the Dretske‐Armstrong‐Tooley (DAT) theory. Nomism provides a metaphysical explanation of the (...) difference between lawful and accidental generalization. The chapter focuses on the Neo‐Humeist or Ramsey/Lewis Theory of the laws of nature. The Neo‐Humeist program proceeds in the following way. First, give a reductionist account of the laws of nature, and then use the laws to ground the truths of attributions of power and of counterfactual conditionals. (shrink)

This chapter focuses on question of the relation of properties to particulars. It considers three theories of facts: as tropes, as states of affairs, and as nexuses between particulars and universals, noting that in each case, facts turn out to be particulars of a kind. The chapter investigates the question of substances, considering two accounts about the relationship between substances and properties, namely, Relational and Constituent Ontology. Substances would have a surprising degree of metaphysical complexity. According to Constituent Ontology, properties (...) are literally parts of substances they characterize. According to Relational Ontology, in contrast, properties are separate things, extrinsically related to their instances. The chapter examines two versions of Constituent Ontology, Bundle Theory and Substrate Theory. Classical Bundle Theory purports to reduce substances to bundles of universals. The chapter also examines Nuclear Bundle Theory that faces an especially virulent form of the problem of Individuation. (shrink)

One popular approach to the metaphysics of dispositional properties takes them to involve ascribing a conditional property, a property corresponding to a conditional statement. This chapter looks at some recent work on the semantics and logic of conditionals, followed by a consideration of Hypotheticalism, Nomism, Neo‐Humeism, and Powerism. It examines directly the question whether Hypotheticalism or Anti‐Hypotheticalism (categoricalism) is correct, and shows how to evaluate counterfactual conditionals. The evaluation of conditionals seems to turn on two sorts of facts about the (...) actual world: the laws of nature, and the true propositions that are co‐tenable with the conditional's antecedent. Strong Hypotheticalists hold that the truths of counterfactual conditionals are fundamental, and that truths about the laws of nature and of powers and dispositions are reducible to them. (shrink)

This chapter focuses mainly on how possible worlds relate to the truth and falsity of modal claims (or propositions), and therefore to whether claims are necessarily true, necessarily false, possibly true, possibly false, and so on. This issue is that of modality de dicto, modality concerning propositions. But there is another type of modality, namely modality de re. This has to do with the modal status of relations between things and their properties, with whether things possess properties necessarily, contingently or (...) not even possibly. This chapter introduces the distinction between de dicto and de re necessity, and then explores different ways of making sense of de re necessity‐necessities involving particular individuals. It talks about Strong Transworld Identity, and explores how Abstractionists respond to the Leibniz's Law argument. Some metaphysicians go farther and identify what is possible with what is conceivable, or perhaps with what we are justified in believing to be possible. (shrink)

The first way that a discussion of truth gets one going in metaphysics is via its connection to propositions. Philosophers have taken a number of views about the true nature of propositions. The early part of the twentieth century saw a strong reaction against holism, led prominently by Bertrand Russell and Ludwig Wittgenstein. This chapter considers why we should believe in Classical Truthmaker Theory in the first place, as well as a fundamental challenge to the very foundation of truthmaker theory: (...) the deflationary theory of truth. The simplest, most natural understanding of Truthmaker Theory is the view that every truth has a truthmaker. This is 'Truthmaker Maximalism'. One of the fundamental motivations for truthmaker theory of any form is, as we have seen, the Correspondence Theory of Truth. Importantly, deflationists are anti‐realists only about one thing: the existence of a real property of truth. (shrink)

This chapter examines questions having to do with whether and how things persist through change and how things do so If they do persist. Next, assuming that intrinsic change does take place, the chapter examines two principal views about how things persist through change of intrinsic properties, Substratism and Replacementism. It focuses on the specific but very important case of motion, or change of location. There are three major theories: Intrinsic Motion; Bertrand Russell's At/At Theory, and an Aristotelian theory (Motion (...) Intervalism). The chapter also considers the problem of the persistence of composite objects, including objects that can gain or lose parts. Replacementists might consider taking on board a metaphysically fundamental genidentity relation. Substratists have an explanation for the reflexivity, symmetry, and transitivity of genidentity, something that Classical Genidentity Theorists have to posit as a brute metaphysical necessity. This provides the Substatists with an advantage in terms of Ockham's Razor. (shrink)

An appeal to ontological parsimony or economy plays an important, perhaps indispensable, role in evaluating metaphysical theories. This chapter focuses primarily on the first conception of grounding, grounding as metaphysical explanation. It briefly discusses the relation of ontological dependency and its connections with grounding as explanation. Debates about grounding are a recurring theme in the history of Western philosophy. Much of Aristotle's metaphysical method also presupposes the existence of a grounding relation. The chapter investigates both conceptual and ontological grounding and (...) explores the relationship between grounding and truthmaking. The chapter considers various alternatives or competitors to grounding theory. It examines the connection between grounding, fundamentally, and Ockham's Razor and also relation between grounding and ontological dependence. The chapter shows how grounding is different from causal explanation and discusses connections between grounding and entailment. (shrink)