Buscar
Mostrando ítems 31-40 de 887
Logics of formal inconsistency
([s.n.], 2005)
La contrastación de teorías inconsistentes no triviales
(Universidad Nacional Mayor de San MarcosPE, 2020)
Estudia la posibilidad lógica de contrastar teorías fácticas que son inconsistentes, pero no triviales. En particular, indaga si tales teorías pueden satisfacer o no el principio de refutabilidad de Popper. Cuando se aplica ...
Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden
(Universidad Nacional Mayor de San MarcosPE, 1974)
Trata sobre los problemas en la lógica y en las matemáticas y sus posibles soluciones. Presenta el método de "Procedimiento desisorio", "Método afectivo" o "Algoritmo"; los cuales sirven para cierto tipo de problemas, ...
Paraconsistencia e modalidadeParaconsistency and modality
([s.n.], 2009)
Lógica universal y metafísica analítica: ejercicios para una nueva cartografía ontológica
(Universidad de Chile, 2014)
El objetivo de este trabajo es hacer una aproximación al problema de la relación entre las
llamadas “leyes lógicas” y la metafísica analítica, desde la perspectiva novedosa de los adelantos en
Lógica Universal. Se espera ...