The basic principle of all realist theories of truth developed in the 13th and 14th centuries was that a proposition is true if and only if it tells us how things are in reality. Walter Burley (1275-1344) interpreted this principle in a more radical way than 13th-century realists did. Burley, in fact, proposed a strong correspondence theory, in which there is a strict biunique correspondence between linguistic and extra-linguistic elements. Now, if the principle of correspondence can be applied to Burley (...) unconditionally to all affirmative statements (both for accidental and essential predications), it cannot be applied in the case of negative propositions, since in reality there can be no negative state of affairs. In order to solve this problem, Burley uses the strategy of introducing a complex mental object or objective entity as the significatum adequatum of negative sentences. It is an object which, although it exists only in the mind, is completely independent of our mental operations and which ultimately refers to the extra-mental world, composed exclusively of positive objects and states of affairs. In fact, the truth of a negative sentence does not depend on it corresponding to some negative fact, but rather on the opposite affirmative sentence failing to correspond to some positive extramental fact. Thus, extramental reality, which is only composed of positive objects, recovers its role as a yardstick for verifying the truth or falsity of all particular sentences, both affirmative and negative. (shrink)

L’adhésion de Walter Burley au principe de correspondance (c’est-à-dire le principe selon lequel une proposition, pour être vraie, doit correspondre à quelque chose dans la réalité) soulève un problème important. Ce principe peut être appliqué à toutes les propositions affirmatives, mais pas aux propositions négatives, puisqu’il n’existe pas d’état de choses négatives dans la réalité. Afin de résoudre ce problème, Burley introduit un objet mental complexe comme significatum adaequatum des propositions négatives, qui ne correspond à aucun fait (...) positif. De cette façon, la réalité extramentale peut vérifier la vérité ou la fausseté de toutes les propositions singulières, tant affirmatives que négatives. (shrink)

This paper undertakes an in-depth examination of the intriguing argument for the existential import of negative propositions by the fifteenth-century Ottoman scholar Hatibzâde Mehmed (d. 1496) and the counterarguments by his disciple, Taşköprizâde Kâsım (d. 1513). It argues that this discussion is a significant example of Ottoman scholars engaging in long-standing disputes concerning the nature and ontological ground of negative propositions, which date back to Plato and Aristotle. It is also intended to underline the need for (...) considering not only logic texts but also works primarily associated with other disciplines in order to attain a comprehensive picture of logical discussions in the post-classical period of Islamic thought. (shrink)

There are two versions of the correspondence theory of truth: the object-based correspondence theory and the fact-based correspondence theory. Some scholars have put forward their objections to my rejection of the concept of a fact and their defence of that concept. But their arguments are not cogent, since they haven’t clarified the relation between facts and propositions, haven’t successfully argued for the necessity and feasibility of introducing the concept of a fact, and haven’t provided an acceptable standard of identity (...) for facts. Under the framework of the fact-based correspondence theory, a “negative fact” is usually introduced to explain the falsehood of an affirmative proposition and the truth of a negative proposition. But, after careful analysis, we find that the positing of negative facts is the result of the concurrence of three factors: the positive states of objects, the expectations of cognitive subjects, and certain kinds of inferences, Thus, negative facts at most have a sort of inferential “existence” without independent ontological status. The positing of negative facts has been criticized for many reasons, such as the ontological inflation of negative facts, the supervenience of negative facts on positive facts, the imperceptibility of negative facts, and the lack of causal force of negative facts. Many replies to these criticisms have been put forward, such as the dilemma argument, the self-defeating argument, and the role-making of negative facts: constitution (e.g. hole-making), causation (event-making), chance-making, and truth-making. However, these replies can also be reasonably rejected. The final conclusion of this article is that, in order to account for the falsehood of an affirmative proposition and the truth of a negative proposition, we can appeal to the object-based correspondence theory of truth without appealing to the concept of a fact, let alone the concept of a “negative fact”. (shrink)

Contrary to explicit statements in the text of the Tractatus Logico‐Philosophicus, this essay argues that the notion of a negative elementary proposition makes sense within the Tractarian system. The suggestion depends upon separating two strains in Wittgenstein's account of propositional meaning: the picture theory of meaning, and the truth‐functional account of meaning. A proposition could be considered elementary if it contained only one elementary proposition or one elementary picture. In this approach, if p is an elementary proposition, then so (...) is not‐p. Though this change would involve substantial revisions of the Tractatus, it squares with Wittgenstein's fundamental view that logical constants are not representatives. (shrink)

