21 ideas
| 22087 | Philosophy fails to articulate the continual becoming of existence [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard criticise philosophy for its inability to grasp and to articulate the movement, the continual becoming, that characterises existence. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 2 | |
| A reaction: Heraclitus had a go, and Hegel's historicism focuses on dynamic thought, but this idea concerns the immediacy of individual life. |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 5651 | Traditional views of truth are tautologies, and truth is empty without a subject [Kierkegaard, by Scruton] |
| Full Idea: Kierkegaard developed the idea of 'truth as subjectivity'; the traditional conceptions of truth - correspondence or coherence - he regarded as equally empty, not because false, but because tautologous; truth ceases to be empty when related to a subject. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Roger Scruton - Short History of Modern Philosophy Ch.13 | |
| A reaction: It strikes me that the correspondence theory of truth also involves a subject. If you become too obsessed with the subject, you lose the concept of truth. You need a concept of the non-subject too. Truth concerns the contents of thought. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 5960 | When the soul is intelligent and harmonious, it is part of god and derives from god [Plutarch] |
| Full Idea: The soul, when it has partaken of intelligence and reason and concord, is not merely a work but also a part of god and has come to be not by his agency but both from him as source and out of his substance. | |
| From: Plutarch (67: Platonic Questions [c.85], II.1001) | |
| A reaction: A most intriguing shift of view from earlier concepts of the psuché. How did this come about? This man is a pagan. The history is in the evolution of Platonism. See 'The Middle Platonists' by John Dillon. Davidson is also very impressed by reason. |
| 22090 | For me time stands still, and I with it [Kierkegaard, by Carlisle] |
| Full Idea: Time flows, life is a stream, people say, and so on. I do not notice it. Time stands still, and I with it. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843], I:26) by Clare Carlisle - Kierkegaard: a guide for the perplexed 3 | |
| A reaction: This is from the spokesman for the aesthetic option in life, which is largely pleasure-seeking. No real choices ever occur. |
| 9305 | The plebeians bore others; only the nobility bore themselves [Kierkegaard] |
| Full Idea: Those who bore others are the plebeians, the crowd, the endless train of humanity in general; those who bore themselves are the chosen ones, the nobility. | |
| From: Søren Kierkegaard (Either/Or: a fragment of life [1843], Pt.1), quoted by Lars Svendsen - A Philosophy of Boredom Ch.2 | |
| A reaction: [p.288 in Princeton Edn] Stunningly elitist, but ask where boredom is most overtly found. "Boring" was once a very fashionable word among the English upper classes. Education and wealth seem to intensify boredom. |
| 5650 | Reason is just abstractions, so our essence needs a subjective 'leap of faith' [Kierkegaard, by Scruton] |
| Full Idea: For Kierkegaard, reason, which produces only abstractions, negates our individual essence; this essence is subjectivity, and subjectivity exists only in the 'leap of faith', whereby the individual casts in his lot with eternity. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Roger Scruton - Short History of Modern Philosophy Ch.13 | |
| A reaction: Interesting, but this strikes me as a confusion of reason and logic. A logical life would indeed be a sort of death, and need faith as an escape, but a broad view of the rational life includes emotion, imagination and laughter. Blind faith is disaster. |
| 22095 | There are aesthetic, ethical and religious subjectivity [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard distinguishes three main types of subjectivity: aesthetic, ethical and religious. But are these types of people, or different phases of one person's life? | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 4 | |
| A reaction: His picture of the religious mode holds no appeal for me. I also can't accept that the aesthetic and the moral are somewho distinct. People may discover they have slipped into one of these modes, but no one chooses them, do they? |
| 20747 | What matters is not right choice, but energy, earnestness and pathos in the choosing [Kierkegaard] |
| Full Idea: In making a choice, it is not so much a question of choosing the right way as of the energy, the earnestness, and the pathos with which one chooses. | |
| From: Søren Kierkegaard (Either/Or: a fragment of life [1843], p.106), quoted by Kevin Aho - Existentialism: an introduction 2 'Phenomenology' | |
| A reaction: I'm struggling to identify with the experience he is describing. I can't imagine a more quintessentially existentialist remark than this. Reference to 'energy' in choosing strikes me as very romantic. Is 'the way not taken' crucial (in 'pathos')? |
| 22091 | Kierkegaard prioritises the inward individual, rather than community [Kierkegaard, by Carlisle] |
| Full Idea: Whereas Hegel argues that individuals find fulfilment through participation in their community, Kierkegaard prioritises the inwardness of each person, which is shared only with God. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 3 | |
| A reaction: Sounds like the protestant religion opposing the catholic religion (although Hegel was a protestant). Individual v community is the great debate of the last two centuries in Europe. |
| 22088 | Faith is like a dancer's leap, going up to God, but also back to earth [Kierkegaard, by Carlisle] |
| Full Idea: Kierkegaard doesn't use the phrase 'leap of faith'. His metaphor of a dancer's leap expresses the way faith goes 'up' towards God, but also comes back down to earth, and is a way of living in the world. | |
| From: report of Søren Kierkegaard (Either/Or: a fragment of life [1843]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 2 | |
| A reaction: This entirely contradicts what I was taught about this idea many years ago. Memes turn into Chinese whispers. |