Combining Texts

All the ideas for 'Posthumous notes', 'Oxford Commentary on Sentences' and 'On the General Idea of Proof Theory'

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

---

4 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 / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier

16614	Matter and form give true unity; subject and accident is just unity 'per accidens' [Duns Scotus]
	Full Idea: From matter and form comes one thing per se. This is not so for subject and accident. Matter and form are instrinsic causes of a composite being, but whiteness and a human being are not. Humans can exist without whiteness, so it is one thing per accidens.
	From: John Duns Scotus (Oxford Commentary on Sentences [1301], II.12.1.14), quoted by Robert Pasnau - Metaphysical Themes 1274-1671
	A reaction: This isn't much of a theory, but at least it is focusing on an interesting question, and the distinction between genuinely unified, and unified by chance. Compare a loving couple with siblings who hate each other.

11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism

21971	Transcendental philosophy is the subject becoming the originator of unified reality [Kant]
	Full Idea: Transcendental philosophy is the act of consciousness whereby the subject becomes the originator of itself and, thereby, of the whole object of technical-practical and moral-practical reason in one system - ordering all things in God
	From: Immanuel Kant (Posthumous notes [1799], 21:78, p.245), quoted by A.W. Moore - The Evolution of Modern Metaphysics 06 App
	A reaction: This is evidently Kant's last word on the matter (c.1799), and Moore says he was drifting close to Fichte's idealism, in which reality is actually (sort of) created by our own minds. Disappointing! God's role here is unclear.