Mostrar el registro sencillo del ítem
Artículo
Notes on types, set and logicism, 1930-1950
dc.creator | Ferreirós Domínguez, José Manuel | |
dc.date.accessioned | 2016-03-14T18:23:23Z | |
dc.date.available | 2016-03-14T18:23:23Z | |
dc.date.issued | 1997 | |
dc.identifier.issn | 0495-4584 | es |
dc.identifier.uri | http://hdl.handle.net/11441/38501 | |
dc.description.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. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Centro de Análisis, Lógica e Informática Jurídica y Universidad del País Vasco | es |
dc.relation.ispartof | Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia, 12(28), 91-124 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | mathematical logic | es |
dc.subject | logicism | es |
dc.subject | set theory | es |
dc.subject | simple type theory | es |
dc.subject | first-order logic | es |
dc.subject | NF | es |
dc.subject | ML | es |
dc.subject | philosophy of logic | es |
dc.subject | Platonism | es |
dc.subject | constructivism | es |
dc.subject | nominalism | es |
dc.subject | ‘bankruptcy theory’ | es |
dc.subject | paradoxes | es |
dc.subject | analyticity | es |
dc.subject | existential assumptions | es |
dc.subject | Gödel’s incompleteness theorem | es |
dc.subject | Ramsey | es |
dc.subject | Carnap | es |
dc.subject | Tarski | es |
dc.subject | Gödel | es |
dc.subject | Church | es |
dc.subject | Quine | es |
dc.subject | Rosser | es |
dc.subject | Wang | es |
dc.title | Notes on types, set and logicism, 1930-1950 | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/38501 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Notes on types.pdf | 3.378Mb | [PDF] | Ver/ | |