. In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, viz. without invoking any specific properties of the (...) logics themselves. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly in (...) an order. Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

This paper is a continuation of [27], where we provide the background and the basic tools for studying the structural properties of classes of models over languages without equality. In the context of such languages, it is natural to make distinction between two kinds of classes, the so-called abstract classes, which correspond to those closed under isomorphic copies in the presence of equality, and the reduced classes, i.e., those obtained by factoring structures by their largest congruences. The generic problem (...) described in [27] is to investigate under what conditions this reduction process does not alter the metatheory of a class. Here we focus our attention on a concrete aspect of this generic problem that we import from universal algebra, namely the existence and description of free models. As in [27], we can find here again the basic notion of protoalgebraicity, which was originally introduced in [7] as the weakest condition to guarantee that the reduction process behaves reasonably well from an algebraic point of view. Our concern, however, takes us to handle a further notion, that of semialgebraicity, which corresponds to the notion of equivalential logic of [18]; semialgebraicity turns out to be the property which ensures that freeness is fully preserved by the reduction process. (shrink)

In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow (...) reflect the current state of the art in the semantics of generics, and afford insight into various generic phenomena. (shrink)

Some generic sentences seem to be true despite the fact that almost all the members of the relevant kind are exceptions. It’s controversial whether generics of this type express relatively weak generalizations or relatively strong ones. If the latter, then we’re systematically mistaken about their truth, but they make no trouble for our semantic theorizing. In this brief note, I present several arguments for the former: sentences of the relevant type are weak generics.

Generics are sentences such as Birds fly, which express generalizations. They are prevalent in speech, and as far as is known, no human language lacks generics. Yet, it is very far from clear what they mean. After all, not all birds fly—penguins don’t! -/- There are two general views about the meaning of generics in the literature, and each view encompasses many specific theories. According to the inductivist view, a generic states that a sufficient number of individuals satisfy a (...) certain property—in the example above, it says that sufficiently many birds fly. This view faces the complicated problem of spelling out exactly how many is “sufficiently many” in a way that correctly captures the intuitive truth conditions of generics. -/- An alternative, the rules and regulations view, despairs from this project and proposes instead that generics directly express rules in the world. Rules are taken to be abstract objects, which are not related to the properties of specific individuals. This view faces the difficult problem of explaining how people come to know of such rules when judging the truth of falsity of generics, and accounting for the strong intuition that a sentence such as Birds fly talks about birds, not abstract objects. -/- What seems to be beyond dispute is that generics, even if they do not express rules, are lawlike: they state non-accidental generalizations. Many scholars have taken this fact to indicate that generics are parametric on possible worlds: they refer to worlds other than the actual world. This, again, raises the problem of how people come to know about what happens in these other worlds. However, a rigorous application of standard tests for intensionality shows that generics are not, in fact, parametric on possible worlds, but only on time. This unusual property may explain much of the mystery surrounding generics. -/- Another mysterious property of generics is that although there is no language without them, there is no linguistic construction that is devoted to the expression of genericity. Rather, generics can be expressed in a variety of ways, each of which can also express nongenerics. Yet, each manifestation of generics differs subtly (or sometimes not so subtly) in its meaning from the others. -/- Even when these and other puzzles of genericity are solved, one mystery would remain: Why are generics, which are so easy to produce and understand in conversation, so difficult to analyze? (shrink)

We are often justified in acting on the basis of evidential confirmation. I argue that such evidence supports belief in non-quantificational generic generalizations, rather than universally quantified generalizations. I show how this account supports, rather than undermines, a Bayesian account of confirmation. Induction from confirming instances of a generalization to belief in the corresponding generic is part of a reasoning instinct that is typically (but not always) correct, and allows us to approximate the predictions that formal epistemology would (...) make. (shrink)

What is the nature of the social sciences? What kinds of knowledge can they—and should they—hope to create? Are objective viewpoints possible and can universal laws be discovered? Questions like these have been asked with increasing urgency in recent years, as some philosophers and researchers have perceived a "crisis" in the social sciences. Metatheory in Social Science offers many provocative arguments and analyses of basic conceptual frameworks for the study of human behavior. These are offered primarily by practicing researchers (...) and are related to problems in disciplines as diverse as sociology, psychology, psychiatry, anthropology, and philosophy of science. While various points of view are expressed in these nineteen essays, they have in common several themes, including the comparison of social and natural science, the role of knowledge in meeting the demands of society and its pressing problems, and the nature and role of subjectivity in science. Some authors hold that subjectivity cannot be studied scientifically; others argue that it can and must be if progress in knowledge is to be made. The essays demonstrate the philosophical pluralism they discuss and give a wide range of alternative positions on the future of the social and behavioral sciences in a postpositivist intellectual world. (shrink)

This volume is a 'stand alone' follow up and companion to the forthcoming volume Metatheory for the 21st-Century: Critical Realism and Integral Theory in Dialogue. Whereas Vol. I is primarily theoretical in its focus, this volume (Vol. II) will build on many of the theoretical foundations laid in Vol. I while applying them more concretely and practically to addressing the complex planetary crises of a new era that many scholars now refer to as 'the Anthropocene.' We live in a (...) time when humanity's powers have become so powerful and ubiquitous that our impact on nature has literally reached tectonic proportions. Welcome to the Anthropocene (Crutzen, 2002): a new epoch marked by the profound and far-reaching causal power of human, social life in shaping the trajectory of Earth system processes, including the climate system. The state of the world is thus profoundly influenced by the shortcomings of our dominant philosophies and metatheories and the collective self-understanding(s) they have produced. A key aim of this volume is thus to develop metatheoretical applications that serve emancipatory praxis toward a flourishing world. This volume will be of interest to upper-undergraduate and post-graduate students of philosophy, sociology and critical realism. (shrink)

Consensus has it that generic sentences such as “Dogs bark” and “Birds fly” contain, at the level of logical form, an unpronounced generic operator: Gen. On this view, generics have a tripartite structure similar to overtly quantified sentences such as “Most dogs bark” and “Typically, birds fly”. I argue that Gen doesn’t exist and that generics have a simple bipartite structure on par with ordinary atomic sentences such as “Homer is drinking”. On my view, the subject terms of (...) generics are kind-referring. The interesting truth conditions characteristic of generics arise from the interesting ways in which kinds inherit properties from their members. (shrink)

A prevailing thought is that generics have a covert modal operator at logical form. I claim that if this is right, the covert generic modality is a weak necessity modal. In this paper, I pr...

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; (...) but the shift to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

The animalist says we are animals. This thesis is commonly understood as the universal generalization that all human persons are human animals. This article proposes an alternative: the thesis is a generic that admits of exceptions. We defend the resulting view, which we call ‘generic animalism’, and show its aptitude for diagnosing the limits of eight case-based objections to animalism.

Generic stereotypes are generically formulated generalizations that express a stereotype, like “Mexican immigrants are rapists” and “Muslims are terrorists.” Stereotypes like these are offensive and should not be asserted by anyone. Yet when someone does assert a sentence like this in a conversation, it is surprisingly difficult to successfully rebut it. The meaning of generic sentences is such that they can be true in several different ways. As a result, a speaker who is challenged after asserting a (...) class='Hi'>generic stereotype can often simply dismiss the objection and maintain that the stereotype is true in a way that is compatible with the challenger’s objection. In this paper, a semantic theory for generics is presented that accounts for this type of defensive shifting in upholding generic stereotypes. This theory is then used to develop two strategies to object more efficiently. The first strategy is to immediately deny that either of the two possible ways in which a generic can be true obtains. The second strategy is to deny the satisfaction of an additional condition that is necessary for a generic sentence to be true. (shrink)

Generics are exception-admitting generalisations, which find expression in apparently diverse linguistic forms. A standard claim is that there is a hidden linguistic unity to genericity in the form of a covert operator, Gen. This article surveys and rejects a range of considerations that purport to show Gen to be syntactically essential to the explanation of a range of linguistic phenomena connected to genericity. The conclusion reached is that genericity is not a specifically linguistic property insofar as it does not supervene (...) upon any especial linguistic device; rather, genericity supervenes on broader cognitive competencies within linguistic constraints. (shrink)

Generics (e.g., “Ravens are black”) express generalizations about categories or their members. Previous research found that generics about animals are interpreted as broadly true of members of a kind, yet also accepted based on minimal evidence. This asymmetry is important for suggesting a mechanism by which unfounded generalizations may flourish; yet, little is known whether this finding extends to generics about groups of people (heretofore, “social generics”). Accordingly, in four preregistered studies (n = 665), we tested for an inferential asymmetry (...) for generics regarding novel groups of animals versus people. Participants were randomly assigned to either an Implied Prevalence task (given a generic, asked to estimate the prevalence of a property) or a Truth-Conditions task (given prevalence information, asked whether a generic was true or false). A generic asymmetry was found in both domains, at equivalent levels. The asymmetry also extended to properties varying in valence (dangerous and neutral). Finally, there were differences as a function of property valence in the Implied Prevalence task and a small but consistent interaction between domain and prevalence in the Truth-Conditions task. We discuss the implications of these results for the semantics of generics, theoretical accounts of the asymmetry, and the relation between generics and stereotyping. (shrink)

The project of this paper is to deliver a semantics for a broad subset of bare plural generics about racial kinds, a class which I will dub 'Type C generics.' Examples include 'Blacks are criminal' and 'Muslims are terrorists.' Type C generics have two interesting features. First, they link racial kinds with ​ socially perspectival predicates ​ (SPPs). SPPs lead interpreters to treat the relationship between kinds and predicates in generic constructions as nomic or non-accidental. Moreover, in computing their (...) content, interpreters must make implicit reference to socially privileged​ ​ perspectives which are treated as authoritative about whether a given object fits into the extension of the predicate. Such deference grants these authorities influence over both the conventional meaning of these terms and over the nature of the ​ objects ​ in the social ontology that these terms purport to describe, much the way a baseball umpire is authoritative over the meaning and metaphysics of 'strike'/​ strike ​. Second, terms like 'criminal' and 'terrorist' receive default ​ racialized ​ interpretations in which these terms conventionally token racial or ethnic identities. I show that neither of these features can be explained by Sarah-Jane Leslie's influential 'weak semantics' for generics, and show how my own 'socially perspectival semantics' fares better on both counts. Finally, I give an analysis of 'Blacks are criminal' which explores the semantic mechanisms that underlie default racialized interpretations. (shrink)

Our knowledge about the world is often expressed by generic sentences, yet their meanings are far from clear. This book provides answers to central problems concerning generics: what do they mean? Which factors affect their interpretation? How can one reason with generics? Cohen proposes that the meanings of generics are probability judgments, and shows how this view accounts for many of their puzzling properties, including lawlikeness. Generics are evaluated with respect to alternatives. Cohen argues that alternatives are induced by (...) the kind as well as by the predicated property, and thus provides a uniform account of the varied interpretations of generics. He studies the formal properties of alternatives and provides a compositional account of their derivation by focus and presupposition. Cohen uses his semantics of generics to provide a formal characterization of adequate default reasoning, and proves some desirable results of this formalism. (shrink)

In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...) explanatory domain. I argue that this notion of genericity is too narrow, excluding properties characteristic for kinds that go unrecognized in such explanatory domains. In particular, Nickel’s theory excludes some characteristic properties of anthropic kinds, such as lilies and cedars, members of which have properties that may be similarly exploited in various human practices despite having divergent geneses. I argue for a generalization of Nickel’s view of genericity where explicability of presence is only one sort of genericity, with others, such as practicability, being possible too. (shrink)

Against recent work by Haslanger and Leslie, I argue that we do not yet have good reason to think that we should single out generics about social groups out as peculiarly destructive, or that we should strive to eradicate them from our usage. Indeed, I suggest they continue to serve a very valuable purpose and we should not rush to condemn them.

This paper is about an underappreciated aspect of generics: their non-specificity. Many uses of generics, utterances like ‘Seagulls swoop down to steal food’, express non-specific generalisations which do not specify their quantificational force or flavour. I consider whether this non-specificity arises as a by-product of context-sensitivity or semantic incompleteness but argue instead that generics semantically express non-specific generalisations by default as a result of quantifying existentially over more specific ones.

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very (...) logic it is designed to study. (shrink)

