Artículo
Notes on types, set and logicism, 1930-1950
Autor/es | Ferreirós Domínguez, José Manuel |
Departamento | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia |
Fecha de publicación | 1997 |
Fecha de depósito | 2016-03-14 |
Publicado en |
|
Resumen | 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 ... 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Notes on types.pdf | 3.378Mb | [PDF] | Ver/ | |
Este registro aparece en las siguientes colecciones
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Items relacionados
Enseñando items relacionados por título, autor, creador y materia.
-
Artículo
La lógica matemática: una disciplina en busca de encuadre
Ferreirós Domínguez, José Manuel (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 ...
-
Ponencia
Prospects for practice-based philosophy of logic
Ferreirós Domínguez, José Manuel (Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)We explore prospects for practice-based approaches to logical theory, in particular the link between classical and ...
-
Artículo
La herencia oscura del logicismo
Ferreirós Domínguez, José Manuel (Editorial de la Universidad Nacional de Tres de Febrero. Editorial de la Universidad Nacional de Quilmes, 2020)El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación ...