Combining Texts

All the ideas for 'works', 'Probability and Logic of Rational Belief' and 'What Numbers Are'

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

5 ideas

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
17813 Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP]
     Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers.
     From: Nicholas P. White (What Numbers Are [1974], V)
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / e. The Lottery paradox
6368 If my ticket won't win the lottery (and it won't), no other tickets will either [Kyburg, by Pollock/Cruz]
     Full Idea: The Lottery Paradox says you should rationally conclude that your ticket will not win the lottery, and then apply the same reasoning to all the other tickets, and conclude that no ticket will win the lottery.
     From: report of Henry E. Kyburg Jr (Probability and Logic of Rational Belief [1961]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §7.2.8
     A reaction: (Very compressed by me). I doubt whether this is a very deep paradox; the conclusion that I will not win is a rational assessment of likelihood, but it is not the result of strict logic.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
17812 Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP]
     Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege.
     From: Nicholas P. White (What Numbers Are [1974], IV)
     A reaction: [He adds Quine 1960:268 as a reference]
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.