In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish (...) between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

John MacFarlane has recently argued that his brand of truth relativism provides the best solution to the puzzle of future contingents: assertions about the future that express propositions that are metaphysically neither necessary nor impossible. In this paper, we show that even if we grant all of the metaphysical, semantic and pragmatic assumptions in terms of which MacFarlane sets and aims to solve the puzzle, his truth relativism is not apt to solve the problem of future contingents. (...) We argue that the theory fails to vindicate the intuition that future contingent propositions are neither true nor false, leaving the theory open to a charge of Reductio. We show that these problems cannot be answered while preserving the core tenets of truth relativism. (shrink)

This paper revisits Buridan’s Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine’s Insolubilia. Prompted by the occurrence of the paradox in Cervantes’s Don Quixote, I discuss and compare four distinct solutions to the problem, namely Bradwardine’s “just false” conception, Buridan’s “contingently true/false” theory, Cervantes’s “both true and false” view, and then the “neither true simpliciter nor false simpliciter” account proposed more recently by Jacquette. All have in (...) common to accept that the Bridge expresses a truth-apt proposition, but only the latter three endorse the transparency of truth. Against some previous commentaries I first show that Buridan’s solution is fully compliant with an account of the paradox within classical logic. I then argue that Cervantes’s insights, as well as Jacquette’s treatment, are both supportive of a dialetheist account, and Jacquette’s in particular of the strict-tolerant account of truth. I defend dialetheist intuitions (whether in LP or ST guise) against two objections: one concerning the future, the other concerning the alleged simplicity of the Bridge compared to the Liar. (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)

Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups (...) of formulas whose top rows differ. For them I provide (i) a tree-style system of ‘row tree proofs’, which is shown to be sound and complete, and (ii) an alternative, re-writing strategy. (shrink)

In this paper, I make a contribution to a naturalistically-minded theory of truthmakers by proposing a solution to the nasty problem of truthmakers for negative truths. After formulating the difficulty, I consider and reject a number of solutions to the problem, including Armstrong's states of affairs of totality, incompatibility accounts, and JC Beall 's polarity view. I then defend the position that absences of truthmakers are real and are responsible for making negative truths true. According to the positive account of (...) absences I offer, absences of contingent states of affairs are causally relevant mind-independent features of the physical world, located within space and time, and capable of being discovered by scientific inquiry. Recognition of the reality of absences strengthens truthmaker theory as a naturalistic metaphysics, as truth and falsity of each and every contingent proposition finds an ontological grounding in some region of the physical universe. (shrink)

According to Stoic moral psychology, emotions are cognitive responses to perceived value in the contingent world. This dissertation begins by defending a contemporary version of this descriptive theory; it then proceeds with a critique of the Stoics' normative thesis that emotions involve amorally deplorable kind of cognitive error. I distinguish two senses in which this thesis is historically put forward, and show that both are thematically pertinent. The structural variant, as I call it, is a qualified critique of the (...) particular cognitive flaws to which emotions are liable; the fundamental argument, on the other hand, is that emotions are categorically unreliable. My goal in the rest of the dissertation is to respond to each aspect of normative Stoicism with a positive account of how it might be possible for a moral agent to avoid false emotion without doing away with emotion altogether. This means explaining how a person's emotional perception might become reliable rather than sentimental within a given moral context, and indicating what axiological conditions must generally obtain if emotion is justifiable in any case. In doing so, I draw largely upon Kierkegaard's pseudonymous and signed writings, while also engaging with other relevant philosophical texts along the way. I argue that a morality of virtue and narrative awareness is necessary for accurate emotional perception; then, I attempt to define the conditions on which a qualified value realism might be tenable. It is one thing to argue for the importance of emotion in human life, as a number of recent studies have done, but it is quite another to show how we might cultivate truthful, and avoid false, emotion. The outcome of this inquiry into the possibility of reliable emotion is a positive account of the ideal state in which one could trust oneself to be rational in being passionate. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 125 to such a future contingent event, not only does such an event not exist now, it does not even exist in its causes now, and this for the reason that no sufficient causes of the event exist now. Accordingly, if someone were merely to make a guess to the effect that the sea-fight will occur tomorrow, and the fight actually does occur, it still could (...) not be maintained that the original guess at the time it was made was therefore true. It simply could not have been true, because at the time of its assertion there literally was no evidence of any kind that could have rendered it true. Nevertheless, modern logicians have generally been so dead set against the notion that the truth or falsity of a proposition could ever be relative to the time when the proposition was uttered that they seem scarcely to have taken account of a consideration such as the foregoing. Nor is it likely that with the publication of this excellent translation of St. Thomas's commentary, such critics will begin to take account of this Thomistic argument even now. Somehow, one is reminded of Dr. Johnson's purported remark, "Sir, I can only give a man a reason, not an intelligence!" HENRY VEATCtt Northwestern University Pascal e Nietzsche. Scritti di E. Castelli, H. Gouhier, A. del Noce, H. Birault, K. Takeno, K. LSwith, J. D~lhomme, G. Vattimo, R. Boehm, G. Morra. (Padova: Cedam; Casa Editrice Dott. Antonio Milani, 1962. Pp. 218. = Archivio di Filosofia. Organo dell'Istituto di Studi Filosofici. Anno 1962. No 3. L. 2000.) This issue of the Archivio di Filosofia offers essays by the various authors indicated in the title above. Pascal and Nietzsche are here brought together because of what they have in common, that is, suffering, restlessness, dissatisfaction with the human condition, the historical sorrow of post-Copernican man, a paradoxical and chaotic thought. Both Pascal and Nietzsche urge man to measure the real by the possible and not the possible by the real and to risk the present certainties for the uncertainty of the future. They dislodge man from his ordinary seat and launch him on the risky adventure and great experiment of real existence. PA~L T. FUHRMANN Columbia Theological Seminary Pierre Bayle and Voltaire. By H. T. Mason. (Cambridge: Oxford University Press, 1963. Pp. xv -k 163.) Pierre Bayle and Voltaire confronts the ideas of the two philosophers and formulates some prudent conclusions about their relationship. Since Bayle's works run to nine long folio volumes and Voltaire's come to fifty quartos in the Moland edition, one cannot help but be impressed by the magnitude of Professor Mason's undertaking and by his ability to reduce his findings to a book of just over one hundred and fifty pages. In the case of Bayle and Voltaire, the basic facts concerning influence are readily available. We know what works of Bayle's were in the library at Ferney; we can see the pages the Enlightenment philosopher marked as he read; we have almost two hundred references to Bayle in Voltaire's works and letters (listed chronologically by Mason in an appendix); and critical editions, such as Morize's Candide and Lanson's Lettres philosophiques, have disclosed how consistently Voltaire turned to the Dictionnaire historique et critique or other works from Bayle's pen for information. Yet, when dealing with passages that seem to rely on Bayle for factual content, a scholar runs into many hazards. Voltaire may draw his data from Bayle, from Bayle's source, from an intermediary, or from an outside source. We know that he consulted Richard Simon, Spinoza, Dora Calmet, and Dr. Astruc as well as Bayle for his Biblical criticism. Therefore, it is very frequently impossible to be sure just how much Bayle's thinking 126 HISTORY OF PHILOSOPHY contributed to the philosophe'~. Professor Mason, while continually aware of this Uncertainty, lists the numerous cases he has found where Voltaire's source may be Bayle. More significant, of course, are Bayle's seminal ideas and their role in the formation of Voltaire's intellect. The bulk of this book is devoted to chapters on "the... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 125 to such a future contingent event, not only does such an event not exist now, it does not even exist in its causes now, and this for the reason that no sufficient causes of the event exist now. Accordingly, if someone were merely to make a guess to the effect that the sea-fight will occur tomorrow, and the fight actually does occur, it still could (...) not be maintained that the original guess at the time it was made was therefore true. It simply could not have been true, because at the time of its assertion there literally was no evidence of any kind that could have rendered it true. Nevertheless, modern logicians have generally been so dead set against the notion that the truth or falsity of a proposition could ever be relative to the time when the proposition was uttered that they seem scarcely to have taken account of a consideration such as the foregoing. Nor is it likely that with the publication of this excellent translation of St. Thomas's commentary, such critics will begin to take account of this Thomistic argument even now. Somehow, one is reminded of Dr. Johnson's purported remark, "Sir, I can only give a man a reason, not an intelligence!" HENRY VEATCtt Northwestern University Pascal e Nietzsche. Scritti di E. Castelli, H. Gouhier, A. del Noce, H. Birault, K. Takeno, K. LSwith, J. D~lhomme, G. Vattimo, R. Boehm, G. Morra. (Padova: Cedam; Casa Editrice Dott. Antonio Milani, 1962. Pp. 218. = Archivio di Filosofia. Organo dell'Istituto di Studi Filosofici. Anno 1962. No 3. L. 2000.) This issue of the Archivio di Filosofia offers essays by the various authors indicated in the title above. Pascal and Nietzsche are here brought together because of what they have in common, that is, suffering, restlessness, dissatisfaction with the human condition, the historical sorrow of post-Copernican man, a paradoxical and chaotic thought. Both Pascal and Nietzsche urge man to measure the real by the possible and not the possible by the real and to risk the present certainties for the uncertainty of the future. They dislodge man from his ordinary seat and launch him on the risky adventure and great experiment of real existence. PA~L T. FUHRMANN Columbia Theological Seminary Pierre Bayle and Voltaire. By H. T. Mason. (Cambridge: Oxford University Press, 1963. Pp. xv -k 163.) Pierre Bayle and Voltaire confronts the ideas of the two philosophers and formulates some prudent conclusions about their relationship. Since Bayle's works run to nine long folio volumes and Voltaire's come to fifty quartos in the Moland edition, one cannot help but be impressed by the magnitude of Professor Mason's undertaking and by his ability to reduce his findings to a book of just over one hundred and fifty pages. In the case of Bayle and Voltaire, the basic facts concerning influence are readily available. We know what works of Bayle's were in the library at Ferney; we can see the pages the Enlightenment philosopher marked as he read; we have almost two hundred references to Bayle in Voltaire's works and letters (listed chronologically by Mason in an appendix); and critical editions, such as Morize's Candide and Lanson's Lettres philosophiques, have disclosed how consistently Voltaire turned to the Dictionnaire historique et critique or other works from Bayle's pen for information. Yet, when dealing with passages that seem to rely on Bayle for factual content, a scholar runs into many hazards. Voltaire may draw his data from Bayle, from Bayle's source, from an intermediary, or from an outside source. We know that he consulted Richard Simon, Spinoza, Dora Calmet, and Dr. Astruc as well as Bayle for his Biblical criticism. Therefore, it is very frequently impossible to be sure just how much Bayle's thinking... (shrink)

Drawing deeply from Wittgenstein's later works, Thomas Morawetz has articulated a vision of legal decision making according to which it is not a defect, but inherent in the very nature of law, for there to be disagreement among judges regarding their legal decision‐making strategies. Central to Morawetz's account is the notion of a legal grammatical proposition. This essay argues that because legal grammatical remarks lack any truth‐value, they cannot play a justificatory role. This would imply that the rule of (...) law is no more justifiable than the violent alternatives used by anarchists and religious fanatics. (shrink)

In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...) true as long as sometimes in the future it will be the case that there exists something that makes Q true. However, if the events that occur in 2060 do not exist unrestrictedly (for us, here in 2021), what, in reality, can possibly ground the truth (or falsity) of Q? In the second part of the paper, we concentrate on some conceptual difficulties raised by their brilliant attempt to adapt the growing block view of reality to a relativistic setting, based on what they call bow-tie presentism, according to which for each spacetime point s only s plus the spacelike-related region with respect to s exists. By extending temporal logic into a relativity-friendly spatiotemporal logic, we conclude by noting that Correia and Rosenkranz’s Nothing to Come makes very important strides in showing that there are technical ways to develop the growing block of reality into an ontology that coheres with relativity theories perfectly well, while retaining most of the distinctive content of classical growing block theory. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this (...) paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

How should we share the truth about the environmental crisis? At a moment when even the most basic facts about ecology and the climate face contestation and contempt, environmental advocates are at an impasse. Many have turned to social media and digital technologies to shift the tide-but what if their strategy is not only flawed, but dangerous? The Truth about Nature follows environmental actors as they turn to the internet to save nature. It documents how conservation efforts (...) are transformed through the political economy of platforms and the algorithmic feeds that have been instrumental to the rise of post-truth politics. Developing a novel account of post-truth as an expression of power under platform capitalism, Bram Büscher shows how environmental actors attempt to mediate between structural forms of platform power and the contingent histories and contexts of particular environmental issues. Bringing efforts at wildlife protection in Southern Africa into dialogue with a sweeping analysis of truth and power in the twenty-first century, Büscher makes the case for a new environmental politics: one that radically reignites the art of speaking truth to power. (shrink)

If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. In this paper, I will sketch the first steps of a physicalist philosophy of mathematics; that is, how physicalism can account for logical and mathematical facts. We will proceed as follows. First we will clarify what logical/mathematical facts actually are. Then, we will discuss how (...) these facts can be accommodated in the physicalist ontology. This might sound like immanent realism (as in Mill, Armstrong, Kitcher, or Maddy), according to which the mathematical concepts and propositions reflect some fundamental features of the physical world. Although, in my final conclusion I will claim that mathematical and logical truths do have contingent content in a sophisticated sense, and they are about some peculiar part of the physical world, I reject the idea, as this thesis is usually understood, that mathematics is about the physical world in general. In fact, I reject the idea that mathematics is about anything. In contrast, the view I am proposing here will be based on the strongest formalist approach to mathematics. (shrink)

A central problem for any truthmaker theory is the problem of negative truths. In this paper, I develop a novel, piecemeal strategy for solving this problem. The strategy puts central focus on a truth-relevant notion of aboutness within a metaphysically modest version of truthmaker theory and uses key conceptual tools gained by taking a deeper look at the best attempts to solve the problem of intentionality. I begin this task by critically discussing past proposed solutions to P-NEG (...) in light of Russell’s debate with Demos. This reveals a central difficulty with addressing the problem, specifically that one cannot be committed to incompatibility facts in one’s account of negation and of the truth of negative truths. I then present an aboutness-based version of truthmaker theory. Utilising what I call the strict and full account of aboutness, I extract aboutness-based theories of truth and falsity. I use this machinery to present a promising new strategy for solving P-NEG which does not have the problems of alternative approaches. Finally, I present and respond to some potential objections. (shrink)

Offering a solution to the skeptical puzzle is a central aim of Nozick's sensitivity account of knowledge. It is well-known that this account faces serious problems. However, because of its simplicity and its explanatory power, the sensitivity principle has remained attractive and has been subject to numerous modifications, leading to a of sensitivity accounts. I will object to these accounts, arguing that sensitivity accounts of knowledge face two problems. First, they deliver a far too heterogeneous picture of higher-level beliefs about (...) the truth or falsity of one's own beliefs. Second, this problem carries over to bootstrapping and Moorean reasoning. Some beliefs formed via bootstrapping or Moorean reasoning are insensitive, but some closely related beliefs in even stronger propositions are sensitive. These heterogeneous results regarding sensitivity do not fit with our intuitions about bootstrapping and Moorean reasoning. Thus, neither Nozick's sensitivity account of knowledge nor any of its modified versions can provide the basis for an argument that bootstrapping and Moorean reasoning are flawed or for an explanation why they seem to be flawed. (shrink)

In a recent paper we argued that a Moorean strategy can be employed to justify our continuing to believe the following proposition, even in the presence of philosophical views that entail it is false, without any philosophical argument against those views, and without any positive philosophical argument in its favour: -/- H>A: Humans have an equal moral status that is higher than the moral status of non-human animals. -/- The basic idea is that our confidence in the truth (...) of this proposition is greater than our confidence in the propositions that make up those philosophical views that entail it is false, and that this is sufficient to justify rejecting those views and to continue to believe H>A. -/- Roberts has recently responded to our argument by claiming: -/- (i) Although the Moorean strategy is valid, it is not powerful. (ii) A resort to the Moorean strategy reflects too great a pessimism about the accounts available that purport to justify H>A. -/- In this short rejoinder we explain why Roberts fails to establish his two claims. (shrink)

Statements about fictional characters, such as “Gregor Samsa has been changed into a beetle,” pose the problem of how we can say something true (or false) using empty names. I propose an original solution to this problem that construes such utterances as reports of the “prescriptions to imagine” generated by works of fiction. In particular, I argue that we should construe these utterances as specifying, not what we are supposed to imagine—the propositional object of the imagining—but how we are supposed (...) to imagine. Most other theories of thought and discourse about fictional characters either fail to capture the intentionality of our imaginings, or else obscure the differences between imaginings directed toward fictional characters and those directed toward real individuals. I argue that once we have an account of prescriptions to imagine about real individuals, we can adapt the same framework to specify the contents of prescriptions to imagine about fictional characters, and thereby to account for the truth (or falsity) of statements about fictional characters. (shrink)

I offer an account of truth that combines elements of deflationism and traditional correspondence theories. We need such an intermediary account, I argue, in order to adequately answer two kinds of questions: "Why do we find it obvious that 'p' is true iff p?" and "Why is it contingent that 'p' is true iff p?" If what it is for 'p' to be true is explained by simply saying that p, as the deflationist claims, it is hard to (...) see how it could be contingent that 'p' is true iff p. But if it is claimed instead that what it is for a sentence to be true is for it to correspond to a fact, we still need some explanation of why 'p's correspondence with reality insure that p, and vice versa. What we need, I claim, is to recognize a structure to truth: truth for sentences, utterances, and other non-propositional entities depends on, and is analyzable in terms of, the expression of true propositions. Propositional truth can then be treated as insubstantial, as deflationary, and truth for other entities as substantial, consisting of correspondence to a fact . ;This account of truth, which I call Weak Deflationism, anchors the dissertation. In an introductory chapter, I give a partial defense of realism about propositions and properties, later defending Platonism against attacks by David Lewis. After formulating Weak Deflationism, I examine its implications for such matters as the "absurd comparison" objection, the truthmaker project in ontology, and non-factualist theories in metaethics. In a final chapter, I provide a Kripke-inspired modification of Weak Deflationism aimed to avoid liar-like paradox. Premised on a distinction between propositions that predicatively involve truth, i.e., truth-dependent propositions, and those that do not, truth-independent propositions, I argue that truth for the latter is deflationary and that truth for the former consists in being determined by the totality of truth-independent fact. Falsity is understood as truth of the negation. Liars are then counted neither true nor false, and paradox is averted. (shrink)

Belnap-Dunn logic, sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We (...) provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes’ and Jeffrey updating and also suggest mechanisms for aggregating information from different sources. (shrink)

This volume contains a selection of papers presented at the special workshop "Truth and Objectivity in Law and Morals," held at the 26th World Congress of the IVR. The papers deal with diverse but correlated issues such as the search for truth in and through legal argumentation; the intelligible character of rules inside theories of interpretation which guarantee the coherence and the integrity of law; the role of hermeneutic analysis in the construction of the objectivity of law; the (...) procedural and contextual aspects of objectivity in legal reasoning; the role of objectivity in the distinction between the context of justification and the context of discovery; the problem about truth of normative propositions and legal statements; the incompatibility of non factualism with the traditional account of validity and legality; as well as the possibility of objectivity in morals. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in this paper (...) have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Participants acting as mock jurors made inferences about whether a person was a suspect in a murder based on an expert's testimony about the presence of objects at the crime scene and the disclosure that the testimony was true or false. Experiment 1 showed that participants made more correct inferences, and made inferences more quickly, when the truth or falsity of the expert's testimony was disclosed immediately after the testimony rather than when the disclosure was delayed. Experiment 2 (...) showed no advantage for prior disclosure over immediate disclosure. Experiment 3 showed that the pattern of inferences when there was no disclosure mirrored the pattern when it was disclosed that the expert's testimony was true rather than false. Participants made more correct inferences from true conjunctions than disjunctions, and from false disjunctions than conjunctions. We discuss the implications for theories of the mental representations and cognitive processes that underlie human reasoning. (shrink)

My dissertation brings into conversation two thinkers who are seldom considered together and highlights previously unnoticed similarities in their critical responses to scientism, which was just as prevalent in the late nineteenth century as it is today. I analyze this attitude as consisting of two linked propositions. The first, which Nietzsche calls “the unconditional will to truth,” is that the aims of science, discovering truth and avoiding error, are the most important human aims; and the second is (...) that no practice other than science can achieve them. Both Nietzsche and James criticize the unconditional will to truth for privileging a transcendent ideal over the demands of human life. This unconditional will regards truth as valuable in itself and demands that we pursue it under all circumstances—even if that demand comes into conflict with other values. I lay out the ways in which Nietzsche and James view the value of truth and the imperative to pursue it as conditional on its promotion of human flourishing. In response to the second proposition of scientism, both philosophers argue that science can neither tell us what we should value, nor fully account for the value we in fact find in certain objects, activities, and experiences. And crucially, science cannot tell us whether or why its own goal of attaining truth is valuable. Nietzsche and James reach different conclusions about what is ultimately valuable, and whether traditional religious belief is defensible in light of the discoveries of science. Nonetheless, the hitherto unappreciated similarities I have uncovered in their arguments show that principled opposition to scientism need not be associated with any particular moral or religious viewpoint. This analysis is not only of historical interest: those who consider scientism to be ill-founded and intellectually confining can take some cues from our nineteenth-century predecessors’ strategies for combating it. (shrink)

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment (...) relation on the resulting sets of higher-order values. This method is based on the concept of a multilattice. If the method is applied to the set of truth values of Belnap's “useful four-valued logic”, one obtains a trilattice, and, more generally, structures here called Belnap-trilattices. As in Priest's case, it is shown that the generalized truth values motivated by hyper-contradictions have no effect on the logic. Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment. However, it is observed that applying the multilattice-approach to Priest's initial set of truth values leads to an interesting algebraic structure of a “bi-and-a-half” lattice which determines seven-valued logics different from Priest's Logic of Paradox. (shrink)

