OP you might be interested in the analytic philosophy of Frege, Russell, Wittgenstein, etc. Part of the idea was that if you could reduce statements in philosop

OP you might be interested in the analytic philosophy of Frege, Russell, Wittgenstein, etc. Part of the idea was that if you could reduce statements in philosophy to a type of formal logic, you could solve all these long standing questions just like solving a mathematical expression. Spoiler alert: the whole thing falls apart because of the way language is actually used, and because of Gödel’s incompleteness theorem.