8 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 |
| 21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |
| Full Idea: Cantor proved that the number of sets in a collection of terms is larger than the number of terms. Hence Cantor's Paradox says the number of sets in the collection of all sets must be larger than the number of sets in the collection of all sets. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: The sets must count as terms in the next iteration, but that is a normal application of the Power Set axiom. |
| 21553 | It seems that the ordinal number of all the ordinals must be bigger than itself [Lackey] |
| Full Idea: The ordinal series is well-ordered and thus has an ordinal number, and a series of ordinals to a given ordinal exceeds that ordinal by 1. So the series of all ordinals has an ordinal number that exceeds its own ordinal number by 1. | |
| From: Douglas Lackey (Intros to Russell's 'Essays in Analysis' [1973], p.127) | |
| A reaction: Formulated by Burali-Forti in 1897. |
| 14348 | An 'antidote' allows a manifestation to begin, but then blocks it [Corry] |
| Full Idea: An 'antidote' (or 'mask') to a disposition (unlike a 'finkish' one) leaves the disposition intact, but interferes with the causal chain between the disposition and its manifestation so that the manifestation doesn't come about. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 2) | |
| A reaction: [He cites Bird 1997] Thus the disposition of the poison at least begins to manifest, but its disposition to kill is blocked. So what was the disposition of the poison? |
| 14347 | A 'finkish' disposition is one that is lost immediately after the appropriate stimulus [Corry] |
| Full Idea: An object's disposition is said to be 'finkish' if the object loses the disposition after the occurrence of the appropriate stimulus, but before the manifestation has had time to come about. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 2) | |
| A reaction: [He cites Lewis 1997] An example would be some sort of safety device which only cuts in if the disposition seems about to operate (e.g. turns off electricity). It seems to block analyses of dispositions simply in terms of their outcomes. |
| 14350 | If a disposition is never instantiated, it shouldn't be part of our theory of nature [Corry] |
| Full Idea: If we have no good reason to believe that a disposition is instantiated, then the disposition should play no role in our theorizing about the world. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 3) | |
| A reaction: It is part of our theory that a substantial lump of uranium will explode, but also that a galaxy-sized lump of uranium would explode. Surely we are committed to the latter, even though it never happens? |
| 14351 | Maybe an experiment unmasks an essential disposition, and reveals its regularities [Corry] |
| Full Idea: The dispositional essentialist can argue that what happens in laboratory conditions is that, by controlling external influences, we effectively 'unmask' the relevant dispositions, and thus observe the regularities to which those dispositions give rise. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 5) | |
| A reaction: That seems to me to be exactly right, though Corry dislikes it, and even suggests that dispositional essentialist might not like it. |
| 14346 | Dispositional essentialism says fundamental laws of nature are strict, not ceteris paribus [Corry] |
| Full Idea: Dispositional essentialism implies that the fundamental laws of nature must be strict, not ceteris paribus. | |
| From: Richard Corry (Dispositional Essentialism Grounds Laws of Nature? [2010], 1) | |
| A reaction: I am not keen on the 'laws' of nature, but since essentialism seems to make them necessary, you can't get stricter than that. |