Combining Philosophers
Ideas for Alfred Tarski, Peter Auriol and James Gordon Finlayson
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
2 ideas
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]
|
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
18759
|
Identity is invariant under arbitrary permutations, so it seems to be a logical term [Tarski, by McGee]
|