7 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) |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
Full Idea: The aim of transcendental idealism is to give a basis for objectivity in terms of subjectivity. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 1) | |
A reaction: Hume used subjectivity to undermine the findings of objectivity. There was then no return to naive objectivity. Kant's aim then was to thwart global scepticism. Post-Kantians feared that he had failed. |
22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
Full Idea: The Idealist saw in Kant that knowledge, which depends on the spontaneity of judgement, and self-determined spontaneous action, can be seen as sharing the same source, which is not accessible to scientific investigation. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010]) | |
A reaction: This is the 'spontaneity' of judgements and choices which was seen as the main idea in Kant. It inspired romantic individualism. The judgements are the rule-based application of concepts. |
22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
Full Idea: A central aim of German Idealism is to overcome Kant's oppositions between appearances and thing in themselves, and between receptivity and spontaneity. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 2) | |
A reaction: I have the impression that there were two strategies: break down the opposition within the self (Fichte), or break down the opposition in the world (Spinozism). |
22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
Full Idea: A crucial idea for German Idealism (from Hamann) is that apparently passive receptivity and active spontaneity are in fact different degrees of the same 'activity, and the gap between subject and world can be closed. | |
From: Andrew Bowie (German Philosophy: a very short introduction [2010], 3) | |
A reaction: The 'passive' bit seems to be Hume's 'impressions', which are Kant's 'intuitions', which need 'spontaneous' interpretation to become experiences. Critics of Kant said this implied a dualism. |