Buscar
Mostrando ítems 1-10 de 13
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
Artículo
Sistemas de lógica en la investigación de fundamentos
(Universidad de Sevilla, 1994)
Artículo
Abducción en modelos finitos
(Universidad Nacional Autónoma de México, 2008)
Este artículo presenta un acercamiento a la resolución de problemas abductivos en C-estructuras, estructuras que tienen un universo de discurso finito y cada uno de sus elementos es la interpretación de una constante ...
Artículo
Giro dinámico y lógica de la investigación científica
(Universidad de Valparaíso (Chile), 2019)
Para presentar la incidencia del giro dinámico en la lógica de la investigación científica, en este artículo comenzamos con una sección que trata de los juegos lógicos como desencadenantes de este giro dinámico en la lógica ...
Artículo
Tablas semánticas y metalógica: (El caso de la lógica de segundo orden)
(Universidad Autónoma Nacional de México, 1999-12)
Beth's method of semantic tableaux has been utilized in first order logic to obtain some results. From a metalogical point of view, a known result can be proved: completeness of first order logic. Can we extend this method ...
Artículo
Sistemas de cálculo como formas de Logicismo
(Universidad Nacional Autónoma de México, 1993)
The logicism may be regarded like a fossil stone that has not utility nowadays. In this sense, logicism took care of the research about the foundations of mathematics but apparently its task arrived at its end many years ...
Artículo
Constructing inferential contexts
(Universidade Estadual de Campinas, Centro de Logica Epistemologia e Historia da Ciencia, 2008)
Artículo
Las interpretaciones normales
(Universidad de Sevilla, 1992)
Artículo
Nociones logicistas en filosofía de la matemática
(Universidad Nacional Autónoma de México, 1993)
The point of view according to which logic has priority over mathematics has been maintained by some philosophers and mathematicians in two senses: a strong view and a weak view. Both of them are logicist: The first one ...
Artículo