[ian_j_butler]

He did actually work with permutations and cycles in voting ( https://en.wikipedia.org/wiki/Dodgson's_method ) but it's combinatorial and not very group'y. Agree with comments that this is AI generated and that the highlighted stuff isn't necessarily interesting, deep, or correct.

As for the cat's smile, analytic philosophy substance/property stuff goes back to Leibniz if not Aristotle. Dodgeson basically predates much of Russel's career, but he could have been an influence on his idea of "bundles" and he definitely influenced Quine. He wrote a few textbooks if you want to dig into his research interests but IIRC it's more along the lines of Boole and DeMorgan, even if fictional fun is arguably anticipating the next wave. I linked the haddock's eyes elsewhere in thread.. good fun but also some rich implications. Since he's preoccupied with self-reference you could argue it anticipates Godel. https://en.wikipedia.org/wiki/Use%E2%80%93mention_distinctio...