Combining Texts

All the ideas for 'The Sign of Four', 'works' and 'Building Blocks of Mathematical Logic'

unexpand these ideas     |    start again     |     specify just one area for these texts


3 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
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.
14. Science / C. Induction / 1. Induction
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.
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Bruno said that ancient Egyptian magic was the true religion [Bruno, by Yates]
     Full Idea: Giordano Bruno maintained that the magical Egyptian religion of the world was not only the most ancient but also the only true religion, which both Judaism and Christianity had obscured and corrupted.
     From: report of Giordano Bruno (works [1590]) by Frances A. Yates - Giordano Bruno and Hermetic Tradition Ch.1
     A reaction: His beliefs were based on the Hermetic writings. No wonder he was burned at the stake. Atheists now lay flowers at his memorial in Rome. The sixteenth century was when the hunt for alternatives to established religion began.