We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.

We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories.

A well known theorem proved by J. Paris and H. Friedman states that BΣn +1 is a Πn +2-conservative extension of IΣn . In this paper, as a continuation of our previous work on collection schemes for Δn +1-formulas , we study a general version of this theorem and characterize theories T such that T + BΣn +1 is a Πn +2-conservative extension of T . We prove that this conservativeness property is equivalent to a model-theoretic property relating Πn-envelopes and (...) Πn-indicators for T . The analysis of Σn +1-collection we develop here is also applied to Σn +1-induction using Parsons' conservativeness theorem instead of Friedman-Paris' theorem.As a corollary, our work provides new model-theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos : BΣn +1 and IΣn +1 are Σn +3-conservative extensions of their parameter free versions, BΣ–n +1 and IΣ–n +1. (shrink)

By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the Πn+1-sentences true in the standard model is the only consistent Πn+1-theory which extends the scheme of induction for parameter free Πn+1-formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first-order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain (...) results on the quantifier complexity, finite axiomatizability and relative strength of schemes for Δn+1-formulas. (shrink)

Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica algebraica similar a la (...) de Boole.This work is a contribution to a new view of Leibniz’s logic, pretending to show that his writings were not only rich in projects, but also in concrete logico-mathematical developments. We prove that his “Numerical Characteristic” assigning pairs of numbers to terms of categorical propositions, is a complete and correct semantics for aristotelian syllogistic, and the algebraic system presented in Fundamentals of Logical Calculus is essentially a complete version of boolean algebraic logic. (shrink)

El texto presenta una visión detallada sobre la importancia y operación del Observatorio de la Red Iberoamericana de Bioética (ORIBI), argumentando la relevancia de la bioética en la contemporaneidad. La bioética, definida como la ética aplicada a la vida, ha expandido su influencia más allá de la medicina para abarcar áreas como el medio ambiente, derechos humanos y lucha contra la pobreza, destacando el enfoque interdisciplinario esencial para abordar dilemas éticos complejos. El ORIBI, desarrollado por el Centro Anáhuac de Desarrollo (...) Estratégico en Bioética (CADEBI), busca consolidar algunos esfuerzos dispersos en Iberoamérica, fomentando la colaboración regional en investigación, formación y gestión de la bioética. Se destaca la necesidad de trabajo colaborativo entre observatorios existentes, aprovechando recursos y conocimientos para promover el bienestar social. El ORIBI planea su acción en torno al monitoreo continuo, análisis de actividades y red de vinculación, apoyándose en herramientas como el Atlas Iberoamericano de Bioética y una serie de indicadores de seguimiento. Este enfoque estratégico y flexible permite adaptar la operación del observatorio a desafíos emergentes. (shrink)

Los textos de este volumen ofrecen un enfoque menos frecuentado en torno a la cuestión postmoderna. Se trata de ir más allá del tópico general en las valoraciones de la postmodernidad, y conseguir así que ésta no consista, únicamente, en sus representaciones. Para ello, el volumen da cuenta de la dimensión estética del horizonte postmoderno, por un lado, y de su singular temporalidad, por otro. Desnuda ante el espejo, la postmodernidad descubre sus orígenes, lo mismo que sus carencias.

Galileo y Descartes -- Tres tesis sobre la filosofía -- Apuntes sobre la cultura y la crisis del humanismo -- La filosofía de Hegel y el problema económico y político -- La teoría del conocimiento en la filosofía moderna.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In this article I analyze the justification of rawlsian anti-perfectionism, present in both A Theory of Justice and Political Liberalism. My aim is to show how justice as fairness, Rawls's conception of justice, lacks stability because of it. As an alternative to his anti-perfectionism, I propose, in the second part, the idea of progress as practical perfectionism by John Dewey. I argue that a perfectionist liberalism of this kind does not undermine reasonable pluralism as Rawls argued. Also I argue that (...) it is indispensable to establish a liberal society that is stable. In the end, I briefly show how the private sphere could be affected once the idea of progress is part of a conception of liberal justice. (shrink)

Review: Understanding Love: Philosophy, Film, and Fiction, eds. Susan Wolf, Christopher Grau, Oxford, Oxford University Press 2014, 397 pages.

RESUMEN Con un enfoque cualitativo y alcance descriptivo, el presente artículo tiene como objetivo sintetizar aspectos de materiales publicados en diversas fuentes relacionados con el estrés para lo cual se emplea el método de revisión bibliográfica. Durante el estudio se encontraron aspectos teóricos que permiten entender la evolución del concepto, acceder a modelos, evaluar la repercusión del fenónemo y constatar instrumentos para su evaluación, así como obtener sugerencias para controlarlo. Se concluye que el estrés puede ser percibido como positivo o (...) negativo según el manejo que hace cada individuo y su estilo de afrontarlo, es una manifestación relacionada con el proceso salud enfermedad en el que, para algunos, contribuye al crecimiento personal y en otros, a su malestar o enfermedad. ABSTRACT With a qualitative approach and descriptive scope, the present article takes as an objective to synthesize aspects of materials published in diverse sources related to the stress for which uses the method of bibliographical review. During the study there were theoretical aspects that allow understanding the evolution of the concept, gaining access to models, evaluating the aftereffect of the phenomenon and state instruments for their evaluation, as well as obtaining suggestions to control it. It was concluded that the stress can be perceived as positive or negative according to the handling that there does every individual and its style of confronting it, a declaration related to the process is a health illness in the one that, for some, contributes to the personal growth and in others, to its discomfort or illness. (shrink)

Con el modelo de bienestar, los sectores económicos tuvieron un crecimiento sustantivo en México. Con el cambio del modelo económico, el sector servicios, sobre todo, el turismo, se ha consolidado como una actividad que homogeniza y funcionaliza el paisaje para facilitar la apropiación de los recursos naturales y culturales de las comunidades rurales para la expansión de la economía de libre mercado, con el objetivo de que permanezca el modo de producción y reproducción vinculado al capital, con lo que se (...) contradice la sustentabilidad de la actividad. Para el análisis de dicha situación y sus implicaciones, se propone el uso de la estrategia materialista cultural (Harris, 1982) como base teórico-metodológica general fortalecida con las propuestas de Sauer (1925) para el conocimiento del paisaje natural y cultural, y de Cordero (2004) para el conocimiento de las formas de apropiación de la naturaleza y la cultura que utiliza la expansión capitalista. Con esta propuesta se espera coadyuvar en la identificación del proceso de apropiación, homogenización y funcionalización, vinculado al turismo. (shrink)

O mistério das relações divinas com o homem, no pensamento do teólogo Suiço Hans Urs von Balthasar, sempre focou a kenosis de Deus como uma renúncia a Sua divindade. Mas o sofrimento do homem comum e a injustiça que a sociedade lhe impôs, em tantos momentos da história, obrigam a ir mais além. A personali-dade do homem Jesus não apenas revela o mistério das relações trinitárias, mas no assu-mir a dor humana, e o risco da própria vida em favor da (...) justiça, Jesus revela também o verda-deiro homem contido no sonho da criação e chamado à vida plena no mundo. (shrink)

Focusing on the contributions of Frantz Fanon's writing to the construction of a theory of the postcolonial subject, this book engages post-structuralist discussions on subjectivity and explores the most important readings and discussions of Fanon's work. Problems such as historicity, contingency, and the positions of the subject in postcolonial contexts receive special attention together with phenomenological approaches to Fanonian writing. The central idea is to give Fanon a privileged place in social, political, and cultural analysis. The objectives of the book (...) are to insert Fanon’s texts in contemporary critical theory on modernity and coloniality and to incorporate Fanon in the epistemological and conceptual context of the academy. This innovative work allows us to understand Fanon’s writing as key to linking the experiences and critical developments between the global south and the global north. (shrink)

Analizamos el discurso rectoral de Heidegger con el objetivo de comprender el sentido del término "nación alemana" en él. Sostenemos que el tratamiento que allí hace Heidegger de esta cuestión está profundamente relacionado con su lectura de la obra de Ernst Jünger, El Trabajador. Heidegger acepta en líneas generales el diagnóstico de Jünger sobre el mundo moderno, pero se diferencia de él precisamente en el sentido que atribuye a la nación alemana en esa situación. Analizamos el significado de la "misión (...) espiritual" que Heidegger atribuye a la nación alemana como fuerza capaz de contener el despliegue nihilista de la voluntad de poder a través de la técnica. Queremos demostrar que esa atribución intenta otorgar un nuevo significado a la nación en el horizonte histórico transformado por la "muerte de Dios" anunciada por Nietzsche y que explica el sentido de la posición política de Heidegger en 1933 y en los años inmediatamente posteriores. (shrink)

El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.