: "Work on aspect has long focussed on classifications of linguistic expressions into aspectual types, or Vendler-classes. Typical Vendler-classes include states, processes, and events. Such classifications miss the important generalization about aspectual interpretationthat it is a compositional process. It has been noted in the literature that terms can switch Vendler-classes; this has been called the category-switch problem. In our analysis, it is proposed that meanings and not expressions fall into aspectual classes, and that the aspectual type of a meaning (...) is derived by a process of aspectual composition. This process operates on underlying generalized activities that are similar to the nuclei proposed by Moens & Steedman, which in turn resemble plans.The interplay between semantic selection for a certain aspectual type and the application of type-changing operators to the meanings of verbphrases and sentences that occurs during aspectual composition constitutes weak aspectual type coercion. Our approach is illustrated with a unification-based grammar fragment that accounts for aspectual composition with certain adverbials, such as in a day or for an hour.". (shrink)

This paper examines aspectual be–type constructions in African American English. These constructions receive a habitual interpretation, but they are distinguished from simple tense generics in that they are not ambiguous between generic/habitual and capacity readings. The analysis proposed to account for these constructions is one in which aspectual be neutralizes the distinction between stage- and individual-level predicates. Following Kratzer (1995), I assume that stage-level predicates have a separate event argument associated with them, but individual-level predicates do not. Aspectual be forces (...) individual-level predicates to take an eventuality argument which coerces them into stage-level predicates. The logical representations of these constructions are given a tripartite structure in which a habitual operator binds variables ranging over eventualities.The analysis can be extended to account for constructions in which permanently stable entities indicated by bare plural subjects occur with be–type predicates. The solution proposed here accounts for some well-known properties of aspectual be that have not been discussed in the literature. (shrink)

The practices of using hostages to obtain concessions and using human shields to deter aggression share an important characteristic which warrants a univocal reference to both sorts of conduct: they both involve manipulating our commitment to morality, as a means to achieving wrongful ends. I call this type of conduct “moral coercion”. In this paper I (a) present an account of moral coercion by linking it to coercion more generally, (b) determine whether and to what degree the (...) coerced agent is liable for the harms resulting from acceding to moral coercion, and (c) investigate factors relevant to determining whether we ought to accede to moral coercion. In so doing, I provide grounds for the intuition that we “allow evil to succeed” when we accede to moral coercion. (shrink)

This chapter addresses the claim that, as new types of neurointervention get developed allowing us to enhance various aspects of our mental functioning, we should work to prevent the use of such interventions from ever becoming the “new normal,” that is, a practice expected—even if not directly required—by employers. The author’s response to that claim is that, unlike compulsion or most cases of direct coercion, indirect coercion to use such neurointerventions is, per se, no more problematic than (...) the pressure people all find themselves under to use modern technological devices like computers or mobile phones. Few people seem to believe that special protections should be introduced to protect contemporary Neo-Luddites from such pressures. That being said, the author acknowledges that separate factors, when present, can indeed render indirect coercion to enhance problematic. The factors in question include lack of safety, fostering adaptation to oppressive circumstances, and having negative side effects that go beyond health. Nonetheless, the chapter stresses that these factors do not seem to be necessary correlates of neuroenhancement. (shrink)

In this article, I develop a new account of the liberal view that principles of justice are meant to justify state coercion, and consider its implications for the question of global socioeconomic justice. Although contemporary proponents of this view deny that principles of socioeconomic justice apply globally, on my newly developed account this conclusion is mistaken. I distinguish between two types of coercion, systemic and interactional, and argue that a plausible theory of global justice should contain principles (...) justifying both. The justification of interactional coercion requires principles regulating interstate interference; that of systemic coercion requires principles of global socioeconomic justice. I argue that the proposed view not only helps us make progress in the debate on global justice, but also offers an independently compelling and systematic account of the function and conditions of applicability of justice. -/-. (shrink)

Coercion in the treatment of persons suffering from mental disorders is one of the major ethical controversies in psychiatry. Despite great efforts to reduce the use of coercive interventions, they are still widespread and differ between European countries regarding the specific type of intervention and the number of patients affected. It is common to justify measures against the present will of patients under the assumption that they promote their well-being, that is, by reference to the ethical principal of beneficence. (...) However, it is indisputable that such measures can also cause severe harm to the patients concerned and that these measures are often experienced as degrading. In which situations can coercive interventions be labeled justifiably as “beneficial”? How can they be reduced to a minimum? This volume addresses these issues from an interdisciplinary and international perspective, combining contributions from, among others, medical ethicists, philosophers, legal scholars, psychologists and psychiatrists from different European countries. Theoretical and conceptual essays are complemented by contributions with a strong relationship to clinical practice. (shrink)

In bioethics, the predominant categorization of various types of influence has been a tripartite classification of rational persuasion (meaning influence by reason and argument), coercion (meaning influence by irresistible threats—or on a few accounts, offers), and manipulation (meaning everything in between). The standard ethical analysis in bioethics has been that rational persuasion is always permissible, and coercion is almost always impermissible save a few cases such as imminent threat to self or others. However, many forms of influence (...) fall into the broad middle terrain—and this terrain is in desperate need of conceptual refining and ethical analysis in light of recent interest in using principles from behavioral science to influence health decisions and behaviors. This paper aims to address the neglected space between rational persuasion and coercion in bioethics. First, I argue for conceptual revisions that include removing the “manipulation” label and relabeling this space “nonargumentative]influence,” with two subtypes: “reason-bypassing” and “reason-countering.” Second, I argue that bioethicists have made the mistake of relying heavily on the conceptual categories themselves for normative work and instead should assess the ethical permissibility of a particular instance of influence by asking several key ethical questions, which I elucidate, that relate to (1) the impact of the form of influence on autonomy and (2) the relationship between the influencer and the influenced. Finally, I apply my analysis to two examples of nonargumentative influence in health care and health policy: (1) governmental agencies such as the Food and Drug Administration (FDA) trying to influence the public to be healthier using nonargumentative measures such as vivid images on cigarette packages to make more salient the negative effects of smoking, and (2) a physician framing a surgery in terms of survival rates instead of mortality rates to influence her patient to consent to the surgery. (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)

The paper investigates the interaction of lexical and constructional meaning in valency coercion processing, and the effect of (in)compatibility between verb and construction for its successful resolution (Perek, Florent & Martin Hilpert. 2014. Constructional tolerance: Cross-linguistic differences in the acceptability of non-conventional uses of constructions. Constructions and Frames 6(2). 266–304; Yoon, Soyeon. 2019. Coercion and language change: A usage-based approach. Linguistic Research 36(1). 111–139). We present an online experiment on valency coercion (the first one on Italian), by (...) means of a semantic priming protocol inspired by Johnson, Matt A. & Adele E. Goldberg. 2013. Evidence for automatic accessing of constructional meaning: Jabberwocky sentences prime associated verbs. Language & Cognitive Processes 28(10). 1439–1452. We test priming effects with a lexical decision task which presents different target verbs preceded by coercion instances of four Italian argument structure constructions, which serve as primes. Three types of verbs serve as target: lexical associate (LA), construction associate (CA), and unrelated (U) verbs. LAs are semantically similar to the main verb of the prime sentence, whereas CAs are prototypical verbs associated to the prime construction. U verbs serve as a mean of comparison for the two categories of interest. Results confirm that processing of valency coercion requires an integration of both lexical and constructional semantics. Moreover, compatibility is also found to influence coercion resolution. Specifically, constructional priming is primary and independent from compatibility. A secondary priming effect for LA verbs is also found, which suggests a contribution of lexical semantics in coercion resolution – especially for low-compatibility coercion coinages. (shrink)

This article examines the question of private coercion in market societies, arguing for an unconditional basic income guarantee from a classical liberal viewpoint. It proposes three main arguments. First, classical liberals view the purpose of government to be the reduction of coercion, both public and private. Second, a proper understanding of the nature of coercion indicates that parties subject to certain types of hardship are being coerced. Third, where the total amount of coercion is reduced (...) by eliminating the hardship, the classical liberal state must do so to fulfill its purpose. Hence, this article argues that if the total amount of coercion in society can be reduced by the state employing the amount of coercion necessary to maintain an unconditional basic income guarantee, then the classical liberal state is obligated to maintain such a guarantee by its underlying justification. (shrink)

Though political philosophers often presuppose that coercive enforcement is fundamental to law, many legal philosophers have doubted this. This article explores doubts of two types. Some legal philosophers argue that given an adequate account of coercion and coerciveness, the enforcement of law in actual legal systems will generally not count as coercive. Others accept that actual legal systems enforce many laws coercively, but they deny that law has a necessary connection with coercion. There can be individual laws (...) that lack coercive sanctions, and it is at least conceptually possible for there to be a legal system that lacks coercive enforcement altogether. This article then examines why most political philosophers and some legal philosophers have been reluctant to treat the conceptual possibility of non-coercive law as significant. (shrink)

