Combining Texts

All the ideas for 'fragments/reports', 'On the General Idea of Proof Theory' and 'Scattered Objects'

unexpand these ideas     |    start again     |     specify just one area for these texts

---

5 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

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)

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

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)

9. Objects / B. Unity of Objects / 3. Unity Problems / a. Scattered objects

14961	Clearly a pipe can survive being taken apart [Cartwright,R]
	Full Idea: There is at the moment a pipe on my desk. Its stem has been removed but it remains a pipe for all that; otherwise no pipe could survive a thorough cleaning.
	From: Richard Cartwright (Scattered Objects [1974], p.175)
	A reaction: To say that the pipe survives dismantling is not to say that it is fully a pipe during its dismantled phase. He gives a further example of a book in two volumes.

14962	Bodies don't becomes scattered by losing small or minor parts [Cartwright,R]
	Full Idea: If a branch falls from a tree, the tree does not thereby become scattered, and a human body does not become scattered upon loss of a bit of fingernail.
	From: Richard Cartwright (Scattered Objects [1974], p.184)
	A reaction: This sort of observation draws me towards essentialism. A body is scattered if you divide it in a major way, but not if you separate off a minor part. It isn't just a matter of size, or even function. We have broader idea of what is essential.

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

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?