Combining Texts

All the ideas for 'fragments/reports', 'Buddhacarita' and 'Gentzen's Analysis of First-Order Proofs'

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


7 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Even pointing a finger should only be done for a reason [Epictetus]
     Full Idea: Philosophy says it is not right even to stretch out a finger without some reason.
     From: Epictetus (fragments/reports [c.57], 15)
     A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!).
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)
16. Persons / E. Rejecting the Self / 4. Denial of the Self
When the Buddha reached the highest level of insight, he could detect no self in the world [Ashvaghosha]
     Full Idea: The great Buddha passed through the eight stages of Transic insight, and quickly reached their highest point. From the summit of the world downwards he could detect no self anywhere.
     From: Ashvaghosha (Buddhacarita [c.50], XIV)
     A reaction: In the manner of Nietzsche, I am inclined to say that they find what they want to find, because that is their value. They want to get rid of the self, and dream of a mode in which existence continues without it. Is Buddhism opposed to human life?
29. Religion / C. Spiritual Disciplines / 3. Buddhism
The first stage of trance is calm amidst applied and discursive thinking [Ashvaghosha]
     Full Idea: The first stage of trance is calm amidst applied and discursive thinking.
     From: Ashvaghosha (Buddhacarita [c.50], V.11)
     A reaction: Personally I am not sure that I would want to go any further that the first stage, since the elimination of discursive thinking seems to me to be approaching death. To pursue intense thinking very calmly I take to be the ideal of all western philosophers.
The Buddha sought ultimate reality and the final goal of existence in his meditations [Ashvaghosha]
     Full Idea: Next the Boddhisatva, possessed of great skill in Transic meditation, put himself into a trance, intent on discerning both the ultimate reality of things and the final goal of existence.
     From: Ashvaghosha (Buddhacarita [c.50], XIV.2)
     A reaction: The ontological and teleological goals of the Buddha were identical to the goals of the ancient Greek philosophers, and even we have teleological aims in our study of evolution. I would expect better results from the western approach.