This book provides an up-to-date introduction to the study of generics and pursues the enterprise of the influential Generic Book edited by Gregory Carlson and Jeffry Pelletier, which was published in 1995. Genericity is a key notion in the study of human cognition as it reveals our capacity to organize our perceived reality into classes and to describe regularities. The generic can be expressed at the level of a word or phrase (ie the potato in The Irish economy (...) became dependent upon the potato) or an entire sentence (eg in John smokes a cigar after dinner, the generic aspect is a property of the expression, rather than any single word or phrase within it). This book gathers new work from senior and young researchers to reconsider the notion of genericity, examining the distinct contributions made by the determiner phrase (eg the notions of kind/individual) and the verbal predicate (eg the notions of permanency, disposition, ability, habituality, and plurality). Finally, in connection with the whole sentence, the analytic/synthetic distinction is discussed as well as the notion of normality. The book will appeal to both students and scholars in linguistics, philosophy and cognitive science. (shrink)

The generic pronoun 'one' (or its empty counterpart, arbitrary PRO) exhibits a range of properties that show a special connection to the first person, or rather the relevant intentional agent (speaker, addressee, or described agent). The paper argues that generic 'one' involves generic quantification in which the predicate is applied to a given entity ‘as if’ to the relevant agent himself. This is best understood in terms of simulation, a central notion in some recent developments in the (...) philosophy of mind and cognitive science (Simulation Theory). (shrink)

There is a standard quantificational view of generic sentences according to which they have a tripartite logical form involving a phonologically null generic operator called 'Gen'. Recently, a number of theorists have questioned the standard view and revived a competing proposal according to which generics involve the predication of properties to kinds. This paper offers a novel argument against the kind-predication approach on the basis of the invalidity of Generic Excluded Middle, a principle according to which any (...) sentence of the form ⌜Either Fs are G or Fs are not G⌝ is true. I argue that the kind-predication approach erroneously predicts that GEM is valid, and that it can only avoid this conclusion by either collapsing into a form of the quantificational analysis or otherwise garnering unpalatable metaphysical commitments. I also show that, while the quantificational approach does not validate GEM as a matter of logical form, the principle may be validated on certain semantic analyses of the generic operator, and so, such theories should be rejected. (shrink)

Statistical procedures can be applied to episodes in the history of science in order to weight attributes to predict short-term survival of theories; an asymptotic method is used to show that short-term survival is a valid proxy for ultimate survival; and a theoretical argument is made that ultimate survival is a valid proxy for objective truth. While realists will appreciate this last step, instrumentalists do not need it to benefit from the actuarial procedures of cliometric metatheory. Introduction A plausible (...) proxy for Peircean consensus Assessing the validity of theory attributes as predictors of theory survival 3.1 Linear discriminant function 3.2 Factor analysis 3.3 Taxometric analysis Verisimilitude index Satisfying both instrumentalists and realists Recapitulation Implementation of cliometric metatheory * Correspondence about this article may be addressed to Leslie Yonce at pemeehle{at}umn.edu' + u + '@' + d + ''//--> This article had been completed by Paul Meehl at the time of his death on 14 February 2003. His wife, Leslie J. Yonce, is grateful to Keith Gunderson (University of Minnesota, Center for Philosophy of Science) and Niels G. Waller (Psychology Department, Vanderbilt University) for advice with some final editing details. (shrink)

A cluster of recent papers on Frege have urged variations on the theme that Frege’s conception of logic is in some crucial way incompatible with ‘metatheoretic’ investigation. From this observation, significant consequences for our interpretation of Frege’s understanding of his enterprise are taken to follow. This chapter aims to critically examine this view, and to isolate what I take to be the core of truth in it. However, I will also argue that once we have isolated the defensible kernel, the (...) sense in which Frege was committed to rejecting ‘metatheory’ is too narrow and uninteresting to support the con-. (shrink)

A cluster of recent papers on Frege have urged variations on the themethat Frege’s conception of logic is in some crucial way incompatible with‘metatheoretic’ investigation. From this observation, significant consequencesfor our interpretation of Frege’s understanding of his enterprise are taken tofollow. This chapter aims to critically examine this view, and to isolate whatI take to be the core of truth in it. However, I will also argue that once wehave isolated the defensible kernel, the sense in which Frege was committedto (...) rejecting ‘metatheory’ is too narrow and uninteresting to support the con-clusions drawn from the thesis by its proponents. (shrink)

Hegel aims to defend a system of philosophy. So interpreters should consider what is required to interpret this specifically as a system. Once we are clear about this, I argue, we can see what would be involved in reading Hegel’s philosophy as a kind of metatheory. This allows discerning the strongest way of developing a reading of Hegel’s philosophy as a metatheory. But it also brings out reasons to avoid even the strongest version of that approach, or reasons (...) to read Hegel’s philosophy as metaphysics rather than metatheory. (shrink)

Ducks lay eggs' is a true sentence, and `ducks are female' is a false one. Similarly, `mosquitoes carry the West Nile virus' is obviously true, whereas `mosquitoes don't carry the West Nile virus' is patently false. This is so despite the egg-laying ducks' being a subset of the female ones and despite the number of mosquitoes that don't carry the virus being ninety-nine times the number that do. Puzzling facts such as these have made generic sentences defy adequate semantic (...) treatment. However complex the truth conditions of generics appear to be, though, young children grasp generics more quickly and readily than seemingly simpler quantifiers such as `all' and `some'. I present an account of generics that not only illuminates the strange truth conditions of generics, but also explains how young children find them so comparatively easy to acquire. I then argue that generics give voice to our most cognitively primitive generalizations and that this hypothesis accounts for a variety of facts ranging from acquisition patterns to cross-linguistic data concerning the phonological articulation of operators. I go on to develop an account of the nature of these cognitively fundamental generalizations and argue that this account explains the strange truth-conditional behavior of generics. (shrink)

This paper reports an experiment that investigates interpretive distinctions between two different expressions of generalization in Spanish. In particular, our aim was to find out when the distinction between generic statements (GS) such as Tigers have stripes and universally quantified statements (UQS) such as All tigers have stripes was acquired in Spanish-speaking children of two different age groups (4/5-year-olds and 8/9-year-olds), and then compare these results with those of adults. The starting point of this research was the semantic distinction (...) between GS and UQS in that the former admit exceptions, unlike the latter. On the other hand, several authors have observed a Generic overgeneralization effect (GOG) consisting in allowing for UQS to be felicitous in the face of exceptions, thus proposing that this “error” stems from GS being defaults (simpler, more easily learned and processed). In the current paper we aimed to test the “Generics as Default” (GaD) hypothesis by comparing GS and UQS in three different age ranges. Our data show that, overall, the accuracy of GS is greater than the accuracy of UQS. Moreover, we also confirm a hypothesized interaction between age and NP type (GS vs UQS). Further, we present several data points that are not predicted by the GaD, including an observed decline in the accuracy of GS in the older group of children as well as in adults, and that children fail at rejecting statements that are not considered to be true generalizations. (shrink)

Generic claims like ‘women stay home and raise children’ and ‘boys don’t cry’ are normative generics: generic claims that express a norm. The truth conditions of normative generics are even harder to account for than those for more descriptive generics like ‘ducks lay eggs.’ Until recently, such generics were treated as deviant and thus not accounted for in standard accounts of generics. But recent work on the semantics and pragmatics of normative generics has changed that. In light of (...) this recent work, I propose that a speech act analysis of normative generics as instructions will shed light on normative generics. I end by discussing the ways in which this might allow us to use generics to counter harmful speech. (shrink)

Generic statements (e.g., “Birds lay eggs”) express generalizations about categories. In this paper, we hypothesized that there is a paradoxical asymmetry at the core of generic meaning, such that these sentences have extremely strong implications but require little evidence to be judged true. Four experiments confirmed the hypothesized asymmetry: Participants interpreted novel generics such as “Lorches have purple feathers” as referring to nearly all lorches, but they judged the same novel generics to be true given a wide range (...) of prevalence levels (e.g., even when only 10% or 30% of lorches had purple feathers). A second hypothesis, also confirmed by the results, was that novel generic sentences about dangerous or distinctive properties would be more acceptable than generic sentences that were similar but did not have these connotations. In addition to clarifying important aspects of generics’ meaning, these findings are applicable to a range of real-world processes such as stereotyping and political discourse. (shrink)

In this article, I explore the field of metatheory with two goals. My first goal is to present a clear understanding of what metatheory “is” based on a collection of over twenty definitions of the term. My second goal is to present a preliminary investigation into how metatheory might be understood as a science. From that perspective, I present some strengths and weaknesses of our field and suggest steps to make metatheory more rigorous, more scientific, and (...) so make more of a contribution to the larger community of the social sciences. (shrink)

Generic statements (‘Tigers have stripes’) are pervasive and early-emerging modes of generalization with a distinctive linguistic profile. Previous experimental work found that generics display a unique asymmetry between their acceptance conditions and the implications that are typically drawn from them. This paper presents evidence against the hypothesis that only generics display an asymmetry. Correcting for limitations of previous designs, we found a generalized asymmetry effect across generics, various kinds of explicitly quantified statements (‘most’, ‘some’, ‘typically’, ‘usually’), and variations in (...) types of predicated properties (striking vs. neutral). We discuss implications of these results for our understanding of the source of asymmetry effects and whether and in which ways these effects might introduce biased beliefs into social networks. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. (...) This essay outlines a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1. (shrink)

I contrast two approaches to the interpretation of generics such as ‘ravens are black:’ majority-based views, on which they are about what is the case most of the time, and inquiry-based views, on which they are about a feature we focus on in inquiry. I argue that majority-based views face far more systematic counterexamples than has previously been supposed. They cannot account for generics about kinds with multiple characteristic properties, such as ‘elephants live in Africa and Asia.’ I then go (...) on to sketch an inquiry-based view. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We (...) point out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. (shrink)

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some (...) of my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy. (shrink)

This paper discusses free-choice like effects in generics. Just as Jane may drink coffee or tea can be used to convey Jane may drink coffee and Jane may drink tea (she is free to choose ), some generics with disjunctive predicates can be used to convey conjunctions of simpler generics: elephants live in Africa or Asia can be used to convey elephants live in Africa and elephants live in Asia. Investigating these logically slightly more complex generics and especially the free-choice (...) like effects throws light on both the semantics of generics and the interaction between world knowledge and the interpretive options generics offer. This paper presents a package of semantic and pragmatic hypotheses to account for the data, including why the effect is absent in the superficially logically similar elephants live in Africa or give birth to live young. (shrink)

This paper is concerned with the semantics of bare plural I-generics such as ‘Tigers are striped’, ‘Chickens lay eggs’, and ‘Kangaroos live in Australia’. In a series of recent papers, Bernhard Nickel has developed a comprehensive view of a certain class of bare plural I-generics, which he calls characterizing sentences :629–648, 2009. doi:10.1007/s10988-008-9049-7; Linguist Philos 33:479–512, 2010a. doi:10.1007/s10988-011-9087-4; Philos Impr 10:1–25, 2010b). Nickel’s ambitious proposal includes a detailed account of their truth-conditions, an account of certain pragmatic phenomena that they give (...) rise to, a metaphysical picture of their truth-makers in terms of mechanisms, and an epistemological story connecting characterizing sentences to such concepts as induction and explanation. This paper offers an extended critique of the central truth-conditional component of Nickel’s proposal. In a nutshell, his account has it that ‘Tigers are striped’ is true iff, for tigers, there is a way of being normal with respect to fur-pattern such that all tigers that are normal that way are striped. I begin by explaining what characterizing sentences are and distinguish several readings that are available for sentences with bare plurals in subject position. I then introduce Nickel’s account and discuss some of its predictions which, in my view, seem highly problematic. Moreover, I argue that Nickel’s principle of Homogeneity does not go together well with his proposed truth-conditions, and that his truth-conditional account violates a plausible principle about the logic of generics, a principle I call generic non-contradiction. (shrink)

Generic sentences involving phrasal conjunctions present a prima facie problem for the standard theory of generics according to which they express quasi-universal generalisations about what is characteristic for members of a particular kind. For example, the sentence ‘Elephants live in Africa and Asia’ is true, even though it is uncharacteristic for an elephant to live in both Africa and Asia. In response to this problem, theorists have recently proposed radical departures from the standard view. This paper argues that such (...) departures are unwarranted: not only do they fail to fully accommodate the data involving generic conjunctions, their scope is overly narrow, since the phenomena in question also arise in non-generic contexts. I propose a new theory of generics that aims to account for generic conjunctions in a principled manner and which sheds new light on the mereological commitments of natural language. (shrink)

Generic sentences (e.g., bare plural sentences such as “dogs have four legs” and “mosquitoes carry malaria”) are used to talk about kinds of things. Three experiments investigated the conceptual foundations of generics as well as claims within the formal semantic approaches to generics concerning the roles of prevalence, cue validity and normalcy in licensing generics. Two classes of generic sentences that pose challenges to both the conceptually based and formal semantic approaches to generics were investigated. Striking property generics (...) (e.g. “sharks bite swimmers”) are true even though only a tiny minority of instances have the property and thus pose obvious problems for quantificational approaches, and they also do not seem to characterize kinds in terms of the principled or statistical connections investigated in previous research ( Prasada and Dillingham, 2006 ; Prasada and Dillingham, 2009). The second class — minority characteristic generics (e.g. “ducks lay eggs”) — also poses serious problems for quantificational accounts, and appears to involve principled connections even though fewer than half of its instances have the relevant property. The experiments revealed three principal discoveries: first, striking generics involve neither principled nor statistical connections. Instead, they involve a causal connection between a kind and a property. Second, minority characteristic generics exhibit the characteristics of principled connections, which suggests that principled connections license the expectation that most instances will have the property, but do not require it. Finally, the experiments also provided evidence that prevalence and the acceptability of generics may be dissociated and provided data that are problematic for normalcy approaches to generics, and for the idea that cue validity licenses low prevalence generics. As such, the studies provided evidence in favor of a conceptually based approach to the semantics of generics ( Leslie, 2007 ; Leslie, 2008; see also Carlson, 2009). (shrink)

How do generics interact with modals? This note offers one observation about an interaction with 'might' that presents a challenge for standard theories.

Generics exhibit genericity, and though a theory of generics is closely connected to a theory of genericity, the two are distinct. They raise a host of interesting linguistic and philosophical issues, both separately and in their interaction. This chapter begins with a fairly manifest phenomenon one can observe in natural language. There is a range of sentences that, speaking intuitively, one can use to talk about kinds. It argues that there's no simple statistical criterion that systematically captures the patterns of (...) the truth and falsity of generics. Generics seem to not just be substantially independent of statistical facts in the world and at the time with respect to which they are evaluated. The chapter points‐out a likely form of context dependence in generics, and argues that on a quantificational approach to generics, the restrictor of the generic quantifier must be determined at least in part by the predicate at issue. (shrink)

This chapter contains sections titled: Introduction Hilbert's Program Gödel's Theorems Computability Absolute and Relative in Logic.

We use generic sentences like ‘Blondes are stupid’ to express stereotypes. But why is this? Does the fact that we use generic sentences to express stereotypes mean that stereotypes are themselves, in some sense, generic? I argue that they are. However, stereotypes are mental and generics linguistic, so how can stereotypes be generic? My answer is that stereotypes are generic in virtue of the beliefs they contain. Stereotypes about blondes being stupid contain a belief element, (...) namely a belief that blondes are stupid. This belief is an attitude taken towards the same proposition expressed by the sentence ‘Blondes are stupid’, hence why we use the latter to articulate the former. -/- This generic account of stereotypes can help us better understand their inner workings. I focus on one feature of generics, variability in the types of facts that can make them true, and argue that it can explain how stereotypes shape inferential patterns and thereby guide how we treat members of stereotyped groups. This feature, in turn, illuminates the harms caused by stereotyping and suggests some courses of action. (shrink)