Gottfried Wilhelm Leibniz: verschil tussen versies

Naar navigatie springen Naar zoeken springen
Geen verandering in de grootte ,  10 jaar geleden
 
=== Logica ===
LiebnizLeibniz is de grondlegger van de logische formalisme. Hij kende als geen ander de effectiviteit van de objectieve wiskunde en hij probeerde een manier te vinden om het wiskundige methodiek te gebruiken om conflicten te beslechten.
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.
Anonieme gebruiker

Navigatiemenu