If propositions are made true in virtue of corresponding to facts, then what are the truth-makers of true negative propositions such as ‘The apple is not red’? Russell argued that there must be negative facts to account for what makes true negative propositions true and false positive propositions false. Others, more parsimonious in their ontological commitments, have attempted to avoid them. Wittgenstein rejected them since he was loath to think that the sign for (...) negation referred to a negative element in a fact. A contemporary of Russell’s, Raphael Demos, attempted to eliminate them by appealing to ‘incompatibility’ facts. More recently, Armstrong has appealed to the totality of positive facts as the ground of the truth of true negative propositions. Oaklander and Miracchi have suggested that the absence or non-existence of the positive fact (which is not itself a further fact) is the basis of a positive proposition being false and therefore of the truth of its negation. (shrink)

In this paper I will first present and defend Molnar’s way of setting out the problem of finding truthmakers for negative propositions. Secondly, I will reply to two objections to what in my view is the most promising general approach to the problem of negatives. Finally, I will present and defend Cheyne and Pidgen’s specific proposal that falls under that general promising approach.

Intuitively Austinian propositions are propositions that tell us something about a situation In this paper we will consider Austinian propositions and the associated notion that situations support infons which are to be found in situation theory and situation semantics We will try to tease out the consequences of taking the Austinian approach advocated in situation semantics as opposed to a very similar approach originally proposed by Davidson That is that event predicates where events are to be generally (...) conceived so as to be more like the notion of sit uation i e including states and processes are taken to have an argument position for an event We will do this comparison with respect to an area of data that was part of the original motivation for situation semantics naked in nitive perception complements see Barwise and Perry We will see that negative descriptions of events are one area where the Austinian and Davidsonian approaches make dif ferent predictions and at the end of the paper we will brie y consider negative event descriptions more generally with particular reference to the DRT analysis based on a Davidsonian approach as exempli ed by Amsili and Le Draoulec this volume.. (shrink)

The so called Ramsey test is a semantic recipe for determining whether a conditional proposition is acceptable in a given state of belief. Informally, it can be formulated as follows: (RT) Accept a proposition of the form "if A, then C" in a state of belief K, if and only if the minimal change of K needed to accept A also requires accepting C. In Gärdenfors (1986) it was shown that the Ramsey test is, in the context of some other (...) weak conditions, on pain of triviality incompatible with the following principle, which was there called the preservation criterion: (P) If a proposition B is accepted in a given state of belief K and the proposition A is consistent with the beliefs in K, then B is still accepted in the minimal change of K needed to accept A. (RT) provides a necessary and sufficient criterion for when a 'positive' conditional should be included in a belief state, but it does not say anything about when the negation of a conditional sentence should be accepted. A very natural candidate for this purpose is the following negative Ramsey test: (NRT) Accept the negation of a proposition of the form "if A, then C" in a consistent state of belief K, if and only if the minimal change of K needed to accept A does not require accepting C. This note shows that (NRT) leads to triviality results even in the absence of additional conditions like (P). (shrink)

In his essay, “Negative and Positive Positivism,” Jules L. Coleman extends in two important ways the Legal Positivism of H. L. A. Hart. First, he shows that the “separability thesis”—the claim that no necessary or constitutive relationship exists between law and morality—to which Positivists are wedded does not entail the view, attributed by Ronald Dworkin to Legal Positivists, that law consists in “hard facts.” Instead, the separability thesis requires only the possibility of deciding the truth of propositions of (...) law. This weaker requirement can be met by rules of recognition that are semantically adequate but that fail to set out tests by means of which the legal status of rules and norms may be verified. Second, Coleman argues that one can subscribe to the separability thesis and still maintain that judges may have a legal duty to couch decisions in moral terms whenever the “content or proper formulation of [a] rule of recognition” is in dispute. Such a legal duty may exist in virtue of a convergent practice “among judges of resolving the controversy in a particular way”. (shrink)

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as (...) a warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (shrink)

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege as (...) a warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions (as he conceived them) are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived à la Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that ideas mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (shrink)

Scepticism and negative theology are best understood not as theoretical positions, but rather as forms of philosophical practice that performatively undermine our knowledge claims or our seeming understanding of God. In particular, I am arguing that both scepticism and negative theology invoke the failure of the attempt to understand the absolute, be it God or the notion of absolute objectivity. However, with reference to L. A. Paul’s notion of epistemically transformative experience, I am arguing that we still understand (...) something about the absolute through the experience of failing to think it. This, of course, is a non-propositional form of understanding, and I am arguing that there is something about the finitude of the human condition that can only be understood through a transformative philosophical experience with respect to the absolute. (shrink)

What makes it true when we say that something is not the case? Truthmaker maximalists think that every truth has a truthmaker—some fact in the world—that makes it true. No such facts can be found for the socalled negative truths. If a proposition is true when it has a truthmaker, then it would be false when it has no truthmaker. I therefore argue that negative truths, such as t<p>, are best understood as falsehoods, f<p>.

The author integrates, expands, and deepens his previous publications about irregular (or "metalinguistic") negations. A total of ten distinct negatives-several previously unclassified-are analyzed. The logically irregular negations deny different implicatures of their root. All are partially non-compositional but completely conventional. The author argues that two of the irregular negative meanings are implicatures. The others are semantically rather than pragmatically ambiguous. Since their ambiguity is neither lexical nor structural, direct irregular negatives satisfy the standard definition of idioms as syntactically complex (...) expressions whose meaning is non-compositional. Unlike stereotypical idioms, idiomatic negatives lack fixed syntactic forms and are highly compositional. The final chapter analyzes other "free form" idioms, including irregular interrogatives and comparatives, self-restricted verb phrases, numerical verb phrases, and transparent propositional attitude and speech act reports. (shrink)

Contextualism about many expressions faces a common objection: in some discourses it appears that there is no single interpretation which can explain how a speaker is justified in making her assertion and how a hearer with different information or standards is justified in negatively evaluating what the speaker said. According to the Multiple Proposition Strategy , contextualists may attempt to explain these competing features pragmatically in terms of different propositions in play. In this paper I argue against the Multiple (...) Proposition Strategy, first focusing on epistemic modals and then generalising the results to other expressions. I show how when purportedly contextualist terms are embedded in belief reports, we get similar problems but that the Multiple Proposition Strategy does not provide a satisfactory explanation of such cases. I suggest, therefore, that we reject the Multiple Proposition Strategy in favour of a theory that explains the unembedded and embedded cases in similar ways. (shrink)

The author argues for the existence of negative facts. The first section is devoted to an argument, grounded on truthmaker maximalism, that aims at demonstrating that negative facts must exist at least as false propositions’ falsemakers. In the second section, the author analyzes and criticizes several attempts to get rid of negative facts: the ones based on incompatibilities, absences, totality facts and polarities, as well as the ones based on various restrictions on truthmaker maximalism or on (...) the non-acceptance of facts as truthmakers. In particular, it is shown that an ontology that accepts negative facts is simpler than an ontology that denies their existence and that in general, many attempts to get rid of negative facts turn out to recognize the existence of such entities or of entities that are more mysterious than negative facts themselves. (shrink)

In this paper which consists of two parts (Teil I and Teil II) we champion Diophantus of Alexandria and Isabella BaÅ¡makova against Norbert Schappacher. In two publications ([Schappacher 1998a] and [Schappacher 1998b]) he puts forward inter alia two propositions: Questioning Diophantus’ originality he considers affirmatively the possibility that the Arithmetica are the joint work of a team of authors like Bourbaki. And he calls BaÅ¡makova’s claim (in [BaÅ¡makova 1972]) that Diophantus uses negative numbers, a nonsense , reproaching her (...) for her thoughtlessness . Teil I: First, we disprove Schappacher’s Bourbaki thesis. Second, we investigate the semantic meaning and historical significance of Diophantus’ keywords $ λvarepsilon tildeιψιζ and ὕπαρξιζ. Next, we discuss Schappacher’s epistemology of the history of mathematics and defend BaÅ¡makova’s methods. Finally we analyse in detail three problems from Diophantus’ Arithmetica (and their solutions) given by Thomas Heath and Helmuth Gericke as proof of the their claim that Diophantus did not use negative numbers. Teil II: In this Part, we give 33 places where Diophantus uses negative quantities as intermediate results; they appear as differences a − b of positive rational numbers, the subtrahend b being bigger than the minuend a; they each represent the (negative) basis ( πλvarepsilonυρacuteα ) of a square number ( τvarepsilonτρacuteαγω ν o ζ ), which is afterwards computed by the formula (a - b) 2 = a 2 + b 2 - 2ab $ . Finally, we report how the topic Diophantus and the negative numbers has been dealt with by translators and commentators from Maximus Planudes onwards. Und er kommt zu dem Ergebnis: ≪Nur ein Traum war das Erlebnis. Weil≫, so schlieβt er messerscharf, ≪nicht sein k a n n, was nicht sein d a r f.≫ CHRISTIAN MORGENSTERN: Palmstrm. (shrink)

