Combining Texts
Ideas for
'fragments/reports', 'Intro to Gdel's Theorems' and 'Conditional Assertion and Restricted Quantification'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
10613
|
No nice theory can define truth for its own language [Smith,P]
|