De la Logique Combinatoire des Generales Inquisitiones aux Calculs Combinatoires Contemporains

Abstract

[ES] En su ensayo de 1686 GI Leibniz trató de reducir las oraciones a locuciones nominales, la verdad al ser. Tal reducción surgió de su ecuación entre prueba y análisis conceptual. Hasta cierto punto el cálculus lógico de Leibniz suministra un modo razonable de superar la dicotomía, permitiendo una reducción de los enunciados hipotéticos a enunciados categóricos. Sin embargo, produce un resultado desastroso, a saber: cuando A es posible y también lo es B, puede haber una entidad que sea a la vez A y B. A pesar de eso, Leibniz fue con las GI el precursor de la lógica combinatoria del siglo XX, la cual practica (¡con éxito!) -y q veces por razones no tan alejadas de los motivos de Leibniz- reducciones como las que él trató de llevar a cabo.

[EN] In his 1686 essay GI Leibniz undertook to reduce sentences to noun-phrases, truth to being. Such a reduction arose from his equating proof with conceptual analysis. Within limits Leibniz's logical calculus provides a reasonable way of surmounting the dichotomy, thus allowing a reduction of hypothetical to categorical statements. However it yields the disastrous result that, whenever A is possible and so is B, there can be an entity being both A and B. Yet, Leibniz was in the GI the forerunner of 20th century combinatory logic, which (successfully!) practices -sometimes for reasons not entirely unlike Leibniz's own grounds- reductions of the same kinds he tried to carry out.