This paper replies to points Williams makes to his reply to Sayward’s criticism of Williams’s proposal of ‘for some p ___ states that p & p’ as an analysis of ‘___ is true’.

Fitch’s paradox of knowability is an apparently valid reasoning from the assumption (typical of semantic anti-realism) that every true proposition is knowable to the unacceptable conclusion that every true proposition is known. The paper develops a critical dialectic wrt one of the best motivated solutions to the paradox which have been proposed on behalf of semantic anti-realism—namely, the intuitionistic solution. The solution consists, on the one hand, in accepting the intuitionistically valid part of Fitch’s reasoning while, on the (...) other hand, exploiting the characteristic weakness of intuitionistic logic in order to preserve the consistency of such acceptance with the denial of omniscience. It is first remarked how the solution still commits one to acceptance of modal claims which are unwarranted even by the lights of standard intuitionistic semantics. A novel form of the paradox is then introduced, which focuses on infallibility rather than omniscience and derives, from semantic anti-realism and a highly plausible constraint on knowledge, that every believed proposition is not untrue. Because of the logical form of this conclusion, an analogue of the intuitionistic solution for the novel form of the paradox would require drawing the characteristic intuitionistic distinctions wrt decidable propositions, which cannot be done. Semantic anti-realism still intuitionistically entails the unacceptable conclusion that every believed (decidable) proposition is true. (shrink)

Peirce maintains that facts and propositions are structurally isomorphic. When we understand how Peirce thinks they are isomorphic, we find that a common objection raised against epistemic conceptions of truth – that there are facts beyond the ken of discovery – holds no water against Peirce’s claim that truth is what would be believed after a sufficiently long and rigorous course of inquiry.

The main goal of this paper is to reflect on what characterizes the evidence of the propositions that we hold to be necessary. I have tried to show that the evidence of every necessarily true proposition takes the form of a self-contained operational composition. In conclusion, I will point out in what respects the view I defend might help to reconcile some traits of Husserl’s understanding of material a priori truth with some of the later Wittgenstein’s intuitions concerning (...) linguistic meaning. (shrink)

Toward the end of his classic treatise An Essay on Free Will, Peter van Inwagen offers a modal argument against the Principle of Sufficient Reason which he argues shows that the principle “collapses all modal distinctions.” In this paper, a critical flaw in this argument is shown to lie in van Inwagen’s beginning assumption that there is such a thing as the conjunction of all contingently true propositions. This is shown to follow from Cantor’s theorem and a property (...) of conjunction with respect to contingent propositions. Given the failure of this assumption, van Inwagen’s argument against the Principle of Sufficient Reason cannot succeed, at least not without the addition of some remarkable and previously unacknowledged qualifications. (shrink)

This article aims to demonstrate the interdependence of semantics and noetics against the referentialist trend in Abelard studies conceiving semantics as confined to the truth/falsity function. The article takes as a turning point of the argument Abelard’s question “can a true proposition generate a false understanding?” which secondary literature does not take into account. Starting from the analysis of this question, the article aims to show the development of an enhanced notion of understanding compared to the Boethian one. The (...) core of this enhanced notion of understanding is the action of attentio, which is the condition for the elaboration of a coherent and global definition of signification. The analysis of the mental action of attentio entails the description of other kinds of mental actions, leading one to conceive understanding as a multi-layered complex of actions. (shrink)

In this paper, I try to understand what Buridan means when he suggests that "every proposition, by its very form, signifies or asserts itself to be true." I show how one way of construing this claim - that every proposition is in fact a conjunction one conjunct of which asserts the truth of the whole conjunction - does lead to a resolution of the Liar paradox, as Buridan says, and moreover is not vulnerable to the criticism on the basis (...) of which Buridan came to reject this view. However, I go on to argue that the view causes Truth-Teller worries when applied to non-Liar propositions. (shrink)

Charles Sanders Peirce proposed two different solutions to the Liar Paradox. He proposed the first in 1865 and the second in 1869. However, no one has yet noted in the literature that Peirce rejected his 1869 solution in 1903. Peirce never explicitly proposed a third solution to the Liar Paradox. Nonetheless, I shall argue he developed the resources for a third and novel solution to the Liar Paradox.In what follows, I will first explain the Liar Paradox. Second, I will briefly (...) rehearse Peirce's 1865 solution and his reasons for rejecting it.1 Third, I will review his 1869 solution and his reasons for rejecting it in 1903. Lastly, I will propose a novel solution to the Liar Paradox by drawing upon Peirce's later.. (shrink)

Study of Wittgenstein's claim in the Preface of the Tractatus that his thoughts are unassailably true and his declaration at the end of the work that his propositions are nonsensical.

Though some doubts about the principle that every proposition is either true or false were entertained even by Aristotle, both the number and the vigor of criticisms of this principle have been increasing in recent years. This paper attempts a restatement and a re-examination of the issues involved in this dispute, and in particular an evaluation of the effects on the argument of such recent discoveries as that of the “many-valued logics.”.

This paper argues that, for Bernard Nieuwentijt, mathematical reasoning on the basis of ideas is not the same as logical reasoning on the basis of propositions. Noting that the two types of reasoning differ helps make sense of a peculiar-sounding claim Nieuwentijt makes, namely that it is possible to mathematically deduce false propositions from true abstracted ideas. I propose to interpret Nieuwentijt’s abstracted ideas as incomplete mental copies of existing objects. I argue that, according to Nieuwentijt, a (...) proposition is mathematically deducible from an abstracted idea if it can be demonstrated that that proposition makes a true claim about the object that idea forms. This allows me to explain why Nieuwentijt deems it possible to deduce false propositions from true ideas. It also implies that logic and mathematics are not as closely related for Nieuwentijt as has been suggested in the existing secondary literature. (shrink)

Fitch showed that not every true proposition can be known in due time; in other words, that not every proposition is knowable. Moore showed that certain propositions cannot be consistently believed. A more recent dynamic phrasing of Moore-sentences is that not all propositions are known after their announcement, i.e., not every proposition is successful. Fitch's and Moore's results are related, as they equally apply to standard notions of knowledge and belief (S 5 and KD45, respectively). If we (...) interpret ‘successful’ as ‘known after its announcement’ and ‘knowable’ as ‘known after some announcement’, successful implies knowable. Knowable does not imply successful: there is a proposition ϕ that is not known after its announcement but there is another announcement after which ϕ is known. We show that all propositions are knowable in the more general sense that for each proposition, it can become known or its negation can become known. We can get to know whether it is true: ◊(Kϕ ∨ K¬ϕ). This result comes at a price. We cannot get to know whether the proposition was true. This restricts the philosophical relevance of interpreting ‘knowable’ as ‘known after an announcement’. (shrink)

This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

Using William Shakespeare’s Hamlet and the play-within-the play, The Murder of Gonzago, as a case study, this essay argues that theatrical utterances constitute a special case of language usage not previously elucidated: the utterance of a statement with propositional content in theatre functions as an event. In short, the propositional content of a particular p (e.g. p1, p2, p3 …), whether or not it is true, is only understood—and understood to be true—if p1 is uttered in a particular (...) time, place, and situation (i.e. during a theatrical event); otherwise, the propositional content in those theatrical utterances can either be false or contingently true. (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of (...) ampliation, Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

This book articulates and defends Fregean realism, a theory of properties based on Frege's insight that properties are not objects, but rather the satisfaction conditions of predicates. Robert Trueman argues that this approach is the key not only to dissolving a host of longstanding metaphysical puzzles, such as Bradley's Regress and the Problem of Universals, but also to understanding the relationship between states of affairs, propositions, and the truth conditions of sentences. Fregean realism, Trueman suggests, ultimately leads to a (...) version of the identity theory of truth, the theory that true propositions are identical to obtaining states of affairs. In other words, the identity theory collapses the gap between mind and world. This book will be of interest to anyone working in logic, metaphysics, the philosophy of language or the philosophy of mind. (shrink)

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is (...) true in virtue of what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view.. (shrink)

This chapter argues that some have wanted to reserve the term 'propositional attitude' for states which are 'in principle accessible' to consciousness, or that are 'inferentially integrated' with other propositional attitudes. Some of the contention and research surrounding propositional attitudes and sentences ascribing them results from their importance to epistemology, philosophy of mind, and action theory. Perhaps the primary reason is the view that propositional attitudes are relations to propositions. On many views, propositions both are closely related to (...) meanings and are what is in the first instance true or false. The chapter talks about two most significant alternatives to relational accounts of attitude ascription: Relationism and Descriptivism. It concludes by reviews of Lewis's example and topic of belief de se, which involves a distinctive way of ascribing a property. All believers can self‐ascribe properties, and all properties are open to self‐ascription. (shrink)

David Kaplan observed in Kaplan that the principle \\) cannot be verified at a world in a standard possible worlds model for a quantified bimodal propositional language. This raises a puzzle for certain interpretations of the operator Q: it seems that some proposition p is such that is not possible to query p, and p alone. On the other hand, Arthur Prior had observed in Prior that on pain of contradiction, ∀p is Q only if one true proposition is (...) Q and one false proposition is Q. The two observations are related: ∀p is elusive in that it is not possible for the proposition to be uniquely Q. Kaplan based his model-theoretic observation on Cantor’s theorem, but there is a less well-known link between this simple set-theoretic observation and Prior’s remark. We generalize the link to develop a heuristic designed to move from Cantor’s theorem to the observation that a variety of sentences of the bimodal language express propositions that cannot be Q uniquely. We highlight the analogy between some of these results and some set-theoretic antinomies and suggest that the phenomenon is richer than one may have anticipated. (shrink)

When analyzing 'justified factual knowledge that h', we must speak of justified belief in h and also of h's being a justified proposition. Gettier-type problems can be dealt with by requiring that the belief in h be justified through its connection with a 'justification-explaining chain' related to h. The social aspects of knowledge can be encompassed by analyzing what it is for h to be a justified proposition in terms of h's relation to the rationality of an 'epistemic community'.The discussion (...) explains these analyses, and shows how to concept of a justification-explaining chain is related to Ernest Sosa's concept of a 'tree of knowledge'. The present account of justification is seen to be preferable.A rationale for appealing to justification-explaining chains emerges from Popper's concern with another type of knowledge, namely, sets of propositions embedded in systems used by epistemic communities in pursuit of epistemic goals.In conclusion, the present approach is related to a number of examples found in the literature concerning the social aspects of knowledge. (shrink)

For John Buridan, truth-bearers are assertions. This fact explains why the inference ‘p is true, therefore p’ may fail. On the one hand, the tense of the verb plus the time of utterance do not determine the time about which a sentence is intended to be true: the intention of the speaker is needed. On the other hand, since the meaning of vocal and written words is conventional, it may seem that they can be used with different meanings (...) on each side of the inference. While the antecedent may talk about a situation different from the present one, this doesn’t make it the actual situation of utterance, and the words have meanings only in the actual situation of use. Although such situations are different, in both of them we are asked to see the importance of identifying features of which the disquotational schema doesn’t keep track and that can only be specified in the context of use. (shrink)

According to the subjective view of lying, speakers can lie by asserting a true proposition, as long as they believe this proposition to be false. This view contrasts with the objective view, according to which lying requires the actual falsity of the proposition asserted. The aim of this paper is to draw attention to pairs of assertions that differ only in intuitively redundant content and to show that such pairs of assertions are a reason to favour the subjective view (...) of lying over the objective one. (shrink)

In this paper I argue in defense of an important fragment of folk psychology. Specifically, I argue that many propositions about the ontology of mental states and about mental causation are true largely because of certain observable features of human linguistic behavior. I conclude that these propositions are immune to common avenues of eliminativist criticism. I compare and contrast this argument with some previous arguments about the truth of folk psychology.

Philosophers have accused locke of holding a view about propositions that simply conflates the formation of a propositional thought with the judgment that a proposition is true, and charged that this has obviously absurd consequences.1 Worse, this account appears not to be unique to Locke: it bears a striking resemblance to one found in both the Port-Royal Logic (the Logic, for short) and the Port-Royal Grammar. In the Logic, this account forms part of the backbone of the traditional (...) logic expounded in the text. As a result, the account’s alleged faults seem to seriously threaten the coherence and value of the whole approach to logic. And to the extent that Locke’s core philosophical commitments, in particular his .. (shrink)

Argument that Q∃ expresses more than one proposition: (1) Q∃ expresses the proposition that Q∃ expresses some proposition that isn’t true. ((E)) (2) If Q ∃ expresses only true propositions, then the proposition that Q ∃ expresses some proposition that isn’t true is true. ((1)) (3) If Q∃ expresses only true propositions, then some proposition expressed by Q∃ is not true. (2, T) (4) Some proposition expressed by Q ∃ is not (...) class='Hi'>true. ((3)) (5) The proposition that Q ∃ expresses some proposition that isn’t true is true. (4, T) (6) Q∃ expresses at least one true proposition. (1,5) (7) Q∃ expresses at least two propositions. (3, 6) (A parallel argument shows that Q∀ expresses both true and false propositions. (shrink)

No semantic theory satisfying certain natural constraints can identify the semantic contents of sentences (the propositions they express), with sets of circumstances in which the sentences are true–no matter how fine-grained the circumstances are taken to be. An objection to the proof is shown to fail by virtue of conflating model-theoretic consequence between sentences with truth-conditional consequence between the semantic contents of sentences. The error underlines the impotence of distinguishing semantics, in the sense of a truth-based theory of (...) logical consequence, and semantics, in the sense of a theory of meaning. (shrink)

According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, (...) an apparent consequence of this view is that any proposition expressed by a sentence containing a name that denotes a contingent being S is itself contingent — notably, the proposition [S does not exist]. Assuming that an entity must exist to have a property, necessarily, [S does not exist] must exist in order to be true. It seems to follow that, necessarily, [S does not exist] is not true and, hence, that S is not contingent after all. Past approaches to the problem — notably, those of Prior and Adams — lead to highly undesirable consequences for quantified modal logic. In this paper, several solutions to this puzzle are developed that preserve actualism, the structured view of propositions, the direct theory of reference, and the intuition that [S does not exist] is indeed possible without the adverse consequences for QML of previous solutions. (shrink)

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception (...) of propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...) knowledge by description. Reasonable explanation of this is that, historically, Russell’s logical realism and James’s pragmatism have the same roots—the German philosopher Rudolph Hermann Lotze (1817–1881). In this paper we are going to explore the fact that in 1905, under Lotze’s influence, Russell married propositions with beliefs. A few years later this step also made Russell prone to embrace the theory of truth-making that has its roots in James. In contrast to the concept of sense-data and to the distinction between knowledge by acquaintance and knowledge by description, however, the understanding that we believe propositions—and not, for example, simply grasp them—was in tension with Russell’s Principle of Extensionality, according to which propositions can be logically connected with other propositions only as truth-functions. The point is that when we judge a mind-relation (for example, a relation of belief) to a proposition, the latter cannot be determined as true or false. The two most talented pupils of Russell, Wittgenstein and Ramsey, severely criticized the central place propositional attitudes play in Russell’s logic. Wittgenstein analyzed “A believes that p” to “ ‘p’ says p” (5.542). Ramsey criticized Russell’s beliefs in propositions the other way round: He stressed that belief is an ambiguous term that can be interpreted for the better in the sense of pragmatism. Prima facie surprisingly, he maintained that his “pragmatism is derived from Mr Russell.” (1927: 51). (shrink)

