Settling Arguments by Calculation
Could a disagreement about anything be settled the way a sum is checked? Leibniz planned a language of signs in which two disputants would simply sit down and calculate.
The argument climbs in steps: happiness requires lasting contentment, contentment requires assurance about God and the soul, that assurance requires science, and science requires demonstration. Only mathematicians have managed demonstrations everyone accepts, because a false theorem can be caught cheaply, with ink and paper, by testing the calculation on the symbols instead of the things. Signs that expressed all our thoughts as exactly as numbers express quantities would do the same for every question that depends on reasoning. Such a language would be hard to make and easy to learn, and nobody could write in it about what they did not understand.
- universal language
- symbolic reasoning
- formal reasoning
- calculation
- demonstration
- verification
- mathematics
- reasoning
- representation
- consensus
- ambiguity
- happiness
- common good
- human progress
Enter a dialogue
- We check a sum with figures on paper, never with heaps of pebbles. What could do that for an argument about God or the soul?
- Many disputes are about what people want, not what follows from what. How could any calculation settle those?
- An exact language would shut the mouths of the ignorant, yet teach anyone who writes in it. Is it a muzzle or a school?
- You made happiness depend, step by step, on demonstration. Isn’t that asking too much of reason?
- A telescope sharpens sight, and this language would do as much for reason. Which things would reason then see that it cannot see now?