In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

There are many mean and nasty things to say about mean and nasty talk, but I don't plan on saying any of them. There's a specific problem about slurring words that I want to address. This is a semantic problem. It's not very important compared to the real-world problems presented by bigotry, racism, discrimination, and worse. It's important only to linguistics and the philosophy of language.

Once upon a time it was assumed that speaking literally and directly is the norm and that speaking nonliterally or indirectly is the exception. The assumption was that normally what a speaker means can be read off of the meaning of the sentence he utters, and that departures from this, if not uncommon, are at least easily distinguished from normal utterances and explainable along Gricean lines. The departures were thought to be limited to obvious cases like figurative speech and conversational (...) implicature. However, people have come to appreciate that the meaning of a typical sentence, at least one we are at all likely to use, is impoverished, at least relative to what we are likely to mean in uttering it. In other words, what a speaker normally means in uttering a sentence, even without speaking figuratively or obliquely, is an enriched version of what could be predicted from the meaning of the sentence alone. This can be because the sentence expresses a “minimal” (or “skeletal”) proposition or even because it fails to express a complete proposition at all.1 Indeed, it is now a platitude that linguistic meaning generally underdetermines speaker meaning. That is, generally what a speaker means in uttering a sentence, even if the sentence is devoid of ambiguity, vagueness, or indexicality, goes beyond what the sentence means. The question is what to make of this Contextualist Platitude, as I’ll call it. It may be a truism, but does it require a radical revision of the older conception of the relation between what sentences mean and what speakers mean in uttering them? Does it lead to a major modification, or perhaps even outright rejection, of the semantic-pragmatic distinction? I think.. (shrink)

In discussions of moral responsibility for collectively produced effects, it is not uncommon to assume that we have to abandon the view that causal involvement is a necessary condition for individual co-responsibility. In general, considerations of cases where there is “a mismatch between the wrong a group commits and the apparent causal contributions for which we can hold individuals responsible” motivate this move. According to Brian Lawson, “solving this problem requires an approach that deemphasizes the importance of causal contributions”. Christopher (...) Kutz’s theory of complicitious accountability in Complicity from 2000 is probably the most well-known approach of that kind. Standard examples are supposed to illustrate mismatches of three different kinds: an agent may be morally co-responsible for an event to a high degree even if her causal contribution to that event is a) very small, b) imperceptible, or c) non-existent (in overdetermination cases). From such examples, Kutz and others conclude that principles of complicitious accountability cannot include a condition of causal involvement. In the present paper, I defend the causal involvement condition for co-responsibility. These are my lines of argument: First, overdetermination cases can be accommodated within a theory of coresponsibility without giving up the causality condition. Kutz and others oversimplify the relation between counterfactual dependence and causation, and they overlook the possibility that causal relations other than marginal contribution could be morally relevant. Second, harmful effects are sometimes overdetermined by non-collective sets of acts. Over-farming, or the greenhouse effect, might be cases of that kind. In such cases, there need not be any formal organization, any unifying intentions, or any other noncausal criterion of membership available. If we give up the causal condition for coresponsibility it will be impossible to delimit the morally relevant set of acts related to those harms. Since we sometimes find it fair to blame people for such harms, we must question the argument from overdetermination. Third, although problems about imperceptible effects or aggregation of very small effects are morally important, e.g. when we consider degrees of blameworthiness or epistemic limitations in reasoning about how to assign responsibility for specific harms, they are irrelevant to the issue of whether causal involvement is necessary for complicity. Fourth, the costs of rejecting the causality condition for complicity are high. Causation is an explicit and essential element in most doctrines of legal liability and it is central in common sense views of moral responsibility. Giving up this condition could have radical and unwanted consequences for legal security and predictability. However, it is not only for pragmatic reasons and because it is a default position that we should require stronger arguments (than conflicting intuitions about “mismatches”) before giving up the causality condition. An essential element in holding someone to account for an event is the assumption that her actions and intentions are part of the explanation of why that event occurred. If we give up that element, it is difficult to see which important function responsibility assignments could have. (shrink)

a comprehensive, somewhat Gricean theory of speech acts, including an account of communicative intentions and inferences, a taxonomy of speech acts, and coverage of many topics in pragmatics -/- .

Think of linguistification by analogy with personification: attributing linguistic properties to nonlinguistic phenomena. For my purposes, it also includes attributing nonlinguistic properties to linguistic items, i.e., treating nonlinguistic properties as linguistic. Linguistification is widespread. It has reached epidemic proportions. It needs to be eradicated. That’s important because the process of communication is not simply a matter of one person putting a thought into words and another decoding them back into the same thought. Much of what a speaker means cannot be (...) traced to what his words mean or to their possibly context-sensitive semantic contents. Words carry information all right, but that information hardly determines what speakers mean in uttering them. They leave plenty of pragmatic gaps and sometimes even semantic slack. I’ll mention various reasons for that, but the important thing is to recognize how much people exploit extralinguistic information in communicating and to avoid confusing this process with semantic context sensitivity. To appreciate the limitations of semantics, we shouldn’t fall for the fallacy of misplaced information or for the more specific fallacies enumerated below. (shrink)

This article makes a number of points about reference, both speaker reference and linguistic reference. The bottom line is simple: reference ain't easy — at least not nearly as easy as commonly supposed. Much of what speakers do that passes for reference is really something else, and much of what passes for linguistic reference is really nothing more than speaker reference. Referring is one of the basic things we do with words, and it would be a good idea to understand (...) what that involves and requires before worrying about the linguistic means by which this is done. (shrink)

Where does normal brain or psychological function end, and pathology begin? The line can be hard to discern, making disease sometimes a tricky word. In addiction, normal ‘wanting’ processes become distorted and excessive, according to the incentive-sensitization theory. Excessive ‘wanting’ results from drug-induced neural sensitization changes in underlying brain mesolimbic systems of incentive. ‘Brain disease’ was never used by the theory, but neural sensitization changes are arguably extreme enough and problematic enough to be called pathological. This implies that ‘brain disease’ (...) can be a legitimate description of addiction, though caveats are needed to acknowledge roles for choice and active agency by the addict. Finally, arguments over ‘brain disease’ should be put behind us. Our real challenge is to understand addiction and devise better ways to help. Arguments over descriptive words only distract from that challenge. (shrink)

Different brain mechanisms seem to mediate wanting and liking for the same reward. This may have implications for the modular nature of mental processes, and for understanding addictions, compulsions, free will and other aspects of desire. A few wanting and liking phenomena are presented here, together with discussion of some of these implications.

Confusion in terms inspires confusion in concepts. When a relevant distinction is not clearly marked or not marked at all, it is apt to be blurred or even missed altogether in our thinking. This is true in any area of inquiry, pragmatics in particular. No one disputes that there are various ways in which what is communicated in an utterance can go beyond sentence meaning. The problem is to catalog the ways. It is generally recognized that linguistic meaning underdetermines speaker (...) meaning because of the need for disambiguation and reference assignment and because people can speak figuratively or indirectly. But philosophers and linguists are coming to recognize that these are not the only ways. The situation may be described in Gricean terms: the distinction between what is said and what is implicated is not exhaustive. Charting the middle ground between the two will require attending to specific examples, noting their distinctive features, and articulating the relevant concepts. That is what I aim to do here. The basic idea will be to distinguish not only the implied from the explicit but the implicit from the implied. (shrink)

Psychopaths constitute less than 1% of the general population, but they commit a much larger proportion of crime and violence in society. This volume chronicles the latest science of psychopathy, various ways that psychopaths challenge the criminal justice system, and the major ethical issues arising from this fascinating condition.

China is the world’s second largest economy and the largest emitter of carbon dioxide, yet we know little about environmental proactivity in the most populated country in the world. We address this gap through a survey of 161 Chinese companies with two respondents per firm (N = 322), where we seek to identify the antecedents and consequences of environmental proactivity. We identify two categorizations of environmental proactivity: Environmental operational improvements and environmental reporting. We find that ecological motivations and regulatory stakeholder (...) pressure are positively related to both types of environmental proactivity, and external stakeholder pressure is negatively related to environmental reporting. Furthermore, we find that (1) if a firm is environmentally proactive (as it relates to either measure) and they are ecologically motivated, there is a positive and significant cost advantage, and (2) if a firm makes use of environmental operational improvement and they are competitively motivated, there is a positive and significant reputation advantage. Implications for researchers, managers, and policy-makers in China are discussed. (shrink)

Introduction: dimensions of inquiry -- Speaker intent and convention; linguistic meaning and pragmatics; Vagueness and indeterminacy: three topics in the philosophy of language -- Literary interpretation, performance art, and related subjects -- Religious interpretation -- General theories of interpretation -- Starting from the bottom: informal instructions -- The law of agency -- Wills -- Contracts -- Judicial alterations of textual provisions: Cy Pres and relatives -- Conclusion and a comparison.

Presenting a novel account of singular thought, a systematic application of recent work in the theory of speech acts, and a partial revival of Russell's analysis of singular terms, this book takes an original approach to the perennial problems of reference and singular terms by separating the underlying issues into different levels of analysis.

Grice’s distinction between what is said and what is implicated has greatly clarified our understanding of the boundary between semantics and pragmatics. Although border disputes still arise and there are certain difficulties with the distinction itself (see the end of §1), it is generally understood that what is said falls on the semantic side and what is implicated on the pragmatic side. But this applies only to what is..

This paper offers a smattering of applications of pragmatics to epistemology. In most cases they concern recent epistemological claims that depend for their plausibility on mistaking something pragmatic for something semantic. After giving my formulation of the semantic/pragmatic distinction and explaining how seemingly semantic intuitions can be responsive to pragmatic factors, I take up the following topics: 1. Classic Examples of Confusing Meaning and Use 2. Pragmatic Implications of Hedging or Intensifying an Assertion 3. Belief Attributions 4. Knowledge-wh 5. The (...) Knowledge Rule on Assertion 6. Testimony 7. Asserting and Thinking of Possibilities 8. Concessive Knowledge Attributions 9. “Pragmatic Encroachment” 10. Epistemic Contextualism.. (shrink)

We examine three assumptions commonly held in the corporate reputation literature: (1) reputation ratings of owners and investors are generally representative of all stakeholders; (2) stakeholders will generally provide a higher reputation rating to firms that emphasize corporate social responsibility versus firms that do not; and (3) profitability is the primary criterion of importance to all stakeholders when rating a firm's reputation. Using an exploratory in‐class exercise, our findings suggest that: (1) there are significant differences among stakeholder groups in their (...) reputation ratings; (2) firms that emphasize corporate social responsibility are not rated more highly across all stakeholder groups; and (3) for all stakeholder groups, the ethicality criterion explained more of the variance in firms' reputation ratings than the profitability criterion. (shrink)

The traditional puzzles about belief reports puzzles rest on a certain seemingly innocuous assumption, that 'that'-clauses specify belief contents. The main theories of belief reports also rest on this "Specification Assumption", that for a belief report of the form 'A believes that p' to be true,' the proposition that p must be among the things A believes. I use Kripke's Paderewski case to call the Specification Assumption into question. Giving up that assumption offers prospects for an intuitively more plausible approach (...) to the semantics of belief reports. But this approach must confront a puzzle of its own: it turns out that every case is a Paderewski case, at least potentially. (shrink)

This article joins with others in the same issue to celebrate the career of Robert B. Zajonc who was a broad, as well as a deeply talented, psychologist. Beyond his well-known focus in social psychology, the work of Zajonc also involved, at one time or another, forays into nearly every other subfield of psychology. This article focuses specifically on his studies that extended into biopsychology, which deserve special highlighting in order to be recognized alongside his many major achievements in emotion (...) and related social topics. The biopsychological focus is offered here in the hope that all his diverse contributions be savored together when celebrating the complete psychology of Robert Zajonc. (shrink)

Introduction: dimensions of inquiry -- Speaker intent and convention; linguistic meaning and pragmatics; Vagueness and indeterminacy: three topics in the philosophy of language -- Literary interpretation, performance art, and related subjects -- Religious interpretation -- General theories of interpretation -- Starting from the bottom: informal instructions -- The law of agency -- Wills -- Contracts -- Judicial alterations of textual provisions: Cy Pres and relatives -- Conclusion and a comparison.

What bothers people about reliabilism as a theory of justified belief? It has yet to be formulated adequately, but most philosophical theories have that problem. People seem to be bothered by the very idea of reliabilism, with its apparent disregard for believers’ rationality and responsibility. Yet its supporters can’t seem to understand its opponents complaints. I believe that the conflict can be clarified, if not resolved, by drawing certain important distinctions.

This paper defends a purely semantic notionof what is said against various recent objections. Theobjections each cite some sort of linguistic,psychological, or epistemological fact that issupposed to show that on any viable notion of what aspeaker says in uttering a sentence, there ispragmatic intrusion into what is said. Relying on amodified version of Grice's notion, on which what issaid must be a projection of the syntax of the utteredsentence, I argue that a purely semantic notion isneeded to account for the (...) linguistically determinedinput to the hearer's inference to what, if anything,the speaker intends to be conveying in uttering thesentence. (shrink)

Against a background of increasing regulation regarding access to medical information and the presentation of patients' confidentiality, the case of genetic information raises interesting questions about whether the application of general rules is appropriate in all situations. Whilst all genetic information is not equally sensitive, some of it is highly predictive. It also allows deductions to be made about other family members. It may not be regarded as particularly sensitive when compared to other types of medical information and those to (...) whom it applies may not be as anxious about preserving their confidentiality as compared with—for example, the prospect of seeing research into cause and cures for rare diseases put in hand. These distinctions also find resonance with the general public. Resolving conflicting tensions will require subtlety, not a blunt “one size fits all” model. (shrink)

We propose a new account of collective moral obligation. We argue that several agents have a moral obligation together only if they each have (i) a context-specific capacity to view their situation from the group’s perspective, and (ii) at least a general capacity to deliberate about what they ought to do together. Such an obligation is irreducibly collective, in that it does not imply that the individuals have any obligations to contribute to what is required of the group. We highlight (...) various distinctive features of our account. One such feature is that moral obligations are always relative to an agential perspective. (shrink)

Although it is possible to regard a species as a set with a special internal structure, it is preferable to regard a species as an individual precisely to emphasize this internal structure. It is necessary to recognize, moreover, that two organisms that are part of a single entity with respect to one process need not be part of a single entity with respect to another process. Furthermore, choosing to regard two entities (with respect to one process) as conspecific is not (...) to deny that there are two entities within this species. Thus, the systematist need not propose formal names for every entity he discovers, but the names he proposes ought to be as faithful to the relationship among the entities as is possible. (shrink)

There is a simple view of motivation on which desires are like pain-killers; they come in different strengths, and their strength determines their efficacy. That is, the stronger a desire the greater its motivational force and, when two desires conflict, the stronger one “wins out” over the weaker. This view makes it puzzling how anyone could ever exhibit “strength of will” and act on the weaker desire, even when it is a desire for something more highly valued than what is (...) more strongly desired. When the will, as the agent of reason, enters the fray, an explanation of what a person is motivated enough to do must reckon not only with competing desires and their motivational forces, but also with the will’s capacity to be affected by different ones in ways not proportional to their force. However, this complication sheds little light, for if the will must bestow its stamp of approval on a desire before the desire leads to action, then, it would seem, motivational force should be measured by strength of effect on the will. And if that’s the way to measure motivational force, then, since by that measure one always acts on the desire that affects one’s will most, there is no problem of strength of will after all. But the problem seems real, however inapt the label. (shrink)

Look before you leap. - Proverb. He who hesitates is lost. - Another proverb.

This review takes a historical perspective on concepts in the psychology of motivation and emotion, and surveys recent developments, debates and applications. Old debates over emotion have recently risen again. For example, are emotions necessarily subjective feelings? Do animals have emotions? I review evidence that emotions exist also as core psychological processes, which have objectively detectable features, and which can occur either with subjective feelings or without them. Evidence is offered also that studies of emotion in animals can give new (...) insights into human emotions. Beyond emotion, motivation concepts also have changed over decades, and debates still continue. Motivation was once thought in terms of aversive drives, and reward was thought of in terms of drive reduction. Motivation-as-drive concepts were largely replaced by motivation-as-incentive concepts, yet aversive drive concepts still occasionally surface in motivation neuroscience today. Among incentive motivation concepts, incentive salience is a core process, mediated by brain mesocorticolimbic systems (dopamine-related systems) and sometimes called ‘wanting’ (in quotation marks), to distinguish it from cognitive forms of desire (wanting without quotation marks). Incentive salience as ‘wanting’ is separable also from pleasure ‘liking’ for the same reward, which has important implications for several human clinical disorders. Ordinarily, incentive salience adds motivational urgency to cognitive desires, but ‘wanting’ and cognitive desires can dissociate in some conditions. Excessive incentive salience can cause addictions, in which excessive ‘wanting’ can diverge from cognitive desires. Conversely, lack of incentive salience may cause motivational forms of anhedonia in depression or schizophrenia, whereas a negatively-valenced form of ‘fearful salience’ may contribute to paranoia. Finally, negative ‘fear’ and ‘disgust’ have both partial overlap but also important neural differences. (shrink)