The problem of the existence of negative facts as truthmakers for negative propositions was introduced by Bertrand Russell in 1918. In the debate since then, most writers have tended to reject their existence, Russell himself being the most conspicuous exception. Two other strategies have been offered. The first, usually called incompatibilism, actually goes back to Plato, whereas the second, the totality fact theory, was introduced by D. M. Armstrong in 1997. The aim of this paper is to (...) show the problematic character of some of the presuppositions shared by all three of the strategies mentioned above – presuppositions that figure in most of the current discourse on the subject. First, the concept of a negative proposition is not clear: one needs to make a distinction between grammatically negative propositions and “ontologically” negative ones. Second, it turns out that propositions may be ontologically negative in many ways, each of which may call for a different specific analysis with respect to the question of the existence of what would be the corresponding negative facts. Third, at the bottomline, it is shown that we need a concept of the existence or reality of facts that is not derived solely from their function as truthmakers. Such a concept, it is argued, is furnished by a theory that I shall call “ontological consequentialism”. (shrink)

This article uncovers the logical structure of Russell’s negative facts, which he postulated in his 1919 lectures on logical atomism as a way of accounting for the truth of negative propositions. It is argued that he subsequently abandoned his belief in the existence of negative facts because the latter could not be reconciled with his Principle of Acquaintance, a fundamental corner stone of his logical atomism. A proposed fine tuning of this Principle shows that the postulation (...) of negative facts represents the best solution to the problem of negation which his logical atomism must face. (shrink)

The study investigates how speakers use ‘nai-expressions’ nai as in shabere-nai ‘cannot speak’ and ik-anai ‘will/do not go’) in naturally occurring conversation. The data demonstrate that although negative utterances have been considered to be ‘grammatical’ constructions that simply negate the truth value of a proposition, nai-expressions show formulaic tendencies and serve not only to express a speaker’s emotional personal stance on a particular story/event but also to create interpersonal space with other conversation participant and to involve them in the (...) story/event. The patterns which emerged from the data are quite similar to those in Ono and Thompson’s study on Japanese adjectives. As they pointed out, some of nai-expressions in the data may also be re-analyzed as adjectives. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there is no reason to (...) exempt negative truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Negative Capability Reclaimed: Literature and Philosophy Contra PoliticsIhab HassanI began a few years ago to try to make space in my reckoning and imagining for the marvellous as well as the murderous.Seamus HeaneyTwo concerns cross in this essay: the first, explicit, regards the current condition of the academic humanities, their idioms and axioms, especially in America; the second, implicit, regards my own need to confront criticism, its abstractions (...) that now enable, now disable, the profession and even more the experience of literature. Such concerns must mix speculation and autobiography, mix the pride with the pathos of mind.But I should admit it from the start: my title cries paradox. Negative capability reclaimed? Can reclamation dwell in “uncertainties, mysteries, doubts, without any irritable reaching after fact and reason,” as Keats thought, and can a critic aspire to the condition of a poet, in whom the “sense of Beauty overcomes every other consideration, or rather obliterates consideration”? 1Mine, I repeat, is a hybrid critical discourse, touched by exasperation more than mystery. Yet negative capability can still serve us as emblem of certain qualities, attitudes, dispositions that we bring to literature, without turning that happy phrase into yet another slogan. Beyond the arrogance of transient ideologies, beyond the mawkishness of self-regard, negative capability may offer us a kind of patience, perhaps ascesis, the intellectual and, yes, spiritual equivalent of discipline in our moment. [End Page 305]IStated baldly, my proposition, which I will need continually to texture and qualify, is this: the prevalence of politics, the obsession with power, the unrelieved pressure of both in the university, skew our language, thought, values. Thus the ancient quarrel between poetry and philosophy, between Homer and Plato, now cedes the field to a nastier agon between both and politics as GRIM (my acronym for the Great Rumbling Ideological Machine) grinds on. These are no abstractions; the clamorous evidence is all about, indicative even in its triviality, banality.Take a book blurb. Kathy Acker endorses a new, and quite intelligent work, entitled Male Matters, thus: “Calvin Thomas is able to hint at a way out of the prisonhouse of straight male identity.” Granted, this is but an ad in a university press catalogue. But what does the language reveal about the assumptions of academic discourse? “Prisonhouse,” really, for all unfortunate, straight males? Is a generalization of this kind permissible when blander generalizations about other groups raise such a hue and cry? Will straight African-American or Native American males feel “offended” by the statement? Or is it all a matter of restitution, categorical loyalty, political commitment? And when will that supreme fiction, the white, straight, bourgeois, rational male “subject” cease to prop up every ideological complaint?Thought blends into hype; words writhe; stereotypes become as transparent as the stereotypes they once repugned. But let us consider an example worthier of criticism. In his Inaugural Lecture as Robert Wallace Professor at the University of Melbourne, entitled “The Departure of English?” (the question mark risks disingenuousness), Professor Simon During inelegantly states: “The academic appropriation of the avant-garde transfiguration of values is happening as what I am calling the departure of English—in the relative decline of literary studies and cultural studies’ emergence.” 2 Professor During thus assumes, on behalf of cultural studies, the mantles of Friedrich Nietzsche, Arthur Rimbaud, Alfred Jarry, Hugo Ball—where is Antonin Artaud?—and Walter Benjamin, though none really had a mantle to bequeath. For a moment, the mind reels: Nietzscheans and poètes maudits, Pataphysicians and Dadaists, as apostles of cultural studies, of political correctness, group think, and GRIM? Involuntarily, the lines of William Butler Yeats, in “The Scholars,” sing out: “Lord, what would they say / Did their Catullus walk that way?” [End Page 306]We are all free, of course, to reinvent our ancestors and to derive later authority from what an earlier generation derided—free, this side of ludicrousness. But Professor During’s argument, a sort of academic conceit, discourages mere ridicule; it has pedagogical consequences. Thus he continues: “I am certainly not claiming a causal relation between modernism circa 1900 and academic cultural studies today. Rather I want to argue that cultural studies... (shrink)

In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.

Which intermediate propositional logics can prove their own completeness? I call a logic reflexive if a second-order metatheory of arithmetic created from the logic is sufficient to prove the completeness of the original logic. Given the collection of intermediate propositional logics, I prove that the reflexive logics are exactly those that are at least as strong as testability logic, that is, intuitionistic logic plus the scheme $\neg φ ∨ \neg\neg φ. I show that this result holds regardless of whether Tarskian (...) or Kripke semantics is used in the definition of completeness. I also show that the operation of creating a second-order metatheory is injective, thereby insuring that I am actually considering each logic independently. (shrink)

Our limited a priori-reasoning skills open a gap between our finding a proposition conceivable and its metaphysical possibility. A prominent strategy for closing this gap is the postulation of ideal conceivers, who suffer from no such limitations. In this paper I argue that, under many, maybe all, plausible unpackings of the notion of ideal conceiver, it is false that ideal negative conceivability entails possibility.

The scalar approach to negative polarity item (NPI) licensing assumes that NPIs are allowable in contexts in which the introduction of the NPI leads to proposition strengthening (e.g., Kadmon & Landman 1993, Krifka 1995, Lahiri 1997, Chierchia 2006). A straightforward processing prediction from such a theory is that NPI’s facilitate inference verification from sets to subsets. Three experiments are reported that test this proposal. In each experiment, participants evaluated whether inferences from sets to subsets were valid. Crucially, we manipulated (...) whether the premises contained an NPI. In Experiment 1, participants completed a metalinguistic reasoning task, and Experiments 2 and 3 tested reading times using a self-paced reading task. Contrary to expectations, no facilitation was observed when the NPI was present in the premise compared to when it was absent. In fact, the NPI significantly slowed down reading times in the inference region. Our results therefore favor those scalar theories that predict that the NPI is costly to process (Chierchia 2006), or other, nonscalar theories (Giannakidou 1998, Ladusaw 1992, Postal 2005, Szabolcsi 2004) that likewise predict NPI processing cost but, unlike Chierchia (2006), expect the magnitude of the processing cost to vary with the actual pragmatics of the NPI. (shrink)

If the assertion, "A condition now exists making the subsequent realization of some one or other of such and such a range of possibilities inevitable," is true when made, then I grant that it must remain ever thereafter true. But suppose that, in the Fall of 1955, we assert, "X may-or-may-not occur in the Fall of 1956." If this is meant objectively, and not as a mere profession of ignorance, its truth requires that there be no present condition making X's (...) occurrence at the time stated either inevitable or impossible. If we should repeat the statement after six months, it may no longer have the same truth value. For in the six months since the first assertion, the factors favoring, or those disfavoring, X's occurrence may have so increased that mere possibility has become overwhelming probability, inevitability, or impossibility. We can indeed say in advance that the "open possibilities" for a given mode of occurrence will be replaced by unambiguous necessity or impossibility, on, or before, the date specified. Such progressive narrowing of possibilities, or increase in the sum of necessities, positive and negative, is the temporal process, in one of its aspects. Here too we make no reference to this or that future particular--how can there be future particulars?--but we merely assert that a now empty class will not remain empty, or if you prefer, a certain unexemplified property will not remain unexemplified, the property, namely, of being a condition decisive as between X and non-X. The "will not" affirms present conditions of subsequent increase in the determinateness of conditions for still later events, and the latter are not referred to extensionally as a class with present or eternal members, but as a class-property which cannot remain unexemplified--the relational property of "events related as successors to the present events." "A new shade of crimson will appear in the flowers in the garden tomorrow" merely affirms that the property, "shade of crimson not embodied in existence prior to tomorrow" will tomorrow be exemplified in the flowers, and if true this means that causal conditions already actualized make it impossible that a new shade, some unprecedented crimson or other, should fail to turn up. It will not be the particularity of the shade that later turns up which will have made our statement true, for literally countless others would have done equally well; and this proves that the meaning of the statement was independent of any particular shade, and concerned only the predestined status of the more general property, "new shade of crimson." As usual in philosophy, alas, my opponent seems to his opponent to be missing the point "as if by magic.". (shrink)

Following Bolzano, I suggest that there are two types of entity: those that are states of other things and those that are not. The second type includes, not only substances, in the traditional sense, but also such abstract objects as numbers, attributes and propositions. It is argued that the theory of states, when combined with an intentional account of negative attributes, will yield a theory of negative entities and of events.

I shall argue in this article that, if we need to admit of negative facts in our ontology as falsemakers of false propositions, then it is plausible to accept that there are also negative properties conceived of as modes. After having briefly recalled the falsemaker argument, I shall explore five different alternative interpretations of negative facts and I shall demonstrate that each alternative – except for the one involving negative properties – is affected by some (...) problems. Later on, I shall deal with a number of objections against negative properties and I shall demonstrate that they can be overcome without much difficulty. Eventually, I shall tackle Nick Zangwill's argument against the thesis that negative properties are as real as positive ones. Among other things, I shall argue that Zangwill's argument is at least limited in its scope, since it only works with negative and positive determinates within some common determinable. (shrink)

We identify two senses of ‘pragmatics’ and related terms that give rise to two different methods of propositional individuation. The first one is the contextualist approach that essentially acknowledges contextual information to take part in the determination of what is said by the utterance of a sentence. In this sense, Pragmatics relies on the Principle of Compositionality and interprets propositions as structured entities. It epitomises the Building-block Model of Propositional Individuation. The general approach that makes what the agents do (...) the grounding level of philosophical and linguistic analysis characterizes the second sense, Pragmatism. It finds its clearest expression in Peirce’s Pragmatist Maxim, and it relies on the Fregean Principle of Context, and supports a view of propositions as unstructured entities. This is the Organic Model of Propositional Individuation. There is a test, the Analytic Equivalence Test, that tells apart the two models. According to it, the answer to the question whether a theory makes room for different but analytically equivalent propositions determines the model the theory belongs in. A positive answer classifies the theory as belonging to the building-block model; a negative answer allocates the theory within the organic model. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively (...) by Romero and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

ABSTRACTIn ‘Universals’, Ramsey declares that we do not, and cannot, know the forms of atomic propositions. A year later, in a symposium with Braithwaite and Joseph, he announces a change of mind: atomic propositions may, after all, be discoverable by analysis. It is clear from the 1926 paper that Ramsey intends this to be a revision of the 1925 claim. Puzzlingly, however, Ramsey does not mention analysis in 1925. My task in this article is to provide a justification (...) for that change of mind. My argument consists of two parts. I first show what relation holds between the negative 1925 assertion and the more positive 1926 assertion which allows us to read the latter claim as a retraction of the former, as Ramsey appears to have intended it. Then I shall argue that the retraction of the 1925 claim is forced upon Ramsey by reflection on the fact that three theses, all of which he held in or around the relevant period, are, rather surprisingly, revealed to be inconsistent. (shrink)

The affect-as-information (AAI) model proposes that emotions influence the accessibility and value of information (Avramova & Inbar, Citation2013). Furthermore, according to the dual-process model of moral judgement, emotions and cognition influence moral judgement (Greene, Citation2007; Greene et al., Citation2001, Citation2008); however, there is no direct evidence of a causal chain to support this model’s proposition. By using a 3 (emotions: positive vs. neutral vs. negative) × 2 (primed rule: save lives vs. do not kill) between-participants design, we examined two (...) hypotheses in two experiments: supraliminal (Experiment 1) and subliminal (Experiment 2) priming. Our results partially supported the AAI model and confirmed that emotions and cognition independently influence moral judgement. Specifically, the positive emotions group made more utilitarian decisions after being primed with the “save lives” rule and more deontological decisions after being primed with the do not kill rule. However, priming did not affect moral judgement in the negative emotion condition. Further, irrespective of whether priming was done, the negative emotion group mostly made utilitarian decisions. Accordingly, we propose a dynamic dual-process model of moral judgement, that can help clarify how emotion and cognition influence moral judgement. (shrink)

‘The Unity of the Proposition’ is a label for a problem which has intermittently intrigued philosophers but which for much of the last century lay neglected in the sad, lightless room under the stairs of philosophical progress, along with other casualties and bugaboos of early analytic philosophy such as the doctrine of internal relations, the identity theory of truth, and Harold Joachim. Yet it was while struggling with this problem (among others), that Bertrand Russell built one of the first steps (...) on the staircase by creating what came later to be called the theory of descriptions.1 According to that theory, statements containing definite descriptions are true only if there exists a unique thing satisfying the description. So nothing one says about ‘The Problem of the Unity of the Proposition’, for example, can be true unless there is one and only one such problem. Yet, as we shall explain below (§1), on the one hand it is unclear that there is any such problem at all, while, on the other, if there is a problem, there seem to be several. One might conclude, then, that everything we say in this paper is likely to be false. But perhaps the paper could be, in the context, appropriately treated as a ladder, to be kicked away after climbing. For Wittgenstein, too, was concerned with the problem: ‘At the centre of Wittgenstein’s project was the task of explaining the unity of the proposition’, says Michael Potter, for example.2 Wittgenstein had inherited the task from two of his philosophical mentors, Russell and Frege. Yet while Russell’s series of failed accounts of propositions, and then judgments, each of which was meant to resolve the problem, seemed ultimately to serve only as a sort of negative inspiration for him,3 Frege’s response to the problem proved a deep influence. We will outline Frege’s position as a backdrop to Wittgenstein’s below (§§2 and 3). As we will argue, one of the most important ways in which Wittgenstein’s position resembles Frege’s is precisely that his (Wittgenstein’s) solution to the problem of unity required treating his own book as an attempt to say the unsayable.. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future (...) fragment of the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

In the first half of the 17th century the Aristotelian view that the same statement or belief may be true at one time and false at another and, on the other hand, the conception of a mental proposition as a fully explicit thought that lends a definite meaning to a declarative sentence originated a lively debate concerning the question whether a mental proposition can change its truth-value.In this article it is shown that the defenders of a negative answer and (...) the advocates of a positive answer argued on the basis of different notions of what a mental proposition is:one side taking it as more or less equivalent to a specific utterance?meaning and the other side as more or less equivalent to a generic sentence-meaning. (shrink)

A simple model accounting for semantic properties of propositional attitude operators in negative contexts with no reference to possible worlds is proposed. Verbs occurring in such operators denote relations between individuals and specific sets of sentences (of a given natural language) and their negation is defined as the complement within a specific set of cognitively determined sentences. This approach avoids in particular the problem of intensionality of propositional attitude operators and allows to use many tools from the generalised quantifier (...) theory. In that way the negation giving rise to factive presuppositions and to the neg-raising is defined in a natural way. (shrink)