structure for 'Language'    |     alphabetical list of themes    |     unexpand these ideas

19. Language / D. Propositions / 1. Propositions

[ideas that exist independently from any language]

33 ideas
A proposition is what can be asserted or denied on its own [Chrysippus]
     Full Idea: A proposition is what can be asserted or denied on its own, for example, 'It is day' or 'Dion is walking'.
     From: Chrysippus (fragments/reports [c.240 BCE]), quoted by Diogenes Laertius - Lives of Eminent Philosophers 07.65
     A reaction: Note the phrase 'on its own'. If you say 'it is day and Dion is walking', that can't be denied on its own, because first the two halves must each be evaluated, so presumably that doesn't count as a stoic proposition.
Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter]
     Full Idea: Bolzano took the entities of which truth is predicated to be not propositions in the subjective sense but 'propositions-in-themselves' - objective entities existing independent of our apprehension.
     From: report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Emp'
     A reaction: A serious mistake. Presumably the objective propositions are all true (or there would be endless infinities of them). So what is assessed in the case of error? Something other than the objective propositions! We assess these other things!
Thought starts as ambiguity, in need of interpretation and narrowing [Nietzsche]
     Full Idea: A thought in the shape in which it comes is an ambiguous sign that needs interpretation, more precisely, needs an arbitrary narrowing-down and limitation, until it finally becomes unambiguous.
     From: Friedrich Nietzsche (Unpublished Notebooks 1885-86 [1886], 38[01])
     A reaction: This is exactly my view of propositions, as mental events. Introspect your thinking process. Track the progress from the first glimmer of a thought to its formulation in a finished sentence. Language, unlike propositions, can be ambiguous.
Propositions are mainly verbal expressions of true or false, and perhaps also symbolic thoughts [Russell]
     Full Idea: We mean by 'proposition' primarily a form of words which expresses what is either true or false. I say 'primarily' because I do not wish to exclude other than verbal symbols, or even mere thoughts if they have a symbolic character.
     From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], XV)
     A reaction: I like the last bit, as I think of propositions as pre-verbal thoughts, and I am sympathetic to Fodor's 'language of thought' thesis, that there is a system of representations within the brain.
If p is false, then believing not-p is knowing a truth, so negative propositions must exist [Russell]
     Full Idea: If p is a false affirmative proposition ...then it seems obvious that if we believe not-p we do know something true, so belief in not-p must be something which is not mere disbelief. This proves that there are negative propositions.
     From: Bertrand Russell (Meinong on Complexes and Assumptions [1904], p.75)
     A reaction: This evidently assumes excluded middle, but is none the worse for that. But it sounds suspiciously like believing there is no rhinoceros in the room. Does such a belief require a fact?
Our important beliefs all, if put into words, take the form of propositions [Russell]
     Full Idea: The important beliefs, even if they are not the only ones, are those which, if rendered into explicit words, take the form of a proposition.
     From: Bertrand Russell (On Propositions: What they are, and Meaning [1919], §III)
     A reaction: This assertion is close to the heart of the twentieth century linking of ontology and epistemology to language. It is open to challenges. Why is non-propositional belief unimportant? Do dogs have important beliefs? Can propositions exist non-verbally?
A proposition expressed in words is a 'word-proposition', and one of images an 'image-proposition' [Russell]
     Full Idea: I shall distinguish a proposition expressed in words as a 'word-proposition', and one consisting of images as an 'image-proposition'.
     From: Bertrand Russell (On Propositions: What they are, and Meaning [1919], §III)
     A reaction: This, I think, is good, though it raises the question of what exactly an 'image' is when it is non-visual, as when a dog believes its owner called. This distinction prevents us from regarding all knowledge and ontology as verbal in form.
A proposition is what we believe when we believe truly or falsely [Russell]
     Full Idea: A proposition may be defined as: what we believe when we believe truly or falsely.
     From: Bertrand Russell (On Propositions: What they are, and Meaning [1919], p.285)
     A reaction: If we define belief as 'commitment to truth', Russell's last six words become redundant. "Propositions are the contents of beliefs", it being beliefs which are candidates for truth, not propositions. (Russell agrees, on p.308!)
Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell]
     Full Idea: It is obvious that a proposition is not the name for a fact, from the mere circumstance that there are two propositions corresponding to each fact, one the negation of the other.
     From: Bertrand Russell (The Philosophy of Logical Atomism [1918], §I)
     A reaction: Russell attributes this point to Wittgenstein. Evidently you must add that the proposition is true before it will name a fact - which is bad news for the redundancy view of truth. Couldn't lots of propositions correspond to one fact?
Proposition contain entities indicated by words, rather than the words themselves [Russell]
     Full Idea: A proposition, unless it happens to be linguistic, does not itself contain words: it contains the entities indicated by words.
     From: Bertrand Russell (The Principles of Mathematics [1903], §051)
     A reaction: Russell says in his Preface that he took over this view of propositions from G.E. Moore. They are now known as 'Russellian' propositions, which are mainly distinguished by not being mental event, but by being complexes out in the world.
