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)

We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent theories.

We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to $\mathsf {DC}$ -preserving symmetric submodels of forcing extensions. Hence, $\mathsf {ZF}+\mathsf {DC}$ not only provides the right framework for developing classical analysis, but is also the right base theory over which to safeguard truth in analysis from the independence phenomenon in the presence (...) of large cardinals. We also investigate some basic consequences of the Proper Forcing Axiom in $\mathsf {ZF}$, and formulate a natural question about the generic absoluteness of the Proper Forcing Axiom in $\mathsf {ZF}+\mathsf {DC}$ and $\mathsf {ZFC}$. Our results confirm $\mathsf {ZF} + \mathsf {DC}$ as a natural foundation for a significant portion of “classical mathematics” and provide support to the idea of this theory being also a natural foundation for a large part of set theory. (shrink)

We develop a basic theory of rosy groups and we study groups of small Uþ-rank satisfying NIP and having finitely satisfiable generics: Uþ-rank 1 implies that the group is abelian-by-finite, Uþ-rank 2 implies that the group is solvable-by-finite, Uþ-rank 2, and not being nilpotent-by-finite implies the existence of an interpretable algebraically closed field.

This paper deals with the exceptions-tolerance property of generic sentences with indefinite singular and bare plural subjects (IS and BP generics, respectively) and with the way this property is connected to some well-known observations about felicity differences between the two types of generics (e.g. Lawler's 1973, Madrigals are popular vs. #A madrigal is popular). I show that whereas both IS and BP generics tolerate exceptional and contextually irrelevant individuals and situations in a strikingly similar way, which indicates the existence (...) of a basically equivalent tolerance mechanism, there is also a difference between them, unnoticed so far, which concerns the degree to which the properties of the legitimate exceptions can be characterized in advance. Following claims in Greenberg (2003), I argue that both this newly observed difference as well as the traditional felicity differences result from an underlying contrast in the type of ‘non-accidentalness’ expressed by the two types of generic sentences, and more formally, in the accessibility relations that their generic quantifier (Gen) is compatible with. To capture the new difference in tolerance of exceptions, I develop an improved version of the exceptions-tolerance mechanism for generic sentences suggested in Kadmon & Landman (1993), namely, a restriction on the set of individuals and situations quantified by Gen, which is partially vague to two different degrees using supervaluationist methods. The different degrees of vagueness in this restriction are shown to be systematically dependent on the two types of accessibility relations that IS and BP generics are compatible with, which are redefined as precise and vague restrictions on the generic quantification over worlds. (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)

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)

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)

It is widely agreed that generics tolerate exceptions. It turns out, however, that exceptions are tolerated only so long as they do not violate homogeneity: when the exceptions are not concentrated in a salient “chunk” of the domain of the generic. The criterion for salience of a chunk is cognitive: it is dependent on the way in which the domain is mentally represented. Findings of psychological experiments about the ways in which different domains are represented, and the actors affecting (...) such representations, account for judgments of generic sentences, facts which cannot be explained by linguistics alone. The reason for the homogeneity requirement itself is, in turn, also dependent on cognitive considerations. Generics express default rules, and psychological findings have shown that, the more homogeneous the domain, the easier it is for subjects to infer rules about it. Thus, cognitive results form a crucial part of a comprehensive account of the meaning of a linguistic expression. (shrink)

Recent metaphysics has seen a surge of interest in grounding—a relation of non-causal determination underlying a distinctive kind of explanation common in philosophy. In this article, I investigate the connection between grounding and another phenomenon of great interest to metaphysics: ontological dependence. There are interesting parallels between the two phenomena: for example, both are commonly invoked through the use of “dependence” terminology, and there is a great deal of overlap in the motivations typically appealed to when introducing them. (...) I approach the question of the relationship between grounding and ontological dependence through an investigation of their modal connections. I argue, firstly, that on the common assumption that grounding is factive, it can be shown that no known variety of rigid ontological dependence is either necessary or sufficient for grounding. I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence. I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic ontological dependence. I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary both for factive and non-factive grounding. However, justifying even these fairly weak modal connections between grounding and ontological dependence turns out to require some quite specific and substantive assumptions about the two phenomena that have only rarely been discussed. (shrink)

In this paper I consider respects of dependence, namely, the fact that some entities depend on other entities in some respect or another. In the first section, I provide a characterization of contemporary debates on dependence based on respects of dependence. I also single out seven desiderata a good theory of dependence should satisfy and three ways of interpreting respects of dependence. In the second section, I criticize two such ways and, in the third section, (...) I defend the remaining option, namely, that respects of dependence correspond to different dependence-relations between entities. In the fourth section, I develop my theory of Respect-of-Dependence Relations in order to distinguish between partial and full dependence and between specific and generic dependence, and to qualify RD -relations in temporal and modal terms. Finally, in the last section, I anticipate and reply to three objections against dependence pluralism. (shrink)

The COVID-19 pandemic has revealed the vulnerability of the US generic drug supply chain to foreign production. Many policies have been proposed to mitigate this vulnerability. In this article, we argue that nonprofit drug manufacturers have the potential to make important contributions.

I argue for two major claims in this paper. First, I argue that the linguistic evidence best supports a certain form of contextualism about predicates of personal taste (PPTs) like ?fun? and ?tasty?. In particular, I argue that these adjectives are both individual-level predicates (ILPs) and anaphoric implicit argument taking predicates (IATPs). As ILPs, these naturally form generics. As anaphoric IATPs, PPTs show the same dependencies on context and distributional behavior as more familiar anaphoric IATPs, for example, ?local? and ?apply?. (...) Moreover, they are subject to important binding-related phenomena, for example, various kinds of anaphora, binding arguments, and strict-sloppy ambiguities. The latter are particularly problematic for relativism, contextualism's major competitor. I argue that relativism cannot account for these binding facts in a non-ad hoc manner. Second, I argue that disagreement is a predictable feature of dialogues involving PPTs in conjunction with the contextualist semantics defended. Appealing to ?off the shelf? analyses of genericity, I show how disagreement arises in just the cases we would expect, licensing just the kinds of responses we would expect. They also suggest promising explanations, unavailable to relativists, of various otherwise puzzling features of disagreements involving PPTs. (shrink)

This paper reviews and develops the concept of “contextuality” whose profound significance—or lack thereof—was clarified especially by Detlef Dürr and his collaborators. In particular, we explore, in the context of a simple toy model of a measurement procedure described using Bohmian mechanics, the dependence of measurement outcomes on the (continuously variable) strength of the coupling between the system and measuring apparatus. This provides a revealing illustration of the fact that the outcomes of experiments may, and in general do, depend (...) on details of the experiment other than simply the Hermitian operator which (as it is often misleadingly said) is “measured” in the experiment. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some (...) extra set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus (...) on conditions that must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (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)

This article presents a series of experiments which were conducted among native speakers of German to determine the influence of different types of German generics on the cognitive inclusion of women. Results indicate that the inclusion of women is higher with ‘non-sexist’ alternatives than with masculine generics, a tendency which was consistent across different studies. The different alternatives, however, showed different effects which also varied depending on the context. These results are discussed with regard to their practical consequences in situations (...) such as nominating women and men for awards or political offices. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some (...) extra set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true , etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application of some (...) extra set of classical logic rules. The generic format consists of a set of minimal criteria that must be satisfied by the vague logic in casu in order to be usable as a basis for an adaptive vague logic. The criteria focus on the way in which the logic deals with a special ⊡-operator. Depending on the kind of logic for vagueness that is used as a basis for the adaptive vague logic, this operator can be interpreted as completely true, definitely true, clearly true, etc. It is proven that a wide range of famous logics for vagueness satisfies these criteria when extended with a specific ⊡-operator, e.g. fuzzy basic logic and its well known extensions, cf. [7], super- and subvaluationist logics, cf. [6], [9], and clarity logic, cf. [13]. Also a fuzzy logic is presented that can be used for an adaptive vague logic that can deal with higher-order vagueness. To illustrate the theory, some toy-examples of adaptive vague proofs are provided. (shrink)

This dissertation investigates grounding, the relation of non-causal determination whereby one fact obtains in virtue of some other fact or facts. Although considerations of grounding have been central throughout Western philosophy, the last 15-20 years have seen a renaissance of systematic work on grounding in analytic philosophy. The aim of the dissertation is to contribute to our understanding of the nature of grounding and its relation to other central phenomena in metaphysics. -/- Chapter 1 of the dissertation provides a brief (...) presentation of grounding and introduces some distinctions of relevance to later chapters. Chapter 2 discusses the question of whether grounding can be reduced. Four reductive accounts – in terms of fundamentality and supervenience, essence, reduction, and metaphysical laws respectively – are considered. All of these accounts are found to be subject to objections and are consequently rejected. -/- Chapter 3 considers the relation between grounding and another important phenomenon in metaphysics, namely ontological dependence. The question of the relation between the two is approached through an investigation of their modal connection (or lack thereof). It is argued that on the common assumption that grounding is a factive relation, ontological dependence can be shown to be neither necessary nor sufficient for grounding. Furthermore, to get any form of modal connection between the two relations, one needs to move to a non-factive conception of grounding or consider generic ontological dependence and accept a potentially controversial principle about the modal behaviour of grounding. Even then, the modal connection between grounding and ontological dependence is weak and subject to qualifications. -/- Chapter 4 develops and defends the novel notion of metaphysically opaque grounding. It is commonly assumed that grounding is an especially intimate and powerful connection and enables a form of explanation that is particularly strict and illuminating. An arguably related idea is that grounding is necessarily connected with the core features of things – their essences or natures. Metaphysically opaque grounding constitutes a form of grounding that falsifies both of these ideas. Chapter 4 makes the notion of metaphysically opaque grounding precise, motivates the idea that there are genuine cases of such grounding, explores its consequences for the theory of grounding, and defends the notion from potential objections, concluding that there are currently no strong reasons to rule out opaque grounding. (shrink)

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)

Let G be a stable abelian group with regular modular generic. We show that either 1. there is a definable nongeneric K ≤ G such that G/K has definable connected component and so strongly regular generics, or 2. distinct elements of the division ring yielding the dependence relation are represented by subgroups of G × G realizing distinct strong types (when regarded as elements of G eq ). In the latter case one can choose almost 0-definable subgroups representing (...) the elements of the division ring. We find a bound $((G: G^0))$ for the size of the division ring in case G has no definable subgroup K so that G/K is infinite with definable connected component. We show in case (2) that the group G/H, where H consists of all nongeneric points of G, inherits a weakly minimal group structure from G naturally, and Th(G/H) is independent of the particular model G as long as G/H is infinite. (shrink)

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does (...) not fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors. (shrink)

Access to medicines faces a new legal threat: “border enforcement” of drug patents. Using Brazil as an example, this article shows how the right to health depends on international trade. Border seizures of generic drugs present human rights and trade institutions with a unique challenge. Can public health advocates rise to meet it?

Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with (...) defining a linear order from scratch). To this end, we show that normalizability of linear order is a strictly weaker condition than definability (say, in the least fixpoint logic), and still allows for extending Immerman-Vardi-style results to generic queries. It seems to be the weakest such condition. We then conjecture that linear order is normalizable in the least fixpoint logic for any finitely axiomatizable class of rigid structures. Truth of this conjecture, which is a strengthened version of Stolboushkin's conjecture, would have the same practical implications as Dawar's Conjecture. Finally, we suggest a series of reductions of the two conjectures to specialized classes of graphs, which we believe should simplify further work. (shrink)

The question of whether the term ”art,” or art as an array of objects, can be defined depends upon the sense of “art” and its extension. The generic sense of “art” is its broadest meaning having its widest extension. I argue that the term is very much like the generic term “science.” Uses of both terms don’t depend upon rigorous definition. Rather, the terms organize an enormous number of varied and sometimes incompatible sub-categories. Most informative topics in art (...) and science are under these sub-categories. As dynamic areas of activity, art and science continue to evolve without an efficacious generic sense. We can dispense with it for these purposes. (shrink)

If we want to understand the allure of pharmaceuticals, we need to look beyond both medical efficacy and profit motives. The success of a drug depends not only on these, but also on how it mobilizes prior conceptions of identity. The extent to which a drug is taken — or talked about — is related to commodity properties that exceed the physiological and the economic. In implicit contrast to the discussions of BiDil elsewhere in this collection, I explore how the (...) links between race and pharmaceuticals can be both unstable and generative even when the drug in question is old and generic. By attending closely to an encounter around generic thiazide outside of a medical or marketing context, I show that although pharmaceuticals can seem to rely on scientific data and marketing for their power, they are, in fact, also subject to claims on many more registers that cannot quite subsume or refute each other. (shrink)

The accurate annotation of an unknown protein sequence depends on extant data of template sequences. This could be empirical or sets of reference sequences, and provides an exhaustive pool of probable functions. Individual methods of predicting dominant function possess shortcomings such as varying degrees of inter-sequence redundancy, arbitrary domain inclusion thresholds, heterogeneous parameterization protocols, and ill-conditioned input channels. Here, I present a rigorous theoretical derivation of various steps of a generic algorithm that integrates and utilizes several statistical methods to (...) predict the dominant function in unknown protein sequences. The accompanying mathematical proofs, interval definitions, analysis, and numerical computations presented are meant to offer insights not only into the specificity and accuracy of predictions, but also provide details of the operatic mechanisms involved in the integration and its ensuing rigor. The algorithm uses numerically modified raw hidden markov model scores of well defined sets of training sequences and clusters them on the basis of known function. The results are then fed into an artificial neural network, the predictions of which can be refined using the available data. This pipeline is trained recursively and can be used to discern the dominant principal function, and thereby, annotate an unknown protein sequence. Whilst, the approach is complex, the specificity of the final predictions can benefit laboratory workers design their experiments with greater confidence. -/- . (shrink)

We study the identifiability and estimation of functional causal models under selection bias, with a focus on the situation where the selection depends solely on the effect variable, which is known as outcome-dependent selection. We address two questions of identifiability: the identifiability of the causal direction between two variables in the presence of selection bias, and, given the causal direction, the identifiability of the model with outcome-dependent selection. Regarding the first, we show that in the framework of post-nonlinear causal models, (...) once outcome-dependent selection is properly modeled, the causal direction between two variables is generically identifiable; regarding the second, we identify some mild conditions under which an additive noise causal model with outcome-dependent selection is to a large extent identifiable. We also propose two methods for estimating an additive noise model from data that are generated with outcome-dependent selection. (shrink)

The D-CTC condition, introduced by David Deutsch as a condition to be fulfilled by analogues for processes of quantum systems in the presence of closed timelike curves, is investigated for classical statistical bi-partite systems. It is shown that the D-CTC condition can generically be fulfilled in classical statistical systems, under very general, model-independent conditions. The central property used is the convexity and completeness of the state space that allows it to generalize Deutsch’s original proof for q-bit systems to more general (...) classes of statistically described systems. The results demonstrate that the D-CTC condition, or the conditions under which it can be fulfilled, is not characteristic of, or dependent on, the quantum nature of a bi-partite system. (shrink)

The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.

Virtuosity in music performance is often associated with fast, precise, and efficient sound-producing movements. The generation of such highly skilled movements involves complex joint and muscle control by the central nervous system, and depends on the ability to anticipate, segment, and coarticulate motor elements, all within the biomechanical constraints of the human body. When successful, such motor skill should lead to what we characterize as fluency in musical performance. Detecting typical features of fluency could be very useful for technology-enhanced learning (...) systems, assisting and supporting students during their individual practice sessions by giving feedback and helping them to adopt sustainable movement patterns. In this study, we propose to assess fluency in musical performance as the ability to smoothly and efficiently coordinate while accurately performing slow, transitionary, and rapid movements. To this end, the movements of three cello players and three drummers at different levels of skill were recorded with an optical motion capture system, while a wireless electromyogrphy (EMG) system recorded the corresponding muscle activity from relevant landmarks. We analyze the kinematic and coarticulation characteristics of these recordings separately and then propose a combined model of fluency in musical performance predicting music sophistication. Results suggest movements from expert performers' are characterized by consistently smooth strokes and scaling of muscle phasic coactivation. The explored model of fluency as function of movement smoothness and coarticulation patterns was shown to be limited by the sample size but serves as a proof of concept. Results from this study show the potential of a technology-enhanced objective measure of fluency in musical performance, which could lead to improved practices for aspiring musicians, instructors, and researchers. (shrink)

In [17], we introduced an extensional variant of generic realizability [22], where realizers act extensionally on realizers, and showed that this form of realizability provides inner models of $\mathsf {CZF}$ (constructive Zermelo–Fraenkel set theory) and $\mathsf {IZF}$ (intuitionistic Zermelo–Fraenkel set theory), that further validate $\mathsf {AC}_{\mathsf {FT}}$ (the axiom of choice in all finite types). In this paper, we show that extensional generic realizability validates several choice principles for dependent types, all exceeding $\mathsf {AC}_{\mathsf {FT}}$. We then show (...) that adding such choice principles does not change the arithmetic part of either $\mathsf {CZF}$ or $\mathsf {IZF}$. (shrink)

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

This paper discusses a recent puzzle concerning the notions of boundary parthood and dependence, and offers a new solution. The puzzle was originally presented by Jeroen Smid and successively elaborated upon by Claudio Calosi. I first reformulate some of the troublesome premises. Particularly, whereas Smid and Calosi discuss the puzzle in terms of an underspecified notion of dependence, I propose to construe it in terms of the notion of grounding. In this manner, the dependence relation inherently carries (...) an asymmetry, and we can effectively utilize its four places. The solution I advance precisely takes advantage of this feature of dependence. My proposal avoids the contradiction while still respecting the intuitions driving the original premises. It is also fully compatible with boundaries being only generically dependent on their wholes. (shrink)

The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary (...) material objects and their boundaries (or surfaces) ontologically depend on each other is correct, it does not grasp their asymmetric relationship: while the existence of a surface rigidly depends upon the existence of the very object it belongs to, the existence of a physical object generically depends upon having some surface. In modal terms, both are two kinds of de re ontological dependence that this article tries to distinguish. (shrink)

The fact that boundaries are ontologically dependent entities is agreed by Franz Brentano and Roderick Chisholm. This article studies both authors as a single metaphysical account about boundaries. The Brentano-Chisholm theory understands that boundaries and the objects to which they belong hold a mutual relationship of ontological dependence: the existence of a boundary depends upon a continuum of higher spatial dimensionality, but also is a conditio sine qua non for the existence of a continuum. Although the view that ordinary (...) material objects and their boundaries (or surfaces) ontologically depend on each other is correct, it does not grasp their asymmetric relationship: while the existence of a surface rigidly depends upon the existence of the very object it belongs to, the existence of a physical object generically depends upon having some surface. In modal terms, both are two kinds of de re ontological dependence that this article tries to distinguish. (shrink)

Although both belong to the domain of the nonexistent, there is an ontological distinction between ficta and possibilia. Ficta are a particular kind of abstract objects, namely constructed abstract objects which generically depend on authors for their subsistence. Moreover, they are essentially incomplete entities, in that they are correlates of finite sets of properties. - On the other hand, possibilia are concrete objects. Being a possible object is indeed being an entity that might have existed, that is, that might have (...) been involved in the causal order. Besides, as an object existent in this sense may legitimately be qualified as complete, the incompleteness which pertains to possible objects is contingent, in that it regards them only with respect to the possible worlds in which they do not exist. This ontological distinction has a semantic correlate: whereas names for possibilia are full-fledged directly referential terms, names for ficta are synonymous with de facto rigid descriptions of a complex sort. (shrink)

A theory of intentionality is outlined, in which the desideratum that the intentional be the same as the real object is argued for in terms of an anti-realist ontology. According to such an ontology, an ordinary object is in itself an object of discourse taken as intentional when posited phenomenologically and as possible when posited naturalistically, i.e. as not existing in some possible worlds but as existing in others. If the actual world is included among the latter, the object deserves (...) to be called "rear". Qua possible object, it answers to a principle of individuation which also works as a criterion of discrimination. According to such a principle, any possible object has a counterfactual individualising property which takes substance plus origin in a given spacetime as the object's essential properties, where it exists. It is, moreover, an object of discourse insofar as it generically depends, for its own being, on a singular term being publicly used to refer to it. (shrink)

Although both belong to the domain of the nonexistent, there is an ontological distinction between ficta and possibilia. Ficta are a particular kind of abstract objects, namely constructed abstract objects which generically depend on authors for their subsistence. Moreover, they are essentially incomplete entities, in that they are correlates of finite sets of properties. - On the other hand, possibilia are concrete objects. Being a possible object is indeed being an entity that might have existed, that is, that might have (...) been involved in the causal order. Besides, as an object existent in this sense may legitimately be qualified as complete, the incompleteness which pertains to possible objects is contingent, in that it regards them only with respect to the possible worlds in which they do not exist. This ontological distinction has a semantic correlate: whereas names for possibilia are full-fledged directly referential terms, names for ficta are synonymous with de facto rigid descriptions of a complex sort. (shrink)

