Repositorio de producción científica de la Universidad de Sevilla

Notes on types, set and logicism, 1930-1950


Advanced Search
Opened Access Notes on types, set and logicism, 1930-1950
Show item statistics
Export to
Author: Ferreirós Domínguez, José Manuel
Department: Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia
Date: 1997
Published in: Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia, 12(28), 91-124
Document type: Article
Abstract: 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 first-order logic, and the closely connected issue of the fate of logicism. After a brief presentation of the emergence of logicism, set theory, and type theory (with particular attention to Carnap and Tarski), Quine’s work is our central concern, since he was seemingly the most outstanding logicist around 1940, though he would shortly abandon that view point and promote first order logic as all of logic. Quine’s class-theoretic systems NF and ML, and his farewell to logicism, are examined. The last section attempts to summarize de motives why set theory was preferred to order systems, and first order logic won its position as the paradigm logic system after the great War.
Size: 3.378Mb
Format: PDF


This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)