A proposition is any expression which can be significantly negated [Wittgenstein]
     Full Idea: Any affirmation can be negated: if it has sense to say p it also has sense to say ¬p. ...A proposition therefore is any expression which can be significantly negated.
     From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], B I.2)
     A reaction: I'm not sure about 'therefore'. I'm thinking you would have to already grasp the proposition in order to apply his negation test.
'Propositions' name what is thought, because 'thoughts' and 'judgments' are too ambiguous [Ryle]
     Full Idea: As the orthodox terms 'thoughts' and 'judgments' are equivocal, since they may equally well denote 'thinkings' as 'what-is-thought', the 'accusatives' of acts of thinking have come to be called 'propositions'.
     From: Gilbert Ryle (Are there propositions? [1930], I)
     A reaction: I have understood propositions to be capable of truth or falsity. 'What is thought' could be a right old jumble of images and disjointed fragments. Propositions are famous for their unity!
Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer]
     Full Idea: I suggest that every grammatically significant indicative sentence expresses a 'statement', but the word 'proposition' will be reserved for what is expressed by sentences that are literally meaningful.
     From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.10)
     A reaction: We don't have to accept Ayer's over-fussy requirements for what is meaningful to accept that this is a good distinction. Every day we hear statements from people (e.g. politicians) in which we can fish in vain for the underlying proposition.
We can't distinguish a proposition from its content [Dummett]
     Full Idea: No distinction can be drawn between a proposition and its content; no two distinct propositions can have the same content.
     From: Michael Dummett (Thought and Reality [1997], 3)
     A reaction: And one proposition cannot have two possible contents (ambiguity). Are we to say that a proposition supervenes on its content, or that proposition and content are identical? Ockham favours the latter.
'Humanity belongs to Socrates' is about humanity, so it's a different proposition from 'Socrates is human' [Davidson]
     Full Idea: The sentence 'Humanity belongs to Socrates' is about the concept of humanity, unlike the "equivalent" 'Socrates is human', so they express different propositions.
     From: Donald Davidson (Truth and Predication [2005], 5)
     A reaction: [compressed] I like this a lot, because it shows why we should focus on propositions rather than on sentences, or even utterances. And asking what the sentence is 'about' focuses us on the underlying proposition or thought.
Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga]
     Full Idea: Are there two sorts of thing, propositions and states of affairs, or only one? I am inclined to the former view on the ground that propositions have a property, truth or falsehood, not had by states of affairs.
     From: Alvin Plantinga (Actualism and Possible Worlds [1976], 1)
     A reaction: Might a proposition be nothing more than an assertion that a state of affairs obtains? It would then pass his test. The idea that a proposition is a complex of facts in the external world ('Russellian' propositions?) quite baffles me.
Sentences are different from propositions, since two sentences can express one proposition [Harman]
     Full Idea: 'Bob and John play golf' and 'John and Bob play golf' are equivalent; but if they were to be derived from the same underlying structure, one or the other of Bob and John would have to come first; and either possibility is arbitrary.
     From: Gilbert Harman (Thought [1973], 6.4)
     A reaction: If I watch Bob and John play golf, neither of them 'comes first'. A proposition about them need not involve 'coming first'. Only if you insist on formulating a sentence must you decide on that.
We can pull apart assertion from utterance, and the action, the event and the subject-matter for each [Cartwright,R]
     Full Idea: We need to distinguish 1) what is asserted, 2) that assertion, 3) asserting something, 4) what is predicated, 5) what is uttered, 6) that utterance, 7) uttering something, 8) the utterance token, and 9) the meaning.
     From: Richard Cartwright (Propositions [1962], 05-06)
     A reaction: [summary of his overall analysis in the paper] It is amazingly hard to offer a critical assessment of this sort of analysis, but it gives you a foot in the door for thinking about the issues with increasing clarity.
'It's raining' makes a different assertion on different occasions, but its meaning remains the same [Cartwright,R]
     Full Idea: A person who utters 'It's raining' one day does not normally make the same statement as one who utters it the next. But these variations are not accompanied by corresponding changes of meaning. The words 'It's raining' retain the same meaning throughout.
     From: Richard Cartwright (Propositions [1962], 10)
     A reaction: This is important, because it shows that a proposition is not just the mental shadow behind a sentence, or a mental shadow awaiting a sentence. Unlike a sentence, a proposition can (and possibly must) include its own context. Very interesting!
I take propositions to be truth conditions [Stalnaker]
     Full Idea: I will defend the view that propositions are truth conditions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 1.2)
     A reaction: This sounds close to the Russellian view, which I take to equate propositions (roughly) with facts or states of affairs. But are 'truth conditions' in the world or in the head?
A theory of propositions at least needs primitive properties of consistency and of truth [Stalnaker]
     Full Idea: A minimal theory of propositions can make do with just two primitive properties: a property of consistency applied to sets of propositions, and a property of truth applied to propositions.
     From: Robert C. Stalnaker (Mere Possibilities [2012], 2)
     A reaction: I would have thought a minimal theory would need some account of what a proposition is supposed to be (since there seems to be very little agreement about that). Stalnaker goes on to sketch a theory.
There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich]
     Full Idea: There are pure, Fregean, abstract, de dicto propositions, in which a compositional structure is filled only with senses; there are pure, Russellian, concrete, de re propositions, which are filled with referents; and there are mixed propositions.
     From: Paul Horwich (Truth (2nd edn) [1990], Ch.6.31)
     A reaction: Once Frege has distinguished sense from reference, this distinction of propositions is likely to follow. The current debate over the internalist and externalist accounts of concepts seems to continue the debate. A mixed strategy sounds good.
The extreme views on propositions are Frege's Platonism and Quine's extreme nominalism [Jacquette]
     Full Idea: The extreme ontological alternatives with respect to the metaphysics of propositions are a Fregean Platonism (his "gedanken", 'thoughts'), and a radical nominalism or inscriptionalism, as in Quine, where they are just marks related to stimuli.
     From: Dale Jacquette (Ontology [2002], Ch. 9)
     A reaction: Personally I would want something between the two - that propositions are brain events of a highly abstract kind. I say that introspection reveals pre-linguistic thoughts, which are propositions. A proposition is an intentional state.
Two-dimensional semantics gives a 'primary' and 'secondary' proposition for each statement [Chalmers]
     Full Idea: If we see a proposition as a function from possible worlds to truth-values, then the two sets of truth-conditions yield two propositions associated with any statement. A 'primary' for those which express a truth, and 'secondary' for counterfactual truth.
     From: David J.Chalmers (The Conscious Mind [1996], 1.2.4)
     A reaction: This is where 2-D semantics becomes increasingly 'Byzantine'. Intuition and introspection don't seem to offer me two different propositions for every sentence I utter. I can't see this theory catching on, even if it is technically beautiful.
A proposition objectifies what a sentence says, as indicative, with secure references [Read]
     Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief.
     From: Stephen Read (Thinking About Logic [1995], Ch.1)
     A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events.
Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
     Full Idea: The reductionist view of propositions sees them as either extensional functions from possible worlds to truth values, or as ordered sets of properties, relations, and perhaps particulars.
     From: George Bealer (Propositions [1998], §1)
     A reaction: The usual problem of all functional accounts is 'what is it about x that enables it to have that function?' And if they are sets, where does the ordering come in? A proposition isn't just a list of items in some particular order. Both wrong.
Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
     Full Idea: The propositions behind 'Cicero is emulated more than Tully' seems to differ somehow from 'Tully is emulated more than Cicero', despite the proper names being rigid designators.
     From: George Bealer (Propositions [1998], §1)
     A reaction: Interesting, because this isn't a directly propositional attitude situation like 'believes', though it depends on such things. Bealer says this is a key modern difficulty with propositions.
Propositions are standardly treated as possible worlds, or as structured [Merricks]
     Full Idea: The thesis that propositions are sets of possible worlds is one of the two leading accounts of the nature of propositions. The other leading account endorses structured propositions.
     From: Trenton Merricks (Propositions [2015], Intro)
     A reaction: Merricks sets out to reject both main views. I take the idea that propositions actually are sets of possible worlds to be ridiculous (though they may offer a way of modelling them). The idea that they have no structure at all strikes me as odd.
'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks]
     Full Idea: The proposition expressed by 'Cicero is an orator' represents things as being exactly the same way as does the proposition expressed by 'Tully is an orator'. Hence two sentences express the same proposition. Fregeans about names deny this.
     From: Trenton Merricks (Propositions [2015], 2.II)
     A reaction: Merricks makes the situation in the world fix the contents of the proposition. I don't agree. I would expand the first proposition as 'The person I know as 'Cicero' was an orator', but I might never have heard of 'Tully'.
Proposition have no content, because they are content [Hofweber]
     Full Idea: If there propositions then they do not have content, because they are content.
     From: Thomas Hofweber (Ontology and the Ambitions of Metaphysics [2016], 08.4)
     A reaction: This sounds right. A rather obvious regress threatens if you say otherwise.
Propositions commit to content, and not to any way of spelling it out [Beall/Restall]
     Full Idea: Our talk of propositions expresses commitment to the general notion of content, without a commitment to any particular way of spelling this out.
     From: JC Beall / G Restall (Logical Pluralism [2006], 2.1)
     A reaction: As a fan of propositions I like this. It leaves open the question of whether the content belongs to the mind or the language. Animals entertain propositions, say I.
There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M]
     Full Idea: The existence of a general propositional form is proved by the fact that there cannot be a proposition whose form could not have been foreseen (i.e. constructed). The general form of the proposition is: Such and such is the case.
     From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], 4.5)
     A reaction: [last bit in Ogden translation] LW eventually expresses this symbolically. We could just say a proposition is an assertion. This strikes as either a rather empty claim, or an unfounded one.
'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen]
     Full Idea: Whereas 'Socrates is wise' denotes a sentence, 'that Socrates is wise' denotes a proposition.
     From: George Engelbretsen (Trees, Terms and Truth [2005], 4)
     A reaction: In traditional parlance, 'reported speech' refers to the underlying proposition, because it does not commit to the actual words being used. As a lover of propositions (as mental events, not mysterious abstract objects), I like this.