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 |
| 21907 | We don't want another new set of categories; we want a variety of flexible categories [Deleuze, by May] |
| Full Idea: For Deleuze, the task is not one of replacing a single set of categories with another set. It is one of being able to create and move among various sets of categories, and even to cross between them. | |
| From: report of Gilles Deleuze (The Actual and the Virtual [1977]) by Todd May - Gilles Deleuze 4.05 | |
| A reaction: This sounds fun, but I'm not clear why we need this anarchic mix of categories. The motto of Deleuze seems to be 'at all costs, keep moving'. He loved the idea of nomads. Is Rimbaud our role model? The influence of Foucault is obvious. |
| 13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
| Full Idea: 'Ultimate sortals' are said to be non-subordinated, disjoint from one another, and uniquely paired with each object. Because of this, the ultimate sortal cannot be a satisfactory explication of the notion of an ontological category. | |
| From: comment on David Wiggins (Identity and Spatio-Temporal Continuity [1971], p.75) by Jan Westerhoff - Ontological Categories §26 | |
| A reaction: My strong intuitions are that Wiggins is plain wrong, and Westerhoff gives the most promising reasons for my intuition. The simplest point is that objects can obviously belong to more than one category. |