An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.

We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then establish the relationship between logics related to these negations under unified syntax and semantics based on R. Sylvan's CCω.

Subintuitionistic (propositional) logics are those in a standard intuitionistic language that result by weakening the frame conditions of the Kripke semantics for intuitionistic logic. In this paper we consider two negation expansions of subintuitionistic logic, one by classical negation and the other by what has been dubbed “empirical” negation. We provide an axiomatization of each expansion and show them sound and strongly complete. We conclude with some final remarks, including avenues for future research.

Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ' empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In (...) this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation. (shrink)

We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as the basis. In this paper we use this result to obtain cut-free labelled sequent calculi for the logics.

The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of (...) 'not'. If there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE and a wide family of other relevant logics, LP, Kleene weak and strong 3-valued logics with either "exclusion" or "choice" negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter of which has been argued to be intuitionistically inconsistent. Chapter 4 highlights the importance of various notions of consequence-as-s-preservation where s may be falsity, indeterminacy or some other semantic value, in formulating rationality constraints on speech acts and propositional attitudes such as rejection, denial and dubitability. Chapter 5 provides an account of the nature of truth values regarded as objects. It is argued that only truth exists as the maximal truthmaker. The consequences this has for semantics representationally construed are considered and it is argued that every logic, from classical to non-classical, is gappy. Moreover, a truthmaker theory is developed whereby only positive truths, an account of which is also developed therein, have truthmakers. Chapter 6 investigates the definability of negation as "absolute" impossibility, i.e. where the notion of necessity or possibility in question corresponds to the global modality. The modality is not readily definable in the usual Kripkean languages and so neither is impossibility taken in the broadest sense. The languages considered here include one with counterfactual operators and propositional quantification and another bimodal language with a modality and its complementary. Among the definability results we give some preservation and translation results as well. (shrink)

There is a widely held view that visual representations (images) do not depict negation, for example, as expressed by the sentence, “the train is not coming.” The present study focuses on the real-world visual representations of photographs and comic (manga) illustrations and empirically challenges the question of whether humans and machines, that is, modern deep neural networks, can recognize visual representations as expressing negation. By collecting data on the captions humans gave to images and analyzing the occurrences of (...) negation phrases, we show some evidence that humans recognize certain images as expressing negation. Furthermore, based on this finding, we examined whether or not humans and machines can classify novel images as expressing negation. The humans were able to correctly classify images to some extent, as expected from the analysis of the image captions. On the other hand, the machine learning model of image processing was only able to perform this classification at about the chance level, not at the same level of performance as the human. Based on these results, we discuss what makes humans capable of recognizing negation in visual representations, highlighting the role of the background commonsense knowledge that humans can exploit. Comparing human and machine learning performances suggests new ways to understand human cognitive abilities and to build artificial intelligence systems with more human-like abilities to understand logical concepts. (shrink)

This paper presents a new approach to theorizing and empirically investigating a phenomenon variously described by sociologists as internalized oppression or symbolic violence. Located at the intersection of internal worlds and external reality, the intrapsychic and the interpersonal and social, this object of inquiry—here termed self-negation—is crucial to many forms of societal domination. The paper explores its inner workings, analytically disaggregating it into an array of psychosocial processes drawn from the psychoanalytic theory of the defenses. Much of the work’s (...) originality consists in showing how these processes operate across multiple systems of domination and drive many and varied outward manifestations of the phenomenon. (shrink)

Contrary to the contemporary view that negation is a logical operation that modifies the mere content of a thought or judgment, but not the act of thinking or judging it, Kant maintains that negation is an act of logical apperception through which I exclude a thought or judgment from what ‘I think.’ In this paper, I argue against two interpretations of Kant’s account of logical negation. According to the first, negation is a subjective psychological act of (...) excluding an erroneous judgment. Against this, I will show that for Kant, negation is an operation of logical, not empirical apperception. The second interpretation views logical negation as an objective representation either of a relation of opposition or of non-being. I argue that, on the contrary, the logical function of negation is merely formal, not material, and therefore does not have semantic content. The paper’s final section develops a positive conception of logical negation as a formal function of judging. (shrink)

This volume offers insights on experimental and empirical research in theoretical linguistic issues of negation and polarity, focusing on how negation is marked and how negative polarity is emphatic and how it interacts with double negation. Metalinguistic negation and neg-raising are also explored in the volume. Leading specialists in the field present novel ideas by employing various experimental methods in felicity judgments, eye tracking, self-paced readings, prosody and ERP. Particular attention is given to extensive crosslinguistc (...) data from French, Catalan and Korean along with analyses using semantic and pragmatic methods, corpus linguistics, diachronic perspectives, and longitudinal acquisitional studies as well as signed and gestural negation. Each contribution is situated with regards to major previous studies, thereby offering readers insights on the current state of the art in research on negation and negative polarity, highlighting how theory and data together contributes to the understanding of cognition and mind.. (shrink)

Poverty -of-stimulus arguments have taken new ground recently, augmented by experimental findings from th e study of child language. In this paper, we briefly review two variants of the poverty-of-stimulus argument that have received empirical support from studies of child language; then we examine a third argument of this kind in more detail. The case under discussion involves the structural notion of c-command as it pertains to children’s interpretation of disjunction in the scope of negation.

Intuitionistic logic formalises the foundational ideas of L.E.J. Brouwer’s mathematical programme of intuitionism. It is one of the earliest non-classical logics, and the difference between classical and intuitionistic logic may be interpreted to lie in the law of the excluded middle, which asserts that either a proposition is true or its negation is true. This principle is deemed unacceptable from the constructive point of view, in whose understanding the law means that there is an effective procedure to determine the (...) truth of all propositions. This understanding of the distinction between the two logics supports the view that negation plays a vital role in the formulation of intuitionistic logic.Nonetheless, the formalisation of negation in intuitionistic logic has not been universally accepted, and many alternative accounts of negation have been proposed. Some seek to weaken or strengthen the negation, and others actively supporting negative inferences that are impossible with it.This thesis follows this tradition and investigates various aspects of negation in intuitionistic logic. Firstly, we look at a problem proposed by H. Ishihara, which asks how effectively one can conserve the deducibility of classical theorems into intuitionistic logic, by assuming atomic classes of non-constructive principles. The classes given in this section improve a previous class given by K. Ishii in two respects: (a) instead of a single class for the law of the excluded middle, two classes are given in terms of weaker principles, allowing a finer analysis and (b) the conservation now extends to a subsystem of intuitionistic logic called Glivenko’s logic. This section also discusses the extension of Ishihara’s problem to minimal logic.Secondly, we study the relationship between two frameworks for weak constructive negation, the approach of D. Vakarelov on one hand and the framework of subminimal negation by A. Colacito, D. de Jongh, and A. L. Vargas on the other hand. We capture a version of Vakarelov’s logic with the semantics of the latter framework, and clarify the relationship between the two semantics. This also provides proof-theoretic insights, which results in the formulation of a cut-free sequent calculus for the aforementioned system.Thirdly, we investigate the ways to unify the formalisations of some logics with contra-intuitionistic inferences. The enquiry concerns paraconsistent logics by R. Sylvan and A. B. Gordienko, as well as the logic of co-negation by G. Priest and of empirical negation by M. De and H. Omori. We take Sylvan’s system as basic, and formulate the frame conditions of the defining axioms of the other systems. The conditions are then used to obtain cut-free labelled sequent calculi for the systems.Finally, we consider L. Humberstone’s actuality operator for intuitionistic logic, which can be seen as the dualisation of a contra-intuitionistic negation. A compete axiomatisation of intuitionistic logic with actuality operator is given, and comparisons are made for some related operators.Abstract prepared by Satoru Niki.E-mail:[email protected]. (shrink)

The present paper is an attempt at the investigation of the nature of polarity contrast in natural languages. Truth conditions for natural language sentences are incomplete unless they include a proper definition of the conditions under which they are false. It is argued that the tertium non datur principle of classical bivalent logical systems is empirically invalid for natural languages: falsity cannot be equated with non-truth. Lacking a direct intuition about the conditions under which a sentence is false, we need (...) an independent foundation of the concept of falsity. The solution I offer is a definition of falsity in terms of the truth of a syntactic negation of the sentence. A definition of syntactic negation is proposed for English. (shrink)

CONSIDER A NON EMPTY BUT OTHERWISE ARBITRARY SET OF\nPROPERTIES CALLED OBSERVATION-PROPERTIES (O-PROPERTIES).\nCALL A PROPERTY P A MEANINGFUL PROPERTY (M-PROPERTY) IF IT\nIS EQUIVALENT TO A (FINITE OR INFINITE) DISJUNCTION OF\nO-PROPERTIES--I.E., A NECESSARY AND SUFFICIENT CONDITION\nFOR P IS THAT AT LEAST ONE OBSERVATION-PROPERTY IN A\nCERTAIN SET O(P) BE TRUE. OBVIOUSLY THE CONJUNCTION AND\nDISJUNCTION OF TWO M-PROPERTIES IS AN M-PROPERTY; IN\nGENERAL THE NEGATION OF AN M-PROPERTY IS NOT AN M-PROPERTY.\nHOWEVER WE CAN DEFINE THE PSEUDO NEGATION OF AN M-PROPERTY\nP AS THE POSSESSION (...) OF SOME O-PROPERTY INCOMPATIBLE WITH P.\nTHE ALGEBRA OF DISJUNCTION, CONJUNCTION AND PSEUDO NEGATION\nOF M-PROPERTIES TURNS OUT TO START IN THE SAME RELATION TO\nBOOLEAN ALGEBRA AS INTUITIONISTIC LOGIC (NOT 3-VALUED\nLOGIC) DOES TO CLASSICAL LOGIC, AND SUGGESTS THEREFORE THAT\nINTUITIONISTIC RATHER THAN 3-VALUED LOGIC IS THE\nAPPROPRIATE FORMALISM TO DEAL WITH THE PARADOXES OF THE\nBALD MAN, THE HEAP, ETC. (shrink)

The cognitive anthropological approach has provided a powerful means of beginning to understand religious representations. I suggest that two extant approaches, despite their general plausibility, may not accurately characterise the detailed nature of those representations. A major source of this inaccuracy lies in the characterisation of negation of ontological properties, which gives rise to broader questions about their ontological determinacy and counter-intuitiveness. I suggest that a more plausible account may be forthcoming by allowing a more complex approach to the (...) representations, deriving from understanding their nature as concept combinations. Such an account also suggests an alternative approach to the role of deference in religious representations. In sum, the empirical and theoretical implications of a more fine-grained analysis of religious representations suggest a vindication of the cognitive anthropology approach to integrating culture and cognition. (shrink)

The subject matter of the paper is an analysis of the semantic relations between sentence negation, performative negation, and declarations in reference to utterances which speech acts theory gives the label of representatives. Apart from linguistic-semantic analyses, empirical studies have been conducted on the manner in which sentence negation and performative negation are processed. The results of Study I demonstrate that the semantic relation between sentence negation and performative negation changes depend on the (...) type of comment (positive vs. negative), and contextual factors (type of expectations towards events being commented on). As it turned out, when the situational context suggests a negative comment by the sender, participants offer similar interpretations of utterances with sentence negation and performative negation. In Study II the participants assessed the likelihood of the occurrence of the facts spoken of by a sender who uses sentence negation or performative negation. In a context suggesting positive utterances by the sender, a clear difference emerged between sentence negation and performative negation. This difference was not present in respect of negative expectations. The results achieved confirm the assumptions of the model of conversational inference regarding the influence of context on interpretation of a message. The recorded results indicate the semantic relations between declarations, sentence negation, and performative negation, which change depending on the affective significance of the message and contextual factors. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:New Rhetoric's Empire:Pragmatism, Dogmatism, and SophismRomain LauferPragmatism vs. RationalismThere are at least two reasons to devote some attention to sophism when dealing with the relationship between philosophy and rhetoric in the context of Franco-American intellectual exchanges. The first reason is that it lies at the very origin of classical philosophy which could be described as resulting directly from the way in which Plato and Aristotle succeeded in separating the (...) realm of rhetoric from the realm of philosophy. The second reason arises out of the way in which Durkheim, the founder of French academic sociology, thought it necessary to establish a clear distinction between sociology and pragmatism. This was done in a course given at the Sorbonne during the academic year 1913–14. The course could be considered a direct answer to the lectures on pragmatism given by William James at the Lowell Institute in Boston in 1906–7 (Durkheim 1955).From the very beginning of his talk, Durkheim expresses an extremely ambivalent point of view. On the one hand, pragmatism, better than any other doctrine, allows one to feel the necessity of reforming or renovating the type of "traditional rationalism" that dominated the French intellectual atmosphere of the time. On the other hand, it represents a real threat for this same rationalist tradition. Is it not a declaration of war that pragmatism launches on rationalism when William James writes that "against [End Page 326] rationalism as a pretension and a method pragmatism is fully armed and militant" (1975, 32)? In the face of this attack Durkheim declares that what is at stake are the very foundations of French culture: "Our whole French culture is essentially based on rationalism. Here the eighteenth century lives on. Thus, a radical negation of rationalism would constitute a danger: it would imply a complete disruption of our national culture. The whole French spirit would have to be transformed if the form of irrationalism that pragmatism represents were to be admitted" (1955, 28). Durkheim adds that this threat is not limited to the French tradition: "Not only our culture but the whole of the philosophical tradition has been, since the very beginnings of philosophical speculation—apart from a single exception that will be dealt with later—of a rationalist tendency. Therefore it is toward the disruption of all this tradition that one would have to proceed if pragmatism were valid" (1955, 28).Durkheim insists that what pragmatism tends to destroy is the "cult of truth," the fact that there are judgments that are necessary, which he will allude to throughout his analysis as corresponding to a dogmatic conception of truth that is repeatedly criticized by William James. James writes in his lectures on pragmatism that "rationalism is comfortable only in the presence of abstractions[;]... objective truth must be something non-utilitarian, haughty, refined, remote, august, exalted. It must be the absolute correspondence of our thoughts with an equally absolute reality.... Down with psychology, up with logic, in all this question!" (1975, 38).This allows Durkheim to declare that by stating that the human mind is free in front of the truth, pragmatism approaches the single exception he mentioned, namely, sophism, which in a similar manner negated truth. This connection is not arbitrary: it is avowed by the pragmatists themselves (1955, 28–29). Thus F. C. S. Schiller proclaims himself a "Protagorean" and recalls the axiom that "man is the measure of all things."Thus the debate between rationalism and pragmatism—between, according to Durkheim, a French philosophical tradition characterized by its link with a Cartesian dogmatic form of rationalism and an American philosophy characterized by its link with pragmatism—can be seen as the continuation of the debate between Plato and Aristotle, on the one hand, and the Sophists, on the other, at the origin of Western philosophy. Moreover, Durkheim tells us that the resurgence of the debate between pragmatism and philosophy corresponds to a historical transformation that affects the whole Western world. Pragmatism is becoming the only and dominant philosophy of the time. The central trait of this intellectual orientation is its [End Page 327] focus on action, a focus it shares with sociology itself: both are "daughters of... (shrink)

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might (...) be modelled on Nelson''s strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

:This paper proposes an analysis of the semantics of even that is consistent with the assumptions about the syntax and semantics of negation in Collins and Postal. First, I review the distribution of negation, showing how negation may modify quantificational expressions where it gives rise to scope freezing effects. Second, I discuss the fact that even-phrases can be modified by negation, as in Not even John is there. On the basis of this fact, I argue that (...) even is a quantifier. Lastly, I show that my data provides new empirical support for the assumption that there are two kinds of even, depending on the role played by focus in the scalar presupposition. (shrink)

The empirical phenomenon at the center of this paper is projection, which we define (uncontroversially) as follows: (1) Definition of projection An implication projects if and only if it survives as an utterance implication when the expression that triggers the implication occurs under the syntactic scope of an entailment-cancelling operator. Projection is observed, for example, with utterances containing aspectual verbs like stop, as shown in (2) and (3) with examples from English and Paraguayan Guaraní (Paraguay, Tupí-Guaraní).1 The Guaraní example (...) in (2) and its English translation have at least the following implications: (i) Carla has previously smoked, and (ii) Carla stopped smoking. The first but not the second of these implications is also conveyed by the question version of sentence (2), as in (3a), or when (2) is embedded under entailment-cancelling sentential operators, such as negation, as in (3b), the antecedent of a conditional, as in (3c), or an epistemic modal, as in (3d). Hence, by the definition in (14), the first but not the second implication of (2) projects. (shrink)

The article deals with the origin and formation of debating positions in American criticism and philosophy. It analyzes “Intentional Fallacy” by W. Wimsatt and M. Beardsley. as well as E.D. Hirsch’s texts concerning the idea of objective interpretation which initiated this discussion. In fact, both positions are limited because of their normative and ahistorical character. Both sides try to regulate interpretation. Wimsatt and Beardsley lose the historical place of a text, whereas Hirsch reduces the historical place of an interpreter. Anti-intentionalism (...) of Wimsatt and Beardsley relies on interpretative practice of American New Criticism with its principle of work’s autonomy. Despite the article’s empirical character, its important outcome is negation of subjectivity of meaning, and formulation of premises of its intersubjective understanding. Hirsch affirms the invariability of work’s meaning and with this purpose identifies it with the author’s intention binding it with the notion of intentionality and author’s horizoncontext, introduces the distinction between meaning and significance. Despite the contradictions of Hirsch’s positions both in understanding these ideas and in his own conclusions, his merit is the statement of the problem of meaning in general and extending the discussion into the territory of hermeneutics and philosophy of literature. (shrink)

Without negating the important distinctions which Augustine has made in separating the relative polarities of church and empire from the ultimate polarities of eternal life and apostasy, we must find a new relationship of human history to God's call to redemption.

This study empirically tests a sequential mediation model that links ethical leadership with employees’ unethical behaviour. The corruption index for countries is used as the moderator, because it represents both the instrumental ethical climate and the employee displacement of responsibility embedded in society’s ethical standards. A total of 175 participants comprising 41 teams (134 dyads) across 13 countries participated in a dyadic two-wave survey. The findings show that ethical leadership has an indirect influence on the avoidance of unethical behaviour by (...) reducing the instrumental ethical climate and by negating the displacement of individuals’ responsibility. In addition, the results also show that this process is not sensitive to the countries’ corruption levels. Such findings suggest that organizations are less prone to adjust their ethical standards to the environment than is usually expected. Accordingly, ethical leaders of MNCs may be instrumental in counteracting any corruptive pressure in the social environment, and likewise, non-ethical leaders may be a contributing factor to fostering corrupt organizations in a society that otherwise values ethical principles in business. (shrink)

In this paper, a critical discussion is made of the role of entailments in the so-called New Paradigm of psychology of reasoning based on Bayesian models of rationality (Elqayam & Over, 2013). It is argued that assessments of probabilistic coherence cannot stand on their own, but that they need to be integrated with empirical studies of intuitive entailment judgments. This need is motivated not just by the requirements of probability theory itself, but also by a need to enhance the (...) interdisciplinary integration of the psychology of reasoning with formal semantics in linguistics. The constructive goal of the paper is to introduce a new experimental paradigm, called the Dialogical Entailment task, to supplement current trends in the psychology of reasoning towards investigating knowledge-rich, social reasoning under uncertainty (Oaksford and Chater, 2019). As a case study, this experimental paradigm is applied to reasoning with conditionals and negation operators (e.g. CEM, wide and narrow negation). As part of the investigation, participants’ entailment judgments are evaluated against their probability evaluations to assess participants’ cross-task consistency over two experimental sessions. (shrink)

