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) |
| 9783 | While no two classes coincide in membership, there are distinct but coextensive attributes [Cartwright,R] |
| Full Idea: Attributes and classes are said to be distinguished by the fact that whereas no two classes coincide in membership, there are supposed to be distinct but coextensive attributes. | |
| From: Richard Cartwright (Classes and Attributes [1967], §2) | |
| A reaction: This spells out the standard problem of renates and cordates, that creatures with hearts and with kidneys are precisely coextensive, but that these properties are different. Cartwright then attacks the distinction. |
| 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? |