6 ideas
10845 | To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis] |
Full Idea: Sentences or assertions can be derivately called true, if they succeed in expressing determinate propositions. A sentence can be ambiguous or vague or paradoxical or ungrounded or not declarative or a mere expression of feeling. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.276) | |
A reaction: Lewis has, of course, a peculiar notion of what a proposition is - it's a set of possible worlds. I, with my more psychological approach, take a proposition to be a particular sort of brain event. |
10847 | Truthmakers are about existential grounding, not about truth [Lewis] |
Full Idea: Instances of the truthmaker principle are equivalent to biconditionals not about truth but about the existential grounding of all manner of other things; the flying pigs, or what-have-you. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001]) | |
A reaction: The question then is what the difference is between 'existential grounding' and 'truth'. There wouldn't seem to be any difference at all if the proposition in question was a simple existential claim. |
10846 | Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis] |
Full Idea: The truthmaker principle seems to be a version of the correspondence theory of truth, but differs mostly in denying that the correspondence of truths to facts must be one-to-one. | |
From: David Lewis (Forget the 'correspondence theory of truth' [2001], p.277) | |
A reaction: In other words, several different sentences might have exactly the same truthmaker. |
12220 | Is it the sentence-token or the sentence-type that has a logical form? [Fine,K] |
Full Idea: Do we attribute a logical form to a sentence token because it is a token of a type with that form, or do we attribute a logical form to a sentence type because it is a type of a token with that form? | |
From: Kit Fine (Quine on Quantifying In [1990], p.110) | |
A reaction: Since I believe in propositions (as the unambiguous thought that lies behind a sentence), I take it that logical form concerns propositions, though strict logicians don't like this, for fear that logic spills into psychology. |
12222 | Substitutional quantification is referential quantification over expressions [Fine,K] |
Full Idea: Substitutional quantification may be regarded as referential quantification over expressions. | |
From: Kit Fine (Quine on Quantifying In [1990], p.124) | |
A reaction: This is an illuminating gloss. Does such quantification involve some ontological commitment to expressions? I feel an infinite regress looming. |
490 | Everything happens by reason and necessity [Leucippus] |
Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |