Are generics quantificational?

The standard view about generic generalizations is that they have a tripartite quantificational logical form involving a phonologically null quantificational expression called ‘Gen’. However, proponents of the cognitive defaults theory of generics have forcefully rejected this view, instead arguing that generics express the default generalizations of our cognitive system, and, as such, they are different in kind from quantificational generalizations. While extant criticism of the cognitive defaults theory has focused on the extent to which it is supported by the empirical evidence, there has been little discussion of a neglected, albeit essential, theoretical argument in its defence, namely, that generics cannot be quantificational because they lack a central logical property of quantifiers: isomorphism invariance. This paper addresses this lacuna by considering and rejecting this argument. Consequently, an essential argument in favour of the cognitive default theory is found wanting

The acquisition of generics

It has been argued that the primary acquisition of genericity in early child speech poses a problem for standard quantificational approaches to generics and instead motivates the claim that generics give voice to an innate, default mode of generalising. This paper argues that analogous puzzles involving the acquisition of A-quantifiers undermine the empirical support for a purely cognition-based approach to generics. Instead, these acquisition puzzles should be solved by generalising the core insight of the cognitive defaults theory to these expressions, reconciling formal semantic approaches with the role that cognitive development plays on lexical competence

Psychological evidence for assumptions of path-based inheritance reasoning

The psychological validity of inheritance reasoners is clarified. Elio and Pelletier (1993) presented the first pilot experiment exploring some of these issues. We investigate other foundational assumptions of inheritance reasoning with defaults: transitivity, blocking of transitivity by negative defaults, pre-emption in terms of structurally defined specificity and structurally defined redundancy of information. Responses were in accord with the assumption of at least limited transitivity, however, reasoning with negative information and structurally defined specificity conditions did not support the predictions of the literature. 'Preemptive' links were found to provide additional information leading to indeterminacy, rather than providing completely overriding information as the literature predicts. On the other hand, results support the structural identification of certain links as redundant. Other findings suggest that inheritance proof-theory might be excessively guided by its syntax

Suit the action to the word, the word to the action: Hypothetical choices and real decisions in Medicare Part D

In recent years, consumer choice has become an important element of public policy. One reason is that consumers differ in their tastes and needs, which they can express most easily through their own choices. Elements that strengthen consumer choice feature prominently in the design of public insurance markets, for instance in the United States in the recent introduction of prescription drug coverage for older individuals via Medicare Part D. For policy makers who design such a market, an important practical question in the design phase of such a new program is how to deduce enrollment and plan selection preferences prior to its introduction. In this paper, we investigate whether hypothetical choice experiments can serve as a tool in this process. We combine data from hypothetical and real plan choices, elicited around the time of the introduction of Medicare Part D. We first analyze how well the hypothetical choice data predict willingness to pay and market shares at the aggregate level. We then analyze predictions at the individual level, in particular how insurance demand varies with observable characteristics. We also explore whether the extent of adverse selection can be predicted using hypothetical choice data alone

The Political Morality of Nudges in Healthcare

A common critique of nudges is that they reduce someone's of choices or elicit behavior through means other than rational persuasion. In this paper, I argue against this form of critique. I argue that, if there is anything distinctively worrisome about nudges from the standpoint of morality, it is their tendency to hide the amount of social control that they embody, undermining democratic governance by making it more difficult for members of a political community to detect the social architect’s pulling of the strings. This concern is particularly salient as to choices where it is important for people to directly engage with a certain set of values, “big personal decisions” (to use a simplifying phrase). Many healthcare decisions are exactly these kinds of choices

Generics, modality, and morality

The issues in this dissertation reside at the intersections of, and relationships between, topics concerning the meaning of generic generalizations, natural language modality, the nature and role of moral principles, and the place of supererogation in the overall structure of the normative domain. In ’Generics and Weak Necessity’, I argue that generics—exception-granting generalizations such as ’Birds fly’ and ’Tigers are striped’—involve a covert weak necessity modal at logical form. I argue that this improves our understanding of the variability and diversity of generics. This chapter also argues that we can account for variability concerning normative generics within a modal approach to generics. In ’The Genericity of Moral Principles’, I provide evidence for the view that moral principles are generic generalizations, and, on the basis of this claim, argue that moral principles do not provide adequate support for reasoning about the moral statuses of particular cases. In ’Supererogation and the Structure of the Normative Domain’, I investigate the diversity of the central normative modal notions and argue that we should distinguish between two senses of supererogation based different ways deontic modals are sensitive to background information

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification. The implementation demonstrates the value of integrating specification tools directly in the software development IDE and in automating as many tasks as possible. The tool, though still in progress, has now been used for several college-level courses on software specification and verification and for small-scale studies on existing Java programs.Comment: In Proceedings F-IDE 2014, arXiv:1404.578

Valuing a portfolio of dependent RandD projects: a Copula approach

The aim of this work consists of pricing a real biotechnology firm that is based on a portfolio of several drug development projects at different phases. Duffie and Singleton (1999) formulate a system of n correlated jump mean-reverting intensity equations to capture a portfolio of n entities’ default times. The drawback of their approach is that there are a lot of parameters and we have no enough information so as to estimate all. This is the reason why the copula approach has been very well accepted in recent years as an alternative tool for these situations since we can model the extreme situations (or default in this case) under a dependence framework by selecting those copula functions with a very few number of parameters.Copula, valuation, company, real options

The dynamics of generics

It is a familiar point that we can use generic sentences to express generalisations that are tolerant to exceptions and then go on to state those exceptions explicitly. It is a less familiar point that switching the order of the generics has deleterious effects on their felicity. For example, the sequences ‘Ravens are black, but albino ravens aren’t’ is perfectly felicitous and judged to be true, whereas its reverse ‘Albino ravens aren’t black, but ravens are’ is infelicitous and contradictory-sounding. This paper argues that such sequences pose a problem for extant theories of generics: while they have no trouble predicting the felicity of the first sequence of generics, they are unable to explain why reversing the order results in infelicity. I propose to account for these observations by adopting a dynamic semantic theory of generic sentences

The Radical Account of Bare Plural Generics

Bare plural generic sentences pervade ordinary talk. And yet it is extremely controversial what semantics to assign to such sentences. In this paper, I achieve two tasks. First, I develop a novel classification of the various standard uses to which bare plurals may be put. This “variety data” is important—it gives rise to much of the difficulty in systematically theorizing about bare plurals. Second, I develop a novel account of bare plurals, the radical account. On this account, all bare plurals fail to express propositions. The content of a bare plural has to be pragmatically “completed” by a speaker in order for her to make an assertion. At least the content of a quantifier expression has to be supplied. But sometimes, the content of a sentential operator or modal verb is also supplied. The radical account straightforwardly explains the variety data: Speakers’ communicative intentions vary wildly across different contexts