Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

Supervenience is one of the 'hot discoveries' of analytic philosophy, and this collection of essays on the topic represents an examination of it and its application to major areas of philosophy. The interest in supervenience has much to do with the flexibility of the concept. To say that x supervenes on y indicates a degree of dependence without committing one to the view that x can be reduced to y. Thus supervenience is a relationship that has the potential of (...) replacing the traditional notion of dependence, while performing at least part of the function reductive relationships were supposed to fulfil. Moreover, since it is a topic-neutral concept, supervenience has a wide range of applicability. (shrink)

While understanding and expressing causal relations are universal aspects of human cognition, language users may differ in their capacity to perceive, interpret, and express events. One source of variation in descriptions of caused motion events is agentivity, which refers to the attribution of a result to the agent's action. Depending on the perspective taken, the same event may be described with agentive or non-agentive interpretations. Does language play a role in how people construe and express caused motion events? The present (...) study investigated the use of agentive vs. non-agentive language by speakers of different languages (i.e., monolingual speakers of English and Korean, and Korean learners of English). All three groups described prototypical causal events similarly, using agentive language (active transitive sentences). However, when it came to non-prototypical causal events (where the agent was not shown in the scene), they diverged in their choice of language: English speakers favored agentive language (passive transitive sentences), whereas Korean speakers preferred non-agentive language (intransitive sentences). Korean learners of English patterned with Korean speakers, demonstrating L1 influence on their use of English. These findings highlight the effects of language on motion event construal. (shrink)

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is (...) in fact definably equivalent to the independence atom recently introduced by Väänänen and Grädel. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.

The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the (...) ${\forall^{1}}$ quantifier is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper. (shrink)

Dependence logic, introduced in Väänänen [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.

We show that for any pair $\phi$ and $\psi$ of contradictory formulas of dependence logic there is a formula $\theta$ of the same logic such that $\phi\equiv\theta$ and $\psi\equiv\neg\theta$. This generalizes a result of Burgess.

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

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra $\mathcal {B}$ to each formula. We show some basic results regarding the effect of the properties of $\mathcal {B}$ on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author’s result about counting types, as well as the notion of a smooth type (...) and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures—in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types. (shrink)

“Non-Self from the perspective of the Gene” November 2021, Buddhism and Culture (a Korean-language Buddhist magazine sponsored by the Foundation for the Promotion of Korean Buddhism), Korea.

In this note we prove and disprove some chain conditions in type definable and definable groups in dependent, strongly dependent and strongly2 dependent theories.

This paper discusses a modern, especially pragmatist, variant of the Kantian issue of the mind- or scheme-dependence of ontology. It is suggested that the distinction between scheme-dependence and scheme-independence in transcendental metaphysics is itself contextual, not absolute, and that this contextuality is a “transcendental fact” about our practice-embedded world-constitutive activities.

Th. W. Adorno’s aesthetics represents a comprehensive reflection on a number of important topics in aesthetic research. Among them is the issue of the aesthetic experience generated by the beauty of nature. In the perspective of Adorno’s theory, the experience of natural beauty is described as a quality that forms in an immanent relation to the historical and social reality of humans. In the first place, one can observe the fundamental dependence of natural beauty on the degree of social (...) domination of nature. By failing to reflect on this social mediation, the experience of natural beauty appears to be immediate and creates the deceptive fantasy of the primordial form of nature. At the same time, however, Adorno uncovers a positive potential in the experience of natural beauty – it lies in the ability to transcend a power-based subjectivity that reduces reality to the substrate of the domination. By means of the transcendence of subjectivity, the experience of natural beauty opens up the possibility to perceive and approach reality in the unreduced fullness of its qualities while also anticipating a reconciliation of man with nature in an allegorical way. The aim of my study is to describe the sketched aspects of the experience of natural beauty. (shrink)

By now, the laboratory tradition, crafting transportable knowledge that allows for comparison, has been amply studied. However, other knowledge traditions, notably that of the clinic, deserve further articulation. The authors contribute to this by unraveling some specificities of rehabilitation practice. How do laboratory and clinical traditions in rehabilitation relate to independence? The first seeks to quantify people's independence; the latter attends to qualitatively different ways of being independent. While measuring independence is a matter of aggregating scores on a priori established (...) dimensions, clinical rehabilitation concerns coordinating different ways of being independent. While independence scales map a linear development in time, rehabilitation participants juggle with time, including uncertain futures in their present. In clinical practice, then, independence is neither a single, coherent, fact nor a clear-cut, stable goal. Instead, professionals as well as patients work by creatively doctoring with the large variety of elements that are relevant to daily life with long-term disabilities. (shrink)

Famously, in his seminal After Finitude, Quentin Meillassoux charges Heidegger with what he classifies as strong correlationism. In general,...

Cet article traite de la variante moderne, notamment pragmatique, du problème kantien de la dépendance de l’ontologie de la raison et des schèmes. Il est suggéré que la distinction entre la dépendance et l’indépendance schématique dans la métaphysique transcendantale est elle-même contextuelle, pas absolue, et que cette contextualité est un « fait transcendantal » concernant nos activités constitutives du monde ancrées dans la pratique.

We investigate two notions of independence— independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they...

This essay considers the dependency of trans youth by bridging transgender studies with feminist care ethics to emphasize a trans wisdom about solidarity through dependency. The first major section of the essay argues for reworking Sara Ruddick's philosophy of mothering in the context of trans and gender‐creative youth. This requires, first, stressing a more robust interaction among her divisions of preservative love, nurturance for growth, and training for acceptability, and second, creating a more nuanced account of “nature” in relation to (...) nurturance for growth to avoid casting transition as contrary to a trans youth's healthy development. In the second major section of the essay, I depart from Ruddick's framework to emphasize the difference of care for trans youth by trans and/or queer communities and through mutual caregiving, stressing a trans wisdom about dependency and solidarity found in the work of Sylvia Rivera and Marsha P. Johnson. Turning to Eva Feder Kittay's links between dependency work and equality, I argue that Rivera and Johnson's work contains a distinct knowledge derived from practice necessitating the connection between solidarity and dependency in particular communities. I then call for more work on trans care ethics, trans ethics, and trans wisdom more broadly. (shrink)

This article proposes a new logical framework for NL quantification. The framework is based on Generalized Quantifiers, Skolem-like functional dependencies, and Maximality of the involved sets of entities. Among the readings available for NL sentences, those where two or more sets of entities are independent of one another are particularly challenging. In the literature, examples of those readings are known as Collective and Cumulative readings. This article briefly analyzes previous approaches to Cumulativity and Collectivity, and indicates (Schwarzschild in Pluralities. Kluwer, (...) Dordrecht, 1996) as the best proposal so far to deal with these readings. Then, it incorporates its insights in the logical framework defined in Robaldo (J Philos Log 39(1):23–58, 2009a), leading to a scalable logical account for NL quantification. (shrink)

According to the response-dependence view of moral responsibility, a person is morally responsible just in case, and in virtue of the fact that, she is an appropriate target for reactive attitudes. This paper raises a new puzzle regarding response-dependence: there is a mismatch between the granularity of the reactive attitudes and of responsibility facts. Whereas the reactive attitudes are comparatively coarse-grained, responsibility facts can be quite fine-grained. This poses a challenge for response-dependence, which seeks to ground facts (...) about responsibility in facts about the reactive attitudes. Specifically, reactive attitudes are not enough for grounding facts about degrees of moral responsibility. The responsedependence view thus requires significant revisions or supplementations. (shrink)

Next SectionThis paper proposes an extension of Dependency Tree Semantics (DTS), an underspecified formalism originally proposed in Robaldo (2007). The crucial advantage of DTS as compared to other contemporary proposals is its ability to represent Independent Set (IS) readings (a.k.a. scopeless readings), e.g. cumulative and collective readings. DTS achieves the expressivity needed to represent IS readings because it underspecifies Skolem-like functional dependencies. This paper extends DTS by introducing additional meta-constraints in First-Order Logic dedicated to disambiguating underspecified structures. However, it is (...) worth noting that the meta-constraints are independent from DTS, and could be easily re-implemented in any underspecified theory. The meta-constraints achieve flexible disambiguation, in the sense that they allow ambiguous structures to be specified independently of the linguistic (rather than logical) knowledge used. Secondly, DTS, equipped with the meta-constraints, becomes an expressively complete formalism in the sense of Ebert (2005). Expressive completeness is a desirable property for an underspecified formalism, because it allows a representation for each possible subset of available readings. (shrink)

Respecting the autonomy of disabled people is an important ethical issue for providers of long-term care. In this influential book, George Agich abandons comfortable abstractions to reveal the concrete threats to personal autonomy in this setting, where ethical conflict, dilemma and tragedy are inescapable. He argues that liberal accounts of autonomy and individual rights are insufficient, and offers an account of autonomy that matches the realities of long-term care. The book therefore offers a framework for carers to develop an ethic (...) of long-term care within the complex environment in which many dependent and aged people find themselves. Previously published as Autonomy and Long-term Care, this revised edition, in paperback for the first time, takes account of recent work and develops the author's views of what autonomy means in the real world. It will have wide appeal among bioethicists and health care professionals. (shrink)

Engineering failure investigations seek to reconstruct the actual causes of major engineering failures. The investigators need to establish the existence of certain past events and the actual causal relationships that these events bear to the failures in question. In this paper, I examine one method for reconstructing the actual causes of failure events, which I call "feature dependence". The basic idea of feature dependence is that some features of an event are informative about the features of its causes; (...) therefore, the investigators can use the features of a known failure event to reconstruct details of its causes. I make explicit the structure of feature dependence and the evidential basis of its key premises, and show how feature dependence works in the investigation of the American Airlines Flight 191 accident. (shrink)

In interdisciplinary research scientists have to share and integrate knowledge between people and across disciplinary boundaries. An important issue for philosophy of science is to understand how scientists who work in these kinds of environments exchange knowledge and develop new concepts and theories across diverging fields. There is a substantial literature within social epistemology that discusses the social aspects of scientific knowledge, but so far few attempts have been made to apply these resources to the analysis of interdisciplinary science. Further, (...) much of the existing work either ignores the issue of differences in background knowledge, or it focuses explicitly on conflicting background knowledge. In this paper we provide an analysis of the interplay between epistemic dependence between individual experts with different areas of expertise. We analyze the cooperative activity they engage in when participating in interdisciplinary research in a group, and we compare our findings with those of other studies in interdisciplinary research. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations (...) is a novel one. (shrink)

ABSTRACT On the traditional picture, accidents must inhere in substances in order to exist. Berkeley famously argues that a particular class of accidents—the sensible qualities—are mere ideas—entities that depend for their existence on minds. To defend this view, Berkeley provides us with an elegant alternative to the traditional framework: sensible qualities depend on a mind, not in virtue of inhering in it, but in virtue of being perceived by it. This metaphysical insight, once correctly understood, gives us the resources to (...) solve a central problem that still plagues the philosophy of perception—the problem of how, given the power of the mind to create phenomenally rich experiences, ordinary perception can nonetheless be said to acquaint us with the mind-independent world. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and (...) philosophical options that influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

Priority Monism, as defined by Jonathan Schaffer, has a number of components. It is the view that: the cosmos exists; the cosmos is a maximal actual concrete object, of which all actual concrete objects are parts; the cosmos is basic—there is no object upon which the cosmos depends, ontologically; ontological dependence is a primitive and unanalysable relation. In a recent attack, Lowe has offered a series of arguments to show that Monism fails. He offers up four tranches of argument, (...) with different focuses. These focal points are: being a concrete object; aggregation and dependence; analyses of ontological dependence; Schaffer’s no-overlap principle. These are all technical notions, but each figures at the heart of a cluster of arguments that Lowe puts forward. To respond, I work through each tranche of argument in turn. Before that, in the first section, I offer a cursory statement of Monism, as Schaffer presents it in his 2010 paper, Monism: The Priority of the Whole. I then respond to each of Lowe’s criticisms in turn, deploying material from Schaffer’s 2009 paper Spacetime: the One Substance, as well as various pieces of conceptual machinery from Lowe’s own works to deflect Lowe’s attacks. In the process of defending Monism from Lowe, I end up offering some subtle refinements to Schaffer’s view and explain how the resulting ‘hybrid’ view fares in the wider dialectic. (shrink)