Psychologists take two propositions for granted. Specifically, empirical verification of predictions derived from a theory support that the theory is more likely to be true and support that additional predictions derived from the theory have an increased probability of being sustained if subjected to empirical testing. In contrast, I argue that both propositions depend strongly on whether auxiliary assumptions are taken into account. When auxiliary assumptions are not taken into account, the first proposition is valid but the second (...) is not. When auxiliary assumptions are taken into account, the first proposition is not valid, and the second proposition encounters additional problems. I use Venn diagrams and Bayesian principles to demonstrate these conclusions. (shrink)

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of this (...) principle is a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bernard Harrison THE TRUTH ABOUT METAPHOR GOTTLOB frece introduced into philosophy two doctrines whose subsequent influence, on analytic philosophers at least, has been momentous. One is the doctrine that to understand a sentence is to know how to set about establishing die trudi-value of an assertion couched in those words. The other is the doctrine that a word has meaning only in the context of a sentence. These (...) doctrines make it hard to understand metaphor. They create difficulties, especially, for any theory of metaphor which assumes the intelligibility of talk about two kinds of meaning, literal and metaphorical. Frege's doctrines allow only one kind of meaning: one connected essentially with the issue of truth and falsity. But it is only when we take them literally that metaphorical sentences acquire a truth value: usually false. Two obvious suggestions offer ways of getting around this. The first is the suggestion diat metaphors are condensed or disguised similes: true or (sometimes) false statements about similarity. The second is the suggestion that a term used in a metaphorical context just has a different literal meaning from the one it has in a sentence intended to be taken literally. Neither is very plausible. The first reduces a metaphorical comparison, "Man is a wolf," to a literal statement of similarity, "Men are like wolves." But what similarity, exactly, is the statement supposed to be asserting? Perhaps that men prey upon one anodier, as wolves are supposed to do. But dien "prey" can only be meant metaphorically, at which point die puzzle revives. As Goodman says of die attempt to find a simile in the metaphorical assertion diat a picture is sad, "What die simile says in effect is that person and picture are alike in being sad, die one literally and the odier metaphorically. Instead of metaphor reducing to simile, simile reduces to metaphor; or radier, the difference between simile and metaphor is negligible." ' 38 Bernard Harrison39 An equally fatal objection to the second suggestion is diat it is only ifwe take die terms which compose a metaphor in their plain everyday senses that they compose a metaphor. As R. M. J. Dammann puts it, "IfGod is a rock in a different sense from that in which Gibraltar is one, then both are really, literally, rocks, just as what one buys in a sweetshop is rock, though a dissatisfied customer might call it such metaphorically."2 It cannot, in odier words, be literally true diat die process of understanding a metaphor involves changing the sense ofits constituent expressions, odierwise metaphor would evaporate in die reader's grasp into literality. What this suggests is diat what makes a sentence metaphorical is not any change in the meaning of its constituent expressions, but the way in which those expressions, with dieir plain everyday meanings, are combined in the sentence. What we need, perhaps, ifwe are to begin to understand metaphor, is not a dieory ofmetaphorical meaning, but an account of what it is to assert metaphorically: an account, diat is, which would operate at the level of die sentence rather than at diat of die word. But this returns us to Frege's two doctrines. If the meaning of a word is to be wholly identified with die contribution it makes to die determination of a truth value for each sentence in which it occurs, dien it is difficult to see how the constituents of a sentence could determine anything odier than a plain, literal meaning for the sentence as a whole. What I shall try to show in this essay is that this difficulty can be overcome : that we can give a satisfactory account of the semantic mechanisms of metaphor without giving up either of Frege's doctrines. As Frege thought, understanding a sentence is knowing how to set about establishing the truth or falsity ofassertions couched in diose words. But to say what, exacdy, someone knows in knowing diat demands, I shall argue, a more complicated story than Fregeans have supposed. First, diough, I want to consider a more radical strategy dian mine for squaring Frege's doctrines with our experience of metaphor, proposed by Donald Davidson.3 Davidson holds widi Frege that the... (shrink)

This is a new major and systematic monograph on the realism debate, written by a very skillful and sophisticated defender of anti-realism. The realism debate is conceived here as a primarily semantic controversy concerning the possibility of forming propositions or sentences about the world whose truth or falsity might be unknowable to us. Realists of various persuasions take it to be perfectly possible, while nonrealists of all sorts deny this. Tennant distinguishes two basic forms of nonrealism in (...) his book: irrealism and antirealism. According to semantic irrealism, there are no such entities as propositions, or objective and determinate meanings for sentences to possess. Semantic antirealists generally do not agree with such a radical conclusion. They argue for the objectivity and determinacy of meaning, although at the same time they insist that both meaning and truth attributable to propositions or sentences has to be epistemically constrained, that is, grasping a meaning has to be manifestable and truth has to be in principle knowable. While developing in greater detail his own version of antirealism that respects those two constraints, Tennant combines the knowability requirement with the claim that truth need not be bivalent, which in turn leads him to replace classical logic based on bivalence by a nonclassical constructive logic, namely, intuitionistic relevant logic. Tennant attempts to show that this logic has much wider application than one might suppose. It suffices not only for mathematics but also adequately captures the basic inferential practices of empirical sciences. It would be hard to overestimate the significance of that attempt, since if successful it undermines the charge that anti-realism is a doctrine that cannot really be extended beyond the domain of mathematical discourse. The general strategy taken in this respect by Tennant is not, as has been common so far, to strengthen the notion of empirical verification or confirmation of a sentence in such a way as to make it a close analogue of the notion of mathematical proof. “Rather, one should attend to the main feature of natural scientific theorizing to which Popper drew our attention: our scientific theories can at best be falsified, not verified”. In other words, in the case of empirical discourse the perfect analogue of the antirealist notion of constructive provability is the notion of constructive falsifiability. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:NECESSARY PROPOSITIONS AND THE SQUARE OF OPPOSITION MARK ROBERTS University of Rhode Island Kingston, Rhode Island IT IS COMMONPLACE to define contradictory, contrary, and subcontrary propositions in the following way: contradictory propositions cannot both be true and cannot both be false; contrary propositions cannot both be true but can both be false; and subcontrary propositions can both be true but cannot both be false. (...) In his Introduction to Logic 1 Irving Copi raises a problem with two of these definitions which he believes forces him to limit the range of propositions which can be used in the square of opposition. Since contrary propositions can both be false, but the falsity of a necessarily true proposition is not possible, a necessarily true proposition has no contrary. Therefore, only contingent propositions can be contraries. Subcontrary propositions can both be true, but the truth of a necessarily false proposition is not possible.2 This problem is rarely raised in other logic texts, but, it is interesting to note, it is mentioned by a number of neoscholastic philosophers, for example, P. Nicholas Russo,3 Rev. H. Grenier,4 1 Irving M. Copi, Introduction to Logic (New York: Macmillan, 1986), pp. 178-179. Copi first introduced this problem in the fifth edition of his work on the basis of an article by David H. Sanford entitled " Contraries and Subcontraries,'' Nous 2 (1968) : 95-96. Sanford argues that the most reasonable way to resolve the problem of necessary propositions is to assume that contingent propositions comprise the square of opposition. 2 Copi, pp. 178-179. 8 Nicholas Russo, Summa Philosophica (Boston: Apud Marlier et Socios, 1[;85), p. 23. 4 Henri Grenier, Thomistic Philosophy, Vol. I (Charlottetown, Canada: St. Dunstan's University, 1950), p. 69. 427 428 MARK ROBERTS G. Sanseverino,5 Jacques Maritain,6 F.-X. Maquart,7 P. Coffey,8 and others.9 (It is also mentioned by Bishop Whately.10 ) Each of these philosophers makes necessarily true or false propositions an exception to the definition of contrary and subcontrary propositions. The reason is they and Copi interpret the definitions of contrary and subcontrary propositions to mean that the falsity of each contrary proposition is possible and the truth of each subcontrary proposition is possible. It should be mentioned, however, that the position of the philosophers cited above is not entirely the same as Copi's. Copi reasons that these definitions imply that necessary propositions have no contrary or subcontrary. The other philosophers believe that necessary propositions can be contraries and subcontraries. Thus, in the case of necessary propositions contrary and subcontrary propositions are, instead, defined merely in terms of their quantity and quality, not by whether or not they can both be false or can both be true. In fact, Coffey and some of the other philosophers cited above assert that, when the propositions composing the square are necessary, one can infer the truth of the universal from the truth of 5 Gaietano Sanseverino, Philosophia Christiana, Vol. II (Neapoli: Vincentii Manfredi, 1862), pp. DCCXXXVIII ff. 6 J. Maritain, An Introduction to Logic (London: Sheed & Ward, 1937), p. 135, notes 1 & 2. 7 F.-X. Maquart, Elementa Philosophiae, Vol. I (Parisiis: Andreas Blot, 1937)' p. 126 ff. 8 P. Coffey, The Science of Logic, Vol. 1 (New York: Longmans, Green & Co., 1918), p. 225, 226. 9 Joseph Gredt, Elementa Philosophiae, Vol. I (Friburgi: Herder, 1929), p. 46, notes 1 & 2; Sylvester J. Hartman, A Textbook of Logic (New York: American Book Co., 1936), p. 162 ff; Roland Houde and Jerome J. Fischer, Handbook of Logic (Dubuque, Iowa: Wm. C. Brown Co., 1954), p. 61; Eduard Hugon, Cursus Philosophiae Thomisticae, Vol. I (Parisiis: P. Lethielleux n.d), p. 155; Dennis C. Kane, Logic: The Art of Predication and Inference (Providence: Providence College Press, 1978), p. 98 ff; Francis P. Siegfried, Essentialia Philosophiae (Philadelphia: Dolphin Press, 1927), p. 25; Francis Varvello, Minor Logic, trans. and supplemented Arthur D. Fearon (San Francisco: Univ. of San Francisco Press, 1933), p. 73 ff. 10 Richard Whately, Elements of Logic (Boston: James Munroe & Co., 1854), p. 77 ff. PROPOSITIONS AND THE SQUARE OF OPPOSITION 429 the particular and the falsity of the particular from the falsity of the universal.11 Maritain maintains that in the case... (shrink)

