Combining Texts

All the ideas for 'General Draft', 'Gentzen's Analysis of First-Order Proofs' and 'Economy and Society'

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


6 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
Philosophy is homesickness - the urge to be at home everywhere [Novalis]
     Full Idea: Philosophy is actually homesickness - the urge to be everywhere at home.
     From: Novalis (General Draft [1799], 45)
     A reaction: The idea of home [heimat] is powerful in German culture. The point of romanticism was seen as largely concerning restless souls like Byron and his heroes, who do not feel at home. Hence ironic detachment.
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
     Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04)
     A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
     Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2)
     A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
     Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants.
     From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1)
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
Desire for perfection is an illness, if it turns against what is imperfect [Novalis]
     Full Idea: An absolute drive toward perfection and completeness is an illness, as soon as it shows itself to be destructive and averse toward the imperfect, the incomplete.
     From: Novalis (General Draft [1799], 33)
     A reaction: Deep and true! Novalis seems to be a particularist - hanging on to the fine detail of life, rather than being immersed in the theory. These are the philosophers who also turn to literature.
24. Political Theory / C. Ruling a State / 1. Social Power
Domination is probable obedience by some group of persons [Weber]
     Full Idea: Domination is the probability that a command with a specific content will be obeyed by a given group of persons.
     From: Max Weber (Economy and Society [1919], p.53), quoted by Andrew Shorten - Contemporary Political Theory 06
     A reaction: Said to be an 'influential definition'. In principle you might have no domination, but be regularly obeyed because your commands were so acceptable to a very independent-minded group of people. That said, good definition!