10 ideas
| 3745 | Must sentences make statements to qualify for truth? [O'Connor] |
| Full Idea: Maybe a sentence is not a candidate for truth until it is used to make a statement. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
| Full Idea: Item x is said to be a sufficient truth-maker for truth-bearer p just in case necessarily if x exists then p is true. ...Every truth has a sufficient truth-maker. Hence, I take it, the sum of all sufficient truth-makers is a universal truth-maker. | |
| From: Peter Forrest (General Facts,Phys Necessity, and Metaph of Time [2006], 1) | |
| A reaction: Note that it is not 'necessary', because something else might make p true instead. |
| 3742 | Beliefs must match facts, but also words must match beliefs [O'Connor] |
| Full Idea: Our beliefs must claim a correspondence with facts, and then the verbal expression of the belief must correspond to the belief itself. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.4) |
| 3744 | The semantic theory requires sentences as truth-bearers, not propositions [O'Connor] |
| Full Idea: The Semantic Theory of truth requires that sentences are truth-bearers (rather than statements, or propositions). | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 3749 | What does 'true in English' mean? [O'Connor] |
| Full Idea: We do not seem to have any use in ordinary discourse for phrases like 'true in English', 'false in German'. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], II.1) |
| 3746 | Logic seems to work for unasserted sentences [O'Connor] |
| Full Idea: If sentences can have truth-values only when they occur as asserted, it would be impossible to have a truth-functional basis to logic. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6) |
| 3747 | Events are fast changes which are of interest to us [O'Connor] |
| Full Idea: The standard cases of events are physical changes which happen sufficiently fast to be observed as changes, and which are of sufficient interest to us to be noticed or commented on. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.7) |
| 3748 | Without language our beliefs are particular and present [O'Connor] |
| Full Idea: Without language we would be restricted to particular beliefs about the here and now. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.8) |
| 3743 | We can't contemplate our beliefs until we have expressed them [O'Connor] |
| Full Idea: It is only when beliefs are given some symbolic expression that they acquire the precision and stability that enables us to entertain them. | |
| From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.5) |
| 8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |
| Full Idea: Hume's Principle has a structure Boolos calls an 'abstraction principle'. Within the scope of two universal quantifiers, a biconditional connects an identity between two things and an equivalence relation. It says we don't care about other differences. | |
| From: George Boolos (Is Hume's Principle analytic? [1997]), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 3.7 | |
| A reaction: This seems to be the traditional principle of abstraction by ignoring some properties, but dressed up in the clothes of formal logic. Frege tries to eliminate psychology, but Boolos implies that what we 'care about' is relevant. |