English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/10603
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Ver citas en Google académico
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar otros formatos: Exportar EndNote (RIS)Exportar bibText (RIS)Exportar csv (RIS)
Título

De la Logique Combinatoire des Generales Inquisitiones aux Calculs Combinatoires Contemporains

Autor Peña, Lorenzo
Palabras clave Leibniz, Gottfried Wilhelm
Reducción
Oraciones
Locuciones nominales
Verdad
Ser
Prueba
Análisis conceptual
Cálculo lógico
Enunciados hipotéticos
Enunciados categóricos
Lógica combinatoria
Reduction
Sentences
Noun-phrases
Truth
Being
Proof
Conceptual analysis
Logical calculus
Hypothetical statements
Categorical statements
Combinatory logic
Fecha de publicación oct-1991
EditorUniversidad del País Vasco
Citación Theoria 14-15, pp. 129-159 (1991)
Resumen[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.
Descripción 31 págs.-- Une partie des idées contenues dans cet article furent exposées —sous une forme très différente cependant— dans une communication de l’auteur présentée au Colloque International sur Leibniz, à Madrid, le 22-09-1989.
URI http://hdl.handle.net/10261/10603
ISSN0495-4548
Aparece en las colecciones: (CCHS-IFS) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
generinq.pdf149,35 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.