Actualizado el 04 de marzo de 2020
2020
Rodríguez Alcántara Thot Israel |
Racionalidad y axiología formal. [Dr. Alfonso Arroyo Santos][PDF] | |
Quallenberg Menkes Ian Ariel |
Lógicas paraconsistentes en la reconstrucción de teorías matemáticas. [Dr. Max Fernández de Castro][PDF] |
2019
Mauricio Algalan Meneses Mauricio |
La crítica de Berkeley al cálculo de Newton, [Dr. Cristian Alejandro Gutiérrez Ramírez][PDF] | |
Daniela Orozco Ruiz |
La balanza como instrumento de razonamiento concreto y abstracto en el de motu de Galileo y la mecánica del siglo XVI. [Dr. Godfrey Guillaumin][PDF] |
2018
Adrián Emilio Flores Gallardo |
Realismo y negación. Una defensa metateórica y pluralista del principio de no-contradicción.[Dr. Cristian Alejandro Gutiérrez Ramírez][PDF] | |
Elisángela Ramírez Cámara |
Bayesian confirmation, connexivism and an unkindness of ravens.[Dr. Luis Estrada González][PDF] | |
Alejandro Javier Solares Rojas |
Como un logico podría ayudar a resolver el problema P=?NP?.[Dr. Luis Estrada González][PDF] | |
Manuel Eduardo Tapia Navarro |
La negación Abeliana y el esquema de clausura.[Dr. Luis Estrada González][PDF] |
2017
Pablo Aceves Cano |
Normatividad tecnológica: El papel epistémico de la tecnología.[Dr. Sergio Fernando Martínez Muñoz][PDF] | |
Anabel Jáuregui Hernández |
Los teoremas de Pappus y Desargues en los Fundamentos de la Geometría de David Hilbert y su origen en la doctrina de Los Porismas.[Dr. Carlos Álvarez Jiménez][PDF] |
2016
Francisco Martínez Herrera |
Lógica deóntica y temporalidad: El caso de ATL.[Dr. Francisco Hernández Quiroz][PDF] | |
Rodrigo Medina Vega |
Análisis epistémico del sistema distribuido Listener-Teller : una instancia de omnisciencia lógica en inteligencia artificial y una aplicación de la lógica de justificaciones.[Dr. Francisco Hernández Quiroz][PDF] | |
Jorge Fernando Cano |
C.S. Peirce y el algebra de relaciones: Un caso de estudio en la tradición algebraicista de la lógica.[Dr. J.J. Max Fernández De Castro Tapia][PDF] |
2015
Mariana Martínez González |
Un análisis Kuhneano del desarrollo del continuo numérico.[Dr. Carlos Torres Alcaraz][PDF] | |
Abelardo Vela Ponce de León |
Una Justificación epistemológica del concepto de número en The Principles of Mathematics.[Dr. Alejandro García Diego] |
2014
Martínez Ordaz María del Rosario |
Una clasificación para teorías empíricas inconsistentes y funcionales: Alcances y limitaciones.[Dra. Atocha Aliseda Llera, Dr.Mathieu Beirlaen][PDF] |
2013
José Luis Barragán Ochoa |
La lógica de la práctica matemática. La cuestión de la lógica de primer orden y la lógica de segundo orden.[Dr. Carlos Torres Alcaraz][PDF] | |
Gabriel Antonio Siade Paulin |
Un examen de la ley de doble negación bajo el sistema proposicional intuicionista.[Dr. Max Fernández De Castro][PDF] |
2012
Melisa Gutiérrez Vivanco |
El conocimiento en el Sudoku: Un ejemplo de epistemología formal.[Dr. Francisco Hernández Quiroz][PDF] |
2011
Cristian Alejandro Gutiérrez Ramírez |
Estructuralismo, teoría de conjuntos y teoremas de categoricidad.[Dr. José Alfredo Amor y Montaño, Dr. Mario Gómez Torrente][PDF] |
2009
Fabiola López Velázquez |
Generación de modelos de persuasión con aserciones públicas.[Dr. Francisco Hernández Quiroz][PDF] |
2008
Jacobo Asse Dayan |
El ficcionalismo hermenéutico en la filosofía de las matemáticas.[Dr. Silvio Mota Pinto][PDF] | |
Luis Estrada González |
El significado de las conectivas y los cambios de lógica: Un enfoque categorista.[Dra. Ivonne Pallares Vega][PDF] | |
Karen González Fernández |
El problema del origen de las normas de racionalidad: Propuestas desde la lógica y la pragmática.[Dr. Sergio Martínez Muñoz][PDF] |