This article follows the history of the idea of adventure in the Soviet Union, which started as a dream of the great communist adventure but two decades into the revolution turned into the nightmare of the Great Terror. Adventure was implicated in the violent realities of Stalinism through tropes of the adventure genre, such as the loneliness of the adventurer in a precarious world impenetrable by reason. Understanding this situation requires a focus on philosophies of both adventure and terror. For (...) instance, Hegel’s philosophy of adventure will help us to reveal features of the lived experience in times of terror, whilst Mikhail Ryklin’s philosophy of terror sheds light on the significance of the adventure genre in the Soviet 1930s. This double focus allows articulation of a primary feature of violence that is often overlooked, namely, the fundamental reciprocity that structures it. In the Soviet context, we find historically neglected but critically important reflections on the relation between violence and adventure in the life and works of Lev Kopelev. We also find a unique deliberation on the dialectics of violence (and counter-violence) in Evgeni Shvarc’s adventure tale The Dragon (1943) which can be fruitfully read in dialogue with Arendt’s vital distinction between violence and power. Reconsidering these sources is an important task for today given that Russian politics has once again, 30 years after perestroika, regressed into mass violence. (shrink)

We study the fragment of Peano arithmetic formalizing the induction principle for the class of decidable predicates, $I\Delta_1$ . We show that $I\Delta_1$ is independent from the set of all true arithmetical $\Pi_2-sentences$ . Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on the allowed number of queries. We also obtain some conservation and independence results for parameter free and inference rule forms of $\Delta_1-induction$ . An open problem formulated by J. (...) Paris is whether $I\Delta_1$ proves the corresponding least element principle for decidable predicates, $L\Delta_1$ (or, equivalently. the $\Sigma_1-collection$ principle $B\Sigma_1$ ). We reduce this question to a purely computation-theoretic one. (shrink)

What is the most important reason for using Computer Vision methods in humanities research? In this article, I argue that the use of numerical representation and data analysis methods offers a new language for describing cultural artifacts, experiences and dynamics. The human languages such as English or Russian that developed rather recently in human evolution are not good at capturing analog properties of human sensorial and cultural experiences. These limitations become particularly worrying if we want to compare thousands, millions or (...) billions of artifacts—i.e. to study contemporary media and cultures at their new twenty-first century scale. When we instead use numerical measurements of image properties standard in Computer Vision, we can better capture details of a single artifact as well as visual differences between a number of artifacts–even if they are very small. The examples of visual dimensions that numbers can capture better then languages include color, shape, texture, contours, composition, and visual characteristics of represented faces, bodies and objects. The methods of finding structures and relationships in large numerical datasets developed in statistics and machine learning allow us to extend this analysis to very big datasets of cultural objects. Equally importantly, numerical image features used in Computer Vision also give us a new language to represent gradual and continuous temporal changes—something which natural languages are also bad at. This applies to both single artworks such as a film or a dance piece and also to changes in visual characteristics in millions of artifacts over decades or centuries. (shrink)

The main focus of the book is the presentation of the 'inertial' view of population growth. This view provides a rather simple model for complex population dynamics, and is achieved at the level of the single species without invoking species interactions. An important part of this account is the maternal effect. Investment of mothers in the quality of their daughters makes the rate of reproduction of the current generation depend not only on the current environment, but also on the environment (...) experienced by the previous generation. (shrink)

Translation of Lev Shestov's What is Philosophy?

Theorists, who broadly subscribe to Claude Lefort’s characterization of democracy as the dissolution of the markers of certainty, disagree over the proper enactment of democracy. In this article, I consider the possibility of narrowing the gap by attending to the ignorance advocated by each of the two approaches – the disruptive radical route Jacques Rancière describes and the reformist approach of Richard Rorty. I highlight the attributes and shortcomings of the positive link between practices of ignorance and democracy in the (...) work of the two theorists, and explore how the practices they describe can complement each other in the enactment of democracy. (shrink)

The article examines the phenomenon of conformism in the context of socialist realism, which for a long time was the main direction for the Soviet art sphere. Conformism is interpreted as an effective way for the artist to optimize relations with the authorities and society, giving the opportunity for social self-preservation. Conformism is a kind of strategy for artists, thanks to which they manage to achieve their creative goals and successfully exist within the established cultural framework. The author of the (...) article argues that conformism helped artists who put their creativity at the service of socialist realism to find some basis for their activities, because socialist realism did not initially have such a basis. The author comes to the conclusion that in the conditions of constant transformation of cultural requirements and the need to fully comply with them, conformism becomes for the artist not just a tactic in achieving creative goals, but also a kind of self-defense mechanism that allows to preserve mental and physical health. The most successful Soviet artists were able to realize their talent by creating many bright works of art due to the fact that they created precisely in the mainstream of socialist realism, and if it were not for it, perhaps the world would never have known about some outstanding Soviet artists, as well as not seen their works of art, since the realization of Soviet artists in another cultural environment might well not have taken place. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

The paper aims to provide precise proof theoretic characterizations of Myhill–Friedman-style “weak” constructive extensional set theories and Aczel–Rathjen analogous constructive set theories both enriched by Mostowski-style collapsing axioms and/or related anti-foundation axioms. The main results include full intuitionistic conservations over the corresponding purely arithmetical formalisms that are well known in the reverse mathematics – which strengthens analogous results obtained by the author in the 80s. The present research was inspired by the more recent Sato-style “weak weak” classical extensional set theories (...) whose proof theoretic strengths are shown to strongly exceed the ones of the intuitionistic counterparts in the presence of the collapsing axioms. (shrink)

It is argued that the criticism of Byrne and Hall of the argument of Chalmers in favor of the Everett-style interpretation is incorrect.

This article compares the sections on the qualities desirable in a wife in Abū Ḥāmid al-Ghazālī’s Iḥyāʾ ʿulūm al-dīn and Bar Hebraeus’s Ethicon, which the West Syrian writer modeled on al-Ghazālī’s work. The article first establishes that al-Ghazālī based his profile of the ideal wife on a jurisprudential discussion of the topic by his teacher, Imām al-Ḥaramayn al-Juwaynī, expanding it, however, by adding anecdotes from Sufi literature and reasoned arguments on how “the good wife” will best facilitate her husband’s devotion (...) to God. The article then moves to consider how Bar Hebraeus appropriates, reconfigures, and reframes as Christian teaching al-Ghazālī’s discussion. Finally, the article argues that the similarity between the two texts demonstrates that both carve out a particular notion of male piety intelligible and resonant in their different religious traditions and in the broader monotheistic culture of the premodern Middle East. (shrink)

“All Things Are Possible” is a 1920 English translation of the 1905 work by the Ukrainian/Russian existentialist philosopher Shestov. It draws on the aphoristic style of Nietzsche and deals with as diverse issues as science, rationalism and religion. This edition also includes an interesting foreword by D. H. Lawrence. Highly recommended for those with an interest in philosophy, and particularly existentialism. Contents include: “Lev Shestov”, “Note”, “Foreword”, “Zu Fragmentarish Ist Welt Und Leben”, and “Nur Für Schwindelfreie”. Many vintage books such (...) as this are increasingly scarce and expensive. It is with this in mind that we are republishing this volume now in an affordable, modern, high-quality edition complete with a specially-commissioned new biography of the author. (shrink)

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more general version of the (...) fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

The first volume in the new critical edition of Lev Shestov's work in English, which I have been asked to coordinate. The volume includes my preface and annotations.

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.

There is a trend to consider counterfactuals as invariably time-asymmetric. Recently, this trend manifested itself in the controversy about validity of counterfactual application of a time-symmetric quantum probability rule. Kastner (2003) analyzed this controversy and concluded that there are time-symmetric quantum counterfactuals which are consistent, but they turn out to be trivial. I correct Kastner's misquotation of my defense of time-symmetric quantum counterfactuals and explain their non-trivial aspects, thus contesting the claim that counterfactuals have to be time-asymmetric.

It is argued that thirder resolution of the Lewis - Elga controversy about Sleeping Beauty is more clear when the coin toss is replaced by a quantum measurement and the analysis is performed in the framework of the Many-Worlds Interpretation.

Śiḥot maran ha-Mashgiaḥ Mohari Leṿinshṭain, zatsal -- Ḥidushe torato ʻa. Mas. B.ḳ. ṿe-liḳuṭim -- Leḳeṭ mi-maʼamraṿ mi-moreshet Daṿid Heber ṿe-ʻinyene ha-shaʻah.

The Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

This is a philosophical paper in favor of the many-worlds interpretation of quantum theory. The necessity of introducing many worlds is explained by analyzing a neutron interference experiment. The concept of the “measure of existence of a world” is introduced and some difficulties with the issue of probability in the framework of the MWI are resolved.

The article presents an analysis of the existential paradigm of M. Lermontov's creativity in the light of the existential theories of S. Kierkegaard and K. Jaspers, which is considered in the context of the cultural transition in Russian literature of the 1830s-1840s. It is argued that Lermontov radically changed the nature of his literary activity by the mid-1830s, overcoming his own existential ambivalence and abandoning the subjective emotionality and exoticism of his youthful poetry in favor of objective observations and research (...) of the surrounding world. Lermontov was aware of his existential ambivalence and sought to overcome this state in order to achieve cultural integrity, which should be considered as one of his main values. Lermontov's works reflect the concept of integrity as the integration of culture through a set of prevailing norms and ideals, as well as the feeling that this integrity was disintegrating in transitional times. This state of affairs caused a sense of disintegration in Lermontov, which is similar to the borderline situation of Jaspers. Lermontov's works illustrate the loss of cultural ideals with the decline of Romanticism. But rejecting the ideals of Romanticism, Lermontov conveys the feeling that post-Romantic disappointment generated cynicism and distorted thinking. The novel "The Hero of Our Time" has become the embodiment of such shortcomings. Lermontov's works do not belong to romanticism, nor to protorealism, nor to any combination of both. But Lermontov played his transitional role superbly. Not only did he raise questions about Romanticism that realism would later make its own, he also shed light on Romanticism itself and how it was fading. Lermontov showed how difficult it is for an artist who is aware of his own existential ambivalence to create and live in a transitional time devoid of a unifying sense of cultural integration and integrity, illustrating how badly a creative personality needs such integration and integrity. (shrink)

Introduction A good example of emergentism - interpreted by M. Siderits [1] as - Buddhist reductionism) is an excerpt from the dialogue between King Milinda[4] and the monk Nāgasena[5] about the self, which is part of the text close to the Abhidhamma tradition entitled "Milindapaha". The text was published by V. Trenckner in 1880 in [2] and translated into English by T.W. Rhys Davids [3] in the series "Sacred Books of the East". Furthermore, there is an English translation by I. (...) B. Horner [4] and Bhikkhu Pesala [5] and into Russian by A.V. Paribok [6]. There are also German [7] and French translations [8; 9]. Yet the classical translation by Rhys Davids is currently largely obsolete. Paribok's translation into Russian is not convenient for practical use as it would need to be further translated into English, and this double translation, which is not very good from the point of view of the philological approach to the text. We have therefore decided to make our own, new translation of the passage from "Milindapaha", in which the dialogue about the self is being held. (shrink)

The article details the biography and teachings of Śāntarakṣita, a famous Buddhist scholar and enlightener, a leading figure in the spread of Buddhism in Tibet and his closest student Kamalaśīla. Śāntarakṣita is the author of several treatises, including Compendium of Entities - Tattvasaṃgraha, a monumental work that can rightfully be called the Buddhist Philosophical Encyclopedia, consisting of 26 sections, in which all key philosophical schools of India, namely: Mīmāṃsa, Vedānta, Sāṃkhya, Yoga, Nyāya, Vaiśeṣika, Lokāyata, Jainism and Buddhism of other sects) (...) are analyzed and subsequently refuted. Kamalaśīla is a direct student of Śāntarakṣita, the author of a word-to-word commentary on the teacher's Tattvasaṃgraha. The article also dwells on the history of the discovery and study of the Tattvasaṃgraha. The novelty of the study lies in a full-length encyclopedic presentation of the philosophy of Śāntarakṣita and his immediate student Kamalaśīla. A special contribution of the author to the study of the topic is the demonstration that Śāntarakṣita, as a representative of the Yogācāra-Madhyamaka school, worked in the genre of synthesis of the teachings of Yogācāra and Madhyamaka, and in the field of epistemology he continued the theories of Dignāga and Dharmakīrti. (shrink)