6 ideas
| 19323 | 'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy] |
| 19137 | We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy] |
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| 14181 | Validity is where either the situation or the interpretation blocks true premises and false conclusion [Etchemendy, by Read] |
| 14180 | Etchemendy says fix the situation and vary the interpretation, or fix interpretations with varying situations [Etchemendy, by Read] |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |