This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Stanford Encyclopedia of Philosophy
Notes to Structured Propositions


1. Of course there are always dissenters. For example, Mark Richard [1982] argues that modal operators operate on sentence meanings (functions from contexts and times to propositions). Thus it would seem that it is sentence meanings that have modal properties for Richard. Further, there is some controversy as to whether propositions are the things that possess "tense properties" (e.g. having been true, etc.) and are the things tense operators operate on. Kaplan [1977] thinks so. Richard [1982] and Salmon [1989b] think not.

2. Strictly, Crimmins seems only to claim that sentences sometimes express propositions (in a context), where the propositions expressed contain constituents that are not supplied by any overt expression in the sentences. This does not rule out the possibility that such constituents are contributed by covert (phonologically and inscriptionally unrealized) expressions in the sentence. But there are those who have argued that sentences sometimes express propositions that have as constituents elements that are not supplied by any covert or overt expressions in the sentence. See Stanley [2000] for discussion.

3. See, for example, Montague [1960] for a discussion of an approach of this general sort.

4. Such a view is suggested in Montague [1960].

5. The interested reader should also consult Richard [1990] and Crimmins [1992] for approaches in the broadly neo-Russellian (as I use the term) tradition that try to avoid various consequences of the Salmon-Soames approach.

6. Peter Hanks presses this point against those who hold that propositions are n-tuples in an unpublished manuscript.

7. It may strike some as odd that I include the views of Cresswell [1985] in an article on structured propositions since he explicitly argues against what he calls "the propositional account of belief". But in so doing, he makes assumptions about propositions that modern structured proposition theorists (e.g. neo-Russellians) would reject, such as that ‘5+7=12’ and ‘12=12’ express the same proposition. And Cresswell's own views have much in common with the views of other (non-structured meaning) structured proposition theorists.

8. Actually, Cresswell eventually settles on sets of world/time pairs as sentence intensions; but I ignore this complication here.

9. I write here as though ‘that’ for Cresswell has only two meanings: on one, it combines with a sentence to form a name of an intension/set of worlds. On the other, it combines with a sentence to form the name of the "maximally fine grained entity" that can be named by a ‘that’ clause containing the sentence. But in fact, (given sentences of sufficient complexity), there are "intermediate" meanings of ‘that’ that combine with the sentence in question to form names of entities whose grain is "between" intension/sets of worlds and the "maximally fine grained entity". This is why I say above that ‘that’ is highly ambiguous on Cresswell's view. Again, since our concern here is with more fine grained entities, I ignore this complication and focus on the maximally fine grained entity that can be named by a ‘that’ clause containing a sentence on Cresswell's view.

10. One can easily use this function to define the intension f of ‘runs’ (function from worlds to extensions) as follows: f is the function from worlds to sets of individuals such that o is in f(w) iff w is in Ir(o), where Ir is Cresswell's "intension" (function from individuals to sets of worlds) for ‘runs’.

11. It would seem that Cresswell needs to say this. For recall that sentences don't express fine grained entities in isolation; it is only when combined with ‘that’ (on certain of its meanings) that a fine grained entity is associated with a sentence-plus-'that’. So it appears that the sentence in isolation (without ‘that’ appended) cannot be true or false in virtue of its association with a fine grained that is in the first instance true of false. For in isolation it is not so associated!

12. The use of variables in expressions like ‘Rxy’ here is perhaps unfortunate. I remind the reader that R is a relation (not a predicate). I put variables in to indicate the "argument places" in the relation. Perhaps underlining (___) and other notation to the same effect (#####) would be better. I urge the reader to mentally substitute such things for variables that indicate argument places in relations.

13. For details about the rest of the functions mentioned, consult Zalta [1988], (especially pages 46-51; 58-61, and the Appendix containing his formal intensional logic).

14. For simplicity, I suppress the modal and tense operators that should appear in the instances of the comprehension schema.

Copyright © 2001 by
Jeffrey C. King

First published: August 8, 2001
Content last modified: August 8, 2001