Combining Texts

All the ideas for 'Truth (frags)', 'talk' and 'Towards a Universal Characteristic'

unexpand these ideas     |    start again     |     specify just one area for these texts


6 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
'Blind thought' is reasoning without recognition of the ingredients of the reasoning [Leibniz, by Arthur,R]
     Full Idea: Leibniz invented the concept of 'blind thought' - reasoning by a manipulation of characters without being able to recognise what each character stands for.
     From: report of Gottfried Leibniz (Towards a Universal Characteristic [1677]) by Richard T.W. Arthur - Leibniz
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We can assign a characteristic number to every single object [Leibniz]
     Full Idea: The true principle is that we can assign to every object its determined characteristic number.
     From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.18)
     A reaction: I add this as a predecessor of Gödel numbering. It is part of Leibniz's huge plan for a Universal Characteristic, to map reality numerically, and then calculate the truths about it. Gödel seems to allow metaphysics to be done mathematically.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Everything is subsumed under number, which is a metaphysical statics of the universe, revealing powers [Leibniz]
     Full Idea: There is nothing which is not subsumable under number; number is therefore a fundamental metaphysical form, and arithmetic a sort of statics of the universe, in which the powers of things are revealed.
     From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.17)
     A reaction: I take numbers to be a highly generalised and idealised description of an aspect of reality (seen as mainly constituted by countable substances). Seeing reality as processes doesn't lead us to number. So I like this idea.
8. Modes of Existence / D. Universals / 6. Platonic Forms / b. Partaking
A prior understanding of beauty is needed to assert that the Form of the Beautiful is beautiful [Westaway]
     Full Idea: If it were asserted that the Form of the Beautiful was itself beautiful, such a statement would require a prior understanding of the concept of beauty, so would immediately lead to an infinite regress, so the Forms can't be self-predicating.
     From: Luke Westaway (talk [2005]), quoted by PG - Db (ideas)
     A reaction: This is a nice clear statement of the mess that Plato gets himself into if he wants the Forms to be self-predicating. Clearly the Form of the Beautiful can't be beautiful, but must be that which gives other things their beauty.
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
At what point does an object become 'whole'? [Westaway]
     Full Idea: At what point does an object become 'whole'?
     From: Luke Westaway (talk [2005]), quoted by PG - Db (ideas)
     A reaction: This nice question strikes me as the central one in mereology. It is tempting to reply that the matter is entirely conventional, but there seems an obvious fact about something missing if one piece is absent from a jigsaw, or a cube is chipped.
17. Mind and Body / C. Functionalism / 7. Chinese Room
The Chinese Room should be able to ask itself questions in Mandarin [Westaway]
     Full Idea: If the Chinese Room is functionally equivalent to a Mandarin speaker, it ought to be able to ask itself questions in Mandarin (and it can't).
     From: Luke Westaway (talk [2005]), quoted by PG - Db (ideas)
     A reaction: Searle might triumphantly say that this proves there is no understanding in the room, but the objection won't go away, because the room is presumably functionally equivalent to a speaker, and not just a mere translator (who might use mechanical tricks).