Any study of the 'Scientific Revolution' and particularly Descartes' role in the debates surrounding the conception of nature (atoms and the void v. plenum theory, the role of mathematics and experiment in natural knowledge, the status and derivation of the laws of nature, the eternality and necessity of eternal truths, etc.) should be placed in the philosophical, scientific, theological, and sociological context of its time. Seventeenth-century debates concerning the nature of the eternal truths such as '2 + 2 = 4' (...) or the law of inertia turn on the question of whether these truths were created along with nature, or were uncreated and subsisting in God's mind. One's answer to that question has direct consequences for conceptions of the necessity/contingency of mathematical and natural knowledge, how knowledge of such truths is accomplished by humans, and what grounds these truths. In this paper, I review the positions of four successors to Descartes' philosophy on the question of the eternal truths to illustrate how in specific ways that question with its theological, metaphysical, modal, and epistemological dimensions concerned the objectivity and certainty of the discoveries of the new science. Author Recommends: Clarke, Desmond. Descartes' Philosophy of Science . University Park, Penn State Press, 1982. This work provides an account of Descartes as a practicing scientist whose rationalism is mitigated by reliance on experiment and experience. Author re-examines Descartes' philosophical and scientific works in this new light. Dear, Peter. Revolutionizing the Sciences: European Knowledge and its Ambitions, 1500–1700 . Princeton, Princeton University Press, 2001. This work provides a useful overview of the issues and thinkers of the Scientific Revolution. Of particular relevance is chapter 8 on Cartesian and Newtonian science. Funkenstein, Amos. Theology and the Scientific Imagination from the Middle Ages to the Seventeenth Century . Princeton, Princeton University Press, 1986. This work is an advanced study of the theological and metaphysical foundations of early modern science. Discussions include questions of God's nature, God's knowledge in relation to human knowledge, providence, the laws of nature, and the truths of mathematics. In particular, chapter 3 discusses Descartes' account of the eternal truths and divine omnipotence. Garber, Daniel. Descartes' Metaphysical Physics . Chicago, University of Chicago Press, 1992. This work examines how Descartes' metaphysical doctrines of God, soul, and body set the groundwork for his physics. It includes a study of God and the grounds for the laws of physics (chapter 9). Henry, John. The Scientific Revolution and the Origins of Modern Science . 3rd ed. New York, Palgrave, Macmillan Press, 2008. This work provides a brief, general, and informative overview of the Scientific Revolution, including the themes of method, magic, religion, and culture. Osler, Margaret J. Divine Will and the Mechanical Philosophy: Gassendi and Descartes on Contingency and Necessity in the Created World . Cambridge, Cambridge University Press, 1994. This work is an examination and comparison of the mechanical philosophies of Gassendi and Descartes. It offers in-depth discussion of the issue of voluntarism and intellectualism in the period and how that related to conceptions of laws of nature and the eternal truths. Shapin, Steven. The Scientific Revolution . Chicago, University of Chicago Press, 1996. This work provides a critical synthesis of as well as a guide to recent scholarship in the history of science for a general readership. Online Materials Dr. Robert A. Hatch's Scientific Revolution Website: http://web.clas.ufl.edu/users/rhatch/pages/03-Sci-Rev/SCI-REV-Home/ A compendium of resources for the study of Scientific Revolution. Early English Books Online: http://eebo.chadwyck.com/home Early English Books Online (EEBO) contains digital facsimile page images of virtually every work printed in England, Ireland, Scotland, Wales and British North America and works in English printed elsewhere from 1473 to 1700. Early Modern Resources: http://www.earlymodernweb.org.uk/emr/ Early Modern Resources is a gateway for all those interested in finding electronic resources relating to the early modern period in history. Gallica, the Digital Library of the Bibliothèque Nationale de France: http://gallica.bnf.fr/ An ever-growing digital library which includes numerous primary and secondary texts of relevance to Descartes and his role in Scientific Revolution. Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Syllabus Sample Syllabus: Cartesian Science The following is five weeks covering Cartesian Science in a course on Descartes or the Scientific Revolution, or 17th-century theories of matter, or related themes on early modern truth and method, especially on the continent. This material is best suited to a graduate level audience, but it could be modified to suit an upper-division undergraduate course, as the readings are basically primary texts whose context and background can be explained in lectures. Week 1: Cartesian Revolution in France • Scientific method • Role of mathematics and experiment • Certainty of scientific knowledge Readings: Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Descartes, Discourse on Method , Parts 1–3 Descartes, Meditations on First Philosophy , First Meditation. Week 2: Descartes' Scientific Treatises • Mechanization and mathematization of nature • Primary–secondary quality distinction Readings: Discourse on Method, Parts 4–6 Selections from Descartes' Scientific Essays: The World or Treatise on Light (ATXI 3–48); Treatise on Man (ATXI 119–202); Optics (ATVI 82–147). Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Henry, John, 'The Mechanical Philosophy,' chapter 5. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 3: Descartes' Theory of Nature • Descartes' derivation of the law of conservation and the three laws of motion • God's role in the metaphysics and physics of nature Readings: Selections from Principles of Philosophy, Preface (all); Letter to Elizabeth; Part I: 1–8; Part II: 1–45, 55, 64; Part III: 1–4, 15–19, 45–47; Part IV: 187–207. John Henry, 'Religion and Science,' chapter 6. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 4: Post-1650 Cartesian Science: Necessity and Contingency in Nature • Debates on God, Creation, and Causes Readings: Easton, Patricia, 'What is at Stake in the Cartesian Debates on the Eternal Truths?' Philosophy Compass 4.2 (2009): 348–62. Malebranche, Nicolas, 'Elucidation 10', from The Search after Truth (1674). Note: All selections available in Nicolas Malebranche (1992). Philosophical Selections , edited by S. Nadler, Hackett. Gottfried Leibniz (1714) Monadology . Week 5: Causes in Nature and Morals • Theodicy as an explanation of defect and evil in a lawful universe: Malebranche v. Leibniz Readings: Nicolas Malebranche, Elucidation XVI (on occasionalism), and Treatise on Nature and Grace, Discourse One, Part 1. Gottfried Leibniz (1706), Theodicy. Focus Questions Weekly questions can be used to focus the readings. This can be done in a web or e-mail discussion thread, as a weekly assignment, or for in class discussion. I require students to post a short paragraph in response to the question or some posting by a classmate on the question. Students are required to post by 10 a.m. the day before we meet for class on a course website. Week 1: According to Descartes, what role does skepticism play in scientific reasoning? Week 2: Comment on the following: 'But I am supposing this machine to be made by the hands of God, and so I think you may reasonably think it capable of a greater variety of movements than I could possibly imagine in it, and of exhibiting more artistry than I could possibly ascribe to it' [ Treatise on Man ; ATXI 120]. Week 3: What is Descartes' conception of the relation between the metaphysics and physics of nature? Week 4: Critically discuss the positions of Descartes, Malebranche, and Leibniz on what provides the foundation for the certitude of natural knowledge? Week 5: Explain why both Malebranche and Leibniz consider moral sin to be analogous to natural defect? Seminar/Project Idea Hold a debate on the question of the status of the eternal truths. The proposition will be Descartes' position: 'Eternal truths must be both created and necessary if certainty in science is to be possible'. Format: 1. At the beginning of the 5-week module, students will be assigned to one of three roles: Team A, Team B, and judge's panel. Students will be given the debate proposition, but will not be told which team will take the affirmative and which team the negative until the time of the debate. 2. Recommend a variation on the Classic Debate Format to encourage the development of argument: sequence begins with affirmative construction (8 minutes), negative construction (8 minutes), second affirmative construction (8 minutes), second negative construction (8 minutes), first negative rebuttal (4 minutes), first affirmative rebuttal (4 minutes), final negative rebuttal (4 minutes) and final affirmative rebuttal (4 minutes). 3. Judges Panel: will consist of 3–4 judges who will assess the performance of Teams A and B. Judgment should be based on the persuasiveness of the team position. 4. Debate will be held at the end of the fifth week, or semester, whichever makes most sense given the course length and structure. Acknowledgements The author gratefully acknowledges the immensely helpful comments and suggestions by the participants in her graduate seminar on the Scientific Revolution: Benjamin Chicka, Sarah Jacques-Ross, Richard Ross, Marcella Stockstill, and Zohra Wolters. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:484 BOOK REVIEWS faith. Yet faith-knowledge alone is insufficient to account for Jesus' extraordinary gifts as a teacher: for this we must appeal to a special charism along the lines of an infused knowledge. According to Torrell this knowledge is best understood by reference to Aquinas's mature teaching on prophecy: God equipped the prophets with an infused light (but not infused ideas) enabling them to communicate divine truths to (...) others. Likewise, God conferred on Jesus an infused light akin to that of the prophets, but with this qualitative difference: in him the lumen is a permanent feature of his cognitive life (a habitus), while it is given to the prophets only intermittently (per modum actus). The foregoing i;ummary will have served its purpose if it has conveyed to the reader some sense of the very rich historical, philosophical, and theological reflections that comprise this volume. The editorial team of the Revue thomiste is to be commended for the high caliber of this and the other special publications it has produced in recent years: the 1992 commemorative volume on the theological achievement of M.-M. Labourdette; th~ 1993 centenary index ("tables generales 1893-1992"); the Gilson issue of 1994; and most recently an issue devoted to Thomas Aquinas and the onto-theo-logy debate (1995). This reviewer eagerly waits for more. Fordham University Bronx, New York GREGORY M. REICHBERG The Divine Initiative: Grace, World-Order, and Human Freedom in the Early Writings of Bernard Lonergan. By J. MICHAEL STEBBINS. Toronto: University of Toronto Press, 1995. Pp. xxii + 399. $65.00 (cloth). Aquinas insists that the creator's primary intent is the "order of the universe," and Bernard Lonergan's dissertation on "operating grace" in Aquinas's writings managed to move beyond the stalemated discussion of "sufficient" and "efficacious" grace precisely because he displayed how any discourse about grace had to be connected with larger theorems of the creator's operation in creation. What speaking of the divine action called "grace" requires is a set of metaphysical skills adequate to speaking of the "order of the universe" as created. A tall order, whose scope the published edition of his dissertation-Grace and Freedom-so understated that its implications have been missed by many philosophers and theologians fascinated with such questions. Stebbins's careful reconstruction of that text reminds us of its daunting scope. And part of the reason it can do so is that he illustrates both the method and conclusions of Grace and Freedom through a later text which Lonergan had composed (in Latin) for a course on grace offered from 1947 to 1960: De ente supernaturali (which will appear in volume 16 [Early Latin Theology] of the Collected Works of Bernard Lonergan, published by BOOK REVIEWS 485 University of Toronto Press). The significance of this collateral source is that it can profit from and respond to Henri de Lubac's epochal Surnaturel (1946). For those not familiar with Grace and Freedom, as well as some who thought they were, a list of Stebbins's chapters manages to convey the scope of Lonergan's achievement: 1. The Role of Understanding in Theological Speculation; 2. The Principal Instance of Supernatural Being: The Created Communication of the Divine Nature; 3. Thirteenth-Century Breakthrough (The "Theorem" of the Supernatural); 4. Supernatural Transformation of Human Activity; 5. Obediential Potency and the Natural Desire to See God; 6. Molinist and Bannezian Systems; 7. Theoretical Perspective on Divine Concourse; 8. Contingence, Sin and Divine Efficacy. As always, Lonergan must actively reflect on method while executing a theological inquiry, so Stebbins rightly begins with his insistence that such inquiry must be more than "just a networks of concepts; it is primarily an act of understanding" (xix)-Chapter 1. Then, following the expository order of De ente supematurali, he shows how Lonergan roots the supernatural in the theorems developed to speak of the natural: of creation itself. ("Theorem," as we shall see, is a favorite word of Lonergan's, intimating what it takes to move beyond our imaginations to a set of propositions able to articulate the metaphysical issues at stake.) Following the analogy of nature, we can see how the "two operations by which creatures... (shrink)

