Name der Zeitschrift: Millennium Jahrgang: 13 Heft: 1 Seiten: 41-46.

We investigate the uniform computational content of the open and clopen Ramsey theorems in the Weihrauch lattice. While they are known to be equivalent to $\mathrm {ATR_0}$ from the point of view of reverse mathematics, there is not a canonical way to phrase them as multivalued functions. We identify eight different multivalued functions and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility. In particular one of our functions turns out to be strictly (...) stronger than any previously studied multivalued functions arising from statements around $\mathrm {ATR}_0$. (shrink)

We study the reverse mathematics of interval orders. We establish the logical strength of the implications among various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain 2 \oplus 2. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it (...) contains neither 2 \oplus 2 nor 3 \oplus 1. (shrink)

Tencionamos, neste artigo, demonstrar os meandros constitutivos do que seja um formalismo moral em Immanuel Kant, tendo como pressuposto teórico sua compreensão de uma teoria da vontade. Este movimento de análise e demonstração teórica terá como fio condutor a ideia de autonomia que permeia a construção da vontade no formalismo kantiano, ou seja, a pressuposição de uma possível autonomia formal da razão é a base na qual se assenta a teoria moral deste pensador. Para execução de nossa pretensão será necessário (...) reconstituir os pontos nevrálgicos do que venha a ser uma teoria da vontade para em seguida analisar os pressupostos kantianos que realçam a centralidade da autonomia da razão na compreensão de uma vontade livre. Desta maneira, o que se pretende por em desnudo é a originalidade kantiana, em relação à tradição que promulga a vontade como marca da liberdade humana, a partir de seu pressuposto de autonomia formal na constituição moral do indivíduo humano. (shrink)

Neste artigo intentamos empreender uma leitura do judaísmo antigo, ou veterotestamentário, em alguns de seus aspectos principais, à contraluz da visão maquiaveliana do papel da religião na organização e expansão do Estado. O primeiro passo desta empresa será dado ao expormos os traços fundantes e delineadores da tradição judaica antiga, principalmente nos livros que compõe o chamado velho testamento, demonstrando o uso da religião na ordenação e expansão do Estado, bem como na formação do indivíduo. Em um segundo momento demonstraremos (...) como se cria uma nova tradição judaica, influenciada e influenciadora do mundo grego antigo, logo no início da era cristã a qual será assimilada e explorada em seu viés místico no humanismo renascentista. Esta tradição judaico helenístico será a mais conhecida e assimilada nos círculos eruditos europeus da renascença. Por fim, buscaremos demonstrar como os traços constitutivos do judaísmo antigo, em detrimento ao judaísmo helenístico, podem ser lidos à luz da descrição maquiaveliana do papel da religião na organização e expansão do Estado e na formação do indivíduo. (shrink)

The situation of childhood and the adolescence in the Republic of Argentina as object of social politics is discussed from a clinical point of view. This matter seems to be connected to the problems of (personal) security, sometimes mingling the barrier that separates this from the way Justice fu..

We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is ε X ", and (2) "If X is a well-ordering, then so is φ(α, X)", where α is a fixed computable ordinal and φ represents the two-placed Veblen function. For the former statement, we show that ω iterations of the Turing jump are necessary in the proof and that the statement is equivalent to ${\mathrm{A}\mathrm{C}\mathrm{A}}_{0}^{+}$ over RCA₀. To prove the (...) latter statement we need to use ω α iterations of the Turing jump, and we show that the statement is equivalent to ${\mathrm{\Pi }}_{{\mathrm{\omega }}^{\mathrm{\alpha }}}^{0}{-\mathrm{C}\mathrm{A}}_{0}$ . Our proofs are purely computability-theoretic. We also give a new proof of a result of Friedman: the statement "if x is a well-ordering, then so is φ(x, 0)" is equivalent to ATR₀ over RCA₀. (shrink)

About a hundred years ago a student of the University of Berlin would have been able to hear Boeckh lecturing on Enzyklopädie und Methodologie der philologischen Wissenschaften and Droysen lecturing on Enzyklopädie und Methodologie der Geschichte (Historik). He could also hear Ranke, whose Epochen der neueren Geschichte were delivered, not however in Berlin, in 1854·.

Civic engagement favours integration and social cohesion, but the way in but how this happens and the role that responsibility represents in the process requires careful analysis. From Arendt’s critical comments on the link between citizenship and rights, Weil’s conception of obligations towards the human being, and Zambrano’s reflection about Europe, it is maintained that co-operation and not just obligations must be promoted. One possible way is to revalue the role of empathy in its important social function since it strengthens (...) social relations, but this is not enough. It is stated that it is necessary to assume new political and social paradigms, such as that of solidarity or fraternity, to forge a new social covenant that promotes civic commitment in social, economic and political spaces. (shrink)

From Hippocrates and Galen, meteorological medicine studied the impact of environmental factors and weather phenomena on mental and bodily health. This theory has been largely diffused by medical works and encyclopaedias, such as those of Vincentius de Beauvais and Bartholomeus Anglicus. However, its reception within mediaeval meteorology still remains to be fully inquired, partly because it was not a traditional topic to be discussed in the question commentaries on the Meteorologica of Aristotle. This article aims to focus on three Parisian (...) quaestiones on the Meteorologica in which Radulphus Brito and Themo Iudaei de Monasterio utilised concepts of meteorological medicine as a tool to explain meteorological principles. The medical theory is used to clarify how antiperistasis works within animals’ bellies and its impacts on their general health; and in the second one, to describe the harmful impacts water has on human and animal bodies; and then thirdly, to explain the process of generating rain. (shrink)

Several DNA-damage detection and repair mechanisms have evolved to repair double-strand breaks induced by mutagens. Later in evolutionary history, DNA single- and double-strand cuts made possible immune diversity by V(D)J recombination and recombination at meiosis. Such cuts are induced endogenously and are highly regulated and controlled. In meiosis, DNA cuts are essential for the initiation of homologous recombination, and for the formation of joint molecule and crossovers. Many proteins that function during somatic DNA-damage detection and repair are also active during (...) homologous recombination. However, their meiotic functions may be altered from their somatic roles through localization, posttranslational modifications and/or interactions with meiosis-specific proteins. Presumably, somatic repair functions and meiotic recombination diverged during evolution, resulting in adaptations specific to sexual reproduction. BioEssays 27:795–808, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

Starting from the recent quest to investigate the human side of organizational sustainability, this study applies a variety of regression analyses to investigate the effects of Lean Operations, High Involvement Work Practices, and management behaviors on occupational safety. It tests and finds support for the hypotheses that Lean Production systems, High Involvement Work Practices, and two specific management behaviors—workers’ capability development and empowerment —positively affect occupational safety. Furthermore, empowering behaviors positively moderate the effect of Lean Operations on workers’ safety. The (...) study bridges sustainable operations literature with theories related to the ethical side of safety management, sustainable HRM, ethical leadership, and empowerment. In doing so, it contributes to the understanding of occupational safety as constitutive aspect of organizational sustainability. (shrink)

There are close similarities between the Weihrauch lattice and the zoo of axiom systems in reverse mathematics. Following these similarities has often allowed researchers to translate results from one setting to the other. However, amongst the big five axiom systems from reverse mathematics, so far $\mathrm {ATR}_0$ has no identified counterpart in the Weihrauch degrees. We explore and evaluate several candidates, and conclude that the situation is complicated.

La crisis en la que estamos inmersos tiene entre sus causas una profunda crisis de relaciones entre las personas y los Estados. Si superamos esta crisis de relaciones, asumiendo nuevos paradigmas políticos y sociales, aseguraremos la base de una nueva convivencia democrática, integradora y solidaria, que responda al reto de la globalización y la interdependencia. Sólo se saldrá de la crisis de relaciones desde valores basados en la solidaridad, asentada en la confianza mutua. Algunas propuestas para regenerar el sistema de (...) valores apelan el paradigma de la fraternidad: la globalización de la solidaridad como respuesta a la crisis de la globalización. (shrink)

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ2, the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in +“φ2 is well-ordered” and, over , implies +“φ2 is well-ordered”.

We show that the maximal linear extension theorem for well partial orders is equivalent over RCA0 to ATR0. Analogously, the maximal chain theorem for well partial orders is equivalent to ATR0 over RCA0.

El objeto de este artículo es analizar el problema de la justificación del conocimiento básico y ofrecer una solución basada en un tipo de justificación deflacionaria no-evidencialista a partir de la noción de habilitación de T. Burge y la de _garantía racional_ de C. Wright. El problema, en el caso del conocimiento básico lógico, es que justificar las reglas lógicas inferencialmente supone utilizar principios lógicos, con lo cual se genera un círculo vicioso. Examinamos la viabilidad del enfoque no-inferencialista de Wright (...) y sostendremos que una garantía racional es una respuesta viable para el problema de la justificación del conocimiento lógico básico. (shrink)

The growth of consumer DNA ancestry testing has resulted in questions and critiques being raised in social and research contexts. This study examined individuals discussing their ancestry DNA testing results on YouTube by searching for the two most popular testing companies (23andMe; Ancestry) and the phrase “DNA results.” The finalized dataset consisted of 117 videos, on which directed content analysis was performed. In the videos, individuals used results to clarify, confirm, question, and re-evaluate their previously held conceptions of racial/ethnic identities. (...) Reactions were more positive than negative (88.1% vs. 8.1%), and results more commonly reaffirmed (77.8%) than re-conceptualized (40.0%) one’s racial/ethnic identity. Ancestry testing and personal social media accounts were commonly promoted, demonstrating biotechnological hype where promotion abounds and critiques are scarce. Questions persist around the impact of ancestry DNA testing in reifying a scientifically inaccurate conception of race and what impact YouTube videos might have on audiences. (shrink)