Examinando por Autor "Rosero Rosero, Angie Liseth"
Mostrando 1 - 2 de 2
Resultados por página
Opciones de ordenación
Publicación Acceso abierto Caracterización de la noción de número natural desde una perspectiva logícista : el trabajo de Gottlob Frege.(2016) Rosero Rosero, Angie Liseth; Páramo Felix, Lina Marcela; Gálvez, FernandoGottlob Frege construye un sistema lógico formal que le permite definir los números naturales a partir de principios lógicos exclusivamente. Este trabajo es considerado como uno de los desarrollos de la lógica y la filosofía más significativos en el contexto de la fundamentación de la matemática. Este reconocimiento permanece actualmente a pesar del resultado de Bertrand Russell, quien identificó una contradicción en los cimientos de este sistema. Este trabajo de grado pretende identificar los aspectos relevantes que caracterizan la definición de número natural de Frege, a partir de tres contextos generales: lógico, ontológico y epistemológico. Para ello, se realizará el estudio de sus tres obras claves Begriffsschrift, Grundlagen y el tomo I de Grundgesetze publicadas en 1879, 1884 y 1893 respectivamente, y en las cuales él engloba todo su proyecto logicista.Publicación Acceso abierto Formas de abstracción matemática : las definiciones de número natural en Frege y Dedekind.(Universidad del valle, 2021) Rosero Rosero, Angie Liseth; Paramo Felix, Lina Marcela; Gálvez, FernandoGottlob Frege y Richard Dedekind ofrecen cada uno una definición rigurosa de los números naturales. Estas definiciones constituyen dos formas de concebir la noción de número, y cada una se apoya en una concepción particular de la abstracción matemática. En este trabajo se exponen las razones que fundamentan por qué las respectivas definiciones de número natural de Frege y Dedekind constituyen dos modalidades distintas de abstracción matemática. Para tal efecto, a lo largo del trabajo se analizan y contrastan ambas definiciones y se evalúa el costo epistémico de cada una de ellas, a través de un dispositivo de análisis filosófico denominado economía epistémica, el cual provee criterios objetivos de comparación entre teorías formales.