Combining Texts
Ideas for
'Axiomatic Theories of Truth', 'The Logic of Decision' and 'Intro to 'The Reason's Proper Study''
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 ideas
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
16308
|
Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
10622
|
The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright]
|