Williamson (1986) presents a troublesome example of the contingent a priori ; troublesome, because it does not involve indexicals, and hence cannot be defused via the usual two-dimensional strategies. Here I explore how the example works, via an examination of crucial belief-forming method M, partly in response to Hawthorne (2002) and the questions there raised for 'hyperreliable' belief-forming methods. I suggest that, when used to form a belief, M does its special work through creating a verifying state of affairs (...) which guarantees the truth of the belief thus formed. This creative link can be said to account for the knowledge-conferring status of M. But it also provides us with a way to defuse the purported example of the contingent a priori . The knowledge at issue is only a priori in virtue of this creative link, an importantly different epistemic achievement from standard cases of a priori knowledge. One important moral to be drawn is that the a priori / a posteriori distinction does not appear to be slicing the epistemological beast at its joints. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:506 BOOK REVIEWS Contingency and Freedom: Lectura I 39. By JOHN DUNS Scorus. Introduction, translation, and commentary by A. Vos, H. Veldhuis, A.H. Looman-Graaskamp, E. Dekker, and N. W. den Bok. Vol. 42 of The New Synthese Historical Library. Dordrecht: Kluwer, 1994. Pp. viii+ 205. $97.00 (cloth). In this volume, the John Duns Scotus Research Group under the direction of Professor Antonie Vos at Utrecht University has provided scholars (...) of medieval philosophy and theology with an accurate and readable English translation of John Duns Scotus's earliest treatment of divine foreknowledge and future contingents. Interweaving the Latin text of Scotus's Lectura with their translation, the translators provide a very useful commentary on Scotus's text on the facing pages. The Lectura, as the introduction to the volume rightly notes, is the written version of Scotus's first lectures at Oxford on Peter Lombard's Sentences and, despite its early date, it reveals the extent to which the central ideas of Scotus's thought were already in place. Furthermore, although many of the Subtle Doctor's characteristic doctrines are mentioned herein, pride of place is given, both in the introduction and in the commentary accompanying the text, to Scotus's outstanding contribution to the medieval discussion of divine foreknowledge: his substantial revision of the modal notions of necessity, possibility, and contingency. The text translated in this volume is the entirety of Scotus's commentary on distinction thirty-nine ofthe first book of the Lombard's Sentences, the customary place in medieval theological commentaries for raising questions about the reality of future contingents, their knowability, and the compatibility of future contingency with divine foreknowledge. In his commentary, Scotus raises five questions in connection with distinction thirty-nine: 1) whether God has determinate knowledge of things according to every aspect of their existence, including the future; 2) whether God has infallible knowledge of things according to every aspect of their existence; 3) whether God has immutable knowledge; 4) whether God necessarily knows every changeable aspect of things; and 5) whether the contingency of things is compatible with God's knowledge. Prompted by these questions, Scotus reviews traditional explanations of God's infallibility and immutability as well as contemporary accounts of how the future is knowable. Regarding the former, Scotus first introduces an explanation, similar in its outlines to that found in St. Bonaventure's Commentary on the Sentences and St. Thomas's Summa theologiae, of the infallibility of God's knowledge b,ased on the preeminence and lucidity of the Divine Ideas. According to this explanation, the Divine Ideas are so comprehensive and so distinctive that they allow any mind aware of them to perceive the most intimate and subtle connections between things as well as the things themselves; yet the things known through the Ideas need not be necessary since the mode of the cognition does not necessarily reflect the mode of the BOOK REVIEWS 507 things known through it. Scotus's main objection to this explanation is that it does not adequately account for how God could know contingent things since the truth of contingent things is not, by definition, contained in the notions of the simple terms, to which the Divine Ideas are often likened, composing a contingent proposition; indeed, if the truth of contingent things were contained in the notions of the simple terms composing the propositions that express them, the truth of contingent things would not be contingent but necessary. The failure of this explanation is traceable, in Scotus's view, to an insufficient appreciation for the role of the Divine Will in the production of created things. As to the matter of how the future is knowable, the Subtle Doctor reviews Aquinas's theory that God's eternity is present to all times. Scotus rejects this theory on the ground that, among other difficulties, God cannot cause something new in the future since the future, qua present, is already laid out before God as something that is caused. Hence, unless the theory can accommodate the possibility of God causing something twice, God's causal role in the future is nugatory. In other words, the notion of the past and the future being somehow... (shrink)

In recent years, several philosophers have recommended to moral realists that they adopt a hybrid cognitivist–expressivist moral semantics. Adopting a hybrid semantics enables the realist to account for the action-guiding character of moral discourse, and to account for the possibility of moral (dis)agreement between speakers whose moral sentences express different cognitive contents. I argue that realists should resist the temptation to embrace a hybrid moral semantics. In granting that moral judgments are partly constituted by conative attitudes, the realist concedes too (...) much to her anti-realist opponents: she concedes that, at its most fundamental level, moral disagreement is disagreement in attitude, and the resolution of deep moral disagreement is best guided by non-epistemic norms of inquiry. Furthermore, on a hybrid semantics, moral thought and truth ascriptions turn out to be more responsive to the conative contents of moral judgments than to the supposed propositional contents. Finally, a hybrid semantics makes it difficult to preserve the realist’s claim that moral truths are in a certain sense independent of appraisers’ attitudes. (shrink)

For a long time before the ‘climategate’ emails scandal of late 2009 which cast doubt on the propriety of science underpinning the Intergovernmental Panel on Climate Change (IPCC), attention to climate change science and policy has focused solely upon the truth or falsity of the proposition that human behaviour is responsible for serious global risks from anthropogenic climate change. This article places such propositional concerns in the perspective of a different understanding of the relationships between scientific knowledge and (...) public policy issues from the conventional ‘translation’ model, in which prior scientific research and understanding is communicated and translated into corresponding policies — or not, if it remains disputed and overly uncertain. Explaining some of the key contingencies and bases for uncertainty in IPCC climate projections and human influences, I show how social and technical analysis of climate science is not about denial of the scientific propositional claims at issue, but about understanding the conditional and essentially ambiguous epistemic character of any such knowledge, however technically sophisticated and robust it may be. Contrary to conventional wisdom, it is entirely plausible that existing scientific representations of climate change and its human causes may understate the risks induced by prevailing social-economic processes rather than exaggerate them. As the article shows, the public meanings given to climate science, and to ‘the climate problem’, and thus also the public culture which that knowledge is supposed to inform, are themselves already in key respects presumed and (attemptedly) imposed by the science and its framing. This gives rise to perverse effects on public readiness to take informed democratic responsibility for ‘the global climate problem’, and associated cross-cutting issues which existing scientific framings of public policy erase from view. (shrink)

This paper advances an account of truth that has as its starting point Aristotle’s comments about truth at Metaphysics 1011b1. It argues that there are two key ideas in the Aristotelian account: that truth belongs to ‘sayings that’; and that truth involves both what is said and what is. Beginning with the second of these apparent truisms, the paper argues for the crucial role of the distinction between ‘what is said’ and ‘what is’ in the understanding (...) of truth, on the grounds that it is essential to the distinction between truth and falsity and, indeed, to the very possibility of any critical assessment of statements. However, this distinction cannot be used to ground any account of truth in terms that refer to anything other than truth—there is thus no relation that underlies truth even though truth may be construed (in a certain limited sense) relationally. Returning to the first point, it is argued that while truth should indeed be understood as belonging to statements, it should not be construed as attaching to ‘propositions’, but to uttered sentences. The account of truth advanced is minimalist, and yet not deflationist; objectivist, and yet not independent of actual linguistic practice. (shrink)

The chief purpose of this paper is to advance a defense of the old-fashioned view that empty names are neither proper names nor any other kind of interpretable expressions. A view of this sort usually makes it easy to account for the meaning of first-order sentences in which they occur in subject position: taken literally, they express no fully-fledged particular propositions, are not truth-evaluable, cannot be used to make assertions, and so on. Yet, semantic issues arise when those (...) very sentences are embedded in the scope of propositional attitude verbs. Such (intensional) constructions, indeed, turn out to be literally meaningful, truth-evaluable, and eligible for making assertions. The novel solution put forward here is to combine a version of sententialism with the idea that de dicto reports play a distinctive kind of metalinguistic expressive function. Roughly, that of enabling the ascriber to make explicit a mismatch between the way the embedded sentences are used by the ascribee and the way they are ordinarily used ̶ and, in turn, a mismatch between the way the (empty) names occurring in them are used by the ascribee and the way they are ordinarily used. Fictional names are then regarded as a mere subset of empty names. Accordingly, the above strategy is applied to account for the meaning and use of parafictional (and fictional) sentences and fictional vocabulary in general. (shrink)

In Floridi (2005), I argued that a definition of semantic information in terms of alethically-neutral content–that is, strings of well-formed and meaningful data that can be additionally qualified as true or untrue (false, for the classicists among us), depending on supervening evaluations–provides only necessary but insufficient conditions: if some content is to qualify as semantic information, it must also be true. One speaks of false information in the same way as one qualifies someone as a false friend, (i.e. not a (...) friend at all). This leads to a refinement of the initial definition into: [Def]: p qualifies as semantic information if and only if p is (constituted by) well-formed, meaningful and veridical data. [Def] captures the general consensus reached by the debate and mentioned at the outset of this section. According to it, semantic information is, strictly speaking, inherently truth-constituted and not a contingent truth-bearer, exactly like knowledge but unlike propositions or beliefs, for example, which are what they are independently of their truth values and then, because of their truth-aptness, may be further qualified alethically. (shrink)

Aristotle's theory of perception is complicated by the fact that he recognizes three kinds of perceptible object: special, common, and incidental, all of which have different levels of reliability. Focusing on De Anima 3.3, 428b17–25, this paper discusses why these three sorts of perception are true and false. It argues that perceptions of special objects can be false because of the blind-spot phenomenon and that common objects are typically perceived as predicated of an incidental object. This helps explain why perceptions (...) of common objects are the most error prone. The paper ends with a suggestion about the importance of predicational perception for Aristotle's epistemology. (shrink)

This thesis is concerned with the challenge truth-value gaps pose to the principle of bivalence. The central question addressed is: are truth-value gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truth-value gaps against an argument by Timothy Williamson, which shows that the supposition of counterexamples to bivalence is contradictory. The upshot of his argument is that either problematic utterances say nothing, or they cannot be neither true (...) nor false. I start by identifying truth-bearers: an utterance, for instance, is a truth-bearer if it says that something is the case. Truth-bearers are evaluable items, with truth- and falsity-conditions statable in corresponding instances of schemas for truth and falsehood. A genuine case of a truth-value gap should be an utterance that is neither true nor false but says something to be the case. But it is inconsistent to accept the schemas for truth and falsehood and the existence of genuine cases of truth-value gaps. Secondly, I expound Williamson’s argument, which explores this inconsistency, and I identify two kinds of strategy to disarm his argument: those that preserve the schemas for truth and falsehood, and those that do not. Neither strategy is found to be persuasive. Thirdly, I argue that cases of reference failure causing truth-value gaps illustrate the upshot of Williamson’s argument. Fourthly, I examine Scott Soames’s account of liar sentences as counterexamples to bivalence. Soames adopts a strategy of the first kind to avoid contradictions. I argue that his solution allows some contradictions to be true, and that he fails to show that liar sentences are truth-bearers. Finally, I examine Charles Travis’s case for isostheneia: an equal balancing of reasons to evaluate a statement as true or as false, in which case a statement is neither. Travis avoids contradictions by adopting a strategy of the second kind. I argue that the schemas for truth and falsehood are immune to Travis’s objections, and that isostheneia fails to identify evaluable items. The cases examined confirm that utterances that are neither true nor false say nothing. My claim is thus that truth-value gaps are not counterexamples to bivalence. (shrink)

In this paper, I draw attention to the often-overlooked Tractarian distinction between representing and depicting, provide a clear account of it and examine how it affects our understanding of the notions of ‘being a picture’, meaningfulness, truth, and falsity in the Tractatus. I also look at the recent debate in the literature on the notion of truth and show that Glock’s claim that the official theory of the Tractatus is to be accounted in terms of obtainment only (...) and deflationary accounts such as Hacker’s derive from a failure to notice the distinction between representing and depicting or a misconception of depicting. Finally, I argue against the idea that either representing or depicting should be dispensed with. Both are necessary for Wittgenstein to account for every case of a proposition being a picture of reality. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid (...) of value) when A is false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

We explored the influence of negation on cognitive dynamics, measured using mouse‐movement trajectories, to test the classic notion that negation acts as an operator on linguistic processing. In three experiments, participants verified the truth or falsity of simple statements, and we tracked the computer‐mouse trajectories of their responses. Sentences expressing these facts sometimes contained a negation. Such negated statements could be true (e.g., “elephants are not small”) or false (e.g., “elephants are not large”). In the first experiment, as (...) predicted by the classic notion of negation, we found that negation caused more discreteness in the mouse trajectory of a response. The second experiment induced a simple context for these statements, yet negation still increased discreteness in trajectories. A third experiment enhanced the pragmatic context of sentences, and the discreteness was substantially diminished, with one primary measure no longer significantly showing increased discreteness at all. Traditional linguistic theories predict rapid shifts in cognitive dynamics occur due to the nature of negation: It is an operator that reverses the truth or falsity of an interpretation. We argue that these results support both propositional and contextual accounts of negation present in the literature, suggesting that contextual factors are crucial for determining the kind of cognitive dynamics displayed. We conclude by drawing broader lessons about theories of cognition from the case of negation. (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s (...) proposal saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

According to moderate truth pluralism, there is a single property that qualifies as truth for any domain whatsoever. However, propositions concerning different domains may possess this single truth property in virtue of different properties. Empirical propositions may be true in virtue of corresponding to reality while legal propositions may be true in virtue of cohering with the body of law. Moderate pluralists claim that truth is a completely general doxastic norm: for any p, (...) the belief that p is correct if and only if p is true—regardless of what domain p pertains to. Moderate pluralists additionally claim that domain-specific properties are local doxastic norms which serve as standards of correctness within their respective domains, and that they do so because they are ways of being true and truth is a general, doxastic norm. This paper offers a grounding-theoretic account of the metaphysics of moderate pluralism and uses it as platform for developing a criticism of the moderate pluralist’s account of doxastic normativity. Two strategies are explored as potential responses to the criticism, but are ultimately dismissed. (shrink)

The duality of truth and falsity in a Boolean algebra of propositions is used to generate a duality of belief and disbelief. To each additive probability measure that represents belief there corresponds a dual additive measure that represents disbelief. The dual measure has its own peculiar calculus, in which, for example, measures are added when propositions are combined under conjunction. A Venn diagram of the measure has the contradiction as its total space. While additive measures are (...) not self-dual, the epistemic state of complete ignorance is represented by the unique, monotonic, non-additive measure that is self-dual in its contingent propositions. Convex sets of additive measures fail to represent complete ignorance since they are not self-dual. (shrink)

We present $\in_I$-Logic (Epsilon-I-Logic), a non-Fregean intuitionistic logic with a truth predicate and a falsity predicate as intuitionistic negation. $\in_I$ is an extension and intuitionistic generalization of the classical logic $\in_T$ (without quantifiers) designed by Sträter as a theory of truth with propositional self-reference. The intensional semantics of $\in_T$ offers a new solution to semantic paradoxes. In the present paper we introduce an intuitionistic semantics and study some semantic notions in this broader context. Also we enrich the (...) quantifier-free language by the new connective < that expresses reference between statements and yields a finer characterization of intensional models. Our results in the intuitionistic setting lead to a clear distinction between the notion of denotation of a sentence and the here-proposed notion of extension of a sentence (both concepts are equivalent in the classical context). We generalize the Fregean Axiom to an intuitionistic version not valid in $\in_I$. A main result of the paper is the development of several model constructions. We construct intensional models and present a method for the construction of standard models which contain specific (self-)referential propositions. (shrink)

Preface ix Acknowledgements xi 1 Introduction: towards an acceptable fideism 1 The metaquestion: what is the issue about the ‘justifiability’ of religious belief? 4 Faith-beliefs 6 Overview of the argument 8 Glossary of special terms 18 2 The ‘justifiability’ of faith-beliefs: an ultimately moral issue 26 A standard view: the concern is for epistemic justifiability 26 The problem of doxastic control 28 The impossibility of believing at will 29 Indirect control over beliefs 30 ‘Holding true’ and ‘taking to be true’ (...) 33 A second—direct—locus of doxastic control 35 Moral doxastic responsibilities 41 The moral significance of faith-beliefs 47 Linking moral to epistemic justifiability: reinstating the standard view? 48 3 The epistemic justifiability of faith-beliefs: an ambiguity thesis 53 Plausibility of requiring epistemic for moral justifiability under a realist interpretation of faith-beliefs 53 Interpreting the link principle: epistemic entitlement as requiring evidential justification 55 Evidentialist requirements specified by an implicit evidential practice 65 Rational empiricist evidential practice 66 Applying rational empiricist evidential practice to theistic faith-beliefs: an ambiguity thesis 68 vi contents 4 Responses to evidential ambiguity: isolationist and Reformed epistemologies 77 Two strategies for defending the moral probity of theistic faith-belief in the face of evidential ambiguity 78 Appealing to a special theistic evidential practice/improved epistemologies 79 An isolationist epistemology 79 Reformed epistemology 86 Conclusion: the need for a fideist response to ambiguity 99 5 Faith as doxastic venture 101 Agenda for a defence of doxastic venture 102 The nature of theistic faith 103 The doxastic venture model 106 The psychological possibility of doxastic venture 111 A Jamesian account 112 ‘Passionally’ caused beliefs 113 6 Believing by faith: a Jamesian position 122 An initial hypothesis for a Jamesian thesis on permissible doxastic venture 123 The notion of a ‘genuine option’ 125 A ‘degrees of belief ’ challenge 128 Evidentially undecidable forced options 129 Permissible doxastic venture: supra- not counter-evidential 135 How theistic religion could present essentially evidentially undecidable genuine options: the notion of a highest-order framing principle 137 Restricting thesis ( Ji) to faith-propositions: thesis ( J) 145 7 Integrationist values: limiting permissible doxastic venture 151 Can counter-evidential fideism be non-arbitrarily excluded? 151 A coherence requirement and integrationist values 155 Moral integration of faith-commitments 163 Implications for reflective faith-believers 167 Coda: A reflection on Abraham as forebear in faith 170 contents vii 8 Arguments for supra-evidential fideism 174 The importance of defending the epistemic permissibility of faith-ventures 176 Strategies for supporting fideism 178 An ‘assimilation to personal relations cases’ strategy: experimental ventures in interpersonal trust 180 The ‘assimilation to personal relations cases’ strategy: cases where ‘faith in a fact can help create a fact’ 182 A consequentialist strategy 185 A note on Pascal’s Wager 187 The tu quoque strategy 189 Is hard-line evidentialism self-undermining? 190 Attitudes to passional doxastic inclinations 194 Epistemological externalism again: a presumption in favour of fideism? 196 Scepticism about passional doxastic inclinations as guides to truth: how passions may be schooled 197 The significance of scientific theories of passional motivations for faith-commitment 204 An impasse? 206 9 A moral preference for modest fideism? 208 Implications of accepting ( J+) for orthodox and revisionary theistic faith-ventures 209 The apparent fideist/evidentialist impasse and its implications 211 Beyond impasse? Direct moral evaluation of the fideist/evidentialist debate 215 Self-acceptance and authenticity 216 Hard-line evidentialism as grounded in doctrinaire naturalism 220 Coherence amongst moral and religious passional commitments 225 Conclusion 227 Bibliography 230 Index 237. (shrink)

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a (...) complete list, nor to analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable. (shrink)