Este trabajo se encuadra dentro de una nueva vision de la logica de Leibniz, la cual pretende mostrar que sus escritos fueron rieos no solamente en proyectos ambiciosos (Caracteristica Universal, Combinatoria, Mathesis) sino tambien en desarro-110s logico-matematieos concretos. Se demuestra que su" Caracteristica Numerica" que asigna pares de numeros a las proposieiones categoricas es una semantiea para la eual la silogistica aristotelica es correcta y completa, y que el sistema algebraico presentado en Fundamentos