Philosophy, science, and common sense all refer to propositions--things we believe and say, and things which are true or false. But there is no consensus on what sorts of things these entities are. Jeffrey C. King, Scott Soames, and Jeff Speaks argue that commitment to propositions is indispensable, and each defend their own views on the debate.

In this paper, I respond to Pierre Le Morvan’s critique of my thesis that ignorance is lack of true belief rather than absence of knowledge. I argue that the distinction between dispositional and non-dispositional accounts of belief, as I made it in a previous paper, is correct as it stands. Also, I criticize the viability and the importance of Le Morvan’s distinction between propositional and factive ignorance. Finally, I provide two arguments in favor of the thesis that ignorance is (...) lack of true belief rather than absence of knowledge. (shrink)

In this paper a formalized logic of propositions, PA1, is presented. It is proven consistent and its relationships to traditional logic, to PM ([15]), to subjunctive (including contrary-to-fact) implication and to the “paradoxes” of material and strict implication are developed. Apart from any intrinsic merit it possesses, its chief significance lies in demonstrating the feasibility of a general logic containing theprinciple of subjunctive contrariety, i.e., the principle that ‘Ifpwere true thenqwould be true’ and ‘Ifpwere true thenqwould (...) be false’ are incompatible. (shrink)

Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend (...) upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement. The most thoroughly researched branch of propositional logic is classical truth-functional propositional logic, which studies logical operators and connectives that are used to produce complex statements whose truth-value depends entirely on the truth-values of the simpler statements making them up, and in which it is assumed that every statement is either true or false and not both. However, there are other forms of propositional logic in which other truth-values are considered, or in which there is consideration of connectives that are used to produce statements whose truth-values depend not simply on the truth-values of the parts, but additional things such as their necessity, possibility or relatedness to one another. (shrink)

This paper defends a new version of truthmaker non-maximalism. The central feature of the view is the notion of a default truth-value. I offer a novel explanation for default truth-values and use it to motivate a general approach to the relation between truth-value and ontology, which I call truth-value-maker theory. According to this view, some propositions are false unless made true, whereas others are true unless made false. A consequence of the theory is that negative existential truths (...) need no truthmakers and that positive existential falsehoods need no falsemakers. (shrink)

Philosophers widely agree that emotions may have or lack appropriateness or fittingness, which in the emotional domain is an analogue of truth. I defend de Sousa's account of emotional truth by arguing that emotions have cognitive content as digitalized evaluative perceptions of the particular object of emotion, in terms of the relevant formal property. I argue that an emotion is true if and only if there is an actual fit between the particular and the formal objects of emotion, and (...) the emotion's propositional content is semantically satisfied, or the target of the emotion exists. Emotions meet the syntactic and disciplinary requirements of minimally truth-apt states. Appropriate fit occurs when lower-level properties of particular objects of emotion provide sufficient warrant to make ascription of the relevant formal properties superassertable. (shrink)

If a subject has a true belief, and she has good evidence for it, and there’s no evidence against it, why should it matter if she doesn’t believe on the basis of the good available evidence? After all, properly based beliefs are no likelier to be true than their corresponding improperly based beliefs, as long as the subject possesses the same good evidence in both cases. And yet it clearly does matter. The aim of this paper is to (...) explain why, and in the process delineate a species of epistemic luck that has hitherto gone unnoticed—what we call propositional epistemic luck—but which we claim is crucial to accounting for the importance of proper basing. As we will see, in order to understand why this type of epistemic luck is malignant, we also need to reflect on the relationship between epistemic luck and epistemic risk. (shrink)