4 ideas
19053 | Logic would be more natural if negation only referred to predicates [Dummett] |
Full Idea: A better proposal for a formal logic closer to natural language would be one that had a negation-operator only for (simple) predicates. | |
From: Michael Dummett (Presupposition [1960], p.27) | |
A reaction: Dummett observes that classical formal logic was never intended to be close to natural language. Term logic does have that aim, but the meta-question is whether that end is desirable, and why. |
19052 | Natural language 'not' doesn't apply to sentences [Dummett] |
Full Idea: Natural language does not possess a sentential negation-operator. | |
From: Michael Dummett (Presupposition [1960], p.27) | |
A reaction: This is a criticism of Strawson, who criticises logic for not following natural language, but does it himself with negation. In the question of how language and logic connect, this idea seems important. Term Logic aims to get closer to natural language. |
490 | Everything happens by reason and necessity [Leucippus] |
Full Idea: Nothing happens at random; everything happens out of reason and by necessity. | |
From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where? |
5833 | Education is the greatest of human goods [Xenophon] |
Full Idea: Education is the greatest of human goods. | |
From: Xenophon (Apology of Socrates [c.392 BCE], 22) | |
A reaction: Of course, one might ask what education is for, and arrive at a greater good. If you ask what is the greatest good which a society can provide for you, or which you can give to your children, this seems to me a good answer. |