Coercive subtyping offers a general approach to subtyping and inheritance by introducing a simple abbreviational mechanism to constructive type theories. In this paper, we study coercion completion in coercive subtyping and prove that the formal extension with coercive subtyping of a type theory such as Martin–Löf's type theory and UTT is a conservative extension. The importance of coherence conditions for the conservativity result is also discussed.

Introduction Scholars have debated how to define coercion and undue influence, but how institutional review boards (IRBs) view and make decisions about these issues in actual cases has not been explored. Methods I contacted the leadership of 60 US IRBs (every fourth one in the list of the top 240 institutions by National Institutes of Health funding), and interviewed 39 IRB leaders or administrators from 34 of these institutions (response rate=55%), and 7 members. Results IRBs wrestled with defining of (...) ‘coercion’ and ‘undue inducement’, most notably in deciding about participant compensation. IRBs often use these terms synonymously and define undue inducement in varying ways, often wrestling with these issues, relying on ‘gut feelings’, and seeking compromises. Ambiguities arose, partly reflecting underlying tensions: whether subjects should ‘get paid’ versus ‘volunteer’ (ie, whether subjects should be motivated by compensation vs altruism), and whether subjects should be paid differently based on income, given possible resultant selection bias. Lack of consistent standards emerged between and even on single IRBs. Questions arose concerning certain aspects and types of studies; for example, how to view and weigh providing free care in research, whether and how recruitment flyers should mention compensation, and how to avoid coercion in paediatric, developing world, or students research. Conclusions These data, the first to probe qualitatively how IRBs view and approach questions about coercion, undue influence and participant compensation, and to examine how IRBs have reviewed actual cases, reveal several critical ambiguities and dilemmas, and have vital implications for future practice, education, policy and research. (shrink)

We propose a record type theoretical account of cases of copredication which have motivated the introduction of dot types in the Generative Lexicon. We will suggest that using record types gives us a simple and intuitive account of dot types and also makes a connection between copredication and the use of hypothetical contexts in a record type theoretic analysis of dynamic generalized quantifiers. We propose a view of lexical innovation which draws both on Pustejovsky’s original work on (...) the Generative Lexicon and the notion of resource present in the Grammatical Framework. (shrink)

We consider a small supersimple theory with a property (CS) (close to stability). We prove that if in such a theoryTthere is a typep∈S(A) (whereAis finite) withSU(p) = 1 and infinitely many extensions overacleq(A), then inTthere is a modular such type. Also, ifTis supersimple with (CS) andp∈S(∅) is isolated,SU(p) = 1 andphas infinitely many extensions overacleq(∅), thenpis modular.

Machamer, Darden, and Craver's account of the nature and role of mechanisms in the special sciences has been very influential. Unfortunately, a confusing array of ontic, epistemic, and pragmatic distinctions is required to individuate their mechanisms, mechanism schemata, and mechanism sketches. I diagnose this as a conflation of token-level causal relations with type-level relations. I propose instead that a mechanism is an abstraction that relates entity types and activity types on the model of a directed graph. Mechanisms have (...) an ontic status distinct from the causal chains of token entities and token activities that instantiate them. (shrink)

Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated modeltheoretically, subject to change.

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

This Note discusses the facilities that are available in the MathML 2.0 Recommendation to facilitate the capturing of mathematical type information. It demonstrates how a combination of these features can be systematically used to provide support for general mathematical types.

It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial-time computable functions. The restrictions are obtained by using a ramified type structure, and by adding linear concepts to the lambda calculus.

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, (...) a species? §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

The question of the possibility of a phenomenological sociology is of the utmost importance today. In this paper, techniques in transcendental-genetic phenomenology are introduced as applicable to sociological work. I introduce the concept of recoil, a habit of thought which negatively determines protentions and expectations concerning types sedimented in far retention. Recoil is seen to be an important element in the theory of alterity in social life, including the understanding of alters as invisible. Finally, arguments in favor of the (...) use of the epoché in sociological work is given, as the epoché allows us to engage with the experience of the subject of study without a latent invidious comparison to a naturalistic substructure. (shrink)

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

Theorem A. Let T be a small superstable theory, A a finite set, and ψ a weakly minimal formula over A which is contained in some nontrivial type which does not have Morley rank. Then ψ is contained in some nonalgebraic isolated type over A. As an application we prove Theorem B. Suppose that T is small and superstable, A is finite, and there is a nontrivial weakly minimal type p ∈ S(A) which does not have Morley rank. Then the (...) prime model over A is not minimal over A. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.