3 ideas
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
| From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
| A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
| 22200 | If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle] |
| Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth. | |
| From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6) | |
| A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible. |
| 21788 | The moral will is self-determining, but the ethical will is met in society [Houlgate] |
| Full Idea: Whereas the moral will understands the good to be something which it can recognise or determine by itself, the ethical will acknowledges the good to be something actual which it encounters in the world about it. | |
| From: Stephen Houlgate (An Introduction to Hegel [1991], 08 'Freedom') | |
| A reaction: I think these two terms have become blurred - or at least I have thoroughly lost track of them. I'm not sure whether it is good to have distinct terms for (Kantian) personal choice and for social expectations. Ethics is what Nietzsche attacks. |