Combining Texts
Ideas for
'Axiomatic Theories of Truth (2005 ver)', 'The Problem of Knowledge' and 'Trees, Terms and Truth'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
18913
|
Traditional term logic struggled to express relations [Engelbretsen]
|
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
18907
|
Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen]
|
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15657
|
To prove the consistency of set theory, we must go beyond set theory [Halbach]
|