[Leibniz] has the vision of a "scientia generalis" … [ref]. Within this "calculus ratiocinator" all true sentences would be mechanically … not, that means, if the sentence is true … effective procedure. Errors of reasoning would be pure …
Google-1
Google-2
Copyright clearance needed for quotation.