Buscar
Mostrando ítems 1-2 de 2
Artículo
La lógica matemática: una disciplina en busca de encuadre
(Centro de Análisis, Lógica e Informática Jurídica y Universidad del País Vasco, 2010)
Se ofrece un análisis de las transformaciones disciplinares que ha experimentado la lógica matemática o simbólica desde su surgimiento a fines del siglo XIX. Examinaremos sus orígenes como un híbrido de filosofía y ...
Artículo
Notes on types, set and logicism, 1930-1950
(Centro de Análisis, Lógica e Informática Jurídica y Universidad del País Vasco, 1997)
The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and 40s before the reign of ...