Combining Texts
Ideas for
'Introduction to Russell's Theory of Types', 'Logic (Port-Royal Art of Thinking)' and 'The Semantic Conception of Truth'
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 / D. Assumptions for Logic / 2. Excluded Middle
19192
|
The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski]
|