Combining Texts

All the ideas for 'fragments/reports', 'What is Property?' and 'Principles of Theoretical Logic'

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

---

3 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

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

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

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?

25. Social Practice / C. Rights / 4. Property rights

20523	Property is theft! [Proudhon]
	Full Idea: Property is theft!
	From: Pierre-Joseph Proudhon (What is Property? [1840]), quoted by Jonathan Wolff - An Introduction to Political Philosophy (Rev)
	A reaction: [Context in Proudhon's book?] This may not be the essence of property rights today, but it is almost undeniable as a historical fact. William the Conqueror kills the opposition in battle, and then gives English land to his friends.