3 ideas
9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
Full Idea: Classical logic (of Whitehead, Russell, Gödel, Church) is a two-valued system of propositional and predicate logic, in which all propositions are exclusively true or false, and quantification and predication are over existent objects only. | |
From: Dale Jacquette (Intro to I: Classical Logic [2002], p.9) | |
A reaction: All of these get challenged at some point, though the existence requirement is the one I find dubious. |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible. | |
From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4 | |
A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'. |
7350 | The Torah just says: do not do to your neighbour what is hateful to you [Hillel the Elder] |
Full Idea: What is hateful to you, do not unto your neighbour: this is the entire Torah. All the rest is commentary - go and study it. | |
From: Hillel the Elder (reports [c.10]), quoted by Paul Johnson - The History of the Jews Pt II | |
A reaction: Johnson suggests that this idea, of stripping everything from the Torah except its basic morality, was passed on to Jesus by Hillel. Suppose you hate Arsenal, but your neighbour supports them, and they just won the European Cup? What should you do? |