[foldr]

Philosophy is also much more formal than it was 1000 years ago (e.g. compare [1] to [2]). Indeed, the formalization of mathematics was driven by philosophers trying to put mathematical reasoning on an adequate foundation.

[1] https://mally.stanford.edu/Papers/ontological.pdf

[2] https://sourcebooks.fordham.edu/basis/anselm-proslogium.asp