Combining Texts

All the ideas for 'Aristotle on Essence and Explanation', 'Thinking About Mathematics' and 'Either/Or: a fragment of life'

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


29 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
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.
3. Truth / A. Truth Problems / 8. Subjective Truth
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.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
     Full Idea: Intuitionists in mathematics deny excluded middle, because it is symptomatic of faith in the transcendent existence of mathematical objects and/or the truth of mathematical statements.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: There are other problems with excluded middle, such as vagueness, but on the whole I, as a card-carrying 'realist', am committed to the law of excluded middle.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
     Full Idea: It is surely wise to identify the positions in the natural numbers structure with their counterparts in the integer, rational, real and complex number structures.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: The point is that this might be denied, since 3, 3/1, 3.00.., and -3*i^2 are all arrived at by different methods of construction. Natural 3 has a predecessor, but real 3 doesn't. I agree, intuitively, with Shapiro. Russell (1919) disagreed.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
     Full Idea: A sequence a1,a2,... of rational numbers is 'Cauchy' if for each rational number ε>0 there is a natural number N such that for all natural numbers m, n, if m>N and n>N then -ε < am - an < ε.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.2 n4)
     A reaction: The sequence is 'Cauchy' if N exists.
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
     Full Idea: There is a dedicated contingent who hold that the category of 'categories' is the proper foundation for mathematics.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.3 n7)
     A reaction: He cites Lawvere (1966) and McLarty (1993), the latter presenting the view as a form of structuralism. I would say that the concept of a category will need further explication, and probably reduce to either sets or relations or properties.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
     Full Idea: Zermelo said that for each number n, its successor is the singleton of n, so 3 is {{{null}}}, and 1 is not a member of 3. Von Neumann said each number n is the set of numbers less than n, so 3 is {null,{null},{null,{null}}}, and 1 is a member of 3.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.2)
     A reaction: See Idea 645 - Zermelo could save Plato from the criticisms of Aristotle! These two accounts are cited by opponents of the set-theoretical account of numbers, because it seems impossible to arbitrate between them.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
     Full Idea: The structuralist vigorously rejects any sort of ontological independence among the natural numbers; the essence of a natural number is its relations to other natural numbers.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: This seems to place the emphasis on ordinals (what order?) rather than on cardinality (how many?). I am strongly inclined to think that this is the correct view, though you can't really have relations if there is nothing to relate.
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
     Full Idea: A 'system' is a collection of objects with certain relations among them; a 'pattern' or 'structure' is the abstract form of a system, highlighting the interrelationships and ignoring any features they do not affect how they relate to other objects.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 10.1)
     A reaction: Note that 'ignoring' features is a psychological account of abstraction, which (thanks to Frege and Geach) is supposed to be taboo - but which I suspect is actually indispensable in any proper account of thought and concepts.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
     Full Idea: The thesis that principles of arithmetic are derivable from the laws of logic runs against a now common view that logic itself has no ontology. There are no particular logical objects. From this perspective logicism is a non-starter.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 5.1)
     A reaction: This criticism strikes me as utterly devastating. There are two routes to go: prove that logic does have an ontology of objects (what would they be?), or - better - deny that arithmetic contains any 'objects'. Or give up logicism.
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
     Full Idea: Term Formalism is the view that mathematics is just about characters or symbols - the systems of numerals and other linguistic forms. ...This will cover integers and rational numbers, but what are real numbers supposed to be, if they lack names?
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.1)
     A reaction: Real numbers (such as pi and root-2) have infinite decimal expansions, so we can start naming those. We could also start giving names like 'Harry' to other reals, though it might take a while. OK, I give up.
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
     Full Idea: Game Formalism likens mathematics to chess, where the 'content' of mathematics is exhausted by the rules of operating with its language. ...This, however, leaves the problem of why the mathematical games are so useful to the sciences.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.1.2)
     A reaction: This thought pushes us towards structuralism. It could still be a game, but one we learned from observing nature, which plays its own games. Chess is, after all, modelled on warfare.
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
     Full Idea: The Deductivist version of formalism (sometimes called 'if-thenism') says that the practice of mathematics consists of determining logical consequences of otherwise uninterpreted axioms.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 6.2)
     A reaction: [Hilbert is the source] More plausible than Term or Game Formalism (qv). It still leaves the question of why it seems applicable to nature, and why those particular axioms might be chosen. In some sense, though, it is obviously right.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
     Full Idea: Critics commonly complain that the intuitionist restrictions cripple the mathematician. On the other hand, intuitionist mathematics allows for many potentially important distinctions not available in classical mathematics, and is often more subtle.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 7.1)
     A reaction: The main way in which it cripples is its restriction on talk of infinity ('Cantor's heaven'), which was resented by Hilbert. Since high-level infinities are interesting, it would be odd if we were not allowed to discuss them.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
     Full Idea: I classify conceptualists according to what they say about properties or concepts. If someone classified properties as existing independent of language I would classify her as a realist in ontology of mathematics. Or they may be idealists or nominalists.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 2.2.1)
     A reaction: In other words, Shapiro wants to eliminate 'conceptualist' as a useful label in philosophy of mathematics. He's probably right. All thought involves concepts, but that doesn't produce a conceptualist theory of, say, football.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
     Full Idea: A definition of a mathematical entity is 'impredicative' if it refers to a collection that contains the defined entity. The definition of 'least upper bound' is impredicative as it refers to upper bounds and characterizes a member of this set.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.2)
     A reaction: The big question is whether mathematics can live with impredicative definitions, or whether they threaten to be viciously circular, and undermine the whole enterprise.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Jones may cease to exist without some simple property, but that doesn't make it essential [Kung]
     Full Idea: If Jones ceases to be a father, or ceases to be over eight years old, he will cease to exist, yet these properties surely do not belong essentially to him.
     From: Joan Kung (Aristotle on Essence and Explanation [1977], II)
     A reaction: This seems to correct, though I would doubt whether either of these count as true properties, in the causal sense I prefer. If being 'over 8' is a property, how many 'over n' or 'under m' properties does he have? One for each quantum moment?
9. Objects / D. Essence of Objects / 7. Essence and Necessity / c. Essentials are necessary
A property may belong essentially to one thing and contingently to another [Kung]
     Full Idea: It is possible that a property may belong essentially to one thing and contingently to another.
     From: Joan Kung (Aristotle on Essence and Explanation [1977], III)
     A reaction: Thus a love of blues music may be part of your essence, but only a minor part of me. Sounds right. Spin or charge are part of the essence of an electron, but only contingently part of a child's top.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
Aristotelian essences underlie a thing's existence, explain it, and must belong to it [Kung]
     Full Idea: Three essentialist claims are labelled 'Aristotelian': the thing would cease to exist without the property; an essential property is explanatory; and it is such that it must belong to everything to which it belongs.
     From: Joan Kung (Aristotle on Essence and Explanation [1977], Intro)
     A reaction: She says the second one is indispensable, and that it rules out the third one. My working assumption, like hers, is that the second one is the key part of the game, because Aristotle wanted to explain things.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
     Full Idea: Rationalism is a long-standing school that can be characterized as an attempt to extend the perceived methodology of mathematics to all of knowledge.
     From: Stewart Shapiro (Thinking About Mathematics [2000], 1.1)
     A reaction: Sometimes called 'Descartes's Dream', or the 'Enlightenment Project', the dream of proving everything. Within maths, Hilbert's Programme aimed for the same certainty. Idea 22 is the motto for the opposition to this approach.
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Some peripheral properties are explained by essential ones, but don't themselves explain properties [Kung]
     Full Idea: There will be demonstrated properties at the edge of the system, so to speak. They will be explained in terms of the essential properties of the basic entities and principles of the science, but will themselves not be explanatory of further properties.
     From: Joan Kung (Aristotle on Essence and Explanation [1977], II)
     A reaction: This is an important line of thought which needs clarification. We can't glibly say that essences are what explain the other properties. Some properties do more than others to explain subsequent dependent properties.
Some non-essential properties may explain more than essential-but-peripheral ones do [Kung]
     Full Idea: It seems highly likely that some non-essential properties may explain more about the individual or about things of his kind than the peripheral properties.
     From: Joan Kung (Aristotle on Essence and Explanation [1977], II)
     A reaction: Another important issue, if one is defending the explanatory role of essences. It is not only essences which explain. A key question is whether we endorse individual essences as well as generic ones. I think we should. They explain the details.
23. Ethics / F. Existentialism / 2. Nihilism
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.
23. Ethics / F. Existentialism / 4. Boredom
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.
23. Ethics / F. Existentialism / 5. Existence-Essence
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.
23. Ethics / F. Existentialism / 6. Authentic Self
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?
23. Ethics / F. Existentialism / 7. Existential Action
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')?
24. Political Theory / D. Ideologies / 7. Communitarianism / b. Against communitarianism
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.
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
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.