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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados