Combining Texts

All the ideas for 'Fragments and accounts of Gorgias', 'Truth-maker Realism: response to Gregory' and 'Intuitionism: an Introduction'

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


2 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation
Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]