display all the ideas for this combination of philosophers
4 ideas
10015 | Higher-order logic may be unintelligible, but it isn't set theory [Hodes] |
10011 | Identity is a level one relation with a second-order definition [Hodes] |
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |