5 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) |
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? |
2854 | Prescriptivism says 'ought' without commitment to act is insincere, or weakly used [Hooker,B] |
Full Idea: Prescriptivism holds that if you think one 'ought' to do a certain kind of act, and yet you are not committed to doing that act in the relevant circumstances, then you either spoke insincerely, or are using the word 'ought' in a weak sense. | |
From: Brad W. Hooker (Prescriptivism [1995], p.640) | |
A reaction: So that's an 'ought', but not a 'genuine ought', then? (No True Scotsman move). Someone ought to rescue that drowning child, but I can't be bothered. |
2856 | Universal moral judgements imply the Golden Rule ('do as you would be done by') [Hooker,B] |
Full Idea: Prescriptivity is especially important if moral judgements are universalizable, for then we can employ golden rule-style reasoning ('do as you would be done by'). | |
From: Brad W. Hooker (Prescriptivism [1995], p.640) |