We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...) GmbH & Co. KGaA, Weinheim. (shrink)

This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and least number axiom schemes to formulas which are Δ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta_1}$$\end{document} provably in an arithmetic theory T. In particular, we determine the provably total computable functions of this kind of theories. As an application, we obtain a reduction of the problem whether IΔ0+¬exp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${I\Delta_0 + \neg \mathit{exp}}$$\end{document} implies BΣ1\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${B\Sigma_1}$$\end{document} to a purely recursion-theoretic question. (shrink)

In this paper we continue the study of the theories IΔ n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that IΔ n+1 (T) is Π n+2 –axiomatizable. In particular, IΔ n+1 (IΔ n+1 ) gives an axiomatization of Th Π n+2 (IΔ n+1 ) and is not finitely axiomatizable. This fact relates the fragment IΔ n+1 (IΔ n+1 ) to induction (...) rule for Δ n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons’ conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for Π n+2 and Δ n+1 formulas (see [2]). (shrink)

For a theory T, we study relationships among IΔ n +1 (T), LΔ n+1 (T) and B * Δ n+1 (T). These theories are obtained restricting the schemes of induction, minimization and (a version of) collection to Δ n+1 (T) formulas. We obtain conditions on T (T is an extension of B * Δ n+1 (T) or Δ n+1 (T) is closed (in T) under bounded quantification) under which IΔ n+1 (T) and LΔ n+1 (T) are equivalent. These conditions depend (...) on Th Πn +2 (T), the Π n+2 –consequences of T. The first condition is connected with descriptions of Th Πn +2 (T) as IΣ n plus a class of nondecreasing total Π n –functions, and the second one is related with the equivalence between Δ n+1 (T)–formulas and bounded formulas (of a language extending the language of Arithmetic). This last property is closely tied to a general version of a well known theorem of R. Parikh. Using what we call Π n –envelopes we give uniform descriptions of the previous classes of nondecreasing total Π n –functions. Π n –envelopes are a generalization of envelopes (see [10]) and are closely related to indicators (see [12]). Finally, we study the hierarchy of theories IΔ n+1 (IΣ m ), m≥n, and prove a hierarchy theorem. (shrink)

In this paper we deal with some new axiom schemes for Peano's Arithmetic that can substitute the classical induction, least-element, collection and strong collection schemes in the description of PA.

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.

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)

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)

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 quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.

Widespread conceptions of practical reasoning confront us with a choice between its practicality and its objectivity: between its efficacious, world-changing character and its accountability to objective rational standards. This choice becomes unnecessary, I argue, on an alternative view embodied by the thesis that the conclusion of practical reasoning is an action. I lay bare and challenge the assumptions underlying the rejection of that thesis and outline a defense of its picture of practical reasoning against common objections. On such a picture, (...) practical reasoning provides a principle not externally imposed upon an action but rather constitutive of it. (shrink)

Background: The Declaration of Helsinki prohibits the publication of articles that do not meet defined ethical standards for reporting of research ethics board approval and informed consent. Despite this prohibition and a call to highlight the deficiency for the reader, articles with potential ethical shortcomings continue to be published.Objective: To determine what proportion of articles in major medical journals lack statements confirming REB approval and informed consent, and whether accompanying commentary alerts readers to this deficiency.Design: Retrospective, observational study.Setting: Online review (...) of five major medical journals.Population: All clinical research articles published online between 1 January 2005 and 31 December 2006 in the BMJ, Lancet, Annals of Internal Medicine, JAMA and the New England Journal of Medicine.Measurements: Statement of REB approval and informed consent.Results: Of 1780 articles reviewed, 1133 met inclusion criteria , 36 articles lacked a statement of REB approval, 62 lacked disclosure of informed consent and 15 articles lacked both. Articles that did not state REB approval were associated with not stating informed consent . There were no editorial comments to alert readers to the lack of either REB approval or informed consent statements associated with any of the deficient articles.Conclusions: Articles that lack explicit statements of REB approval and informed consent are infrequent but continue to be published in major medical journals without editorial statements to alert the reader to this deficiency. (shrink)

Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain. Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations (...) of paraconsistency, the use of paraconsistent logic as a basis for set-theory, and the methodological aspects in both the justification of new axioms in set theory and the formalization of pre-theoretic notions. Other papers are related to epistemic logic. They deal with the issues of abduction and the choice of the simplest hypothesis, the definition of group probability, and the nature of explanation and understanding in such logic. There are also papers on logical paradoxes, the semantics of names, and the nature of relations. Max A. Freund is Professor of Logic and Philosophy at the University of Costa Rica and the National University of Costa Rica. He is co-author of the book Modal Logic its syntax and semantics, as well as the author of Judicial Logic, and of a forthcoming book The Logic of Sortals. Max Fernandez de Castro is Professor of Logic and Philosophy at the Autonomous Metropolitan University of Mexico. He is the author of the book Quine y la Ontologíaa and co-author of the books Lógica Matemática I: lógica proposicional, intuicionista y modal, Lógica Matemática II: clásica, intuicionista y modal, Teoría de Conjuntos, Lógica y Temas Afines I. Marco Ruffino is Professor of Philosophy at the University of Campinas and the editor of Manuscrito, the Brazilian international journal for Analytic Philosophy. He has many publications, in important philosophical journals, in the philosophy of language, of logic, and of mathematics; in the history of analytic philosophy, and on Frege and Wittgenstein. (shrink)

The sex chromosomes of many species differ in dosage but the total gene expression output is similar, a phenomenon referred to as dosage compensation. Previously, diverse mechanisms were postulated to account for compensation in distantly related taxa. However, two recent papers present evidence that dosage compensation in Drosophila, mammals and nematodes share the property that there is an approximately two‐fold upregulation of the single active X chromosome in each case.1,2 The results suggest that a common mechanism might operate in these (...) different cases. BioEssays 28: 565–568, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 El interrogante del que este artículo pretende dar cuenta es si el individualismo de John Locke responde a la radicalidad con la que la corriente de interpretación más difundida intenta caracterizarlo. La conclusión que se alcanza luego de una amplia presentación de pruebas textuales, es que la necesaria matización del individualismo se deriva de la insistencia del autor en justificar el origen divino de los derechos y deberes. De este modo, en la medida (...) en que se niegue que los hombres disponen de un derecho irrefrenable a seguir su deseo de autopreservación, es posible concluir que el Estado no existe para resguardar esos presuntos derechos individuales, sino para restaurar la ley de naturaleza que ya no sirve, como debería, para determinar los derechos y deberes de los hombres. (shrink)

Este ensayo aborda el tratamiento que Hobbes da a la complejidad de la causalidad en conjunción con su análisis materialista del modo en que el miedo orienta al sujeto en el tiempo con el fin de defender que para Hobbes el miedo es tanto una respuesta como una negación de la imposibilidad de la auto-soberanía. El ensayo argumenta que los movimientos de la memoria y la anticipación que Hobbes describe como centrales en la pasión del miedo transforman el campo causal (...) del sujeto de tal manera que le da un sentido de posible dominio tanto sobre sí como sobre el mundo que la rodea. Al sugerir que el miedo fomenta la ilusión de autonomía en la agencia de los individuos, Hobbes señala la posibilidad de que el inmenso y temible poder atribuido al soberano no sea simplemente una respuesta a la necesidad de sofocar el desenfreno y el desorden, sino también una condición para el sentido de cada individuo de su propia soberanía. (shrink)

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

Proponemos una lectura de la obra de Hobbes como revolución, como ruptura radical con el pensamiento de la tradición dominante: ruptura, que lo es en casi todos los ámbitos, pero sobre todo en el del pensamiento político, moral y jurídico. Sugerimos, además, que esa radical ruptura sigue manteniendo elementos vivos y útiles para pensar la política hoy.

El presente artículo da cuenta de las actitudes hacia los inmigrantes entre los estudiantes de educación secundaria de edades comprendidas entre 12 y 13 años en Extremadura, España. Los datos proceden de una investigación financiada por el Gobierno Regional de Extremadura y en ellos se muestran ¿mediante análisis de contenido y utilización de citas textuales¿ los componentes estructurales que alimentan las actitudes positivas y/o negativas hacia la inmigración y los inmigrantes por parte de los adolescentes extremeños, en la medida en (...) que son plenamente representativos en cuanto a actitudes y valores del conjunto nacional. El análisis nos permite establecer un modelo actitudinal frente a la inmigración que deberá ser probado en futuras investigaciones. (shrink)

This book is an invitation to academic administrators, at every level, to engage in reflection on the ethical dimensions of their working lives.

Background Diversity in Institutional Review Board (IRB) membership is important for both intrinsic and instrumental reasons, including fairness, promoting trust, improving decision quality, and responding to systemic racism. Yet U.S. IRBs remain racially and ethnically homogeneous, even as gender diversity has improved. Little is known about IRB chairpersons’ perspectives on membership diversity and barriers to increasing it, as well as current institutional efforts to promote diversity, equity, and inclusion (DEI) within IRB membership.Methods We surveyed IRB chairpersons leading U.S. boards registered (...) with the Office for Human Research Protections. Here, we focus exclusively on responses from a subset of 388 chairpersons of IRBs at universities and academic medical centers (AMCs).Results Board chairs were predominantly white and evenly split between men and women. Only about half reported that their boards had at least one member who is Black or African American (51%), Asian (56%), or Hispanic (48%), with 85% of university/AMC boards comprised entirely (15%) or mostly (70%) of white members. Most IRB chairpersons (64%) reported satisfaction with the current diversity of their membership. Participants largely agreed that considering diversity in the selection of IRB members is important (91%), including to improve the quality of IRB deliberation (80%), with an emphasis on racial/ethnic (85%) and gender diversity (74%). Most participants (80%) reported some type of active DEI effort regarding board membership at their university/AMC and just over half (57%) expressed satisfaction with these efforts.Conclusions Our national survey found that although university/AMC IRB chairpersons report valuing diversity in board membership, it may be lacking in key areas. Going forward, it will be important to specify clear reasons for diversity in the IRB context, as well to establish targets for acceptable levels of board diversity and to match DEI efforts to those targets. (shrink)

