4 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain. | |
From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3 | |
A reaction: Lavine summarises this as 'first-order logic with parameters'. |
22419 | 'I' is a subject in 'I am in pain' and an object in 'I am bleeding' [Wittgenstein, by McGinn] |
Full Idea: 'I' is used as a subject in 'I am in pain', ....and used as an object in 'I am bleeding'. | |
From: report of Ludwig Wittgenstein (The Blue and Brown Notebooks [1936], pp. 66-7) by Colin McGinn - Subjective View: sec qualities and indexicals 4 | |
A reaction: How about 'my wound is painful'? Does that have the logical form of a conversation? This idea is incorrect. Shoemaker (1968) suggests that the subjective use is immune to error, unlike the object use. |
6318 | The doctrine of indeterminacy of translation seems implied by the later Wittgenstein [Wittgenstein, by Quine] |
Full Idea: Perhaps the doctrine of indeterminacy of translation will have little air of paradox for readers familiar with Wittgenstein's latter-day remarks on meaning. | |
From: report of Ludwig Wittgenstein (The Blue and Brown Notebooks [1936], II.§16 n) by Willard Quine - Word and Object II.§16 n | |
A reaction: This may be right, and I am inclined to link the names of Wittgenstein and Quine among those who led philosophy up a relativistic and sceptical cul-de-sac for many years. You can think too hard, you know. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |