1. in your original statement, you just name-dropped philosophers' names assuming that I'd understand what aspect of their work you were thinking of. Similarly, you can't say "use Galois theory" when you are actually thinking of drawing Galois correspondences between lattice-like structures.
2. Don't forget that notions like and Galois connections are today well-defined notions in terms of modern-day mathematical objects in turn relying on first-order logic or similar... whereas they were just beginning to explicate parts of logic.
Right, I'm not saying they should've come up with it; I'm just saying that knowing what we know now it's possible to reconcile them.
(in my original statement, I didn't want to go into detail in case you weren't interested; typing costs my time, and the last two times I've attempted to discuss this on HN it's been crickets)
1. in your original statement, you just name-dropped philosophers' names assuming that I'd understand what aspect of their work you were thinking of. Similarly, you can't say "use Galois theory" when you are actually thinking of drawing Galois correspondences between lattice-like structures.
2. Don't forget that notions like and Galois connections are today well-defined notions in terms of modern-day mathematical objects in turn relying on first-order logic or similar... whereas they were just beginning to explicate parts of logic.