Online research in philosophy

In Bertrand Russell’s The Principles of Mathematics and related works, the notion of a proposition plays an important role; it is by analyzing propositions, showing what kinds of constituents they have, that Russell arrives at his core logical concepts. At this time, his conception of proposition contains both a conventional and an unconventional part. The former is the view that propositions are the ultimate truth-bearers; the latter is the view that the constituents of propositions are “worldly” entities. In the latter respect, Russellian propositions are akin to states-of-affairs on some robust understanding of these entities. The idea of Russellian propositions is well known, at least in outline. Not so well known is his treatment of truth, which nevertheless grows directly out of this notion of proposition. For the early Russell, the import of truth is primarily metaphysical, rather than semantic; reversing the usual direction of explanation, he holds that truth is explanatory of what is the case rather than vice versa. That is, what properties a thing has and what relations it bears to other things is determined, metaphysically speaking, by there being a suitable array of true and false propositions. In the present paper, this doctrine is examined for its content and motivation. To show that it plays a genuine role in Russell’s early metaphysics and logic, I examine its consequences for (1) the possibility of truth-definitions and (2) the problem of the unity of the proposition. I shall draw a few somewhat tentative conclusions about where Russell stood vis-à-vis his metaphysics of propositions, suggesting a possible source of dissatisfaction that may have played a role in his eventual rejection of his early notion of proposition.

The so-called knowability paradox results from Fitch's argument that if there are any unknown truths, then there are unknowable truths. This threatens recent versions of semantical antirealism, the central thesis of which is that truth is epistemic. When this is taken to mean that all truths are knowable, antirealism is thus committed to the conclusion that no truths are unknown. The correct antirealistic response to the paradox should be to deny that the fundamental thesis of the epistemic nature of truth entails the knowability of all truths. Correctly understood, the antirealistic conditions on a proposition's truth do not require that the proposition possess a verification-procedure which, when executed under the given conditions, issues in an agent's recognition of truth, but merely that there be a verification-procedure which, under these conditions, takes the value true . The knowability paradox and the related idealism problem (that antirealism seems, but is not, committed to the necessary existence of an epistemic agent) draw attention to the fact that certain propositions, those that are about verification-procedures themselves, may under certain conditions take the value true despite their unperformability under these circumstances. Thus these propositions' procedures can only be performed when the propositions are false, and they gain the appearance of antirealistic impossibility (e.g., that there is an unknown truth). This differs from the unperformability that antirealists object to, pertaining merely to matters of execution rather than to the logical structure of the procedures themselves. The force of antirealism's notion of epistemic truth is piecemeal, rather than consisting in a blanket characterization of truth as knowable.

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

In recent work on truth and truthmaking, D. M. Armstrong has defended a version of 'truthmaker necessitarianism', the doctrine that truths necessitate truthmakers. Truthmaker necessitarianism, he contends, requires the postulation of 'totality facts', which serve as ingredients of truthmakers for general truths and negative truths, and propositions, which function as the fundamental truth bearers. I argue that neither totality facts nor propositions need figure in an account of truthmaking, and suggest that both are artifacts stemming, albeit in different ways, from an ontologically shady 'linguisticizing' tendency to conflate features of descriptions and features of what is described.

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin.

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have..

Truth is the aim of inquiry. Nevertheless, some falsehoods seem to realize this aim better than others. Some truths better realize the aim than other truths. And perhaps even some falsehoods realize the aim better than some truths do. The dichotomy of the class of propositions into truths and falsehoods should thus be supplemented with a more fine-grained ordering — one which classifies propositions according to their closeness to the truth, their degree of truthlikeness or verisimilitude. The logical problem of truthlikeness is to give an adequate account of the concept and to explore its logical properties. Of course, the logical problem intersects with problems in both epistemology and value theory.

Belief in propositions no longer brings about the sorts of looks it did when Quine's affinity for desert landscapes held sway in the Anglo-American philosophical scene. People are doing work in the metaphysics of propositions, trying to figure out what sorts of creatures propositions are. In philosophers like Frege, Russell, and Moore we have strong shoulders upon which to stand. But, there is much more work that needs to be done. I will try to do a bit of that work here. In the paper, I will probe the notion that propositions are structured entities, and that it is useful to think of their structure as resembling the structure of the sentences which express them. First, I will speak briefly to the issue of why one might find it rational to believe that propositions exist. In the second part of the paper, I will argue that we should think of propositions as having structure. In the last section, I will examine the nature of the structure of propositions. I will consider a recent account given by Jeffrey King of the nature of the relation that unifies constituents. I conclude by sketching my own view of the relation that holds between propositional constituents in virtue of which they compose a proposition. 1 I Why Believe in Propositions? Propositions are taken to be abstract entities that are a) the primary bearers of truth and falsity, b) the objects of our propositional attitudes, and c) the referents of "that-.