期刊名称:Anales del Seminario de Historia de la Filosofía
印刷版ISSN:0211-2337
电子版ISSN:1988-2564
出版年度:2005
卷号:22
页码:139-156
语种:Spanish
出版社:Servicio de Publicaciones de la Universidad Complutense
摘要:El propósito de este trabajo es mostrar una estrategia general para construir y conectar criterios de logicidad. Se distinguen tres criterios parciales (transparencia para expresiones, neutralidad tópica para relación de consecuencia, y universalidad para teorías). A continuación se formula un criterio global que es cumplido por la lógica clásica y la lógica intuicionista.
其他摘要:The aim of this paper is show a global strategy for defining and connecting logical criteria. Three partial criteria are distinguished: transparency for expressions, topic neutrality for consequence relation, and universality for theories. A global criterion is suggested, and proved to be fulfilled by classical and intuionistic logic.
关键词:Logicidad; Constante lógica; Consecuencia lógica; Lógica intuicionista;Historia de la Filosofía