Buscar
Mostrando ítems 1-6 de 6
Artículo
Sistemas de lógica en la investigación de fundamentos
(Universidad de Sevilla, 1994)
Tesis Doctoral
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
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 ...