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 EndNote (RIS)Exportar EndNote (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
Editor: Universidad 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
ISSN: 0495-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.