On the assumption that shame is a universal emotion, cross-cultural research on shame relies on translations assumed to be equivalent in meaning. Our studies here questioned that assumption. In three studies,shamewas compared to its translations in Spanish and in Malayalam. American English speakers usedshamefor the emotional reaction to moral failures and its use correlated positively withguilt, whereasvergüenzaandnanakeduwere used less for moral stories and their use correlated less with the guilt words. In comparison with Spanish and Malayalam speakers’ ratings of their (...) translations, American English speakers ratedshameandguiltto be more similar to each other. (shrink)

Research investigating female gaming is relatively scarce, and past research has demonstrated that men are more likely to be problematic gamers. Few studies have focused on female gamers in community samples, and those that have been published have mainly collected data qualitatively in Europe. There is case study evidence suggesting clinicians are increasingly treating problem female gamers. The aim of this study is threefold: (i) to establish an international female gamer profile, (ii) to determine predictors associated with perceived internet gaming (...) disorder (IGD), and (iii) to identify those who are potentially at risk of developing gaming addiction and its characteristics by applying a quantitative approach. A cross-sectional online survey was applied through international gaming forums recruiting 625 female gamers, assessing sociodemographics, gaming devices used and play genres, and a set of questionnaires on gaming (e.g., problem online gaming [e.g., the nine-item short-form scale to assess IGD: IGDS9-SF], female stereotypes [e.g., sex role stereotyping scale], and psychological symptoms [e.g., Symptom CheckList-27-plus]). Female gamers from all continents reported the use of all videogames, especially popular online games using computers and consoles. The proportion of gamers with potential IGD was one per cent. Regression analyses identified several risk factors for increased scores on the IGDS9-SF, namely having achievement and social motivations, embodied presence and identification with the avatar, hostility and social phobia together with negative body image, playing Multiplayer Online Battle Arena, Massively Multiplayer Online Role-Playing Games, and First-Person-Shooter games. Findings contribute to filling the gap in knowledge on female gaming, to aid in the applicability of problematic gaming measurements in female gamers, especially those who are at risk of problematic gaming. The purpose of this study is to enhance the validity of the current measures to diagnose problem gaming appropriately in both genders. (shrink)

Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...) as evidenced by metric invariance between countries (CFI = 0.96, RMSEA = 0.06, SRMS = 0.07) as well as scalar invariance across genders (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03) and educational levels (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03). Also, lower levels of education, more fear of COVID-19, and more cynicism were weakly associated with stronger conspiracy and health beliefs. The study contributes to knowledge about the structure of unfounded beliefs, and reveals the potential relevance of affective (i.e., fear of COVID-19) and cognitive (i.e., cynicism) factors along with demographics, in endorsing such beliefs. In summary, we obtained cross-cultural evidence for the distinctiveness of unfounded conspiracy and health beliefs about COVID-19 in terms of their structure and correlates. (shrink)

El artículo aborda la pandemia del covid-19 como elemento contingente y su efecto de develamiento respecto de algunas manifestaciones contemporáneas de la ideología neoliberal en Latinoamérica. De esta forma, en base a conceptos filosóficos y psicoanalíticos de orientación lacaniana planteados fundamentalmente por Slavoj Žižek, se examinan los usos críticos de la noción de ideología en sus diversas manifestaciones: miedo al otro, imposición de la lógica del empresario de sí, destrucción de lazos sociales, extractivismo de recursos naturales y fetichización de los (...) discursos de unidad frente a la pandemia. La hipótesis radica en que la pandemia presenta una oportunidad para repensar la subjetividad contemporánea, mediante la confrontación con el Real que bordea a la simbolización y, en definitiva, a la captura ideológica, a fin de poner en cuestión la afirmación de que no hay alternativa. (shrink)

__Cultural Studies and Education_ is a timely introduction to cultural studies and the ways in which it can enrich both education scholarship and practice._ An extensive field that in the last few decades has transformed many academic disciplines, cultural studies has yet to be fully considered by educators and education scholars. Cultural Studies and Education redresses this great shortcoming, bringing cultural studies and its implications for education to the fore. The book aims to serve three main purposes. First, it is (...) an introduction for educators and education researchers to some of the most important theoretical debates and analytic frameworks that have shaped the field of cultural studies. Second, it offers an introduction to and examples of three important areas of inquiry in which education and cultural studies overlap: gender and queer studies; postcolonial and ethnic studies; and popular culture and youth studies. Third, it illustrates how education scholars have dealt with the conceptual challenges of cultural studies and how education offers unique perspectives and contributions to the broader debates in the field.". (shrink)