Buscar
Mostrando ítems 11-20 de 2841
La resolución de problemas lógicos entre la lógica formal e informal
(Universidad Veracruzana, 2008)
Walter Redmond y la lógica escolástica en el Perú colonial
(Universidad Nacional de Cuyo. Facultad de Filosofía y Letras. Instituto de Filosofía Argentina y Americana, 2000)
La fenomenología genética en lógica formal y lógica trascendental: origen y legitimidad de la lógica formal
(Universidad Nacional de Colombia, 2006)
Retomando la distinción entre cuestiones de origen y cuestiones de legitimidad —o validez— del conocimiento, por medio de la cual (según una interpretación desarrollada por Gonzalo Serrano) Kant habría dirimido el conflicto ...
A lógica de Brouwer e o príncipio ex falso quodlibet
(Universidade Federal de Minas GeraisUFMG, 2018-02-20)
From both a historical and philosophical point of view, the development of intuitionist logic by Arend Heyting is usually justified as the formalization of L.E.J. Brouwers ideas on the nature of logic and its relationship ...
¿Por qué lógica y teoría de la argumentación?Why logic and argumentation theory?
(Universidad Autónoma de la Ciudad de México. Colegio de Humanidades y Ciencias Sociales, 2019)
Resumen: En este artículo nos proponemos indagar sobre la asociación, que hoy se da de hecho, en manuales, congresos, instituciones académicas entre lógica y la teoría de la argumentación. Nos preguntamos si el surgimiento ...
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Ante el Monumento Nacional
(Instituto Tecnológico de Costa Rica, 2013)
Infinity and the Mind
(Princeton University Press, 1995)
A lógica de Alice
(2011)