4 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 16045 | General facts supervene on particular facts, but cannot be inferred from them [Russell, by Bennett,K] |
| Full Idea: Russell noted that you cannot arrive at general facts by inference from numerous particular facts, ..but general facts logically supervene on particular ones. So the general facts supervene, but are not entailed. | |
| From: report of Bertrand Russell (On Relations of Universals and Particulars [1911]) by Karen Bennett - Supervenience §3.2 | |
| A reaction: The belief that the general facts supervene on the particular ones then seems to be more a matter of faith than of fact. Or maybe it is analytic, depending on what we understand by 'general'. Universal, or generalised? |
| 14327 | Trope theorists cannot explain how tropes resemble each other [Russell, by Mumford] |
| Full Idea: The trope theorist cannot explain how a number of tropes resemble each other. | |
| From: report of Bertrand Russell (On Relations of Universals and Particulars [1911]) by Stephen Mumford - Dispositions 07.6 | |
| A reaction: [My 13,000th Idea: 31/10/11] Every theory is left with something it cannot explain. Is it likely that we could come up with an explanation of resemblance? It seems like a combination of identity in the physics, and identity in the brain mechanisms. |
| 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? |