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)

In this paper I will give an analysis of what I call ‘generalizing detached self-reference’ within a general account of reference to the first person. With generalizing detached self-reference an agent attributes properties to a range of individuals by putting himself into their shoes, or simulating them. I will show that generalizing detached self-reference plays an important role in the semantics of natural language, in particular in the English generic one and in what syntacticians call arbitrary PRO.

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)

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)

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)

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 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.

Are sagging pants cool? Are cows food? Are women more submissive than men? Are blacks more criminal than whites? Taking the social world at face value, many people would be tempted to answer these questions in the affirmative. And if challenged, they can point to facts that support their answers. But there is something wrong about the affirmative answers. In this chapter, I draw on recent ideas in the philosophy of language and metaphysics to show how the assertion of a (...) generic claim of the sort in question ordinarily permits one to infer that the fact in question obtains by virtue of something specifically about the subject so described, i.e., about women, or blacks, or sagging pants. In the examples I’ve offered, however, this implication inference is unwarranted. The facts in question obtain by virtue of broad system of social relations within which the subjects are situated, and are not grounded in intrinsic or dispositional features of the subjects themselves. The background relations are obscured, however, and as a result, the assertion is at least systematically misleading; a denial functions to block the problematic implication. Revealing such implications or presuppositions and blocking them is a crucial part of ideology critique. (shrink)

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)

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

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)

In this paper, we consider how the notion of metalinguistic negotiation interacts with various theories of generics. The notion of metalinguistic negotiation we discuss stems from previous work from two of us (Plunkett and Sundell). Metalinguistic negotiations are disputes in which speakers disagree about normative issues concerning language, such as issues about what a given word should mean in the relevant context, or which of a range of related concepts a word should express. In a metalinguistic negotiation, speakers argue about (...) such issues implicitly, via competing “metalinguistic” usages of terms. Here, we argue that some disputes involving generics are best thought of as metalinguistic negotiations, and that these cases can be illuminating for our more general theorizing about generics. Specifically, we argue that the “contextualist” theory of generics that one of us (Sterken) has developed in other work is best equipped to account for these metalinguistic negotiations, relative to other leading views of generics. We thus argue for a “package deal” view of generics: a view that combines Plunkett and Sundell’s account of metalinguistic negotiation with Sterken’s contextualist view of generics. (shrink)

The generic Bohmian trajectories are calculated for an isolated particle in an approximate energy eigenstate, for an arbitrary one-dimensional potential well. It is shown that the necessary and sufficient condition for there to be a negligible probability of the trajectory deviating significantly from the classical trajectory at any stage in the motion is that the state be a narrowly localised wave packet. The properties of the Bohmian trajectories are compared with those in the interpretation recently proposed by García de (...) Polavieja. The reasons why the latter tend to be much more nearly classical are discussed. The implications for other trajectory interpretations are considered. (shrink)

Christine Tappolet posed a problem for alethic pluralism: either deny the truth of conjunctions whose conjuncts are from distinct domains of inquiry, or posit a generic global truth property thus making other truth properties redundant. Douglas Edwards has attempted to solve the problem by avoiding the horns of Tappolet's dilemma. After first noting an unappreciated consequence of Edwards's view regarding a proliferation of truth properties, I show that Edwards's proposal fails to avoid Tappolet's original dilemma. His response is not (...) successful, as it lets in a generic truth property through the ‘back door’. I conclude by briefly offering a new solution to the problem, and an alternative diagnosis of Tappolet's dilemma.1. Tappolet's dilemmaThe alethic pluralist ; Sher ; Wright ) contends that propositions from different domains can be true in different ways. Mixed conjunctions have conjuncts from different domains; consider for example, ‘1+1=2 and murder is wrong’. A pressing question for the pluralist: if each conjunct is true in a distinct way, in what way is the conjunction true? Tappolet argues, " [M]ixed conjunctions need to be true in a further way. … But then each conjunct has to be true in the same way. This is what follows from the truism that a conjunction is true if and only if its conjuncts are true. Hence the question arises again why this further way of being true is not the only one we need. " Edwards puts Tappolet's contention as a dilemma: either admit a generic truth property that can apply to all propositions, regardless of domain or deny that mixed conjunctions can be true. It is prima facie plausible that mixed conjunctions can be true. Moreover, admitting a generic truth property would seemingly undermine alethic pluralism by making other truth properties redundant.2. Edwards's solutionEdwards's solution attempts …. (shrink)

An entity x is said to be generically dependent on a type F if x cannot exist without at least one entity of type F existing. In this paper several varieties of generic dependence are distinguished, differing in the nature of the relationship between an entity and the instances of a type on which it generically depends, and in the light of this, criteria of identity for generically dependent entities are investigated. These considerations are then illustrated in detail in (...) a series of three case studies, covering shapes, linguistic entities such as letters, words and sentences, and collectives. Each case study examines how far the entities involved have robust identity criteria, and to the extent that they do not it is questioned whether they can be regarded as bona fide examples of generic dependent entities. Finally, in the light of this, a number of possible accounts that may be given of the ontological status of such entities are considered. (shrink)

The standard view amongst philosophers of language and linguists is that the logical form of generics is quantificational and contains a covert, unpronounced quantifier expression Gen. Recently, some theorists have begun to question the standard view and rekindle the competing proposal, that generics are a species of kind-predication. These theorists offer some forceful objections to the standard view, and new strategies for dealing with the abundance of linguistic evidence in favour of the standard view. I respond to these objections and (...) show that their strategies fail. I offer a novel argument in favour of the standard view that I call the binder argument. The upshot of this argument is that if one rejects the existence of Gen, then one is committed to rejecting the existence of covert structure in general. (shrink)

This article maintains that an important class of scientific generalizations should be reinterpreted: they have typically been understood as ceteris paribus laws, but are, in fact, generics. Four arguments are presented to support this thesis. One argument is that the interpretation in terms of ceteris paribus laws is a historical accident. The other three arguments draw on similarities between these generalizations and archetypal generics: they come with similar inferential commitments, they share a syntactic form, and the existing theories to make (...) sense of them are alike. Once these generalizations are properly understood as generics, the recent cognitive approach to generics can be extended to the study of the relevant sciences. The last section indicates ways in which this extension is fruitful for the two strands of research that we combine: the philosophy of science literature on generalizations and the semantics literature on generics. (shrink)

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions. Let $N$ be a countable saturated model of some complete theory $T$ , and let $(N,\sigma)$ denote an expansion of (...) $N$ to the signature $L_{0}$ which is a model of some universal theory $T_{0}$ . We prove that when all existentially closed models of $T_{0}$ have the same existential theory, $(N,\sigma)$ is Truss generic if and only if $(N,\sigma)$ is an e-atomic model. When $T$ is $\omega$ -categorical and $T_{0}$ has a model companion $T_{\mathrm {mc}}$ , the e-atomic models are simply the atomic models of $T_{\mathrm {mc}}$. (shrink)

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)

While opinions on the semantic analysis of generics vary widely, most scholars agree that generics have a quasi-universal flavor. However, there are cases where generics receive what appears to be an existentialinterpretation. For example, B's response is true, even though only theplatypus and the echidna lay eggs: (1) A: Birds lay eggs. B: Mammals lay eggs too. In this paper I propose a uniform account of the semantics of generics,which accounts for their quasi-existential readings as well as for their more (...) familiar quasi-universal ones. Generics are focus-sensitiveoperators: their domain is restricted by a set of alternatives, which may be provided by focus. I claim that, unlike otherfocus-sensitive operators, generics may, but do not have to, associate with focus. When alternatives are introduced, either by focus or by other means, generics get their usual quasi-universal readings. But when no alternatives are introduced, quasi-existential readings result.I argue that generics, unlike adverbs of quantification, do not introduce tripartite structures directly, but are initially interpreted as cases ofdirect kind predication. Only when this interpretation fails to make sense, the phonologically null generic quantifier is derived, and tripartite structures result. This two-level interpretation has the effect that while adverbs of quantification require focus to determine which elements go to the restrictor and which to the nuclear scope, and hence must associate with focus, generics do not, and hence may fail to associate with focus, resulting in quasi-existential readings. (shrink)

John Dewey wished to place development of the ability to think at the core of school education. The kind of thinking that Dewey had in mind was based on his conception of scientific inquiry. Matthew Lipman was likewise committed to an education centred on thinking, but he claimed that we should turn to philosophy rather than to science in order to secure this end. In his view, philosophy has a stronger claim to this mantle than does science, or any other (...) subject, when it is appropriately reconstructed and taught. He developed various arguments to that effect, but the one considered here is that philosophical thinking has a generic character that especially suits it for the role. I examine this argument to see how compelling a case it makes for the inclusion of philosophy in the school curriculum. (shrink)

In this paper, I argue that gratitude is not necessarily affective or motivating. Against a common trend in recent philosophical treatments of the notion, indeed, I argue for the introduction of an important but neglected kind of gratitude that is simply a matter of believing that one has been benefitted by a benevolent benefactor. I will call this non-affective, non-motivating kind of gratitude “generic,” and the kind – taking center stage in the literature – that is affective and motivating (...) “deep.” After defending the distinction, I explore the connection between these kinds of gratitude. (shrink)

In his book, "Prejudice", Endre Begby offers a novel and engaging account of the epistemology of prejudice which challenges some of the standard assumptions that have so far guided the recent discussion on the topic. One of Begby's central arguments against the standard view of prejudice, according to which a prejudiced person necessarily displays an epistemically culpable resistance to counterevidence, is that, qua stereotype judgments, prejudices can be flexible and rationally maintained upon encountering many disconfirming instances. By expanding on Begby's (...) analysis, I argue that, given the variety of truth conditions for true generic statements, the generic form of stereotype judgements can sometimes make prejudice extremely resistant to encounters with statistical facts about the distribution of the property among members of a certain group. At the same time, I argue that a more careful consideration of the generic form of stereotypes also allows us to recognize that evidence about how many members of the kind instantiate a property is not the only type of evidence which could disconfirm a prejudice. Evidence of no explanatory relation between a kind and a property should also have a direct effect on a prejudicial belief. For this reason, things may not look as dim for the standard view of prejudice in assessing paradigmatic instances of prejudicial beliefs as irrationally resistant to evidence. (shrink)

It is shown how certain generic extensions of a fine structural model in the sense of Mitchell and Steel [MiSt] can be reorganized as relativizations of the model to the generic object. This is then applied to the construction of Steel's core model for one Woodin cardinal [St] and its generalizations.

We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of ω2 by Σ-closed forcing. This new concept implies CH and extends the reflection principles for stationary sets in a canonical way.

Among American adults 20 years and older, 59 percent take at least one prescription drug on a regular basis. Unlike most branded drugs, which are generally drugs that have a trade name and are protected by a patent, off‐patent generic drugs make up approximately 90 percent of prescriptions annually filled in the United States; yet in 2017, generic drugs made up only 23 percent of total drug costs in the U.S. The U.S. Food and Drug Administration has taken (...) the lead in encouraging increased competition in the nation's prescription drug marketplace, most recently with its release of the agency's Drug Competition Action Plan, but also with its regulatory guidance and enforcement efforts to eliminate “gaming” of the regulatory process by both branded and generic pharmaceutical manufacturers. Such “gaming” activities include “pay‐for‐delay” agreements involving financial compensation between branded and generic pharmaceutical manufacturers to forestall the emergence into the market of generic pharmaceuticals to compete against a formerly patent‐protected branded drug. A combination of new enabling legislation, federal judicial guidance, and agency regulatory activities show promise in encouraging increased competition in the prescription drug marketplace, with the American consumer the ultimate beneficiary of lower health care costs and improved overall personal health. (shrink)

Scientists often communicate using generic generalizations, which are unquantified generalizations such as ‘Americans overestimate social class mobility’ or ‘sound waves carry gravitational mass’. In this paper, I explain the role of such generic generalizations in science, based on a novel theory about their characteristic meaning. According to this theory, a scientific generalization of the form ‘Ks are F’ says that F is one property based on which category K qualifies as a scientific kind. Because what it takes to (...) qualify as a scientific kind varies depending on the discipline, what a generic sentence entails also varies. Based on this semantic theory, I discuss the benefits and drawbacks of using generic language in science. (shrink)

We study genericity and randomness with respect to ITTMs, continuing the work initiated by Carl and Schlicht. To do so, we develop a framework to study randomness in the constructible hierarchy. We then answer several of Carl and Schlicht’s question. We also ask a new question one the equality of two classes of randoms. Although the natural intuition would dictate that the two classes are distinct, we show that things are not as simple as they seem. In particular we show (...) that the categorical analogues of these two classes coincide, in contradiction with the natural intuition. Even though we are not able to answer the question for randomness in this article, we delineate and sharpen its contour and outline. (shrink)

This work builds on previous papers by Hrushovski, Pillay and the author where Keisler measures over NIP theories are studied. We discuss two constructions for obtaining generically stable measures in this context. First, we show how to symmetrize an arbitrary invariant measure to obtain a generically stable one from it. Next, we show that suitable sigma-additive probability measures give rise to generically stable Keisler measures. Also included is a proof that generically stable measures over o-minimal theories and the p-adics are (...) smooth. (shrink)

We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in (...) models of as CP‐generics. We study a more natural property, called strong CP‐genericity, which implies CP‐genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP‐generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. (shrink)

How to respond to unauthorized migration and migrants is one of the most difficult questions in relation to migration theory and policy. In this commentary on Gillian Brock’s discussion of “irregular” migration, I do not attempt to give a fully satisfactory account of how to respond to unauthorized migration, but rather, using Brock’s discussion, try to highlight what I see as the most important difficulties in crafting an acceptable account, and raise some problems with the approach that Brock takes. In (...) thinking about unauthorized migration, both while trying to craft positive policies and while critiquing existing practices, we need to ask if we are most interested in a general account of how to respond to unauthorized migration, one that would apply to the large majority of cases and provide us a default approach, or if we are better served by taking a piecemeal approach, looking at why certain people or certain groups should be exempt from removal, even if they would otherwise be liable to it. In this paper, I will focus primarily on this distinction, and argue that it is at least important to provide an account of the "generic unauthorized". (shrink)

This paper addresses questions about how the levels of causality (generic and single-case causality) are related. One question is epistemological: can relationships at one level be evidence for relationships at the other level? We present three kinds of answer to this question, categorised according to whether inference is top-down, bottom-up, or the levels are independent. A second question is metaphysical: can relationships at one level be reduced to relationships at the other level? We present three kinds of answer to (...) this second question, categorised according to whether single-case relations are reduced to generic, generic relations are reduced to single-case, or the levels are independent. We then explore causal inference in autopsy. This is an interesting case study, we argue, because it refutes all three epistemologies and all three metaphysics. We close by sketching an account of causality that survives autopsy—the epistemic theory. (shrink)

The article discusses the issue of how to categorize video games—not the medium of video games, but individual video games. As a lead in to this discussion, the article discusses video game specificity and genericity and moves on to genre theory. On the basis of this discussion, a cognitive experientialist genre framework is sketched, which incorporates both general points from genre theory and theories more specific to the video game domain. The framework is illustrated through a brief example. One virtue (...) of the framework is that it offers a way to bridge the gap between game ontology and player experience; a brief conclusion discusses how the breadth of this gap may depend upon player biographies and also outlines how further work may proceed. (shrink)

Generic statements, such as "Bees are striped" are thought to be a central vehicle by which essentialist beliefs are transmitted. But work on generics and essentialism almost never focuses on the type of properties mentioned in generic statements. We test the hypothesis that teleological properties, what something is for, affect categorization judgments more strongly than behavioral, biological, or social properties. In Experiment 1, participants categorized properties as being either behavioral, biological, social, or teleological. In Experiment 2, we used (...) the top four properties from each group to describe a generic noun or a specific individual. Participants then categorized creatures that had one of their properties transformed. We found that changes to teleological properties had the strongest impact on categorization judgments. In Experiment 3, we also found that teleological properties mattered more in an induction task. We suggest that teleological properties play this privileged role in categorization because they are treated as essential properties. (shrink)

This article addresses the question which structures occur as fixed structures of stable structures with a generic automorphism. In particular we give a Galois theoretic characterization. Furthermore, we prove that any pseudofinite field is the fixed field of some model ofACFA, any one-free pseudo-differentially closed field of characteristic zero is the fixed field of some model ofDCFA, and that any one-free PAC field of finite degree of imperfection is the fixed field of some model ofSCFA.

General theoretical aspects are reviewed of models for microbial growth and endogenous metabolism. The focus is on a generic cell model with two components. Growth is represented as the increase of one of these components (the structural scaffolding or 'frame'). A novel feature of the present generic model is the explicit modelling of (partial) metabolic shutdown under conditions where maintenance requirements cannot be met.Two different approaches to mechanistic underpinnings for the classic models are outlined. The first approach is (...) based on a bimolecular reaction between the non-permanent biomass component and the permanent biomass component. The second approach is based on cellular control systems. (shrink)

I use generic embeddings induced by generic normal measures on that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower works much like it does when κ is a Woodin limit of Woodin (...) cardinals. One consequence is that every set of reals in the Chang model is Lebesgue measurable and has the Baire Property, the Perfect Set Property and the Ramsey Property. So indestructible weak compactness has effects on cardinal arithmetic high up and also on the structure of sets of real numbers, down low, similar to supercompactness. (shrink)

Accounts of ability in the philosophical literature have tended to be modal ones: claims about an agent’s abilities are understood in terms of what she does in certain non-actual scenarios. In contrast, a prominent account of ability ascriptions in the recent semantics literature appeals to genericity: claims about an agent’s abilities are understood in terms of what she generally manages to do. The latter account resolves some long-standing problems for modal accounts, but encounters problems of its own. I propose a (...) hybrid view, on which ability involves both a modal and a generic element. (shrink)

A P-point ultrafilter over \(\omega \) is called an interval P-point if for every function from \(\omega \) to \(\omega \) there exists a set _A_ in this ultrafilter such that the restriction of the function to _A_ is either a constant function or an interval-to-one function. In this paper we prove the following results. (1) Interval P-points are not isomorphism invariant under \(\textsf{CH}\) or \(\textsf{MA}\). (2) We identify a cardinal invariant \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})\) such that every filter base (...) of size less than continuum can be extended to an interval P-point if and only if \(\textbf{non}^{**}({\mathcal {I}}_{\tiny {\hbox {int}}})={\mathfrak {c}}\). (3) We prove the generic existence of slow/rapid non-interval P-points and slow/rapid interval P-points which are neither quasi-selective nor weakly Ramsey under the assumption \({\mathfrak {d}}={\mathfrak {c}}\) or \(\textbf{cov}({\mathcal {B}})={\mathfrak {c}}\). (shrink)

Hospital chaplaincy, in its exposure to clients, colleagues, and care-takers from different faith backgrounds, can be understood in either generic or catholic terms. The first understanding, often merely implicit in denominationalist approaches, assumes that some “Absolute” can be prayerfully invoked through the medium of diverse rituals, confessions, and symbols. This position combines the advantage of unprejudiced acceptance of other creeds and traditions with the disadvantage of lacking resources for discriminating among the spiritualities that may be operative within those other (...) creeds and traditions. Catholicism, in linking true spirituality with the one true church as the mystical body of the Tri-une God, secures such a criterion but fails to satisfy the tolerance-of-acknowledgement in the secular sense, which is canonical in contemporary ecumenism. The Orthodox understanding of Catholicism is portrayed as imposing a non-judgemental humility and repentance which provides a solution to that spiritual-human dilemma of inter-faith cooperation in the hospital. (shrink)

We show that one can solve Post's Problem by constructing generic sets in the usual set theoretic framework applied to tiny universes. This method leads to a new class of recursively enumerable sets: r.e. generic sets. All r.e. generic sets are low and simple and therefore of Turing degree strictly between 0 and 0'. Further they supply the first example of a class of low recursively enumerable sets which are automorphic in the lattice E of recursively enumerable (...) sets with inclusion. We introduce the notion of a promptly simple set. This describes the essential feature of r.e. generic sets with respect to automorphism constructions. (shrink)

Ceteris Paribus (cp-)laws may be said to hold only “other things equal,” signaling that their truth is compatible with a range of exceptions. This paper provides a new semantic account for some of the sentences used to state cp-laws. Its core approach is to relate these laws to natural language on the one hand — by arguing that cp-laws are most naturally expressed with generics — and to natural kinds on the other — by arguing that the semantics of generics (...) in the context of the special sciences are best spelled out by appeal to natural kinds. The paper then goes on to draw on these semantics in order to illuminate several problems raised by cp-laws, some familiar, some new. (shrink)

Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the action. In classical logic there is a strong dichotomy: while over finitely many propositional variables everything is trivial, the study of the continuous transformations of the Cantor space is the subject of an extensive literature, and is far from (...) being a completed task. In many-valued logic this dichotomy disappears: already in the finite-variable case many interesting phenomena occur, and the present paper aims at displaying some of these. (shrink)

Jockusch showed that 2-generic degrees are downward dense below a 2-generic degree. That is, if a is 2-generic, and $0 < {\bf{b}} < {\bf{a}}$, then there is a 2-generic g with $0 < {\bf{g}} < {\bf{b}}.$ In the case of 1-generic degrees Kumabe, and independently Chong and Downey, constructed a minimal degree computable from a 1-generic degree. We explore the tightness of these results.We solve a question of Barmpalias and Lewis-Pye by constructing a minimal (...) degree computable from a weakly 2-generic one. While there have been full approximation constructions of ${\rm{\Delta }}_3^0$ minimal degrees before, our proof is rather novel since it is a computable full approximation construction where both the generic and the minimal degrees are ${\rm{\Delta }}_3^0 - {\rm{\Delta }}_2^0$. (shrink)

Since the beginning of history of philosophy, the specificity of philosophical knowledge, which results from its fundamentality, has manifested itself in the quest for the most general notions which would adequately describe the structure and dynamics of reality. Such notions as oneness and multiplicity, sameness and difference, finitude and infinity, changeability and unchangeability, motion and rest, among others, have become a permanent challenge for philosophizing intellect, and also an irremovable element of the dictionary of European philosophy, to which new terminological (...) entries are being added, and the meanings of the old ones are being specified. (shrink)

Adjectival and Generic Pragmatism: Problems and Possibilities While honoring the suggestion that one should always use an adjective with "pragmatism," I explore the possibility of a generic use of the term, contending that an orientation to habit or revisable practice is a useful indicator.

This paper critically examines two arguments against the generic multiverse, both of which are due to W. Hugh Woodin. Versions of the first argument have appeared a number of times in print, while the second argument is relatively novel. We shall investigate these arguments through the lens of two different attitudes one may take toward the methodology and metaphysics of set theory; and we shall observe that the impact of these arguments depends significantly on which of these attitudes is (...) upheld. Our examination of the second argument involves the development of a new model for Steel’s multiverse theory, which is delivered in the Appendix. (shrink)

We show that the weakest versions of Foreman’s minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.

We consider relational databases organized over an ordered domain with some additional relations — a typical example is the ordered domain of rational numbers together with the operation of addition. In the focus of our study are the first-order queries that are invariant under order-preserving “permutations” — such queries are called order-generic. It has recently been discovered that for some domains order-generic FO queries fail to express more than pure order queries. For example, every order-generic FO query (...) over rational numbers with + can be rewritten without +. For some other domains, however, this is not the case.We provide very general conditions on the FO theory of the domain that ensure the collapse of order-generic extended FO queries to pure order queries over this domain: the Pseudo-finite Homogeneity Property and a stronger Isolation Property. We further distinguish one broad class of domains satisfying the Isolation Property, the so-called quasi-o-minimal domains. This class includes all the o-minimal domains, but also the ordered group of integer numbers and the ordered semigroup of natural numbers, and some other domains.An important difference of this paper from the recent series of related papers is that we generalize all the notions to the case of finitely representable database states — as opposed to finite states — and develop a general lifting technique that, essentially, allows us to extend any result of the kind we are interested in, from finite to finitely representable states. We show, however, that these results cannot be transfered to arbitrary infinite states. (shrink)