To what extent did Leibniz impact Frege and the other architects of analytic philosophy? Isn't Begriffsschrift a similar project?
To what extent did Leibniz impact Frege and the other architects of analytic philosophy? Isn't Begriffsschrift a similar project?
The research on this problem eventually led to the invention of Lambda calculus and the Turing machine (formal languages for computing), which proved that such a project is impossible, as on some inputs they infinitely recurse and can’t output True or False.
https://en.wikipedia.org/wiki/Entscheidungsproblem
The source is Martin Davis, 2000, Engines of Logic
???
Your brain also doesn’t infinitely recurse as it doesn’t have infinite time or space.
A machine that given a logical statement outputs whether the statement is universally valid is impossible, ergo all mechanisms that don’t output true or false given a logical statement are impossible??