The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous works have illustrated the usefulness of these calculi for practical notions like the implementation of typed functional programming languages and higher order proof assistants. It has also been shown that eta-reduction is useful for adapting substitution calculi for practical problems like higher order unification. This paper concentrates on rewrite rules for eta-reduction in three different styles of explicit substitution calculi: λσ, λse and the suspension calculus. (...) Both λσ and λse when extended with eta-reduction rules, have proved useful for solving higher order unification. We enlarge the suspension calculus with an adequate eta-reduction rule which we show to preserve termination and confluence of the associated substitution calculus and to correspond to the eta rules of the other two calculi. We prove that λσ and λse as well as λσ and the suspension calculus are non-comparable while λse is more adequate than the suspension calculus in simulating one-step beta-reduction. After defining the eta-reduction rule in the suspension calculus, and after comparing these three calculi of explicit substitutions , we then concentrate on the implementation of the rewrite rules of eta-reduction in these calculi. We note that it is usual practice when implementing the eta rule for substitution calculi, to mix isolated applications of eta-reduction with the application of other rules of the corresponding substitution calculi. The main disadvantage of this practice is that the eta rewrite rules so obtained are unclean because they have an operational semantics different from that of the eta-reduction of the λ-calculus. For the three calculi in question enlarged with adequate eta rules we show how to implement these eta rules. For the λse we build a clean implementation of the eta rule and we prove that it is not possible to follow the same approach for the λσ and λsusp. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

El estudio se centró en los textos de las resoluciones de acreditación de alta calidad de las Instituciones de Educación Superior en Colombia. La metodología condujo a un panorama descriptivo y posibilitó la construcción de categorías cualitativas que permitieron analizar fortalezas y debilidades. Los resultados evidencian la brecha urbano- rural; una tendencia de las instituciones oficiales a recibir más años de acreditación que las privadas y la no incidencia del carácter académico en el número de años de acreditación otorgados. Mejorar (...) las condiciones laborales de los profesores y atender las zonas rurales son prioridades que deben atender las políticas nacionales. (shrink)

En tiempos mas optimistas podia pensarse que el presente era la culminacion de la historia. Con mas modestia, hoy pensamos que el presente es solo una y no muy afortunada de las posibilidades de la historia. La hipotesis que calladamente organiza el libro de Mauricio Tenorio es mas arriesgada y menos lugubre: que la historia es una de las posibilidades del presente, uno de los modos en que puede constituirse el presente y resultar inteligible. Dicho de otro modo, lo (...) que hay que preguntar, lo que pregunta Tenorio, es si puede tener historia este presente: si es posible entenderlo o imaginario mediante la idea de historia, la idea de cultura, la idea de 'America Latina'. Este libro ofrece una manera de comenzar a estudiar la historia, y no porque trate de sus metodos o de nuestros probables antepasados remotos, sino porque obliga a pensar de nuevo lo que sabemos, lo que creiamos saber. Es una generosa invitacion a la lectura, un volumen hecho de correspondencias inesperadas, conjeturas; un libro vertiginoso, inquisitivo y aventurado, que consigue con toda naturalidad la forma turbulenta de las mejores novelas del siglo XIX. (shrink)

La presente obra ofrece la primera historia completa de toda la filosofía novohispana desde 1521 hasta 1821. Se trata de una visión unitaria y completa de toda la filosofía de la época colonial de México, única en su género y con muchas aportaciones valiosas y originales, con método y bases de verdadera investigación histórico-filosófica. Se abre el libro con una hermenéutica de la historia de la filosofía novohispana en la cual el autor, siguiendo las orientaciones más modernas, comprende e interpreta (...) la historia de las ideas en México a partir de sus verdaderos comienzos: desde la polémica entablada por Agustín Rivera y Agustín de la Rosa sobre la validez o no de la acción de España en la enseñanza de la filosofía y de la ciencia en la Nueva España. En su conjunto la obra, estructurada cronológicamente, estudia las actividades y manifestaciones filosóficas de las órdenes religiosas en los tres siglos clásicos, estableciendo una división entre humanistas y escolásticos. Entre los humanistas, destacan fray Juan de Sumárraga, fray Bartolomé de Las Casas, Vasco de Quiroga y Francisco Hernández. En la exposición de los escolásticos, y atendiendo a las diversas órdenes, traza un resumen de las obras principales de los autores más destacados: Diego Valdés, Alonso de la Vera Cruz, Pedro de Hortigosa, Antonio Rubio y Antonio Arias, así como sor Juana Inés de la Cruz. (shrink)

El pensamiento de Santo Tomás ha encontrado actualidad tanto en la filosofía como en la teología. Lo ha hecho porque ambas disciplinas se han tornado hermenéuticas, sin dejar de lado la ontología. Es que en las dos se hace mucho uso de la interpretación, ya que versan sobre textos, tanto de filósofos como de la Sagrada Escritura. Se tratará aquí lo que puede ser una aplicación del tomismo a la filosofía del lenguaje desde la óptica de la hermenéutica. Con ello (...) se beneficiará a la filosofía en general, la de nuestra época. Eso mostrará la actualidad y la vigencia del tomismo hoy en día. (shrink)

Colonial Mexico represents a period of enduring philosophical importance. In areas of contemporary interest, such as semiotics, ontology, and logic, the work of Hispanic philosophers provides a valuable resource. This book presents a study of philosophical activity in Mexico from 1500 to 1800.

This work analyzes and characterizes the spread of the COVID-19 disease in Mexico, using complex networks and optimization approaches. Specifically, we present two methodologies based on the principle of the rupture for the GC and Newton's law of motion to quantify the robustness and identify the Mexican municipalities whose population causes a fast spread of the SARS-CoV-2 virus. Specifically, the first methodology is based on several characteristics of the original version of the Vertex Separator Problem, and the second is based (...) on a new mathematical model. By solving VSP, we can find nodes that cause the rupture of the giant component. On the other hand, solving the NLM can find more influential nodes for the entire system’s development. Specifically, we present an analysis using a coupled social network model with information about the main characteristics of the contagion and deaths caused by COVID-19 in Mexico for 19 months. This work aims to show through the approach of complex networks how the spread of the disease behaves, and, thus, researchers from other areas can delve into the characteristics that cause this behavior. (shrink)

This chapter contains sections titled: Critical and skeptical environment Nominalism and skepticism Varieties of nominalism Principles Critique of the principle of causality Anthropology and ethics Conclusion.

El presente estudio tiene por objeto explicitar los vasos comunicantes y los puntos deyunta entre hermenéutica y política como marco referencial general para tematizar lasrelaciones entre hermenúetica analógica y quehacer político. Relaciones que tienen comopunto de convergencia el gran texto de la realidad, en donde las acciones significativasque la conforman debe ser interpretadas allende de la razón práctica. En esta perspectiva,el autor aborda los siguientes tópicos: 1. Prolegómenos; 2. La hermenéutica críticade Adela Cortina y Jesús Connill; 3. La hermenéutica analógico-crítica; (...) 4. Hermenéuticafenomenológico-existencial y sociedad política; 5. Resultados. (shrink)

En este artículo se pretende aplicar la hermenéutica a la filosofía política. Se trata de una hermenéutica analógica, esto es, centrada en la analogía, para superar el univocismo (absolutismo) y el equivocismo (relativismo). La filosofía política resultante toma muy en cuenta la phrónesis o prudencia, que la embona con la ética; además, toma muy en cuenta la justicia distributiva, que es altamente analógica; y está abierta a la utopía. Trata de servir de mediación en la discusión entre el liberalismo y (...) el comunitarismo, y de superar el impasse que se observa al presentarse estas posturas en sus expresiones más extremas. (shrink)