> > > "Calculemus!": Leibniz believed calculation would be the key to settling > all human disagreements. >
I will still be told that I am off topic, but Leibniz never said that all human problems would be settled by logic. On the contrary, he had a rather pessimistic philosophy (he was a Protestant): the world is the best of all possible worlds; that is to say, even if God is perfectly good, evil exists and will continue to exist because of the structure of reality that prevents God from doing better. It is true that he recommended an intensive use of formal logic in all sectors of human activity (philosophy and laws for example) but it was more like a way of not introducing more errors if they are avoidable. He gave the example of those trials where people were sentenced to death because of an error in the judge's reasoning. He also thought that formal logic allows people to understand each other better since there is no polysemy. His quarrels with Newton at the end of his life show that he may have gone a little too far. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2d957510-0110-4d1c-b569-0e77ed88f330%40googlegroups.com.
