12 ideas
| 18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
| Full Idea: Among the candidates [for truthbearers] are beliefs, propositions, judgments, assertions, statements, theories, remarks, ideas, acts of thought, utterances, sentence tokens, sentence types, sentences (unspecified), and speech acts. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 2.3) | |
| A reaction: I vote for propositions, but only in the sense of the thoughts underlying language, not the Russellian things which are supposed to exist independently from thinkers. |
| 19318 | A 'sequence' of objects is an order set of them [Kirkham] |
| Full Idea: A 'sequence' of objects is like a set of objects, except that, unlike a set, the order of the objects is important when dealing with sequences. ...An infinite sequence satisfies 'x2 is purple' if and only if the second member of the sequence is purple. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This explains why Tarski needed set theory in his metalanguage. |
| 19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
| Full Idea: If one sequence satisfies a sentence, they all do. ...Thus it matters not whether we define truth as satisfaction by some sequence or as satisfaction by all sequences. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: So if the striker scores a goal, the team has scored a goal. |
| 19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
| Full Idea: Because the definition of satisfaction must have a separate clause for each predicate, Tarski's method only works for languages with a finite number of predicates, ...but natural languages have an infinite number of predicates. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.5) | |
| A reaction: He suggest predicates containing natural numbers, as examples of infinite predicates. Davidson tried to extend the theory to natural languages, by (I think) applying it to adverbs, which could generate the infinite predicates. Maths has finite predicates. |
| 19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
| Full Idea: In a quantified language it is possible to build new sentences by combining two expressions neither of which is itself a sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: In propositional logic the components are other sentences, so the truth value can be given by their separate truth-values, through truth tables. Kirkham is explaining the task which Tarski faced. Truth-values are not just compositional. |
| 19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
| Full Idea: An object satisfies an open sentence if and only if it possesses the property expressed by the predicate of the open sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This applies to atomic sentence, of the form Fx or Fa (that is, some variable is F, or some object is F). So strictly, only the world can decide whether some open sentence is satisfied. And it all depends on things called 'properties'. |
| 16007 | I assume existence, rather than reasoning towards it [Kierkegaard] |
| Full Idea: I always reason from existence, not towards existence. | |
| From: Søren Kierkegaard (Philosophical Fragments [1844], p.40) | |
| A reaction: Kierkegaard's important premise to help show that theistic proofs for God's existence don't actually prove existence, but develop the content of a conception. [SY] |
| 19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
| Full Idea: It has been said that there are no disjunctive facts, conditional facts, or negative facts. ...but it is not at all clear why there cannot be facts of this sort. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.6) | |
| A reaction: I love these sorts of facts, and offer them as a naturalistic basis for logic. You probably need the world to have modal features, but I have those in the form of powers and dispositions. |
| 16013 | Nothing necessary can come into existence, since it already 'is' [Kierkegaard] |
| Full Idea: Can the necessary come into existence? That is a change, and everything that comes into existence demonstrates that it is not necessary. The necessary already 'is'. | |
| From: Søren Kierkegaard (Philosophical Fragments [1844], p.74) | |
| A reaction: [SY] |
| 3597 | Foundations need not precede other beliefs [Wittgenstein] |
| Full Idea: I do not explicitly learn the propositions that stand fast for me. I can discover them subsequently like the axis around which a body rotates. | |
| From: Ludwig Wittgenstein (On Certainty [1951], §152), quoted by Michael Williams - Problems of Knowledge Ch.14 | |
| A reaction: A nice metaphor for the way in which axioms are derived. It is also close to Quine's metaphor of the 'net' of understanding, with the centre area 'standing fast'. Not neat and tidy, though. |
| 3596 | Total doubt can't even get started [Wittgenstein, by Williams,M] |
| Full Idea: Wittgenstein remarked that if you tried to doubt everything, you would not get as far as doubting anything. | |
| From: report of Ludwig Wittgenstein (On Certainty [1951]) by Michael Williams - Problems of Knowledge Ch.14 |
| 4721 | If you are not certain of any fact, you cannot be certain of the meaning of your words either [Wittgenstein] |
| Full Idea: If you are not certain of any fact, you cannot be certain of the meaning of your words either. | |
| From: Ludwig Wittgenstein (On Certainty [1951], §114) | |
| A reaction: A wonderfully challenging aphorism. I suspect that it is true, but not really a problem. We all know the meaning of 'Loch Ness Monster', as long as we don't get too fussy. And for local objects I am happy that I know the facts. |