Combining Texts

All the ideas for 'Lectures on the History of Philosophy', 'talk' and 'works'

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

---

4 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined

21757	Philosophy is the conceptual essence of the shape of history [Hegel]
	Full Idea: Philosophy is the supreme blossom - the concept - of the entire shape of history, the consciousness and the spiritual essence of the whole situation, the spirit of the age as the spirit present and aware of itself in thought.
	From: Georg W.F.Hegel (Lectures on the History of Philosophy [1830], p.25), quoted by Stephen Houlgate - An Introduction to Hegel 01
	A reaction: This sees philosophy as intrinsically historical, which is a founding idea for 'continental' philosophy. Analysis is tied to science, in which the history of the subject is seen as irrelevant to its truth. Does this mean we can't go back to Aristotle?

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic

10152	Set theory and logic are fairy tales, but still worth studying [Tarski]
	Full Idea: People have asked me, 'How can you, a nominalist, do work in set theory and in logic, which are theories about things you do not believe in?' ...I believe that there is a value even in fairy tales and the study of fairy tales.
	From: Alfred Tarski (talk [1965]), quoted by Feferman / Feferman - Alfred Tarski: life and logic
	A reaction: This is obviously an oversimplification. I don't think for a moment that Tarski literally believed that the study of fairy tales had as much value as the study of logic. Why do we have this particular logic, and not some other?

8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism

10151	I am a deeply convinced nominalist [Tarski]
	Full Idea: I am a nominalist. This is a very deep conviction of mine. ...I am a tortured nominalist.
	From: Alfred Tarski (talk [1965]), quoted by Feferman / Feferman - Alfred Tarski: life and logic Int I
	A reaction: I too am of the nominalist persuasion, but I don't feel justified in such a strong commitment.

18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines

3193	Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]
	Full Idea: Turing showed that any formal process can be specified computationally, and captured by a Turing Machine. Hence logical rules (and arithmetic) could be obeyed not by someone representing and following them, but by causal organisation of the brain.
	From: report of Alan Turing (works [1935]) by Georges Rey - Contemporary Philosophy of Mind 8.2
	A reaction: It is questionable whether logic is an entirely formal process, if it involves truth. You would need an entirely formal notion of truth for that. But a brain can do whatever a flow diagram can do.