Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'What Required for Foundation for Maths?' and 'Reply to Professor Marcus'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
17787
|
Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry]
|
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10801
|
Either reference really matters, or we don't need to replace it with substitutions [Quine]
|