Gottfried Wilhelm Leibniz: verschil tussen versies

 

=== Logica ===

Hij vatte een redenering of argumentatie op als een berekening. Hij ontwierp een objectieve symbolische taal waarin je een redenering kon opzetten. De gewone natuurlijke taal was ongeschikt omdat deze niet exact is en onderhevig is aan subjectieve interpretatie. Hierdoor is het ook vaak zelf de oorzaak van het conflict. Een objectieve wiskundetaal laat het toe om rekenregels te ontwerpen waarmee het mogelijk is het gelijk of ongelijk van een argumentatie te berekenen.

Leibniz' ideeën waren heel vooruitstrevend voor zijn tijd maar zijn logische formalisme was nog verre van compleet. Pas een kleine tweehonderd jaar later ontwierp George Boole het eerste volledige logische formalisme voor de propositielogica.