A second reason Leibniz’s dream will never come true lies in the nature of formal logic: it is formal, blinkered from seeing anything but the symbols and their arrangement as they are laid out in front of the reasoner. It is blind to the content of the proposition—what those symbols mean, and the context and background knowledge that might be mixed into the deliberation.
