Biblioteca Laura Manzo

La herencia oscura del logicismo

Fil: Ferreirós, José. Universidad de Sevilla. Departamento de Filosofía y Lógica; España.

Saved in:

Main Author:	Ferreirós, José
Format:	info:eu-repo/semantics/article
Language:	spa
Published:	Universidad Nacional de Quilmes 2020
Subjects:	Filosofía de las matemáticas Lógica Modelos Lógica de segundo orden Historia de la matemática Logicismo Philosophy of mathematics Logic Models Second-order logic History of mathematics Logicism Filosofia da matemática Lógica de segunda ordem História da matemática
Online Access:	http://ridaa.unq.edu.ar/handle/20.500.11807/2395
Tags:	Add Tag No Tags, Be the first to tag this record!

id	ir-20.500.11807-2395
recordtype	dspace
spelling	ir-20.500.11807-23952020-12-22T14:43:16Z La herencia oscura del logicismo The dark heritage of logicism Ferreirós, José Filosofía de las matemáticas Lógica Modelos Lógica de segundo orden Historia de la matemática Logicismo Philosophy of mathematics Logic Models Second-order logic History of mathematics Logicism Filosofia da matemática Lógica de segunda ordem História da matemática Fil: Ferreirós, José. Universidad de Sevilla. Departamento de Filosofía y Lógica; España. El logicismo suele figurar de modo estándar en los manuales como una de las principales alternativas en la fundamentación de las matemáticas, si bien su atractivo disminuyó considerablemente desde aprox. 1950. Bien es cierto que la corriente neologicista ha revitalizado dicha tendencia sobre la base del Principio de Hume y el Teorema de Frege, pero aún así el neologicismo se limita a la aritmética y no aspira a dar cuenta de la matemática en su conjunto. En este trabajo no pretendemos centrarnos en el logicismo clásico de Frege y Dedekind, ni en el período de Russell y Carnap, ni tampoco en la corriente neologicista, sino que nuestra intención es llamar la atención hacia determinadas herencias del logicismo que suelen pasar inadvertidas. En las décadas de 1920, 1930 y 1940 aprox., la tesis logicista estimuló algunas innovaciones de bastante calado en la lógica matemática. Concretamente, puede argumentarse que dos ideas clave ligadas a la semántica formal tienen su origen en la idea de lógica promovida por el logicismo: la expansión de la metamatemática operada por Tarski, que abrió el camino hacia la teoría de modelos; y la insistencia en la semántica “plena” o conjuntista como “estándar” para la lógica de segundo orden. El artículo propone un análisis de dichas herencias e insiste en que la teoría lógica debería evitar algunas de sus implicaciones. Logicism finds a prominent place in textbooks as one of the main alternatives in the foundations of mathematics, even though it lost much of its attraction from about 1950. Of course the neologicist trend has revitalized the movement on the basis of Hume’s Principle and Frege’s Theorem, but even so neologicism restricts itself to arithmetic and does not aim to account for all of mathematics. The present contribution does not focus on the classical logicism of Frege and Dedekind, nor on the Russell-Carnap period, and also not on recent neologicism; its aim is to call attention to some forms of heritage from logicism that normally go quite unnoticed. In the 1920s, 1930s and 1940s, the logicist thesis became a stimulus for some deep innovations in the field of mathematical logic. One can argue, in particular, that two key ideas linked with formal semantics had their origins in the conception of logic associated with the logicist trend – the expansion of metamathematics brought about by Tarski, opening the way to model theory, and the insistence on the “full” set-theoretic semantics as “standard” for second-order logic. The paper proposes an analysis of those inheritances and argues that that logical theory ought to avoid some of their implications. 2020-04-01 info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion http://ridaa.unq.edu.ar/handle/20.500.11807/2395 spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-nd/2.5/ar/ application/pdf Universidad Nacional de Quilmes Universidad Nacional de Tres de Febrero Metatheoria 1853-2322 (impresa) 1853-2330 (en línea)
institution	RIDAA UNQ
collection	DSpace
language	spa
topic	Filosofía de las matemáticas Lógica Modelos Lógica de segundo orden Historia de la matemática Logicismo Philosophy of mathematics Logic Models Second-order logic History of mathematics Logicism Filosofia da matemática Lógica de segunda ordem História da matemática
spellingShingle	Filosofía de las matemáticas Lógica Modelos Lógica de segundo orden Historia de la matemática Logicismo Philosophy of mathematics Logic Models Second-order logic History of mathematics Logicism Filosofia da matemática Lógica de segunda ordem História da matemática Ferreirós, José La herencia oscura del logicismo
description	Fil: Ferreirós, José. Universidad de Sevilla. Departamento de Filosofía y Lógica; España.
format	info:eu-repo/semantics/article
author	Ferreirós, José
author_facet	Ferreirós, José
author_sort	Ferreirós, José
title	La herencia oscura del logicismo
title_short	La herencia oscura del logicismo
title_full	La herencia oscura del logicismo
title_fullStr	La herencia oscura del logicismo
title_full_unstemmed	La herencia oscura del logicismo
title_sort	la herencia oscura del logicismo
publisher	Universidad Nacional de Quilmes
publishDate	2020
url	http://ridaa.unq.edu.ar/handle/20.500.11807/2395
_version_	1796766208120324096
score	10.277026

La herencia oscura del logicismo

Similar Items