Combining Texts

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

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


13 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
     Full Idea: Thales was the first thinker in the west to believe that the arché (the basis of things) was intelligible.
     From: comment on Thales (fragments/reports [c.585 BCE]) by David Roochnik - The Tragedy of Reason p.138
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)
10. Modality / B. Possibility / 1. Possibility
In future, only logical limits can be placed on divine omnipotence [Anon (Par), by Boulter]
     Full Idea: The Condemnation stipulated that all portions of the ancient intellectual heritage that placed non-logical limits on divine omnipotence were no longer to be tolerated. ...Philosophers now had to entertain the wildest ideas with all seriousness.
     From: report of Anon (Par) (The Condemnation of 1277 [1277]) by Stephen Boulter - Why Medieval Philosophy Matters 3
     A reaction: Boulter identifies this as 'the ultimate source of Hume's philosophical delirium'. Presumably the angels-on-a-pinhead stuff originated with this. It is crazy to think that the only limit on possible existence is logic. Can God make a planet of uranium?
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
     Full Idea: Necessity is the strongest of things, for it rules everything.
     From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.2.9
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
It is heresy to require self-evident foundational principles in order to be certain [Anon (Par)]
     Full Idea: Heresy 151: 'To have certainty regarding any conclusion, it must be founded on self-evident principles'.
     From: Anon (Par) (The Condemnation of 1277 [1277], 151), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.3
     A reaction: The correct view is obviously to found certainty on faith and authority. It is one thing to be told that foundationalism is a poor theory, but another to be told it is a heresy, and thus a potential capital crime!
25. Social Practice / E. Policies / 5. Education / d. Study of history
It is heresy to teach that history repeats every 36,000 years [Anon (Par)]
     Full Idea: It is heresy to teach that with all the heavenly bodies coming back to the same point after a period of thirty-six thousand years, the same effects as now exist will reappear.
     From: Anon (Par) (The Condemnation of 1277 [1277], §92)
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
     Full Idea: Thales says water is the first principle (which is why he declared the earth is on water); perhaps he concluded this from seeing that all food is moist.
     From: report of Thales (fragments/reports [c.585 BCE], A12) by Aristotle - Metaphysics 983b12
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
     Full Idea: Thales seems, from what is recorded of him, to have supposed that the soul is something productive of movement, if he really said that the magnet has soul because it produces movement in iron.
     From: report of Thales (fragments/reports [c.585 BCE]) by Aristotle - De Anima 405a20
28. God / A. Divine Nature / 3. Divine Perfections
It is heresy to teach that natural impossibilities cannot even be achieved by God [Anon (Par)]
     Full Idea: It is heresy to teach that what is absolutely impossible according to nature cannot be brought about by God or another agent.
     From: Anon (Par) (The Condemnation of 1277 [1277], §17)
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
It is heresy to teach that we can know God by his essence in this mortal life [Anon (Par)]
     Full Idea: It is heresy to teach that we can know God by his essence in this mortal life.
     From: Anon (Par) (The Condemnation of 1277 [1277], §9)
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]
     Full Idea: When asked whether a man who did wrong could escape the notice of the gods, Thales is said to have replied: 'No, not even if he thinks wrong.'
     From: report of Thales (fragments/reports [c.585 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.Th.9