Grammatical theories of Scalar Implicatures make use of an exhaustivity operator exh, which asserts the conjunction of the prejacent with the negation of excludable alternatives. We present a new Grammatical theory of Scalar Implicatures according to which exh is replaced with pex, an operator that contributes its prejacent as asserted content, but the negation of scalar alternatives at a non-at-issue level of meaning. We show that by treating this non-at-issue level as a presupposition, this theory resolves a number (...) of empirical challenges faced by the old formulation of exh (as well as by standard neo-Gricean theories). The empirical challenges include projection of scalar implicatures from certain embedded environments (‘some under some’ sentences, some under negative factives), their restricted distribution under negation, and the existence of common ground-mismatching and oddness-inducing implicatures. We argue that these puzzles have a uniform solution given a pex-based Grammatical theory of implicatures and some independently motivated principles concerning presupposition projection, cancellation and accommodation. (shrink)

Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both insightful (...) and frustrating. Much light was shed on the legal system, but it also quickly became evident that the tools of probability theory were in many ways ill-constructed for the task. Fundamental incompatibilities between the structure of legal decision making and the extant formal tools were identified, and it became evident that many of the purported explanations of legal phenomena were internally inconsistent. As a consequence, interest in this type of formal modeling declined, and attention was directed toward different kinds of explanations of the phenomena. Perhaps under the influence of a recent trend toward various types of formal modeling in legal scholarship, a recent burst of articles, rather than attempting to explain the macro structure of trials, which was the previous object of interest, attempts to quantify the probative value of various items of evidence in ways consistent with the formal features of various probability theories, and then to study decision making from that perspective. For example, the value of evidence is often purported to be its likelihood ratio, that is, the probability of discovering or receiving the evidence given a hypothesis (e.g., the defendant did it) divided by the probability of discovering or receiving the evidence given the negation of the hypothesis (the defendant didn't do it). Alternatively, the value of evidence is purported (more contextually) to be the information gain it provides, defined as the increase in probability it provides for a hypothesis above the probability of the hypothesis based on the other available evidence. Both conceptions then assume that all of the various probability assessments conform or ought to conform to the dictates of Bayes' theorem (that maintains consistency among such assessments); empirical studies are then done testing the extent to which this is so and proposing how the law can increase the probability that it is so. The general criticisms of using Bayes' theorem as a formal model of juridical proof are well known and were integral to the last wave of interest in formal modeling of the evidentiary process. This paper thus for the most part puts aside that more general issue, and focuses specifically on mathematical modeling of the value of particular items of evidence. The paper demonstrates that formal modeling has only limited value in explaining the value of legal evidence, much more limited than those constructing and discussing the models assume, and thus that the conclusions they draw about the value of evidence are unwarranted. This is done through a discussion of four recent examples that attempt to quantify evidence relating to, respectively, carpet fibers, infidelity, DNA random-match evidence, and character evidence used to impeach a witness. This article thus makes two contributions. First, and most importantly, it is another demonstration of the complex relationship between algorithmic tools and legal decision making. Second, at a minimum it points out serious pitfalls for analytical or empirical studies of juridical proof. (shrink)

An introductory text in linguistic semantics, uniquely balancing empirical coverage and formalism with development of intuition and methodology. -/- This introductory textbook in linguistic semantics for undergraduates features a unique balance between empirical coverage and formalism on the one hand and development of intuition and methodology on the other. It will equip students to form intuitions about a set of data, explain how well an analysis of the data accords with their intuitions, and extend the analysis or seek (...) an alternative. No prior knowledge of linguistics is required. After mastering the material, students will be able to tackle some of the most difficult questions in the field even if they have never taken a linguistics course before. -/- After introducing such concepts as truth conditions and compositionality, the book presents a basic symbolic logic with negation, conjunction, and generalized quantifiers, to serve as the basis for translation throughout the book. It then develops a detailed compositional semantics, covering quantification (scope and binding), adverbial modification, relative clauses, event semantics, tense and aspect, as well as pragmatic phenomena, notably deictic pronouns and narrative progression. -/- A Course in Semantics offers a large and diverse set of exercises, interspersed throughout the text; those labeled “Important practice and looking ahead” prepare students for material to come; those labeled “Thinking about ” invite students to think beyond the content of the book. (shrink)

Should we understand implicit attitudes on the model of belief? I argue that implicit attitudes are (probably) members of a different psychological kind altogether, because they seem to be insensitive to the logical form of an agent’s thoughts and perceptions. A state is sensitive to logical form only if it is sensitive to the logical constituents of the content of other states (e.g., operators like negation and conditional). I explain sensitivity to logical form and argue that it is a (...) necessary condition for belief. I appeal to two areas of research that seem to show that implicit attitudes fail spectacularly to satisfy this condition—although persistent gaps in the empirical literature leave matters inconclusive. I sketch an alternative account, according to which implicit attitudes are sensitive merely to spatiotemporal relations in thought and perception, i.e., the spatial and temporal orders in which people think, see, or hear things. (shrink)

Ultimately we will only understand biological agency when we have developed a theory of the organization of biological processes, and science is still a long way from attaining that goal. It may be possible nonetheless to develop a list of necessary conditions for the emergence of minimal biological agency. The authors offer a model of molecular autonomous agents which meets the five minimal physical conditions that are necessary (and, we believe, conjointly sufficient) for applying agential language in biology: autocatalytic reproduction; (...) work cycles; boundaries for reproducing individuals; self-propagating work and constraint construction; and choice and action that have evolved to respond to food or poison. When combined with the arguments from preadaptation and multiple realizability, the existence of these agents is sufficient to establish ontological emergence as against what one might call Weinbergian reductionism. Minimal biological agents are emphatically not conscious agents, and accepting their existence does not commit one to any robust theory of human agency. Nor is there anything mystical, dualistic, or non-empirical about the emergence of agency in the biosphere. Hence the emergence of molecular autonomous agents, and indeed ontological emergence in general, is not a negation of or limitation on careful biological study but simply one of its implications. (shrink)

Ng :255–285, 1995. https://doi.org/10.1007/bf00852469) models the evolutionary dynamics underlying the existence of suffering and enjoyment and concludes that there is likely to be more suffering than enjoyment in nature. In this paper, we find an error in Ng’s model that, when fixed, negates the original conclusion. Instead, the model offers only ambiguity as to whether suffering or enjoyment predominates in nature. We illustrate the dynamics around suffering and enjoyment with the most plausible parameters. In our illustration, we find surprising results: (...) the rate of failure to reproduce can improve or worsen average welfare depending on other characteristics of a species. Our illustration suggests that for organisms with more intense conscious experiences, the balance of enjoyment and suffering may lean more toward suffering. We offer some suggestions for empirical study of wild animal welfare. We conclude by noting that recent writings on wild animal welfare should be revised based on this correction to have a somewhat less pessimistic view of nature. (shrink)

In this paper, an evolutionary multiverse argument against naturalism (EMAAN) is presented: E1. In an evolutionary multiverse, phenomena have variable evolutionary ages. E2. After some time T, the development of the empirical sciences will be evolutionarily conserved. E3. The phenomena with an evolutionary age above T are methodologically supernatural. Entities are classified according to whether they are (1) physical and spatiotemporal, (2) causally efficacious, and (3) either observed by or explanatorily necessary for the empirical sciences. While the conjunction (...) of (1) and (2) is taken to be sufficient for existence in reality, the negation of (3) defines methodological supernaturalness. EMAAN uses a generalization of evolutionary theory, namely cosmological natural selection, to argue that phenomena evolve that fulfill conditions (1) and (2), but not (3). This shows that methodologically supernatural phenomena have a clear epistemology according to a theory that is grounded in the commitments of naturalism. Supernatural phenomena are not observed by the empirical sciences because the empirical sciences themselves are supernaturally guided and predestined to develop according to an evolutionarily conserved plan. In spite of this scientific plan, there is room for afterlives and supernaturality in the everyday experience. (shrink)

We investigate the interactions between scalar implicatures and presuppositions in sentences containing both a scalar item and presupposition trigger. We first critically discuss Gajewski and Sharvit’s previous approach. We then closely examine two ways of integrating an exhaustivity-based theory of scalar implicatures with a trivalent approach to presuppositions. The empirical side of our discussion focuses on two novel observations: the interactions between prosody and monotonicity, and what we call presupposed ignorance. In order to account for these observations, our final (...) proposal relies on two mechanisms of scalar strengthening, the Presupposed Ignorance Principle and an exhaustivity operator which lets the presuppositions of negated alternatives project. (shrink)

In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as (...) synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ?negative? judgement ?Not (S is P)? does not entail the internally negated or ?infinite? judgement ?S is not-P.? Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination. (shrink)

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)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We (...) then describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)