Many lymphokine genes have now been cloned from activated T cells and their products have been expressed in mammalian cells. Use of these recombinant lymphokines has provided the opportunity to evaluate both the spectrum of their biological activities and the mechanisms of their action in promoting proliferation and differentiation of hemopoietic and lymphoid cells. Characterization of the structure of lymphokine genes will provide information about their regulated expression in T‐cell activation.

Weiermann [18] introduces a new method to generate fast growing functions in order to get an elegant and perspicuous proof of a bounding theorem for provably total recursive functions in a formal theory, e.g., in PA. His fast growing function θαn is described as follows. For each ordinal α and natural number n let T α n denote a finitely branching, primitive recursive tree of ordinals, i.e., an ordinal as a label is attached to each node in the tree so (...) that the labelling is compatible with the tree ordering. Then the tree T α n is well founded and hence finite by Konig's lemma. Define θαn=the depth of the tree T α n =the length of the longest branch in T α n . We introduce new fast and slow growing functions in this mode of definitions and show that each of these majorizes provably total recursive functions in PA. (shrink)

For α < ε0, Nα denotes the number of occurrences of ω in the Cantor normal form of α with the base ω. For a binary number-theoretic function f let B denote the length n of the longest descending chain of ordinals <ε0 such that for all i < n, Nαi ≤ f . Simpson [2] called ε0 as slowly well ordered when B is totally defined for f = K · . Let |n| denote the binary length of the (...) natural number n, and |n|k the k-times iterate of the logarithmic function |n|. For a unary function h let L denote the function B ) with h0 = K + |i| · |i|h. In this note we show, inspired from Weiermann [4], that, under a reasonable condition on h, the functionL is primitive recursive in the inverse h–1 and vice versa. (shrink)

We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. Intuitionistic fixed (...) point theories which are conservative extensions of HA.6. 6. Proof theoretic strengths of classical fixed points theories.7. 7. An equivalence between transfinite induction rule and iterated reflection schema over IΣn.8. 8. Derivation lengths of finite rewrite rules reducing under lexicographic path orders and multiply recursive functions.Each section can be read separately in principle. (shrink)

In Arai (An ordinal analysis of a single stable ordinal, submitted) it is shown that an ordinal \(\sup _{N is an upper bound for the proof-theoretic ordinal of a set theory \(\mathsf {KP}\ell ^{r}+(M\prec _{\Sigma _{1}}V)\). In this paper we show that a second order arithmetic \(\Sigma ^{1-}_{2}{\mathrm {-CA}}+\Pi ^{1}_{1}{\mathrm {-CA}}_{0}\) proves the wellfoundedness up to \(\psi _{\varOmega _{1}}(\varepsilon _{\varOmega _{{\mathbb {S}}+N+1}})\) for each _N_. It is easy to interpret \(\Sigma ^{1-}_{2}{\mathrm {-CA}}+\Pi ^{1}_{1}{\mathrm {-CA}}_{0}\) in \(\mathsf {KP}\ell ^{r}+(M\prec _{\Sigma (...) _{1}}V)\). (shrink)

Standard accounts of civil disobedience include nonviolence as a necessary condition. Here I argue that such accounts are mistaken and that civil disobedience can include violence in many aspects, primarily excepting violence directed at other persons. I base this argument on a novel understanding of civil disobedience: the special character of the practice comes from its combination of condemnation of a political practice with an expressed commitment to the political. The commitment to the political is a commitment to engaging with (...) others as co-members in the on-going political project of living together. I show how such an understanding of civil disobedience is superior to the Rawlsian strain of thought, which focuses on fidelity to law. Rawls was concerned with civil disobedience solely in the context of overriding political obligation. The project of characterizing a contestatory political practice that can be distinguished and used in a wider variety of contexts than Rawls is concerned with, including under illegitimate regimes, beyond the nation-state, or on behalf of anarchism, requires a different understanding of civil disobedience. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

The social group named after the various discourses of individuals who define themselves as the champions of the men's rights movement on social media is called the “Manosphere” in the literature. “Oneitis”, a concept in the jargon of the manosphere, basically refers to a disease state used to represent situations in which a man invests excessive attention in a woman who is not equally interested in him. For the Red Pill movement, the most influential group in the manosphere, oneitis is (...) criticized as a pattern of behavior that should be avoided by men. Red Pill philosophy is also often associated with alt-right ideologies due to its anti-feminist and pragmatic views. Red Pill thought can therefore often be seen as contrasting with Woke Culture, a counter-cultural movement that advocates the constant practice of vigilance against political discourses that oppress certain social groups through structural mechanisms of oppression such as racism, anti-blackness, and anti-feminism. In this paper, I argue that the concept of oneitis, when suspended from its anti-feminist and commodifying contexts, can in fact be read as a critique of a conception of love that is deeply rooted in traditional gender roles that are often criticized from perspectives such as feminism or Woke Culture. When the liberation from oneitis is considered independently of the manosphere framework, it can be read as a critique of coercive social practices in terms of romantic relationships. (shrink)

This is a new edition, revised and expanded, of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior was the founding father of temporal logic. His work has attracted increased attention in the decades since his death: its influence stretches beyond philosophy and logic to computer science and formal linguistics. Prior's fundamental ideas about the logic of time are presented here along with his investigations into the formal properties of time and tense. (...) Already in 1969 Prior had been planning a new edition of Papers on Time and Tense, to incorporate his more recent work. Because of his untimely death this plan was never followed through--till now. Seven important papers have been added to the original selection, as well as a comprehensive bibliography of his work and an illuminating interview with his widow, Mary Prior, about his life and work. In addition, the Polish logic which made the original book difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

Comprehensive work on history and philosophy of Nātha sect in India.

On Yoga; based on various texts on yoga philosophy.

Censurado durante la última década, sale finalmente a la luz Biografía de las ideas, de Isaiah Berlin. El libro pone de relieve el modo en que el sector liberal-conservador más poderoso, con sede en Oxford, ha construido la ficción en torno a la figura de Isaiah Berlin. Sir Isaiah Berlin es conocido como una lumbrera del pensamiento político del siglo XX, uno de los máximos exponentes intelectuales del liberalismo democrático, un pensador moralmente comprometido con la causa de la libertad y (...) la lucha contra el totalitarismo. El lector podrá comprobar que la imagen que se atribuye a Isaiah Berlin es una mitificación, una ficción forjada con el propósito de defender una serie de intereses académicos (y reforzar así la marca Oxford), políticos (en torno al sector liberal-conservador anglosajón) y nacionales (al objeto de cantar la leyenda de una Corona británica comprometida –así dicen– por la defensa de la democracia Occidental). Como Research Fellow en la Universidad de Oxford, el autor ha tenido oportunidad de examinar esta realidad y ver con sus propios ojos cómo los liberal-conservadores fabrican sus mitos. Las conclusiones de este estudio no dejarán indiferentes ni a académicos –principalmente, del área de Historia de las Ideas, y Teoría Política y Moral–, ni a escritores y políticos como el Premio Nobel Mario Vargas Llosa o la marquesa Cayetana Álvarez de Toledo, auto-denominados liberal-conservadores, porque derrumba un pilar de su religión. (shrink)

This article discusses the 2005 OUP biography of Michael Polanyi by William T. Scott and Martin X. Moleski S.J., Michael Polanyi, Scientist and Philosopher . The discussants are N. E. Wetherick, Brian G Gowenlock, and John Puddefoot; Martin X. Moleski, S. J. briefly responds, providing a previously unpulished letter from Polanyi to Reverend Dr. Knox, a Presbyterian mininster.

Contributed research papers chiefly on various aspects of Indic philosophy, Vedic literature, etc.