English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/10603
Share/Impact:
Statistics
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:

Title

De la Logique Combinatoire des Generales Inquisitiones aux Calculs Combinatoires Contemporains

AuthorsPeña, Lorenzo
KeywordsLeibniz, 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
Issue DateOct-1991
PublisherUniversidad del País Vasco
CitationTheoria 14-15, pp. 129-159 (1991)
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.
Description31 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.
URIhttp://hdl.handle.net/10261/10603
ISSN0495-4548
Appears in Collections:(CCHS-IFS) Artículos
Files in This Item:
File Description SizeFormat 
generinq.pdf149,35 kBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.