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)

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)

It is argued that Lewis's approach to Elga's Sleeping Beaty problem is untenable and, therefore, the universality of the betting approach to probability has not been breached.

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)

It is argued that the many-worlds interpretation is by far the best interpretation of quantum mechanics. The key points of this view are viewing the wave functions of worlds in three dimensions and understanding probability through self-locating uncertainty.

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.

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.

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)

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.

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)

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.

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)

“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)

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)

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.

Ś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 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.

By a result of Paris and Friedman, the collection axiom schema for $\Sigma_{n+1}$ formulas, $B\Sigma_{n+1}$ , is $\Pi_{n+2}$ conservative over $I\Sigma_n$ . We give a new proof-theoretic proof of this theorem, which is based on a reduction of $B\Sigma_n$ to a version of collection rule and a subsequent analysis of this rule via Herbrand's theorem. A generalization of this method allows us to improve known results on reflection principles for $B\Sigma_n$ and to answer some technical questions left open by Sieg (...) [23] and Hájek [9]. We also give a new proof of independence of $B\Sigma_{n+1}$ over $I\Sigma_n$ by a direct recursion-theoretic argument and answer an open problem formulated by Gaifman and Dimitracopoulos [8]. (shrink)

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant ‘true’ by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and ω, where ω corresponds to the full uniform reflection schema, whereas n<ω corresponds to its restriction to arithmetical Πn+1-formulas. This (...) calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time. (shrink)

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)