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)

A noção de objecto abstracto desempenha um papel central em diferentes debates filosóficos contemporâneos, da metafísica à estética, passando pela filosofia da linguagem. A sua origem está contudo relacionada com a filosofia da matemática e em particular, com o trabalho de Frege nos fundamentos da aritmética. O nosso primeiro objectivo será assim o de explicar o contributo desta noção para o entendimento Fregeano da realidade matemática. Veremos também que, em virtude de certas dificuldades inerentes ao projeto Fregeano, a dada altura (...) a natureza do universo matemático passou a ser entendida nos termos da chamada teoria dos conjuntos. Com este material à nossa disposição, podemos então discutir o papel desempenhado pela noção de objecto abstracto em certos debates filosóficos contemporâneos. Em particular, procuraremos ilustrar o interesse actual da noção, discutindo a distinção abstracto/concreto. (shrink)