http://metatheoria.com.ar/index.php/m/issue/feed Metatheoria – Revista de Filosofía e Historia de la Ciencia 2020-09-08T18:39:43+00:00 Metatheoria - Secretaría de redacción redaccion@metatheoria.com.ar Open Journal Systems <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;"><em>Metatheoria </em><em><span style="font-style: normal;">es una revista científica de libre acceso editada por el Programa de Posgrado en Filosofía e Historia de la Ciencia de la Universidad Nacional de Tres de Febrero (UNTREF) y el Centro de Estudios de Filosofía e Historia de la Ciencia (CEFHIC) de la Universidad Nacional de Quilmes (UNQ).</span></em></p> <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;"><em>Metatheoria </em><em><span style="font-style: normal;">publica trabajos en el ámbito de la "Filosofía de la Ciencia", entendida en sentido amplio, que incluye no sólo enfoques "sistemáticos", "sincrónicos" o aun "formales", sino también "históricos" y "diacrónicos", en el sentido de "Epistemología Histórica" o "Historia de la Ciencia escrita con mirada filosófica", en español, inglés y portugués.</span></em></p> <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;">La precisión conceptual, la originalidad y el rigor son requisitos esenciales de los trabajos que se aceptan para ser publicados.</p> <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;"><em>Metatheoria</em> aparece semestralmente en los meses de abril y octubre. </p> <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;">Esta publicación es de interés para investigadores en filosofía e historia de la ciencia, así como para científicos e individuos dedicados a la enseñanza y comunicación pública de la ciencia y ciudadanos, gestores y políticos que hacen uso de la ciencia.</p> <p style="text-align: justify; margin: 12.0pt 0cm 12.0pt 0cm;"><em>Metatheoria</em> no cobra por postular, procesar, publicar o leer manuscritos.</p> <p style="text-align: justify; margin: 12.0pt 0cm 0cm 0cm;"><strong><em>Metatheoria</em> está indizada y catalogada en: </strong><span style="font-weight: bolder;">EBSCOHost, </span><span style="font-weight: bolder;">MIAR, </span><span style="font-weight: bolder;">Latindex Catálogo 2.0, </span><strong>Philosopher's Index</strong><span style="font-weight: bolder;">,</span><span style="font-weight: bolder;"> </span><span style="font-weight: bolder;">PhilPapers</span><strong>, RIDAA, ROAD.</strong></p> http://metatheoria.com.ar/index.php/m/article/view/211 La fundamentación logicista de la matemática 2020-09-08T18:35:38+00:00 Rudolf Carnap redaccion@metatheoria.com.ar 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/212 La fundamentación intuicionista de la matemática 2020-09-08T18:36:04+00:00 Arend Heyting redaccion@metatheoria.com.ar Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/213 La fundamentación formalista de la matemática 2020-09-08T18:36:36+00:00 Johann von Neumann redaccion@metatheoria.com.ar 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/206 Joe Sneed, in memoriam 2020-09-08T18:29:13+00:00 C. Ulises Moulines moulines@slrz.uni-muenchen.de Joe Sneed, in memoriam 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/207 El simposio de Königsberg sobre fundamentos de la matemática en perspectiva 2020-09-08T18:31:38+00:00 Oscar M. Esquisabel omesqui@gmail.com Javier Legris javier.legris@fce.uba.ar <p>Este volumen de <em>Metatheoria</em> incluye traducciones al castellano de los tres famosos trabajos sobre las escuelas de fundamentos de la matemática, el logicismo, el intuicionismo y el formalismo, expuestos en el Simposio de Königsberg sobre Fundamentos de la Matemática en septiembre de 1930, y que fueron finalmente publicados en la revista <em>Erkenntnis </em>en 1931. Los tres constituyeron un hito en la filosofía de la matemática del siglo pasado. En esta introducción a las traducciones, los compiladores del volumen esbozan el contexto histórico en el cual se concibieron los trabajos originales e incluyen detalles de su publicación original. También ponen de relieve el papel decisivo que tuvieron en la filosofía de la matemática del siglo pasado. Se hace un resumen de sus contenidos, y se discuten las ideas subyacentes del Círculo de Viena acerca de la naturaleza de la matemática y el impacto de los teoremas de Gödel en los programas de fundamentos. Además, se hace una breve introducción a las contribuciones originales que siguen en el volumen a las traducciones.</p> 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/208 La herencia oscura del logicismo 2020-09-08T18:39:43+00:00 José Ferreirós josef@us.es <p>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 <em>evitar</em> algunas de sus implicaciones.</p> 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/209 La constitución del programa de Hilbert 2020-09-08T18:32:51+00:00 Max Fernández de Castro xamf_mx@yahoo.com Yolanda Torres Falcón yolatorresfalcon@gmail.com <p>En las páginas que siguen pretendemos dar una visión panorámica y esquemática de la evolución del programa formalista que resulta de los estudios recientes de notas de curso hasta hace poco inéditas. Analizaremos primeramente ciertos elementos del programa (la preferencia por el método axiomático, el estructuralismo y el logicismo). En segundo lugar observaremos cómo, una vez el programa establecido en 1920 (aunque con cierta vaguedad), diversos finitismos con una base común fueron ensayados por Hilbert y Bernays hasta 1931, en una tentativa por definir con precisión su programa y llevarlo a buen término. El resultado es el de un complejo programa de investigación en continua evolución.</p> 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia http://metatheoria.com.ar/index.php/m/article/view/210 A propósito del formalismo de Johann von Neumann 2020-09-08T18:35:07+00:00 Abel Lassalle Casanave abel.lassalle@gmail.com Luiz Carlos Pereira luiz@inf.puc-rio.br <p>En 1930, Johann von Neumann, junto con Rudolf Carnap y Arend Heyting, participó de un evento realizado en Königsberg llamado “Segundo Seminario sobre Epistemología de las Ciencias Exactas”. La idea por detrás de la reunión de esos tres investigadores era presentar un cuadro suficientemente fiel de los tres programas de fundamentación de la matemática existentes al momento: el formalismo, el logicismo y el intuicionismo. El principal objetivo de este artículo es proponer un análisis del texto “La fundamentación formalista de la matemática” presentado por von Neumann en el mencionado seminario. Tratamos de mostrar como desde la perspectiva de von Neumann el problema de la consistencia de las teorías matemáticas es resultado de la transformación de una cuestión genuinamente filosófica en una genuina cuestión lógico-matemática y como una prueba de consistencia podía ser vista como la solución del problema fundacional. En la parte final del texto, presentamos algunas consideraciones acerca de las pruebas de consistencia de Gerhard Gentzen y su importancia para la teoría contemporánea de la demostración.</p> 2020-04-01T00:00:00+00:00 Derechos de autor 2020 Metatheoria – Revista de Filosofía e Historia de la Ciencia