We give examples of calculi that extend Gentzen’s sequent calculusLKby unsound quantifier inferences in such a way that derivations lead only to true sequents, and proofs therein are nonelementarily shorter thanLK-proofs.

We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length <ω^2 (Theorem 2.4). We then give an elementary proof of the determinacy of σ-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof (...) to obtain proofs of the determinacy of σ-projective games of a given countable length and of games with payoff in the smallest σ-algebra containing the projective sets, from corresponding assumptions (Theorem 5.1, Theorem 5.4). (shrink)

Extending Aanderaa’s classical result that $\pi ^{1}_{1} < \sigma ^{1}_{1}$, we determine the order between any two patterns of iterated $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection on ordinals. We show that this order of linear reflection is a prewellordering of length $\omega ^{\omega }$. This requires considering the relationship between linear and some non-linear reflection patterns, such as $\sigma \wedge \pi $, the pattern of simultaneous $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection. The proofs involve linking the lengths of (...) $\alpha $ -recursive wellorderings to various forms of stability and reflection properties satisfied by ordinals $\alpha $ within standard and non-standard models of set theory. (shrink)

We determine the consistency strength of determinacy for projective games of length ω^2. Our main theorem is that $\Pi _{n + 1}^1$-determinacy for games of length ω^2 implies the existence of a model of set theory with ω + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that M_n(A), the canonical inner model for n Woodin cardinals constructed over A, satisfies $A = R$ and the (...) Axiom of Determinacy. Then we argue how to obtain a model with ω + n Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length ω^2 with payoff in $R^R\Pi _1^1$ or with σ-projective payoff. (shrink)

For every countable wellordering $\alpha $ greater than $\omega $, it is shown that clopen determinacy for games of length $\alpha $ with moves in $\mathbb {N}$ is equivalent to determinacy for a class of shorter games, but with more complicated payoff. In particular, it is shown that clopen determinacy for games of length $\omega ^2$ is equivalent to $\sigma $ -projective determinacy for games of length $\omega $ and that clopen determinacy for games of length $\omega ^3$ is equivalent (...) to determinacy for games of length $\omega ^2$ in the smallest $\sigma $ -algebra on $\mathbb {R}$ containing all open sets and closed under the real game quantifier. (shrink)

Let Mn♯ denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn the class-sized model obtained by iterating the topmost measure of Mn class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn, under the assumption that projective games on reals are determined:1. for even n, Σ1Mn=⅁RΠn+11;2. for odd n, Σ1Mn=⅁RΣn+11.This generalizes a theorem of Martin and Steel for L, (...) that is, the case n=0. As consequences of the proof, we see that determinacy of all projective games with moves in R is equivalent to the statement that Mn♯ exists for all n∈N, and that determinacy of all projective games of length ω2 with moves in N is equivalent to the statement that Mn♯ exists and satisfies AD for all n∈N. (shrink)

We prove a topological completeness theorem for the modal logic $$\textsf{GLP}$$ GLP containing operators $$\{\langle \xi \rangle :\xi \in \textsf{Ord}\}$$ { ⟨ ξ ⟩ : ξ ∈ Ord } intended to capture a wellordered sequence of consistency operators increasing in strength. More specifically, we prove that, given a tall-enough scattered space X, any sentence $$\phi $$ ϕ consistent with $$\textsf{GLP}$$ GLP can be satisfied on a polytopological space based on finitely many Icard topologies constructed over X and corresponding to the (...) finitely many modalities that occur in $$\phi $$ ϕ. (shrink)

Since the Arab Spring of 2011, the cultural heritage of the Middle East has faced a serious threat, as Daesh (ISIS) and other extremist organizations turned archaeological sites into a financing tool. In 2016, around 100,000 cultural objects of great importance, including 4,500 archaeological sites, nine of which are included in the UNESCO World Heritage List, were under the control of the Islamic State in Syria and Iraq. However, not only these extremist groups are included in these dynamics. Part of (...) the population of these countries does not hesitate to carry out this type of activity to get ahead. (shrink)

The Coronavirus Disease 2019 pandemic, now a global health crisis, has surprised health authorities around the world. Recent studies suggest that the measures taken to curb the spread of the COVID-19 outbreak have generated issues throughout the population. Thus, it is necessary to establish and identify the possible risk factors related to the psychosocial and psychophysiological strain during the COVID-19 outbreak. The present extensive literature review assesses the social, psychological, and physiological consequences of COVID-19, reviewing the impact of quarantine measures, (...) isolation, vast human loss, social and financial consequences in the family’s economies, and its impact on the psychological health of the population. We also discussed the effect of psychophysiological factors, considering the impact of physical inactivity and modifications in nutritional habits, at psychological and physiological levels. The present review includes an actualized to date bibliography, articles for which were methodologically analyzed to verify they met the standards of quality and scientific accuracy. Authors understand the pandemic as a multifactorial event for which only a profound and extensive analysis would lead to better compression and efficient intervention in the near future. (shrink)

Summary A brief state of the art for Phlegon of Tralles’ De Mirabilia 3 anti-Roman prophecies is followed by a reassessment of four of its components: the historical identification of the Roman protagonist “Publius”, Naupaktos as the main stage for the prophecies, the multiple meanings of the Red Wolf as well as the Oak Tree, and the Roman military retreat. By analyzing these specific elements, it will be argued that these presages were not only associated with events during the Antiochean (...) and Mithridatic Wars, but were also related with historical experiences from the First Macedonian Conflict. (shrink)

The thesis is guided by the question: What is the subject matter of Heidegger’s philosophy in the period of Being and Time? I start by arguing that Heidegger’s formulation of the question of being is ambiguous because the term ‘being’ is open to at least two interpretations. I claim that this ambiguity has motivated two types of reading of Heidegger’s early work. On the first reading, Heidegger’s philosophy is understood as attempting to infer metaphysical claims (claims about what-is, or being (...) in a traditionally metaphysical sense) on the basis of claims about the structure of Dasein’s understanding. This reading typically renders Heidegger an idealist. On the second reading, Heidegger’s philosophy is taken to have no metaphysical ambitions, and thereby to be limited to elucidating the structure of Dasein’s understanding. I argue that both types of reading are inadequate and diagnose them as grounded in a Cartesian presupposition that Heidegger rejects. On the basis of direct textual evidence and a number of theoretical considerations I assert that although the second type of reading is right in that the primary object of Heidegger’s philosophy is the conditions of understanding and that the idealist reading is wrong, it is a mistake to deny that Heidegger’s philosophy has metaphysical implications. I claim that Heidegger’s exposition of the conditions of understanding involves a larger picture from the outset, a picture that delineates the relation between understanding and entities, and locates the objective in relation to Dasein. On this picture, 1) empirical entities are unqualifiedly independent of Dasein, 2) we have direct cognitive access to these entities as they are in themselves, and 3) there is no a priori unintelligible entities or aspects of entities. I address a number of potential objections to this way of interpreting Heidegger’s work. (shrink)

This article questions the prevailing opinion that Domitian's prohibition of castration was intended as a protective measure devised to check masters’ abuses on their slaves, as part of a larger trend towards more enlightened attitudes towards slavery among the Romans. While brutal, castration was the only type of mutilation which increased the monetary value of slaves. Banning it curtailed slaves’ chances of social climbing and narrowed their channels towards positions of power. The emasculation ban is, instead, better understood as one (...) of the many measures directed towards the control of the sexual behaviour and the sumptuary practices of the Roman elite. Introduced as a censorial decree, the ban gave Domitian the opportunity to act as the upholder of Republican traditions at the same time as he impinged on the private lives of his subjects and put senators and equestrians under his thumb. The article also argues that, contrary to what is usually argued, the constant re-enforcement of the prohibition to castrate by Domitian's successors is an indication of the effectiveness of the Roman legal machinery and its capacity to reach the most distant corners of the Roman empire. (shrink)

