Working toward showing the decidability of the $\forall \exists $ -theory of the ${\Sigma ^0_2}$ -enumeration degrees, we prove that no so-called Ahmad pair of ${\Sigma ^0_2}$ -enumeration degrees can join to ${\mathbf 0}_e'$.

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

Collection of works on literature theory, translated into Mongolian language.

This paper discusses the role the question of being plays in the development of Heidegger’s thought. It is shown that the basic question of traditional ontology doesn’t provide a Leitfaden for Heidegger’s philosophical development as a whole. Actually, in his first academic writings, Heidegger sh..

Teachings of Muslim saints to earn bread by honest means.

Mountain Mandalas: Shugend? in Ky?sh?, by Allan G. Grapard. Bloomsbury. 2016. 320 pp. Hb. £90. ISBN–13: 9781474249003. Pb. £31. ISBN-13: 9781350044937. Ebook £34.54. ISBN-13: 9781474249027.

This paper grew as a continuation of [Sh462] but in the present form it can serve as a motivation for it as well. We deal with the same notions, all defined in 1.1, and use just one simple lemma from there whose statement and proof we repeat as 2.1. Originally entangledness was introduced, in [BoSh210] for example, in order to get narrow boolean algebras and examples of the nonmultiplicativity of c.c-ness. These applications became marginal when other methods were found and (...) successfully applied (especially Todorčevic walks) but after the pcf constructions which made their début in [Sh-g] and were continued in [Sh462] it seems that this notion gained independence.Generally we aim at characterizing the existence of strong and weak entangled orders in cardinal arithmetic terms. In [Sh462, §6] necessary conditions were shown for strong entangledness which in a previous version was erroneously proved to be equivalent to plain entangledness. In §1 we give a forcing counterexample to this equivalence and in §2 we get those results for entangledness (certainly the most interesting case). A new construction of an entangled order ends this section. In §3 we get weaker results for positively entangledness, especially when supplemented with the existence of a separating point (Definition 2.2). An antipodal case is defined in 3.10 and completely characterized in 3.11. Lastly we outline in 3.12 a forcing example showing that these two subcases of positive entangledness comprise no dichotomy. The work was done during the fall of 1994 and the winter of 1995. The second author proved Theorems 1.2, 2.14, the result that is mentioned in Remark 2.11 and what appears in this version as Theorem 2.10(a) with the further assumptionden(I)θ< μ. The first author is responsible for waving off this assumption (actually by showing that it holds in the general case), for Theorems 2.12 and 2.13 in Section 2 and for the work which is presented in Section 3. (shrink)

We prove independence results concerning the number of nonisomorphic models (using the S-chain condition and S-properness) and the consistency of "ZCF + 2 ℵ 0 = ℵ 2 + there is a universal linear order of power ℵ 1 ". Most of these results were announced in [Sh 4], [Sh 5]. In subsequent papers we shall prove an analog f MA for forcing which does not destroy stationary subsets of ω 1 , investigate D-properness for various filters and prove the (...) consistency with G.C.H. of an axiom implying SH (for ℵ 1 ), and connected results. (shrink)

This article ana l yses the birth of some n e w female identities in Latin America, mar k e d b y strong cultural inn o v ation. The process of change has been w on b y political st r uggles that h a v e pe r mitted Latin American w omen to g ain some essential rights. More o v er the t e x t describes the compl e xity of syncretising all Lati n America, (...) but the common elements are more important than the di f ferences. H o w e v e r , accepting this d i v ersit y , the great inequality of basic essentials in the relationships be t w een w omen, is producing one v oice, one discourse and one common demand. F inal l y , it sh o ws the political contradictions in w hich contempora ry Latin America w omen l i v e, summoned to pa r ticipate, as mode r n w omen, in the institutions w hen these same institutions put them in positions of social, political and economic subordination. Despite these di f f iculties, it emphasises the political e xperiments that w omen are ca r r ying out to f ind a syncretism without eliminating cultural d i versit y. (shrink)

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a κ which is κ+n -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the “bad” stationary set. It is shown that supercompactness (and even the failure (...) of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for manyλ ⌝ PT(λ, ℵ1). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular λ which is a limit of supercompacts the bad stationary set concentrates on the “right” cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular λ {δ<+ : cfδ<λ} is good. It is proved in ZFC that ifλ=cfλ>ℵ1 then {α<+ : cfα<λ} is the union of λ sets on which there are squares. (shrink)

Although the effectiveness of some tobacco programs and policies has been clearly demonstrated in reducing the overall population smoking prevalence, the health benefits are not equally distributed across all socio-economic classes; a situation that clearly runs against the equalitarian ethos of most modern states. In this article, we evaluate the benefits of using Sen’s Capability Approach as a theory of social justice to guide public health program and policy development in a way that would prevent the further increase of inequalities (...) in health outcomes. Starting from four consensual goals of tobacco control practice (i.e. that individuals live a smoke-free life, that smokers quit smoking, that non-smokers are protected from exposure to second-hand smoke and that smoking cessation support is accessible) we found that besides the standard interventions (e.g. education on the harms of smoking, policies to reduce exposure to SHS) an iniquity-proof tobacco control program needs also to address the lack of options of underprivileged people in affordable smoke-free settings and in leisure activities. We conclude that an ethical tobacco prevention program needs to address the broader social determinants of health such as the socio-economic policies that put a strain on people’s capacity to shun or quit smoking. (shrink)

Russkiĭ kosmizm v poiskakh absoli︠u︡ta : paralleli i peresechenii︠a︡ v muzykalʹnom, poėticheskom i izobrazitelʹnom tborchestve 1910-1920-kh godov -- Liki Moderna -- Putʹ k modernu : Georgiĭ Lʹvovich Katuar -- Stilʹ modern v tvorchestve Frederika Diliusa : kont︠s︡ert dli︠a︡ fortepiano s orkestrom do minor -- Stilʹ modern i tvorchestvo Bely Bartoka (na primere opery "Zamok gert︠s︡oga Sini︠a︡i︠a︡ Boroda") -- Frit︠s︡ Kreĭsler i stilʹ modern -- Klod Debi︠u︡ssi i Moris Ravelʹ : muzyka dli︠a︡ arfy -- Klod Debi︠u︡ssi : dvenadt︠s︡atʹ ėti︠u︡dov dli︠a︡ fortepiano (...) : ot ėkzersisa do installi︠a︡t︠s︡ii -- O dikhotomii "muzhskogo" i "zhenskogo" v Pi︠a︡toĭ sonate A.N. Skri︠a︡bina (na primere motivnoĭ metriki) -- Pod znakom moderna : A.N. Skri︠a︡bin i S.S. Prokofʹev v 1913 godu -- Avangard i modern v retrospektive -- O proi︠a︡vlenii︠a︡kh "modernizma" v ispolnitelʹskom iskusstve : F. Buzoni, M. I︠U︡dina, G. Gulʹd -- Sudʹba providt︠s︡a : fortepiannai︠a︡ muzyka Ėrika Sati v sovremennom akademicheskom muzykalʹnom mire -- Otgoloski ėpokhi modern : o nekotorykh smyslovykh osobennosti︠a︡kh sovremennykh fortepiannykh sochineniĭ (Ė. Denisov, S. Slonimskiĭ, G. Zaĭt︠s︡ev) -- Zapadnye pianisty - ispolniteli russkogo avangarda pervoĭ volny : Sh. Shleĭermakher, Kh. Khenk, M.-A. Amlen -- Muzyka k filʹmu "Kabinet doktora Kaligari" : mezhdu tvorcheskoĭ rekonstrukt︠s︡ieĭ i istoricheskoĭ imitat︠s︡ieĭ -- Podvodi︠a︡ itogi -- "Pozdniĭ modernizm" v muzyke kont︠s︡a XX - nachala XXI veka : nekotorye nabli︠u︡denii︠a︡ -- Po sledam konferent︠s︡ii "Ot moderna k futurizmu" (virtualʹnai︠a︡ beseda za kruglym stolom). (shrink)

The review of the collective monograph "Running and Philosophy", which has not been introduced into the sphere of domestic research of philosophical aspects of physical culture and sports, is presented. Marathon for the Mind" (published in English in 2007). The publication includes 19 essays prepared by American philosophers. The professional study of the socio-cultural determination and the existential significance of running practices by the authors of the monograph is effectively combined with the analysis of personal experience of participating in stayer (...) races, which provides a confessional and emotional presentation, as well as practical confirmation of the results obtained. It can be assumed that the content of the collection under consideration covers the main thematic repertoire and represents the research techniques of the philosophy of running that has been forming since the second half of the twentieth century. The reviewed monograph reveals the humanistic potential of running as a factor of anthropogenesis (Sh. Kay), a means of achieving "correct" apathy (R. Devitt) and the highest kind of friendship (M. V. Austin). R. A. Belliotti considers running as a way to gain superhuman standing, H. L. Reed and R. S. Reed find in it the embodiment of the values of existentialism. Within the framework of solving the problems of anthropological dualism, running activity is addressed by J. J. Wisniewski, M. Maze, C. Taliaferro and R. Trauber. K. Martin and M. S. Nussbaum consider running as a medium of aesthetic experience generation, R. J. van Arragon and K. Kinghorn reflect on the typology of runners. D. P. Fry and J. P. Moreland The connection between running and religious practices is investigated, G. Basham, K. Kelly, U. P. Kabasench and D. R. Hochstetler analyze the correlation of goals and means of running activity. Thus, the monograph substantiates the understanding of running as a publicly available and effective means of gaining physical, mental and social well-being, which expresses the humanistic essence of running practices and justifies the philosophical and anthropological significance of their research. (shrink)

The property on the filter in Definition 1, a kind of large cardinal property, suffices for the proof in Liu Shelah [LiSh484] and is proved consistent as required there (see Conclusion 6). A natural property which looks better, not only is not obtained here, but is shown to be false (in Claim 7). On earlier related theorems see Gitik Shelah [GiSh310]. On such games see e.g. [Je], [Sh-b], [Sh-f].

While training design choices seem amoral, they interact to determine training (in)effectiveness, potentially harming/benefiting trainees and organizations. These moral implications intensify when training is administered at scale (e.g., e-training) and focuses on social issues like sexual harassment (hereafter, SH). In fact, research on SH training shows it can elicit trainees’ gender-based biases against content messengers. We suggest that one such bias, resulting from messenger gender-occupation incongruence and influencing training effectiveness, is lowered perceptions of the messenger’s integrity. We also investigate whether (...) rich media will increase or decrease this perceived integrity penalty. Using an excerpt from real SH e-training and a sample [_N_ = _210_] consistent with the targeted training audience, we conducted a 2 × 2 × 2 relative comparison experiment (messenger gender x messenger occupation x media richness) and tested a moderated mediation model of the interactive effects of messenger gender-occupation incongruence and media richness on trainees’ perceptions of messenger integrity and training outcomes. Results suggest that trainees’ perceptions of messenger integrity decrease when the messenger’s gender is incongruent with their occupation, leading to worse outcomes in text-based training. These effects, however, are mitigated by increased media richness, providing support for media richness theory. Implications for researchers and practitioners are discussed. (shrink)

Some recent considerations of religion and psychiatry have drawn a distinction between pathological and spiritual/mystical experiences of mental phenomena typically regarded as within the realm of psychiatry (e.g. depression, hearing voices, seeing visions/hallucinations). Such a distinction has clinical implications, particularly in relation to whether some religious people who suffer from depression, hear voices, or see visions should be biomedically treated. Approaching this question from a theological and philosophical perspective, I draw a distinction between (what I call) ‘spiritual health’ (SH) and (...) ‘potentially transformative’ (PT) theologies, arguing that a PT model is therapeutically and philosophically more sound than a SH one. I then apply this to the clinical debate in critical dialogue with Dein and Durà-Vilà’s 2009 article, ‘The Dark Night of the Soul: spiritual distress and psychiatric implications’. My primary focus is on depression, though the discussion is also relevant to debates about psychosis and schizophrenia. (shrink)

A Turing degreedis the degree of categoricity of a computable structure${\cal S}$ifdis the least degree capable of computing isomorphisms among arbitrary computable copies of${\cal S}$. A degreedis the strong degree of categoricity of${\cal S}$ifdis the degree of categoricity of${\cal S}$, and there are computable copies${\cal A}$and${\cal B}$of${\cal S}$such that every isomorphism from${\cal A}$onto${\cal B}$computesd. In this paper, we build a c.e. degreedand a computable rigid structure${\cal M}$such thatdis the degree of categoricity of${\cal M}$, butdis not the strong degree of categoricity (...) of${\cal M}$. This solves the open problem of Fokina, Kalimullin, and Miller [13].For a computable structure${\cal S}$, we introduce the notion of the spectral dimension of${\cal S}$, which gives a quantitative characteristic of the degree of categoricity of${\cal S}$. We prove that for a nonzero natural numberN, there is a computable rigid structure${\cal M}$such that$0\prime$is the degree of categoricity of${\cal M}$, and the spectral dimension of${\cal M}$is equal toN. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also moves on (...) from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (shrink)

Response to commentaries on keynote article.

According to the prevailing sentiment, changing the past is logically impossible. The prevailing sentiment is wrong. In this paper, I argue that the claim that changing the past entails a contradiction ultimately rests upon an empirical assumption, and so the conclusion that changing the past is logically impossible is to be resisted. I then present and discuss a model of time which drops the empirical assumption and coherently models changing the past. Finally, I defend the model, and changing the past, (...) against objections. (shrink)

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

This original and lively book uses texts from ancient medicine, epic, lyric, tragedy, historiography, philosophy, and religion to explore the influence of Greek ideas on health and disease on Greek thought. Fundamental issues are deeply implicated: causation and responsibility, purification and pollution, the mind-body relationship and gender differences, authority and the expert, reality and appearances, good government, and good and evil themselves.