Learning from Condorcet on formal philosophy. (Theoria: A Swedish Journal of Philosophy, 2022)