para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio de uma breve análise das idéias de Post, Church, Gödel e Turing sobre a possibilidade de formalização do pensamento criador na matemática, enfatizando as contribuições deste último.

En este texto retomo una pregunta importante que había quedado abierta al final del segundo capítulo de mi (2019): ¿cuáles son los límites del análisis? Sabemos que por obvias limitaciones materiales, todo análisis siempre será incompleto y por lo tanto, limitado. A estos límites les hemos llamado “metodológicos”, para distinguirlos de los metafísicos. Si el análisis tiene límites en este segundo sentido, aun si termináramos de analizar por completo un concepto, no podremos estar seguros de conocer todas sus propiedades esenciales (...) (ya que hay propiedades de este tipo que no las capta ningún análisis) o de ser capaces de distinguirlo de todos los conceptos (pues lo que lo distingue de otros conceptos puede ser inanalizable). Comúnmente se dice que el análisis no nos da todo el contenido de los conceptos, sino sólo su forma lógica o estructura semántica. Por lo tanto, otra manera de reformular la pregunta por los límites del análisis es ¿cuál es la relación entre forma y contenido? (shrink)

Este trabajo tiene por objetivo examinar la idea de deducción metamatemática en el programa de Hilbert, mostrando su dependencia de conceptos gnoseológicos, tales como el de conocimiento intuitivo. También se comparará esta concepcion de la deducción con la fundamentación intuicionista de la logica. Sostendré que esta deducción metamatemática lleva a una caracterización de la logica como una teoría de las deducciones formales en un sentido particular.This paper aims to examine the idea of metamathematical deduction in Hilbert’s program showing its dependence (...) of epistemological notions, such as intuitive knowledge. This conception of deduction will be also compared with the intuitionistic foundation of logic. I will argue that this metamathematical deduction leads to a characterization of logic as a theory of formal deductions in a particular sense. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

O ficcionalismo, geralmente classificado como um tipo de nominalismo, apresenta como perspectiva precípua a tese de que os entes matemáticos são ficções. Para o ficcionalista, o discurso matemático é desprovido de conteúdo. Hartry Field, que é o principal defensor dessa concepção ontológica da matemática, contesta, em Science Without Numbers, a utilização de entes matemáticos na redação de teorias da física, alegando que a defesa mais plausível do realismo ontológico matemático é o argumento da indispensabilidade de Quine-Putnam. O ficcionalismo defendido por (...) Field nos permite, de acordo com Shapiro, classificá-lo no grupo filosofia-primeiro, ou seja, entre os filósofos que defendem que a filosofia deve ser responsável por legislar a respeito da prática matemática. Dessa forma, podemos considerar Field um revisionista epistemológico. Como se sabe, a dependência da ciência moderna em relação ao discurso matemático coloca a tese ficcionalista em xeque. Ainda assim, se partirmos dos pressupostos filosóficos da vertente formalista da filosofia da matemática, que concebe a matemática como constituída de um conjunto de regras sem significado que podem ser manipuladas de maneira puramente sintática, poderemos traçar importantes analogias entre matemática e ficção, tal como também entre metamatemática e metaficção. Para um formalista simpático à tese ficcionalista, o estatuto ontológico da matemática é semelhante ao das regras de um jogo de xadrez. (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...) de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)