Combining Texts

All the ideas for 'works', 'Vague Identity: Evans misunderstood' and 'Principles of Theoretical Logic'

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

---

4 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

7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic

16458	Semantic vagueness involves alternative and equal precisifications of the language [Lewis]
	Full Idea: If vagueness is semantic indeterminacy, then wherever we have vague statements, we have several alternative precisifications of the vague language involved, all with equal claims of being 'intended'.
	From: David Lewis (Vague Identity: Evans misunderstood [1988], p.318)

29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy

16713	Philosophers are the forefathers of heretics [Tertullian]
	Full Idea: Philosophers are the forefathers of heretics.
	From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2

29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism

6610	I believe because it is absurd [Tertullian]
	Full Idea: I believe because it is absurd ('Credo quia absurdum est').
	From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2
	A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though.