4 ideas
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 19413 | If we know what is good or rational, our knowledge is extended, and our free will restricted [Leibniz] |
| Full Idea: The more perfect one is, the more one is determined to the good, and so is more free at the same time. ...Our power and knowledge are more extended, and our will much the more limited within the bounds of perfect reason. | |
| From: Gottfried Leibniz (Letters to Pierre Bayle [1702], 1702) | |
| A reaction: I like this idea, which seems to me to derive from Aquinas. When I choose to eat and drink each day, or agree that 7+5 is 12, I don't complain about my lack of freedom in the choices. Goodness and reason are constraints I welcome. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |