16 ideas
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
19494 | Fictionalism allows that simulated beliefs may be tracking real facts [Yablo] |
19493 | Governing possible worlds theory is the fiction that if something is possible, it happens in a world [Yablo] |
8122 | True works of art transmit completely new feelings [Tolstoy] |
8121 | Art is when one man uses external signs to hand on his feelings to another man [Tolstoy] |
8124 | The highest feelings of mankind can only be transmitted by art [Tolstoy] |
8123 | The purpose of art is to help mankind to evolve better, more socially beneficial feelings [Tolstoy] |
22710 | People estimate art according to their moral values [Tolstoy] |
8125 | The upper classes put beauty first, and thus freed themselves from morality [Tolstoy] |
8064 | We separate the concept of beauty from goodness, unlike the ancients [Tolstoy] |