Priority monism is the view that the cosmos is the basic concrete entity on which each of its parts depend. Kovacs has recently argued that none of the classical notions of dependence could be used to spell out priority monism. I argue that four notions of dependence – namely rigid existential dependence, generic existential dependence, explanatory dependence, and generalised explanatory dependence – can indeed be used to spell out priority monism, and specify the (...) conditions under which this is possible. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a different (...) approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (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 concerned with the relation between two important metaphysical notions, ‘truthmaking’ and ‘grounding’. I begin by considering various ways in which truthmaking could be explicated in terms of grounding, noting both strengths and weaknesses of these analyses. I go on to articulate a problem for any attempt to analyze truthmaking in terms of a generic and primitive notion of grounding based on differences we find among examples of grounding. Finally, I outline a more complex view of how (...) truthmaking and grounding could relate. On the view explored, truthmaking is a species of grounding differentiated from other species of grounding by the unique form of dependence it involves. (shrink)

We initiate an account of Shelah’s notion of “strong dependence” in terms of generically stable measures, proving a measure analogue of the fact that a stable theory $T$ is “strongly dependent” if and only if all types have almost finite weight.

Generic self-gravitating quantum solutions that are not critically dependent on the specifics of microscopic interactions are presented. The solutions incorporate curvature effects, are consistent with the universality of gravity, and have appropriate correspondence with Newtonian gravitation. The results are consistent with known experimental results that indicate the maintenance of the quantum coherence of gravitating systems, as expected through the equivalence principle.

Generically interpreted bare plural noun phrases license donkey anaphora. This fact has unexpected consequences both for the analysis of generics and for the analysis of donkey anaphors. Specifically, if we assume a kindsbased analysis of bare plurals as in Carlson (1980), we will be forced to give up the idea that donkey anaphors are variables – presumably in favor of an E-type analysis. Conversely, if we assume that donkey anaphors are variables, we will be forced to give up Carlson’s treatment (...) of generically interpreted bare plurals as denoting kinds – presumably in favor of an analysis employing a generic operator like that of Wilkinson (1991), which quantifies over objects directly, without the mediation of kinds. The two issues are thus dependent on one another, and cannot be decided independently. This paper will not attempt to choose between an E-type and a variable-based analysis of donkey anaphors, or between a kinds-based and a kinds-free analysis of generic bare plurals, but only to point out that the choice one makes with regard to either one of these issues appears to force a particular choice with respect to the other issue. (shrink)

The aim of the paper is to propose a general conception of holism which is applicable to cases as far apart as holism in belief systems and holism in quantum physics. My proposal characterizes a holistic system S in terms of generic ontological dependence among its parts. This dependence relates to some of the properties that make something a part of an S whenever there is a suitable arrangement with other things. My proposal thus also characterizes what (...) it is for something to be a part of a holistic system and enables us to conceive of holistic properties. (shrink)

The proper sensible criterion of sensory individuation holds that senses are individuated by the special kind of sensibles on which they exclusively bear about (colors for sight, sounds for hearing, etc.). H. P. Grice objected to the proper sensibles criterion that it cannot account for the phenomenal difference between feeling and seeing shapes or other common sensibles. That paper advances a novel answer to Grice's objection. Admittedly, the upholder of the proper sensible criterion must bind the proper sensibles –i.e. colors– (...) to the common sensibles –i.e. shapes– so as to account for the visual phenomenal character of shapes. But, as Grice rightly objected, neither association, nor ontological dependence will do –I spend some time isolating why dependence is a bad answer here, basically because the dependence of shape on colors is generic, and that genericity is arguably not part of the phenomenal content of perception. -/- Grice is wrong, however, to think that once association and dependence have been rebutted, there is no other way to attach color to extension. The right way to connect proper and common sensibles is rather trivial, although it seems to have been widely neglected: proper sensibles FILL common ones. To see a shape, by contrast to feeling it, is to perceived as filled by some color. To feel a shape, is to perceive it as, say, filled by pressure. Filling in is the phenomenal connection between proper and common sensibles. -/- One important corollary of that proposal is that proper sensibles –color, pressure, noise, taste...– have to belong to the category of stuffs, in the sense of uncountable entities. Against the widespread view that colors are properties, which have countable instances, the last part of the paper argues that colors are phenomenal stuffs, which fill some visual area. One commits a category mistake in asking: "How many tropes/instances of this determinate redness is there on that ladybird". One should rather ask "How much of this determinate redness is there on that ladybird". (shrink)