Para favorecer la interacción disciplinar y recuperar la dimensión práctica del conocimiento matemático en la escuela secundaria, Yves Chevallard plantea la necesidad de introducir en los programas de estudio la matemática mixta. La matemática mixta, cuyo apogeo tuvo lugar en Europa entre los siglos XVI y XVIII, se propone el abordaje de problemas surgidos por fuera de la propia matemática valiéndose de nociones mecánicas -como la de centro de gravedad y fuerza centrífuga- y del empleo de variados (...) instrumentos para realizar las construcciones requeridas. En este trabajo consideramos a la matemática mixta en la cultura matemática de la segunda mitad del siglo XVII y, en dicho contexto, presentamos dos casos de la práctica matemática de G. W. Leibniz en los que la investigación matemática involucra el diseño de máquinas. La consideración de tales casos permite situar a la matemática mixta, siguiendo la terminología de Ian Hacking, en un terreno medio entre representar e intervenir. El terreno medio entre representar e intervenir es un valle fértil donde la matemática aporta a, y se nutre de, una multiplicidad de otros dominios. También es una vía de acceso para historizar el conocimiento matemático, destacando las condiciones materiales para su desarrollo y el importante rol de los problemas. Palabras clave: Práctica matemática, Resolución de problemas, Siglo XVII, Máquinas, Cultura material. (shrink)

La presente investigación tiene como propósito general asumir un posicionamiento filosófico en clave histórico-social y de tipo anti-relativista para analizar el desarrollo histórico de la matemática, el cual aplicaremos a un caso en particular: la matemática del antiguo Egipto. Para ello se discutirán y criticarán, en primera instancia, determinadas posiciones filosóficas afines al cuasi-empirismo en matemática que, siendo relativistas, permitirán delinear nuestro propio posicionamiento en contraste: la existencia de una «matemática situada». Esta categoría filosófica tendrá como (...) sustento teórico la noción de conocimiento situado. Además, las implicaciones de esta son, según sostenemos, tanto filosóficas como historiográficas, ya que servirá para analizar las características del corpus de problemas matemáticos egipcios registrados en los diversos papiros matemáticos. En particular, haremos referencia a las expresiones lingüísticas egipcias para denotar las diversas operaciones aritméticas y el carácter algorítmico de los problemas, así como también la cuestión epistemológica de la empiria y cómo la perspectiva situada permite superar la dicotomía entre una matemática pura y otra aplicada, que consideramos no es ubicua para abordar la interpretación de la práctica matemática del antiguo país del Nilo. Palabras clave: Filosofía de la matemática, Anti-relativismo, Matemática situada, Extrañeza del pasado, Matemática egipcia. (shrink)

Aspetti filosofico-matematici dei celebri paradossi di Zenone di Elea.

● Un emplazamiento cualquiera (v. gr. sol en Tauro; Marte en Capricornio; Mercurio en la tercera casa) es necesariamente común a decenas de miles de personas. Saturno hospedado en la novena casa, por ejemplo, no se comportará de la misma manera o no producirá los mismos efectos en las veinte o cien cartas en que allí lo encontremos, sino en concordancia con el resto de la composición astrográfica (como hospedarnos en el mismo hotel en diferentes épocas o diferentes personas haber (...) contraído la misma enfermedad; nuestra estadía será diferente cada vez, según la época, y no todos los enfermos presentarán los mismos síntomas, según su metabolismo; por no mencionar que cada astrografía, como cada código o secuencia genética, es irrepetible). Ciertamente, “ningún planeta puede, por sí solo, producir lo que solamente la acción mancomunada o conjunta de todos puede” (BUSTAMANTE, 2023, revista SPICA, págs. 93-111). He aquí la naturaleza o condición sinérgica del ejercicio interpretativo (i.e., el todo es poco más que la suma de todas sus partes). ● El componente fundamental de la expresión matemática del ejercicio interpretativo lo constituye la triangulación astrológica, denominación funcional de lo que conocemos como síntesis (WEISS, 1946; LEO, 1983; HAND, 1981). ● Con el fin de demostrar su utilidad, así como la conveniencia de su expresión matemática, hemos escogido dos individuos (JEFFREY DAHMER, STEVEN SPIELBERG) cuyas astrografías no explican, según la comunidad, sus vidas. El resto de las astrografías corresponden a las de los asesinos en serie JOHN WAYNE GACY, DAVID CARPENTER y TED BUNDY. ● A través de notaciones algebraicas, explicamos la síntesis y los valores funcionales que la componen. ● Tomamos la luna y Neptuno como planetas relevantes a propósito del diagnóstico o el estudio de asuntos endocrinos o neurohormonales y a Marte, Plutón y Saturno como planetas relevantes a los fines de inferir violencia o comportamiento siniestro, según el caso, y las cuadraturas u oposiciones —y conjunciones— entre Venus y la luna, la luna y Neptuno o entre el sol o Venus y Neptuno o Urano como indicadores de desórdenes neurohormonales y/o de desviación sexual (definición APA) . ● Consideramos las cuadraturas u oposiciones —y conjunciones— entre: Mercurio o la luna y Saturno, o entre Marte o la luna y Saturno, Urano, Neptuno y/o Plutón como poderosos indicios de violencia o de desequilibrio, según el caso. ● También hemos considerado a Sagitario como un signo tan expansivo y abundante como su regente, Júpiter, según la mejor de sus caracterizaciones (o excepcionalmente raudo y salvaje, según otras), y a la quinta región de un mapa natal como una estrechamente relacionada con la fortuna en sentido amplio (material e inmaterial). ● Debido a que defendemos la idea según la cual los orbes deben predicarse del planeta (tamaño, velocidad), no del aspecto, a los gigantes gaseosos (Júpiter, Saturno, Urano y Neptuno) y al sol les hemos concedido hasta 10º de orbe (o 12º, en el caso de la influencia amplia ). ● Entendemos las relaciones aspectuales como relaciones angulares sostenidas entre dos o más cuerpos celestes emplazados en signos con al menos una propiedad en común (según nuestra teoría molecular de la eclíptica, compatible con la teoría óptica de los aspectos de la tradición helenística). (shrink)

La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon (...) originalmente para el desarrollo algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la celebración (...) del Día Mundial de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

Opinionated state of the art paper on mathematical explanation. After a general introduction to the subject, the paper is divided into two parts. The first part is dedicated to intra-mathematical explanation and the second is dedicated to extra-mathematical explanation. Each of these parts begins to present a set of diverse problems regarding each type of explanation and, afterwards, it analyses relevant models of the literature. Regarding the intra-mathematical explanation, the models of deformable proofs, mathematical saliences and the demonstrative structure of (...) mathematical induction are addressed. Regarding the extra-mathematical explanation, modal, abstract and deductive models are addressed. (shrink)

This paper aims to establish the importance of mathematical thinking in the work of Vilém Flusser. For this purpose highlights the concept of escalation of abstraction with which the Czech German philosopher finishes by reversing the top of the traditional pyramid of knowledge, we know from Plato and Aristotle. It also assumes the implicit cultural revolution in the refinement of the numerical element in a process of gradual abandonment of purely alphabetic code, highlights the new key code, together with the (...) technological and telematic culture and uses the concepts of game theory, of probability theory and computing to analize the society and culture. Of particular importance is the affirmation of a new kind of imagination, a projective one, ranging from the model to the world. Today's society and culture can´t be understood without resorting to the concepts and results coined and made ​​in the course of developing a type of thinking entirely dominated by the mathematics. The limits and boundaries of scientific disciplines overlap under number development, requiring reflection and rethinking traditional concepts of social and natural sciences. (shrink)

Il contributo consiste in una analisi e commento della prima sezione del De docta ignorantia di Nicola Cusano (capp. I-XVI), dedicata ai concetti di precisione matematica e di uguaglianza. Il saggio offre la possibilità di ripercorrere la teoria della conoscenza di Cusano, laddove l'impossibilità per la ragione di giungere ad una mens-ura precisa dell'oggetto da conoscere non si trasforma in una mera cultura del limite, bensì la filosofia negativa diviene base per la mistica. In altri termini l'obiettivo specifico del saggio (...) è rilevare come il metodo della dotta ignoranza apra alla conoscenza dell'infinito proprio nel momento in cui essa nega ogni conoscenza razionale precisa. La matematica diviene dunque il fondamento su cui far leva per innalzare la propria mente (transferre) verso la conoscenza simbolica di Dio, nel medesimo solco tracciato da Dionigi e dalla tradizione della mistica speculativa. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del (...) espacio topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (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)

En "Paraconsistencia y fundamentación de las matemáticas" se reformula un aspecto del programa formalista de Hilbert, problema clásico dentro del panorama de la filosofía de las matemáticas. Lo anterior se hace desde un enfoque no clásico de la lógica, particularmente desde LP de Priest. Finalizando el articulo se rescatan las virtudes de la reformulación de este problema clásico y se evalúa hasta qué punto puede ser posible hablar del programa formalista desde la luz de la aritmética inconsistente de Priest.

Aceasta nu este o carte de matematică, ci una despre matematică, care se adresează elevului sau studentului, dar şi dascălului său, cu un scop cât se poate de practic, anume acela de a iniţia şi netezi calea către înţelegerea completă a matematicii predate în şcoală. Tradiţia predării matematicii într-o abordare preponderent procedural-formală a avut ca efect o viziune deformată a elevilor asupra matematicii, ca fiind ceva strict formal, instrumental şi calculatoriu. Pierzând contactul cu baza conceptuală a matematicii, elevii dezvoltă pe (...) parcurs o "anxietate matematică" şi renunţă la a mai căuta înţelegerea matematicii, care devine "duşmanul tradiţional" din şcoală. Această lucrare şi-a propus materializarea rezultatelor cercetărilor inter- şi trans-disciplinare având ca obiect înţelegerea matematicii, care au concluzionat că domeniile care au potenţialul de a contribui în acest fel la educaţia matematicii, unificând abordările procedurală şi conceptuală, sunt epistemologia şi filosofia matematicii şi ştiinţei, precum şi fundamentele şi istoria matematicii. Aceste rezultate susţin teza că teama de matematică poate fi înlăturată prin abordarea conceptuală, iar un elev cu o bună înţelegere conceptuală va fi un rezolvitor de probleme mai bun. Autorul a identificat acele zone şi concepte aparţinând acestor discipline, care pot fi adaptate şi prelucrate în vederea familiarizării elevului sau studentului cu acest tip de cunoştinţe, care să însoţească conţinutul tradiţional al matematicii şcolare. Lucrarea a fost astfel organizată încât să contureze cititorului o imagine unificatoare asupra complexităţii naturii matematicii, precum şi o perspectivă conceptuală necesară, în final, înţelegerii de tip holistic a matematicii şcolare. Autorul vorbeşte despre matematică, pentru a convinge că a înţelege matematica înseamnă mai întâi să o înţelegem ca întreg, dar şi ca parte a unui întreg. Natura matematicii, conceptele sale primare (cum ar fi numerele şi mulţimile), structurile, limbajul, metodele, rolurile şi aplicabilitatea matematicii, sunt prezentate în conţinutul lor esenţial, iar explicarea conceptelor non-matematice este făcută într-un limbaj accesibil, însoţită de multe exemple relevante. Cartea este o unitate didactică concepută să reprezinte punctul de plecare şi un ghid de orientare către dobândirea înţelegerii de tip holistic a matematicii (pentru elev sau student) şi (pentru dascăl) către o predare de tip epistemic-conceptual, în care înţelegerea conceptuală este la fel de importantă ca antrenarea abilităţilor procedural-aplicative. (shrink)

O pensamento axiomático de Hilbert foi um influente modelo filosófico que motivou movimentos como o positivismo no início do século XX, em diversas áreas dentro, e fora, da filosofia, como a epistemologia e a metamatemática. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais, e pela visão positivista, (...) também a filosofia. Contudo, no caso mais específico da matemática, existe uma certa descomunicação entre os fundamentos da matemática e sua prática, onde métodos informais, ainda promovem elegantes ferramentas para matemáticos de diversas áreas, inclusive, quando certos paradigmas tentam ser quebrados. É exatamente esta assincronia entre os fundamentos da matemática, e a sua prática que iremos investigar neste estudo. Lawvere, insatisfeito com a “fundação não fundamentada” do método axiomático proposto por Hilbert, e inspirado pela dialética hegeliana, procurou revisar os fundamentos da matemática pela lógica categórica e a Teoria das Categorias. Vemos neste estudo, como as interpretações de Lawvere de conceitos da lógica de Hegel, como, equivalência, unidade dos opostos e “aufheben”, permitem uma nova abordagem matemática, com um posicionamento filosófico que procura, de certa forma, transcender a dicotomia entre escolas analíticas e continentais. Lawvere trata a lógica objetiva de Hegel como uma possível estratégia para resolver o problema de aterramento lógico em metafísica. Por fim, vemos como as contribuições de Lawvere para a axiomatização da lógica categórica tiveram impactos inovadores na metamatemática, especialmente no desenvolvimento das fundações univalentes de Vladimir Voevodsky. (shrink)

Las teorías que usamos para representar el mundo pueden ser extremadamente complejas. Abordan temas tales como electrones, campos cuánticos, estrellas de neutrones, materia oscura, redes neuronales, mercados económicos, la atmósfera y muchas otras entidades que suponemos existen en el universo. Al formular nuestras teorías, recurrimos a lenguajes exactos que nos permiten minimizar la vaguedad y expresarnos lo más precisa y cuantitativamente posible. Recurrimos a la matemática. Cuando formulamos nuestras teorías fácticas en lenguaje matemático, estas se refieren no solamente a (...) objetos que nosotros interpretamos como materiales, tales como partículas o personas, sino también a entidades más raras de un mundo abstracto: conjuntos, números, funciones, espacios algebraicos, variedades, topologías, y otras entidades similares. Estos objetos no son materiales en el sentido en que nosotros decimos que una manzana es material. Ellos no existen en el espacio-tiempo, no interactúan, no cambian o evolucionan. Sin embargo, allí están, profundamente arraigados en nuestras teorías más apreciadas acerca del mundo. (shrink)

El presupuesto según el cual el contenido de una manifestación compleja está en función de los contenidos de sus partes componentes, expresa claramente una intuición que solemos tener sobre lo múltiple; implica una reflexión sobre la relación entre el todo y las partes que lo componen; involucra una teoría de las multiplicidades que entraña atributos de naturaleza matemática; presenta el problema de cómo los seres humanos nos relacionamos con los entornos del mundo para generar unidad de sentido. La significación (...) es un proceso de síntesis. Y desentrañar los mecanismos de funcionamiento de dicho proceso es un enigma de carácter eminentemente fenomenológico. La matemática misma, como acto de significación, como conjunto de actos de contenidos intencionales, comparte este carácter y es susceptible de tratamiento fenomenológico. Noesis y semiosis se conjugan para dotar al saber matemático de un contenido, de articulación compleja, que trasciende las perspectivas meramente logicistas, formalistas o intuicionistas. Una primera aproximación a esta problemática es el propósito del presente trabajo. (shrink)

En las dos entregas anteriores abordamos el inicio de la evolución del pensamiento matemático, desde el uso de herramientas matemáticas para problemas de cálculo concreto en la antigua Babilonia, pasando por el inicio de las matemáticas abstractas, las demostraciones y el nacimiento de la “geometría por la geometría” desde la visión religioso-filosófica de Platón y los pitagóricos, hasta la síntesis de ambas visiones en las matemáticas de la India, China y el mundo árabe, que fue la puerta de entrada de (...) las matemáticas a Europa, alrededor del siglo XV. (shrink)

O presente artigo busca definir o movimento literário cyberpunk a partir da sua influência teórica vinda do campo da matemática. Utilizando a teorização interna ao movimento, centrada em Rudy Rucker, o objetivo aqui é entender como os campos da análise e dos fundamentos da matemática criam uma importante distinção entre os cyberpunks e as demais distopias literárias. Com isso, há a pressuposição de um movimento de uma crítica sociomatemática feita pelos cyberpunks cujos conceitos matemáticos tornam possível criticar o (...) tempo presente, bem como servir de divulgação científica. (shrink)

É bem conhecida a divergência entre as posições de Gottlob Frege e Bertrand Russell com relação ao tratamento semântico dado a sentenças contendo termos singulares indefinidos, ou seja, termos singulares sem referência ou com referência ambígua, tais como ‘Papai Noel’ ou ‘o atual rei da França’ ou ‘1/0 ’ ou ‘√4’ ou ‘o autor de Principia Mathematica’. Para Frege, as sentenças da linguagem natural que contêm termos indefinidos não formam declarações e portanto não são nem verdadeiras nem falsas. Já para (...) as sentenças da matemática, Frege defende que elas precisam ser corrigidas através da convenção forçada de uma referência não ambígua. Russell, por outro lado, aceita os termos indefinidos e propõe, através de sua teoria das descrições definidas, uma maneira de avaliar as sentenças em que eles ocorrem; e Quine amplia a teoria de Russell para abranger também os nomes com problemas de referência. Na prática da matemática são comuns os termos singulares indefinidos, sem referência, tais como ‘1/0 ’, ou com referência ambígua, tais como ‘√4’. Apesar de não haver uma sistematização rigorosa desta situação entre os matemáticos, há, no entanto, um conjunto de regras convencionais que tradicionalmente costumam ser aplicadas no tratamento matemático dos termos indefinidos. Nossa proposta é tomar a convenção matemática como inspiração e modelo para apresentar uma interpretação semântica formal para as descrições definidas e os nomes e utilizá-la como um argumento que favorece a abordagem de Russell relativamente à de Frege. (shrink)

O presente artigo tem como tema as extensas discussões de Wittgenstein sobre uma das formas mais simples e elementares de infinitude em matemática: as dízimas periódicas. Tentamos organizar os vários argumentos do autor em uma única exposição continuada. No final do artigo, introduzimos, ainda que de forma breve, o famoso argumento sobre “execução de regras” de Wittgenstein, bem como a idéia de interpretações nãostandard de processos infinitos.

A distinção entre filosofia e matemática enquanto modos de operação da razão tem presença marcante nos cursos de Lógica de Kant, mas igualmente articula diversas soluções de problemas no interior do pensamento crítico. No entanto, ela data do período pré-crítico, tendo se tornado bem explícita já na obra Investigação sobre a distinção dos princípios da teologia natural e da moral (1764). Quase duas décadas depois, essa distinção será retomada na “Doutrina transcendental do método”, contida na Crítica da razão pura (...) (1781). Ao contrário de Christian Wolff, que propunha uma divisão tripartite do conhecimento, distinguindo conhecimentos históricos, filosóficos e matemáticos, Kant aloca os conhecimentos filosóficos e matemáticos no interior da mesma divisão epistemológica: ambos são conhecimentos racionais. No entanto, um é conhecimento racional por conceitos (filosofia) e outro é conhecimento racional por construção de conceitos (matemática). Por meio dessa distinção e das oposições que ela comporta, Kant vai definir o método de trabalho do filósofo e do matemático e o modo de resolução de problemas específico de cada uma dessas disciplinas. Comparando os dois textos citados acima, pretendemos esclarecer os procedimentos metodológicos concebidos mediante essa distinção, e as respectivas tarefas epistemológicas que ela comporta. (shrink)

No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que (...) não tiveram a mesma atenção dos especialistas que os comentários de Wittgenstein sobre os teoremas da incompletude de Kurt Gödel e suas discussões com Alan Turing sobre os fundamentos da matemática. (shrink)

Entre los muchos y graves problemas que afrontan los poderes instituidos del actual sistema-mundo capitalista, uno de ellos (parece no haber dudas al respecto) es con las matemáticas. Los "errores" de cálculo son sobre todo apreciables cuando de evaluar los acontecimientos de Cuba se trata...

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)

Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.

En nuestro artículo, analizaremos las diferencias y similitudes que podemos encontrar en el uso de diagramas entre dos prácticas matemáticas de la antigüe-dad. Mostraremos que no existe un solo uso posible de éstos, sino que tienen que considerarse como herramientas de razonamiento creadas y manipuladas de acuerdo con los propósitos de cada tradición. Argumentaremos que las diferencias en los procedimientos y organizaciones del conocimiento que ambas tradiciones presentan no implican ningún tipo de valoración acerca de su mayor o menor "matematicidad", (...) ya que ambas tradiciones llegaron a resultados matemáticos suficientemente generales y precisos, hecho que es característico de investigaciones matemáticas a un nivel teórico. (shrink)