Background: Heart rate variability (HRV) has been considered as a measure of heart-brain interaction and autonomic modulation, and it is modified by cognitive and attentional tasks. In cognitive tasks, HRV was reduced in participants who achieved worse results. This could indicate the possibility of HRV predicting cognitive performance, but this association is still unclear in a high cognitive load sport such as chess Objective: To analyse modifications on HRV and subjective perception of stress, difficulty and complexity in different chess problem (...) tasks. Design: HRV was assessed at baseline. During the chess problems, HRV was also monitored, and immediately after chess problems the subjective stress, difficulty and complexity were also registered. Method: A total of 16 male chess players, age: 35.19 (13.44) and ELO: 1927.69 (167.78) were analysed while six chess problem solving tasks with different level of difficulty were conducted (two low level, two medium level and two high level chess problems). Participants were classified according to their results into two groups: high performance or low performance. Results: Friedman test showed a significant effect of tasks in HRV indexes and perceived difficulty, stress and complexity in both high and low performance groups. A decrease in HRV was observed in both groups when chess problems difficulty increased. In addition, HRV was significantly higher in the high performance group than in the low performance group during chess problems. Conclusions: An increase in autonomic modulation was observed to meet the cognitive demands of the problems, being higher while the difficulty of the tasks increased. Non-linear HRV indexes seem to be more reactive to tasks difficulty, being an interesting and useful tool in chess training. (shrink)

Within the polemic work which was developed by Eastern Christians it is necessary to underline the transmission of the whole of the religious conceptions, the kinds of argumentation and defence of the dogma, the elaboration of the discourse, the debate techniques used, the vocabulary which was adapted and generated, the rewriting developed from the Biblical material and Quranic criticism, as well as the refutations of the Muslim ideas, and the huge information which is inside the intrachristian polemics. Theology is the (...) most important element to describe the abridged knowledge which is in all of the treatises which make whole the polemic typology. This element allows us to rebuild the rich and involved tram which forms the 'theological knowledge' of the different Ch1istian churches and the several Muslim trends too. This, polemics help to clarify the processes which shape the ideology of the different human groups in conflict. (shrink)

One of the modern features in Maimonides’ exegesis is the interpretation of the figurative and symbolic concepts which can be found in the Biblical text. To this respect, the task developed by the Cordovan writer place the texts before new hermeneutic possibilities of analysis which offer original readings from his interpretation.

ABSTRACTThe social content of affective stimuli has been proposed as having an influence on cognitive processing and behaviour. This research was aimed, therefore, at studying whether automatic exogenous attention demanded by affective pictures was related to their social value. We hypothesised that affective social pictures would capture attention to a greater extent than non-social affective stimuli. For this purpose, we recorded event-related potentials in a sample of 24 participants engaged in a digit categorisation task. Distracters were affective pictures varying in (...) social content, in addition to affective valence and arousal, which appeared in the background during the task. Our data revealed that pictures depicting high social content captured greater automatic attention than other pictures, as reflected by the greater amplitude and shorter latency of anterior P2, and anterior and posterior N2 components of the ERPs. In addition, social content also provoked greater allocation of processing resour... (shrink)

La sociedad del conocimiento y la introducción en los procesos de enseñanza-aprendizaje de las tecnologías de la información y la comunicación, están exigiendo de quienes nos dedicamos a la educación en el ámbito universitario, la utilización de nuevas estrategias didácticas y la reinvención de algunas antiguas o no tan nuevas. Se trata de dar respuesta a la demanda social de “aprender de otra manera” para mejorar la inserción de los nuevos egresados en su ámbito profesional. Esta nueva forma de aprender (...) debe tener en consideración las exigencias de los nuevos contextos de enseñanza-aprendizaje, donde el protagonismo de los estudiantes es un elemento esencial y la relación de lo aprendido con sus posibilidades de aplicación en el contexto profesional es el otro. Casualmente el modelo de formación basado en competencias desde el enfoque socioformativo coincide en ambos protagonismos y el portafolio como estrategia didáctica que puede utilizarse en este modelo puede ayudar a dotar de protagonismo al que aprende haciéndole tomar conciencia de que el aprendizaje no se produce de manera automática sino a través de una serie de pasos y etapas que a la vez que se van consiguiendo nos permiten reflexionar el proceso. Una vez llevado a cabo este proceso de reflexión general, puede aplicarse en el ámbito médico para iniciar al estudiante a tomar conciencia de su semejanza con el diagnóstico clínico. Palabras clave: portafolio; estrategias de enseñanza-aprendizaje; diagnóstico clínico; enfoque socioformativo. (shrink)

En las primeras páginas de la Ciencia de la lógica, el pensar tiene la pretensión de iniciar su propio movimiento sin aceptar ningún pensamiento dado o presuposición como la paradójica y pura autorreferencia del vínculo de ser y nada. De acuerdo conesto, proponemos una lectura que afirma la presencia de una negatividad que explica la actividad inmanente del pensar en el inicio de la Ciencia de la lógica.

El objetivo de este artículo es mostrar cómo en la novela Ciudad de cristal de Paul Auster tiene lugar una aproximación a lo singular mediante el lenguaje. Sin embargo, esta adecuación entre las palabras y las cosas tiene que sucumbir frente al movimiento y cambio constante de estas últimas, lo que produce que la adecuación perfecta de lo singular y el lenguaje no se pueda llevar a cabo, transformándose el lenguaje en silencio. Creemos que esto se confirma en la actitud (...) de dos de los personajes de esta novela, cuya única alternativa y escapatoria consiste en fundirse con la ciudad, convirtiendo el espacio en una nueva articulación lingüística. The aim of this article is to show how in Paul Auster’s novel City of Glass, an approach to singularity through language takes place. Nevertheless, this adjustment between words and things fails because of the constant movement and change of things, resulting in failure of the perfect adjustment between the singular and language, turning the language into silence. We think that this is confirmed in the behaviour of two of this novel’s characters, whose only alternative and escape consists of merging with the city, transforming the space into a new linguistic articulation. (shrink)

RESUMEN El propósito de este artículo es demostrar que Hegel, al cuestionar la idea de progreso e introducir la noción de Presente Absoluto en su introducción a las Lecciones sobre la Filosofía de la Historia Universal, propone una nueva forma de pensar el tiempo histórico gracias a una concepción de la eternidad entendida como reunión negativa de los momentos del tiempo. Esta concepción hace posible comprender el presente histórico en su apertura y fragilidad, encontrando sus raíces lógicas en el conflicto (...) de la Idea Absoluta consigo misma. ABSTRACT The aim of this article is to demonstrate that Hegel in his Introduction to the Lectures on the Philosophy of World History proposes a new way of thinking historical time thanks to a notion of eternity understood as the negative reunion of the moments of time by questioning the idea of progress and introducing the notion of absolute pre-sent. This notion makes possible comprehending the historical present in its openness and fragility finding its logical roots in the conflict of the Absolute Idea with itself. (shrink)

El propósito de este artículo es demostrar que Hegel, al cuestionar la idea de progreso e introducir la noción de Presente Absoluto en su introducción a las Lecciones sobre la Filosofía de la Historia Universal, propone una nueva forma de pensar el tiempo histórico gracias a una concepción de la eternidad entendida como reunión negativa de los momentos del tiempo. Esta concepción hace posible comprender el presente histórico en su apertura y fragilidad, encontrando sus raíces lógicas en el conflicto de (...) la Idea Absoluta consigo misma. (shrink)

We conducted a scoping review to map and critically examine the knowledge, perceptions and utilization of generics and biosimilars, among physicians, pharmacists, patients, the general population, and other stakeholders from LAC.

In this paper we analyze the basic notions of Reinhart Koselleck’s conceptual history, with regard to which he claims that conceptual order permits the constitution of semantic fields that obtain their content from the horizons of expectations and experience in which they are embedded. However, this relation is troublesome, for Koselleck does not explore the ideological grounding of the extralinguistic sphere that determines conceptual order, showing thusly an aspect that affects conceptual history’s composition as a discipline that does not question (...) its own foundations. We therefore claim that the notion of semantic control exerted by ideologies, which determine the primacy of specific conceptual meanings over other conceptual contents, allows this issue to be clarified and solved. (shrink)

RESUMEN En las primeras páginas de la Ciencia de la lógica, el pensar tiene la pretensión de iniciar su propio movimiento sin aceptar ningún pensamiento dado o presuposición como la paradójica y pura autorreferencia del vínculo entre ser y nada. De acuerdo con esto, proponemos una lectura que afirma la presencia de una negatividad que explica la actividad inmanente del pensar en el inicio de la Ciencia de la lógica. ABSTRACT The opening pages of the Science of Logic present us (...) with thought beginning its own movement, without accepting any given thought or assumption, that is, as the paradoxical and pure self-reference of the link between being and nothing. In this sense, we suggest a reading that asserts the presence of a negativity that explains the immanent activity of thought at the beginning of the Science of Logic. (shrink)

In this article we are going to approach the question of the intersubjectivity. To understand why the intersubjectivity is a modern problem and which is the solution that it fits, we have chosen to follow a descending route that gives light and should illuminate what today, in many areas, is seen as a problem. We will begin, consequently, approaching the person as not identical but dual. The above mentioned cosideration takes us from the hand to the distinction between someone and (...) something that reveals the unlimited character of the person. The distinction indicates that what is own of the person is to coexist, that is to say, that there cannot be only one person. Thus, monism is incompatible with the personal being and, having reached the person as coexistence, the discoveries are extended on to intersubjectivity, proper of modern anthropology. (shrink)

Takeuti introduced an infinitary proof system for determinate logic and showed that for transitive models of Zermelo-Fraenkel set theory with the Axiom of Dependent Choice that contain all reals, the cut-elimination theorem is equivalent to the Axiom of Determinacy, and in particular contradicts the Axiom of Choice. We consider variants of Takeuti's theorem without assuming the failure of the Axiom of Choice. For instance, we show that if one removes atomic formulae of infinite arity from the language of Takeuti's proof (...) system, then cut elimination is equivalent to a determinacy hypothesis provable, e.g., in ZFC + “there are infinitely many Woodin cardinals.” A slight extension of the proof system admits cut elimination for countable sequents under the same assumptions. A simple modification of the proof system yields analogs of the results above for the Axiom of Real Determinacy and uncountably many Woodin cardinals. (shrink)

We isolate two abstract determinacy theorems for games of length $\omega_1$ from work of Neeman and use them to conclude, from large-cardinal assumptions and an iterability hypothesis in the region of measurable Woodin cardinals thatif the Continuum Hypothesis holds, then all games of length $\omega_1$ which are provably $\Delta_1$ -definable from a universally Baire parameter are determined;all games of length $\omega_1$ with payoff constructible relative to the play are determined; andif the Continuum Hypothesis holds, then there is a model of (...) ${\mathsf{ZFC}}$ containing all reals in which all games of length $\omega_1$ definable from real and ordinal parameters are determined. (shrink)

It is shown that the determinacy of $G_{\delta \sigma }$ games of length $\omega ^2$ is equivalent to the existence of a transitive model of ${\mathsf {KP}} + {\mathsf {AD}} + \Pi _1\textrm {-MI}_{\mathbb {R}}$ containing $\mathbb {R}$. Here, $\Pi _1\textrm {-MI}_{\mathbb {R}}$ is the axiom asserting that every monotone $\Pi _1$ operator on the real numbers has an inductive fixpoint.