Combining Texts

All the ideas for 'The Origin of the Work of Art', 'On the General Idea of Proof Theory' and 'De Natura Corporis'

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

4 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
15585 Later Heidegger sees philosophy as more like poetry than like science [Heidegger, by Polt]
     Full Idea: In his later work Heidegger came to view philosophy as closer to poetry than to science.
     From: report of Martin Heidegger (The Origin of the Work of Art [1935], p.178) by Richard Polt - Heidegger: an introduction 5 'Signs'
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)
8. Modes of Existence / C. Powers and Dispositions / 2. Powers as Basic
12710 As well as extension, bodies contain powers [Leibniz]
     Full Idea: Over and above what can be deduced from extension, we must add and recognise in bodies certain notions or forms that are immaterial, so to speak, or independent of extension, which you can call powers [potentia], by which speed is adjusted to magnitude.
     From: Gottfried Leibniz (De Natura Corporis [1678], A6.4.1980), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 3
     A reaction: He boldly asserts that the powers are 'immaterial', but is then forced to qualify it (as he often does) with 'so to speak'. The notion that bodies just have extension (occupy space) comes from Descartes, and is firmly opposed by Leibniz.