The weaker claim that I could make here is that this is only true typically — i.e., that “if \(P\) is infinite, then”how should one do \(P\)?” is usually also infinite. I think the weaker claim would be fine to support the rest of the discussion, but I’ve decided to go with the stronger claim for now as it still seems plausible. To adapt an ancient biology olympiad adage: it might be that all universally quantified statements are false, but the ones that are nearly true are worth their weight in gold. Anyway, I admit that the claim being true ends up depending on how one measures progress on a problem (as discussed briefly also in the last item), which I haven’t properly specified. For these notes, I would like to keep getting away with saying we’re measuring progress in some intuitive way which is like the way mathematicians measure progress when saying math is infinite.↩︎
I think the metaethical problem of providing sth like axioms for ethics is also infinite, despite the fact that it could be reasonable to consider the analogous problem for math finite given that we can develop (almost) all our math inside [first-order logic]+ZFC. One relevant difference between this metamathematical problem and this metaethical problem is that any system which supports sufficiently rich structure can be a fine solution to the metamathematical problem because we can then probably make \(\approx\)all our mathematical objects sit inside that system, whereas it is far from being the case that anything goes to this extent for the metaethical problem — it being fine to use the hypothetical ethical system to guide action feels like a much stricter requirement on it, and in fact probably entangles the choice with ethics sufficiently to make this problem infinite, also. Additionally, it being imo plausibly infinite to make some decision on what the character of value is also pushes this metaethical problem toward infinitude. What’s more, such a formal system would not only need to “contain” our values, but also our understanding (I will talk more about this in a later note), but our understanding is probably not something on which any fixing decision should ever be made because we should remain open to thinking in new ways, so any hypothetical such system would be going out of date after it is created (at least in its “understanding-component”, but I also doubt a principled cleavage can be made (I’ll discuss various reasons in upcoming notes)). Also, our understanding and values at any time \(t\) are also probably much too big for us to see properly at that time \(t\), as well as not in a format to fit in any canonically-shaped such system. That said, there is a “small problem of providing an ethical system” which just asks for any kind of “system” which is sorta fine to give control to according to one’s values (relative to some default), which is solvable because e.g. humanity-tomorrow will be such a system for humanity.↩︎
By \(E\) reducing to \(F\), I roughly mean the usual thing from computer science: that there is a cheap/easy way to get a solution to \(E\) from a solution to \(F\); this implies that if you could solve \(F\), you could also solve \(E\). If we conceive of each endeavor as consisting of collecting/solving some kinds of pieces, then we could also require a piece-wise map here: that for each piece of \(E\), one can cheaply specify a piece of \(F\) such that having solved/collected that piece of \(F\) would make it cheap for one to solve/collect that piece of \(E\) as well. I’m adding the further condition that the reduction be “faithful” to rule out cases where a full solution to \(F\) would give you a solution to \(E\), but one can nevertheless get a positive fraction of the way in \(F\) without doing anything remotely as challenging as \(E\) — for example, take \(F\) to be the disjoint union of playing a game of tic-tac-toe and math, with equal total importance assigned to each, and take \(E\) to be math. I’m not sure what I should mean by a reduction being “faithful” (a central criterion on its meaning is just to make the statement about transferring infinitude true), but here are a few alternatives: (1) If we can think of \(E\) and \(F\) in terms of collecting pieces with importance-measures in \(\mathbb{R}^{\geq 0}\), then it would be sufficient to require that the reduction map doesn’t distort the measures outrageously. (2) We could say that any \([\geq\frac13]\)-solution of \(F\) would cheaply yield a \([\geq c]\)-solution (with \(c>0\)) of \(E\), or that any way to remotely-well-solve \(F\) would cheaply give rise to a way to remotely-well-solve \(E\), but this is plausibly too strong a requirement. (3) We could say that if there were a \([\geq\frac13]\)-solution of \(F\), there would be another solution of \(F\) which isn’t “infinitely many times more challenging (to find)” which would cheaply yield a \([\geq c]\)-solution (with \(c>0\)) of \(E\). In other words, we’d say that there is a reasonably economical way to go about \([\geq \frac13]\)-solving \(F\) which would involve \([\geq c]\)-solving \(E\) as well. Actually, for most infinitude-transfers one might want to handle with this rule, I think it might also be fine to do without a “precise” statement, just appealing to how \(F\) is intuitively at least as challenging as \(E\).↩︎
Any non-infinitesimal fraction should definitely count as a “decently big part”; the reason I didn’t just say “positive fraction” to begin with is that I’d maybe like this principle to also helpfully explain why some sufficiently big infinitesimal fractions of infinite problems are infinite.↩︎
a footnote analogous to the first footnote about the first item on this sublist↩︎
Is the infinitude of “how should one think?” the “main reason” why philosophy is infinite? Is it the main reason for most particular infinite philosophical problems being infinite? I would guess that it is not — that there are also other important reasons; in particular, if a philosophical problem is infinite, I would expect there to at least also be some reason for its infinitude which is “more internal to it”. In fact, I suspect that clarifying the [reasons why]/[ways in which] endeavors can end up infinite is itself an infinite endeavor :).↩︎
In addition to stuff done by people canonically considered philosophers (who have also made a great deal of progress), I’d certainly include as central examples of philosophical progress many of the initial intellectual steps which led to the creation of the following fields: probability and statistics, thermodynamics and statistical mechanics, formal mathematical logic, computability and computer science, game theory, cybernetics, information theory, computational complexity theory, AI, machine learning, and probably many others; often, this involved setting up an arena in which one could find clear/mathematical counterparts to some family of previously vague questions. (I’d also consider many later intellectual steps in these fields to be philosophical progress.)↩︎
Doing some amount of the inside thing is hard to avoid because we can’t access ourselves except from the inside, and even if we had some other access channel, we’d struggle to operate well on an aspect of ourselves except by playing around with it on the inside a bunch — think also about eg how to help someone out of a confusion (about a theorem, say), it can help to try to think in that confused way yourself, and eg how playing a game (or at least seeing it played) is centrally good for improving it. Some amount of the outside thing is also usually unavoidable — we are reflective by default and that’s good — think eg about how it is actually good/necessary to also look at a game from the outside to improve it, not to just keep playing it (though a human will of course be doing a great deal of looking at the game even when just playing it), and about why it’s good that we are able to talk about propositions and not solely about more thingy things (or, well, about why it’s good we can turn propositions into ordinary thingy things)8.↩︎
Really, I’m somewhat unhappy with the language I have here — “how should thinking work?” sounds too much like we’re only taking the external position. I would like to have something which makes it clearer that we have here is like a game at once played and improved.↩︎