“Structuralism, Fictionalism, and the Applicability of Mathematics in Science”. This article has two objectives. The first one is to review some of the most important questions in the contemporary philosophy of mathematics: What is the nature of mathematical objects? How do we acquire knowledge about these objects? Should mathematical statements be interpreted differently than ordinary ones? And, finally, how can we explain the applicability of mathematics in science? The debate that guides these reflections is the one between mathematical realism and (...) anti-realism. On the other hand, the second objective is to discuss the arguments that use the applicability of mathematics in science to justify mathematical realism, and show that none of them reaches its aim. To this end, we will distinguish three aspects of the problem of the applicability of mathematics: the utility of mathematics in science, the unexpected utility of some mathematical theories, and the apparent indispensability of mathematics in our best scientific theories - in particular, in our best scientific explanations. Finally, I argue that none of these aspects constitutes a reason to adopt mathematical realism. (shrink)

En primer lugar, se revisan aproximaciones en las que subyace una búsqueda de unidad ante la diversidad de todo lo que hay: el concepto de consiliencia revivido por Edward O. Wilson en 1998, el emergente campo académico de la Gran Historia (GH) iniciado por Fred Spier y David Christian, y el campo interdisciplinar de los Sistemas Complejos. La consiliencia, por ejemplo, busca un marco unificado para integrar los diversos conocimientos, especialmente tendiendo puentes entre las —en principio, muy distantes— ciencias y (...) humanidades. La GH encuentra su principio unificador en el tiempo, un solo hilo temporal que alinea el tiempo humano, el histórico, el geológico, el biológico, el cosmológico, etc. Y, finalmente, los sistemas complejos: cualquier cosa sería una unidad compuesta por partes que interactúan fuertemente entre sí dotando al conjunto de una entidad propia. -/- En segundo lugar, ensayo si lo físico pudiera ser el principio vertebrador con el que caracterizar la unidad. Se trata por tanto de una propuesta fisicalista. Pero, para resaltar sus peculiaridades frente a otras propuestas fisicalistas presentes en la literatura, es bautizada como la Gran Historia de los Sistemas Físicos Complejos (GHSFC). Bajo esta expresión se ocultan varias intenciones: en primer lugar, un intento de crear una cosmovisión que combinara el fisicalismo, la GH y los sistemas complejos; -/- en segundo lugar, un vago esbozo de lo que, sin mucho rigor, sería una especie de “postura oficial” de la comunidad científica respecto a una explicación general de lo que hay (suponiendo, lo cual es mucho suponer, que tenga algún sentido hablar de comunidad científica como un todo, cuando en realidad hay una diversidad de opiniones heterogénea); y en tercer lugar, caracterizar una postura que los últimos capítulos de la tesis obligan a matizar. -/- Esta tesis pone a prueba el crecientemente exitoso fisicalismo en la cultura, en las matemáticas y en la consciencia. La consciencia, o experiencia subjetiva, se asume aquí como sinónimo de lo mental, lo fenoménico, en el sentido general que la filosofía de la mente afronta. -/- Todas estas aplicaciones se desarrollan siguiendo este esquema: -/- - Primero, proponiendo una cosmovisión fisicalista a partir de la GH y los sistemas complejos. -/- - Segundo, contrastando y perfilando dicha propuesta ante las aportaciones de diversos filósofos de la cultura. -/- - Tercero, contrastando y definiendo dicha propuesta frente a las diferentes corrientes en filosofía de las matemáticas. -/- - Cuarto, repasando la historia de las diferentes respuestas ofrecidas —y las objeciones que levantan— a la difícil pregunta de si lo mental puede ser caracterizado en términos físicos en el marco de la filosofía de la mente. -/- - Quinto, introduciendo mi propia respuesta a la pregunta anterior. Mi propuesta es que la naturaleza de la relación entre lo mental y lo físico es la naturaleza de la relación entre lo que soy y lo que percibo por los sentidos. He utilizado la expresión “lo que no soy” para designar lo que percibo por los sentidos con el fin de subrayar el carácter complementario, relativo y asociado al ser de esa relación. La clave es darme cuenta de que yo, como sujeto, no puedo evitar separar el universo en lo que soy y lo que no soy. -/- Mi propuesta subraya el hecho de que siempre planteamos el problema desde un punto de vista individual y que en realidad estamos definiendo conceptos que se refieren al sujeto concreto que los define: relatividad. Cabe destacar que en el nuevo marco filosófico propuesto hay afirmaciones que se oponen radicalmente a la tradición. Lo que llamábamos “físico” y que pensábamos que era independiente del sujeto concreto que lo designaba, es en realidad algo relativo al sujeto mismo: lo que yo no soy. -/- - Y sexto, resumiendo todo lo anterior, discutiéndolo y llegando a unas conclusiones finales. -/- Los seis puntos de este esquema se corresponden con los seis capítulos de esta tesis. (shrink)

La construcción de un pensamiento y de una inteligencia artificial es posible con el lenguaje de las letras numeradas. Lenguaje que surgió a través de la creación del libro “Nueva matemáticas de letras, triunfa con la matemática” actualizado con el título “Nueva matemáticas de letras 2ª edición”. Libros en los que se exponen el lenguaje de las letras y una matemática de letras donde se encuentran las sumas, restas, multiplicaciones y divisiones de letras, con ejemplos y con sus (...) correspondientes tablas matemáticas. Con la matemática de las letras se podrán hacer cualquier tipo de operaciones matemáticas, puesto que es una matemática más. Con el lenguaje de las letras numeradas en orden, que representan letras, palabras y oraciones numeradas en orden, un robot con inteligencia artificial a través de los números de las palabras numeradas en orden podría adquirir un sin fin de todo tipo de información obtenida por cualquier sentido artificial. Informaciones numéricas que se tendrían que transformar en números binarios. (shrink)

A partir de la conformación de un modelo semántico fundado por la relación de presuposición se construye un entramado algebraico de carácter diagramático y articulación reticular, que considera y se apoya en la noción de orden como dimensión semiótica. Esta articulación relacional se realiza al abarcar diversos niveles de análisis, que van desde un nivel grafémico a un nivel discursivo. Se destacan de modo significativo los procesos complejos de composicionalidad semántica (asociados a modalidades de síntesis) en contraposición con procesos elementales (...) de aditividad (asociados a sumas analíticas). Asimismo, a lo largo del análisis, quedarán establecidos los elementos configuracionales para la articulación reticular de los sucesos pertenecientes a un relato, formando unidades discursivas complejas a través de esquemas narrativos. (shrink)

The enhanced mathematical indispensability argument, proposed by Alan Baker (2005), argues that we must commit to mathematical entities, because mathematical entities play an indispensable explanatory role in our best scientific theories. This article clarifies the doctrines that support this argument, namely, the doctrines of naturalism and confirmational holism.

El cálculo infinitesimal elaborado por Leibniz en la segunda mitad del siglo XVII tuvo, como era de esperarse, muchos adeptos pero también importantes críticos. Uno pensaría que cuatro siglos después de haber sido presentado éste, en las revistas, academias y sociedades de la época, habría ya poco qué decir sobre el mismo; sin embargo, cuando uno se acerca al cálculo de Leibniz –tal y como me sucedió hace tiempo– fácilmente puede percatarse de que el debate en torno al cálculo leibniziano (...) ha trascendido las fronteras temporales del siglo XVII y XVIII y aún sigue vigente, al menos en parte y sobre ciertos puntos específicos. Lo anterior resulta un tanto inquietante, entre otras cosas porque implica que hay que revisar el cálculo leibniziano para tratar de entender el motivo por el que se sigue debatiendo actualmente. El propósito de este artículo no es presentar las tesis principales del cálculo, tampoco hacer una defensa del mismo y mucho menos desarrollar una crítica de sus fundamentos matemáticos, epistémicos u ontológicos. Mi propósito es menos ambicioso, pretendo mostrar, en primer lugar, dos de las primeras objeciones que se formularon contra el cálculo infinitesimal y que fueron hechas por dos contemporáneos de Leibniz, a saber, Rolle y Nieuwentijit; por otro lado, y sirviéndome de lo anterior, quiero presentar dos comentaristas actuales que abordan el tema del cálculo. Lo anterior con el objetivo de ilustrar cuál es el estado de la cuestión, es decir, en qué momento está el debate sobre el cálculo infinitesimal y en qué se enfocan actualmente los comentaristas al hablar sobre él, pues al hacerlo –e incluso a veces sin pretenderlo– mantienen abierto el debate sobre los aciertos y desaciertos del método infinitesimal. (shrink)

I discuss the issue whether Aristotle's philosophy of science allows the use of mathematical premises or mathematical tools in general for explanaing phenomena in the natural sciences. I thereby discuss the concept of "metabasis eis allo genos" as it appears in Posterior Analytics I.7.

Estas son algunas erratas que he encontrado en mi traducción al español de la "Introduction to Mathematical Philosophy" de Bertrand Russell, traducción publicada físicamente por Editorial Porrúa/Tecnológico de Monterrey en 2021 en la Colección de Publicaciones de la Escuela de Humanidades y Educación del Instituto Tecnológico y de Estudios Superiores de Monterrey.

Departing from and closing with reflections on issues regarding teaching practices of philosophy of mathematics, I propose a comparison between the main features of the Leibnizian notion of symbolic knowledge and some passages from the Tractatus on arithmetic. I argue that this reading allows (i) to shed a new light on the specificities of the Tractarian definition of number, compared to those of Frege and Russell; (ii) to highlight the understanding of the nature of mathematical knowledge as symbolic or formal (...) knowledge that Wittgenstein mobilizes in his book; (iii) to offer reasons for the claim that Wittgenstein can be considered the philosopher of mathematical practice avant la lettre. The paper ends with an overview, a return to the initial reflection on the connections between research and teaching, and a defense of the reading key used here in terms of its potential for the research in philosophy of mathematics. (shrink)

Frente a problemas de decisión colectiva de cierta complejidad, distintos métodos de votación pueden considerarse igualmente democráticos. Ante esta situación, argumento que es posible investigar cuáles de esos métodos producen mejores resultados epistémicos sobre asuntos fácticos. Comienzo ilustrando la relación entre democracia y métodos de votación con un sencillo ejemplo. Muestro cómo el uso de modelos idealizados permite descubrir algunas propiedades de los métodos de votación; varios de estos descubrimientos muestran que, frente a problemas de cierta complejidad, no hay una (...) respuesta clara acerca de cuál es el resultado de una elección democrática. Frente a esto, sugiero que deberíamos tomar en cuenta un rasgo epistémico instrumental de varios métodos de votación: su capacidad para generar respuestas correctas ante varias situaciones. Esta intuición ofrece lecciones importantes para el diseño de instituciones electorales. (shrink)

"A theoretical juice extractor: The role of mathematics in scientific explanation". There have recently been proposed cases where, supposedly, mathematics would play a genuinely explanatory role in science. These have been divided into those situations where the explanatory role would be played by mathematical operations, and those where it would be played by mathematical entities. In this article, I analyze some of these purported cases and argue that claims that mathematics can be genuinely explanatory are unfounded. Throughout my discussion, I (...) emphasize the representational role of mathematics, as opposed to its supposed explanatory role: the role of mathematics, even in the cases that I discuss, is to represent physical facts and help draw inferences about those facts. (shrink)

It is well known that Peano had a reluctant attitude towards philosophy, including philosophy of mathematics. Some scholars have suggested the existence of an 'implicit' philosophy, without being able to describe it. In this paper a first attempt is done to reconstruct, if not a general philosophy of mathematics, at least Peano' epistemology of mathematics and its relation to contemporary positions.

This article analyzes the epistemological legitimation of mathematics in natural philosophy in the seventeenth century. In the Renaissance it was claimed that mathematics does not meet the Aristotelian criteria of scientificity, and that it did not explain the efficient and final causes. So, its critics, inspired by the Aristotelian tradition, rejected the first attempts to mathematize natural philosophy. The epistemological conditions involved in the debate are examined on the scientific nature of mathematics and its relevance to natural philosophy. A historiographical (...) tour of the mathematization of nature is made to provide new weighing elements with respect to a historically and philosophically more conceptual characterization of the emergence of modern science. (shrink)