Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Quine on Quantifying In' and 'Bayesianism'

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

---

5 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

12220

Is it the sentence-token or the sentence-type that has a logical form? [Fine,K]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

12222

Substitutional quantification is referential quantification over expressions [Fine,K]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure

17447

Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]

14. Science / C. Induction / 6. Bayes's Theorem

2798	Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich]

2799	Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich]