In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the "big five" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT.

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

Quatro painéis de muito boa pintura, representando aspectos da vida e martírios dos Santos Mártires de Lisboa, Veríssimo, Máxima e Júlia, estão patentes no Museu Carlos Machado, em Ponta Delgada, nos Açores.Obras nunca estudadas antes de 2001, embora referenciadas documentalmente já no século XIX, permaneceram em colecções particulares até aos anos sessenta do século XX, quando foram doadas ao museu açoriano, onde se encontram em bom estado de conservação. Nunca dali saíram, a não ser um dos painéis para a XVII (...) Exposição Europeia de Arte, Cultura e Ciência (núcleo da Casa dos Bicos) e outro painel, em 1992, para uma exposição em Génova. As obras, de relativamente pequenas dimensões, são muito ricas em aspectos iconográficos e de caracterização de ambientes. Datáveis da década de 30 do século XVI, têm sido atribuídas ao pintor Garcia Fernandes e, mais recentemente, a Cristóvão de Utreque, um dos mestres que foi referenciado como eventual colaborador dos chamados Mestres de Ferreirim: Cristóvão de Figueiredo, Gregório Lopes e Garcia Fernandes.Muito interessante, no entanto, é a iconografia das paisagens urbanas de duas das pinturas, mas a vida e os martírios dos santos não acompanham o que se conhecia da literatura do tempo. (shrink)

Unser aller Alltag ist in der Zwischenzeit stark von den Dienstleistungen und Plattformen der Technologiekonzerne durchdrungen. In der politischen Kommunikation sind Twitter, Facebook, Instagram und Konsorten nicht mehr wegzudenken. Die veränderten Bedingungen, unter denen politische Kommunikation stattfindet, haben nicht zu einer Machtnivellierung, sondern vielmehr zu einer verschiebung geführt. Politische Kommunikation ist für uns unentbehrlich, um unsere politischen Meinungen zu bilden, unsere Positionen zu artikulieren und politische Fragen zu diskutieren. Daraus ergeben sich zwei zentrale Fragen für die Politische Bildung: Welche Fähigkeiten (...) benötigen autonome und medienkundige Bürger*innen? Und wie erlernen wir diese Fähigkeiten? Dieser Beitrag skizziert eine mögliche Antwort darauf. (shrink)

Conceptual engineering is the method for assessing and improving our representational devices. On its ‘broad‐spectrum’ version, it is expected to be appropriately applicable to any of our representation‐involving cognitive activities, with major consequences for our whole cognitive life. This paper is about the theoretical foundations of conceptual engineering thus characterised. With a view to ensuring the actionability of conceptual engineering as a broad‐spectrum method, it addresses the issue of how best to construe the subject matter of conceptual engineering and successively (...) defends the theses that conceptual engineering should be: (i) About concepts, (ii) psychologically theorised, (iii) as multiply realised functional kinds. Thereby, I claim to theoretically secure and justify the maximum scope, flexibility, and impact for the method of conceptual engineering on our representational devices in our whole cognitive life—in other words, a broad‐spectrum version of conceptual engineering. (shrink)

The way digital information technologies work and, more specifically, the possibilities for action that technological devices offer to us affect our processes of political belief formation. In particular, there seems to be a close connection between our digital affordances and the increase of the sort of polarization that threatens the proper functioning of democracy. In this paper, we analyze whether the type of polarization linked to the use of digital technologies, and which endangers the health of public deliberation, has to (...) do with the adoption of beliefs whose contents are increasingly extreme—extremism—or, on the contrary, has more to do with increasing our credence in the core beliefs of our political identity—radicalism. (shrink)

Reseña: Omar García Corona. Una crítica descolonial de la Escuela de Frankfurt. Buenos Aires, Poliedro – Editorial de la Universidad de San Isidro, 2021.

Las herramientas teóricas destinadas a señalar las injusticias que sufren ciertos grupos socialmente oprimidos pueden acabar siendo utilizadas con propósitos completamente opuestos a los iniciales. Modificar el alcance de una herramienta teórica no es necesariamente problemático: la popularización de un concepto abre las puertas a que se utilice estratégicamente para diferentes fines. La tesis que defendemos en este artículo es que algunos personajes públicos cultivan una imagen particular de sí mismos que parece satisfacer los requisitos de la noción de injusticia (...) testimonial y utilizan esta situación como medio para obtener beneficio político de ella. Más concretamente, estos personajes públicos se benefician de esta condición para generar situaciones de desacuerdos cruzados, que están estrechamente relacionados con el aumento de la polarización. (shrink)

Kalinowski conceives metaphysics as a set of propositions which can be axiomatized. This paper exposes the typical rules of an axiomatic system comparing them with the metaphysical system developed by Kalinowski. These rules are linguistic rules, but also admission-rules and transformation-rules. They always refer to the metaphysical propositions (wich are first or second propositions, as it is usual in logical systems). This paper tries to evaluate Kalinowski's attempt.

Este texto describe y analiza el estatus social, político y económico de la mujer durante la dictadura de Franco. Las leyes impuestas por la dictadura, con el amparo moral de la Iglesia española, provocaron un fuerte retroceso en los derechos de las mujeres. La llegada de la democracia y el auge de los diversos movimientos feministas, unidos a los cambios de mentalidad que se habían ido produciendo, hicieron que poco a poco la discriminación se fuera erradicando y la situación se (...) encamine hacia la igualdad.This text describes and analyzes the social, political and economic status of the woman during the dictatorship of Franco. The laws imposed by the dictatorship, with the moral protection of the Spanish Church, provoked a strong setback in the rights of the women. The arrival of the democracy and the summit of the diverse movements feminists joined the changes of mentality who had been taking place, they did that little by little the discrimination was eradicating and the situation intends towards the equality. (shrink)

Au terme des Prolégomènes, Husserl formule son idée de la logique pure en la structurant sur deux niveaux: l'un, supérieur, de la logique formelle fondé transcendantalement et d'un point de vue épistémologique par l'autre, inférieur, d'une morphologie des catégories. Seul le second de ces deux niveaux est traité dans les Recherches logiques, tandis que les travaux théoriques en logique formelle menés par Husserl à la même époque en paraissent plutôt indépendants. Cet article est consacré à ces travaux tels que recueillis (...) dans les appendices VI-X du volume 12 des Husserliana. Mettant en évidence la théorie de la signification qui les sous-tend par le biais d'une analyse de la question dite de l'extension des systèmes d'axiomes et de sa résolution au moyen d'une notion de complétude, son objectif est d'expliciter les modalités de l'intégration de la logique formelle dans l'idée husserlienne de la logique pure au tournant du xx siècle.When formulating his idea of pure logic in the Prole.. (shrink)

En la conquista, colonización y evangelización de las Indias se dio una estrecha colaboración y alianza Iglesia-Estado, amalgama que reforzaba a ambas instituciones, aunque siempre bajo el control estatal, supervisada y coordinada por el Consejo de Indias. Las relaciones Iglesia-Estado en América pasaron por diversas modalidades: Patronato, Vicariato y Regalismo. En el siglo XVI rige el Patronato, basado en las concesiones Pontificias que ponía en manos de la Corona española el ‘cuidado’ sobre la Iglesia americana. Desde fines del XVI, religiosos (...) y juristas españoles elaboraron la teoría del Vicariato, según la cual los reyes, en virtud de la donación papal, eran Vicarios de la Santa Sede en las Indias y adquirían competencias en materia de disciplina eclesiástica. En el siglo XVIII el Regalismo asume ambas posiciones y las convierte en jurisdicción civil al considerar que los derechos esenciales del Patronato y el Vicariato no se basan en concesiones papales sino que son prerrogativas inherentes a la Corona, regalías o atributos del poder real. (shrink)

Desde un primer momento España pretendió justificar la conquista y ocupación de América. De todos los posibles títulos que se podían aducir en los albores del siglo XVI, los españoles optaron por poner en primer lugar la “donación pontificia” (bulas alejandrinas). De modo que en este artículo intentaremos exponer los fundamentos doctrinales de esta donación papal. En la práctica se generó una preocupación (controversia) por la situación material y espiritual en la que vivían los indios que desembocó en los planteamientos (...) del Maestro Francisco Vitoria que acertó a plantear en los términos exactos el problema de América. (shrink)

Las visitas eclesiásticas eran un medio para contactar y conocer la realidad diocesana, sus problemas y sus éxitos. Sin embargo, a veces chocaban con delicados problemas provocados por los grandes periodos de sedes vacantes, durante los cuales los miembros del cabildo, los dueños del gobierno y la administración de la diócesis podían hacer y deshacer a su antojo. Por lo tanto, era lógico quetemieran al nuevo obispo e intentaran evitar su visita.

This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate (...) the framework's use, with all proofs following the same pattern. The last section features a new example requiring priority at all finite levels. The book will serve as a resource and reference for researchers in logic and computability, helping them to prove theorems in a shorter and more transparent manner"--Provided by publisher. (shrink)

Over the arc of his career, E. O. Wilson first embraced, then popularized, and finally rejected an extreme genetical hereditarian view of human nature. The controversy that ensued during the period of popularization (largely in the 1970s and 1980s) obscured the fact that empirical and theoretical research during this time undercut the assumptions necessary for this view. By the end of his career, Wilson accepted the fact that individual/kin selection models were insufficient to explain human behavior and society, and he (...) began conducting research based upon multilevel (group) selection, an idea he had previously scorned. (shrink)

Los indios eran hombres capaces de razón y doctrina, casi–humanos o bestias con apariencia humana Esta cuestión se presta a muchas y muy variadas consideraciones. Parece que cuanto más se quiere aclarar esta cuestión mayor es la maraña que se trenza. Hay especialistas que niegan de plano que existiera tal controversia y otros, sin embargo, que defienden que esta polémica constituyó el primer gran debate filosófico y teológico del Nuevo Mundo relacionado con sus pobladores. Traemos a dos autores que protagonizaron (...) hace unos años una intensa y cordial divergencia sobre este punto: Por una parte Lewis Hänke que hace girar la cuestión sobre la naturaleza o esencia de los indígenas: ¿son seres humanos o bestias irracionales? Y en el otro extremo Lino Gómez Canedo que deja a salvo la humanidad de los naturales como algo que no se había negado nunca y centra el debate en si éstos tenían derecho a su libertad individual, al dominio de sus cosas y tierras, si podían ser compelidos a trabajar para los españoles, etc. Tampoco podemos olvidar que una buena porción de esta confusión -aparte de los prejuicios y de la finalidad apologética o detractora que existe en algunos escritores- la compone la falta de claridad y confusión existente entre el significado y distinción de los términos ‘incapacidad’, ‘irracionalidad’, ‘bestialidad’ o ‘animalidad’. (shrink)

La expresión “arte cristiano” encierra en sí una contrariedad si se considera que Jesús de Nazaret no apuntó nada sobre la creación artística. Tampoco podemos rastrear en el anuncio de la Buena Noticia ningún hilo que nos conduzca hacia un culto que necesitara la contribución de las “artes plásticas”. Cristo predijo un culto al Padre “en espíritu y en verdad” (Jn 4,23). Los primeros cristianos fueron fieles a este espiritualismo trascendente judaico, pero al mismo tiempo, la fe en la Encarnación (...) del Verbo dio al testimonio de los sentidos un valor fundamental: “el que me ha visto a mí, ha visto al Padre” (Jn 14,9). Nace un conflicto entre la sensibilidad artística y la nueva fe que gira en torno a la necesidad de legitimar el valor estético sin que el espíritu sea traicionado. Plasmar en la figuración una auténtica y sincera confesión de fe. (shrink)

Este artículo tiene como objetivo presentar, transcribir y contextualizar el texto de las Comunicaciones del obispo Toral, el primer Prelado de Yucatán. Esta es la primera edición completa de este documento importante e interesante para el estudio de la introducción de la Iglesia en América.

Acercándonos a los Santos Padres y dejándonos llevar por ellos queremos en estas páginas reflexionar sobre el ministerio eclesiástico, atendiendo de manera sencilla al pensamiento y a las palabras de los Padres en tanto que recogen el pensar y sobre todo el sentir de las comunidades cristianas de su tiempo. En estas primeras iglesias el ministerio se comprende desde el servicio como entrega confiada y generosa al Padre, y entienden que en Cristo y sólo en Él este servicio alcanza su (...) plenitud. (shrink)

This article examines the Kantian thesis of the a priori nature of our knowledge of space. Because it makes the representation of objects possible as external to us and all others, and consequently, as distinct and individualized, space (whatever its structure may be) claims the status as necessary condition and as apriori possibility of all knowledge. However, in the light of various physical, psychological and philosophical considerations, it seems that the particular structure allocated by Kant to space (i.e. uniqueness, infinity, (...) continuity, homogeneity, isotropy, Euclidean character and three-dimensional character) is neither necessary nor a priori but is rather contingent and dependent on experience. For this reason a pragmatist relativization of the transcendental approach appears to be necessary: the structure of space which makes knowledge possible is not apriori in an absolute sense, but rather, it is determined within the context of a certain practice, which is characterized by a certain mode of interaction with the environment and reveals particular empirical constraints to which this spatial structure must fit. (shrink)