3 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
21548 | The null class is the class with all the non-existents as its members [MacColl, by Lackey] |
Full Idea: In 1905 the Scottish logician Hugh MacColl published a paper in which he argued that the null class in logic should be taken as the class with all the non-existents as its members. | |
From: report of Hugh MacColl (Symbolic Reasoning [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.95 | |
A reaction: For the null object (zero) Frege just chose one sample concept with an empty extension. MacColl's set seems to have a lot of members, given that it is 'null'. How many, I wonder? Russell responded to this paper. |
5997 | Dicaearchus said soul does not exist, but is just a configuration of the body [Dicaearchus, by Fortenbaugh] |
Full Idea: Dicaearchus advanced the view that mind and soul do not exist; there is only body configured in a certain way. | |
From: report of Dicaearchus (On the Soul (frags) [c.320 BCE]) by William W. Fortenbaugh - Dicaearchus | |
A reaction: Pure eliminativism! It is hard to find even ruthless modern physicalists taking such a bold view. Note that he is a pupil of Aristotle, and this does not sound like a major disagreement with his teacher's views. |