Un estudio lógico-filosófico de los fundamentos de la Matemática

Gustavo Javier Avila Gaibor, Alex Eduardo Pozo Valdiviezo

Resumen


El objetivo del presente artículo es realizar un bosquejo de un camino que vaya del silencio de la intuición, hasta las sinfonías de las matemáticas formales, tratando de mostrar los conceptos necesarios e ideas que forman el mencionado camino. Primeramente, se presentan algunas observaciones sobre la naturaleza de la matemática y sus métodos, se enfatiza en las diferencias entre razonamiento y cálculo, destacando la utilidad de este último. Se continúa mostrando la necesidad e importancia de crear un lenguaje apropiado para estudiar la estructura del razonamiento matemático. Luego, se estudia el cálculo de predicados formal y se comenta lo que fundamenta dicho cálculo.


Palabras clave


Lógica; Cálculo Formal; Fundamentos; Sistemas Axiomáticos; Lenguajes formales; Finitismo.

Texto completo:

PDF HTML

Referencias


[HA] Hamilton A. G. (1978). Logic for mathematicians. CAMBRDGE UNIVERSITY PRESS.

[AR] LIMA, Elon (1992), Curso de Analise, Volumen 1, Septima Edicion, Brazil, Instituto de Matematica Pura y Aplicada (IMPA), Projeto Euclides

[GEB] Douglas R. Hofstadter (1979). GODEL ESCHER BACH: Un Eterno y Grácil Bucle. Tradución de Mario Arnaldo Usabiaga y Alejandro López Rosusseau. TUSQUETS EDITORES, EEUU. Traducción: Mario Arnaldo Usabianga y Alejandro Lopez Rousseau. Consejo Nacional de Ciencia y Tecnología. ISBN: 978-84-9066-069-0.

[ML] Joseph R. Shoenfield (1967). MATHEMATICAL LOGIC. Addison-Wesley Series in Logic

[SAA] Carlos Martín Collantes (1992). La Silogística Asertórica de Aristóteles. Historia de la geometría griega. Actas. Seminario. Historia de la Ciencia. Seminario "Orotava" Historia de la Ciencia, 199-216.

[ITC] José M. Muñoz Quevedo (2001). INTRODUCCION A LA TEORIA DE CONJUNTOS. UNIVERSDDAD NACIONAL DE COLOMBLA, Cuarta Edición.

[LLF] Carlos Ivorra Castillo (2002). LA LÓGICA DEL FINITISMO. https://www.uv.es/ivorra/Libros/LF.pdf.

[VE] FRANKLIN GALINDO y KRIS MARTINS (2005). LAS REGLAS DE IRVING COPI Y CARL COHEN SON UNA CONDICIÓN NECESARIA Y SUFICIENTE DE LA VALIDEZ EN LOS SILOGISMOS CATEGÓRICOS DE FORMA ESTÁNDAR . EPISTEME NS, Vol. 25, № 1, 123-147.

[AL] José Alfredo Amor, (2004). LA ENSEÑANZA DEL ANÁLISIS LÓGICO. Facultad de Ciencias, UNAM, Curso, https://www.filosoficas.unam.mx/ Tdl/amor.htm.




DOI: https://doi.org/10.23857/pc.v10i3.9072

Enlaces de Referencia

  • Por el momento, no existen enlaces de referencia
';

Bookmark and Share




Polo del Conocimiento              

Revista Científico-Académica Multidisciplinaria

ISSN: 2550-682X

Casa Editora del Polo                                                 

Manta - Ecuador       

Dirección: Ciudadela El Palmar, II Etapa,  Manta - Manabí - Ecuador.

Código Postal: 130801

Teléfonos: 056051775/0991871420

Email: polodelconocimientorevista@gmail.com / director@polodelconocimiento.com

URL: https://www.polodelconocimiento.com/