La lógica matemática: una disciplina en busca de encuadre



Published 27-09-2010
José Ferreirós


We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation attained under the label "logic and foundations," a second wave of institutionalisation in the Postwar period, and the institutional developments since 1975 in connection with computer science and with the study of language and informatics. Although some "internal history" is discussed, the main focus is on the emergence, consolidation and convolutions of logic as a discipline, through various professional associations and journals, in centers such as Torino, Göttingen, Warsaw, Berkeley, Princeton, Carnegie Mellon, Stanford, and Amsterdam.

How to Cite

Ferreirós, J. (2010). La lógica matemática: una disciplina en busca de encuadre. THEORIA. An International Journal for Theory, History and Foundations of Science, 25(3), 279–299.
Abstract 924 | PDF Downloads 875



Modern logic, logic as discipline, institutionalisation, philosophy of logic, foundations of mathematics, logic and computer science, logic and linguistics