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] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |