9 ideas
14767 | The demonstrations of the metaphysicians are all moonshine [Peirce] |
Full Idea: The demonstrations of the metaphysicians are all moonshine. | |
From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
14764 | I am saturated with the spirit of physical science [Peirce] |
Full Idea: I am saturated, through and through, with the spirit of the physical sciences. | |
From: Charles Sanders Peirce (Concerning the Author [1897], p.1) |
18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
Full Idea: On an intuitionistic view, neither the truth-value of a statement nor any other mathematical entity can be given as the final result of an infinite process, since an infinite process is precisely one that does not have a final result. | |
From: Michael Dummett (Elements of Intuitionism (2nd ed) [2000], p.41), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.3 | |
A reaction: This is rather a persuasive reason to sympathise with intuitionism. Mathematical tricks about 'limits' have lured us into believing in completed infinities, but actually that idea is incoherent. |
13831 | 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. |
13825 | 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] |
13823 | 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) |
14768 | Infallibility in science is just a joke [Peirce] |
Full Idea: Infallibility in scientific matters seems to me irresistibly comical. | |
From: Charles Sanders Peirce (Concerning the Author [1897], p.3) |
14765 | Association of ideas is the best philosophical idea of the prescientific age [Peirce] |
Full Idea: The doctrine of the association of ideas is, to my thinking, the finest piece of philosophical work of the prescientific ages. | |
From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
14766 | Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce] |
Full Idea: The works of Duns Scotus have strongly influenced me. …His logic and metaphysics, torn away from its medievalism, …will go far toward supplying the philosophy which is best to harmonize with physical science. | |
From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |