We prove that an intermediate predicate logic characterized by a class of finite partially ordered sets is recursively axiomatizable iff it is "finite", i.e., iff it is characterized by a single finite partially ordered set. Therefore, the predicate logic LFin of the class of all predicate Kripke frames with finitely many possible worlds is not recursively axiomatizable.

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.

We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently, w.r.t. Kripke sheaves [8]), is described.

The Kripke-completeness and incompleteness of some intermediate predicate logics is established. In particular, we obtain a Kripke-incomplete logic (H* +A+D+K) where H* is the intuitionistic predicate calculus, A is a disjunction-free propositional formula, D = x(P(x) V Q) xP(x) V Q, K = ¬¬x(P(x) V ¬P(x)) (the negative answer to a question of T. Shimura).

The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) is a (...) weakened version of the well-known constant domains principle D . Namely, the formula D states that any individual has ancestors in earlier worlds, and D * states that any individual has $${\neg\neg}$$ -ancestors (i.e., ancestors up to $${\neg\neg}$$ -equality) in earlier worlds. In particular, the logic ( Q - H + D *& K & J ) is the Kripke sheaf completion of ( Q - H + E & K & J ), where E is a version of Markov’s principle (cf. [ 12 ]). On the other hand, we show that the logic ( Q - H + D *& J ) is incomplete w.r.t. Kripke sheaves. (shrink)

An example of finite tree Mo is presented such that its predicate logic (i.e. the intermediate predicate logic characterized by the class of all predicate Kripke frames based on Mo) is not finitely axiomatizable. Hence it is shown that the predicate analogue of de Jongh - McKay - Hosoi's theorem on the finite axiomatizability of every finite intermediate propositional logic is not true.

The article is devoted to the analysis of the?Pussy riot? case and the peculiarities of Russian postsecularism. Special emphasis is placed on the phenomenon of post-secular hybrids, i.e. the overcoming of the situation of social differentiation between religion and other social subsystems. It is claimed that the materials of the trial against?Pussy riot? make evident the appearance in Russia of at least three post-secular hybrids: 1) the blending of religion and politics; 2) installation of religious norms into the public order (...) of the secular state; 3) significance of confessional legal experts as part of the new?ideological state apparatus?. Slucaj?Pusi rajot? postao je glavni religijski, ako ne i drustveno-politicki dogadjaj u Rusiji u 2012. godini. Autor ce na osnovu analize materijala koji se odnosi na navedeni slucaj i diskusije koje su potom usledile, pokusati da pokaze specificnosti ruskog iskustva desekularizacije i prelaza prema novoj situaciji postsekularizma. Kroz prizmu sudjenja ucesnicima pank molebana bice razmotreni postsekularni hibridi nastali kao rezultat desekularizacije, u kojima su cudnovato isprepleteni religijski i svetovni elementi. Radi se o tri postsekularna hibrida: ukrstanju religijske i sekularne sfere, ukrstanju religije i javnog poretka i pojavi konfesionalnih religiologa - eksperata. (shrink)

Syrien im 1.-7. Jahrhundert nach Christus. Edited by Dmitrij Bumazhnov and Hans Reinhard Seeliger. Studien und Texte zu Antike und Christentum, vol. 62. Tübingen: Mohr Siebeck, 2011. Pp. viii + 284. €64.

The essay examines the three main epiphanic experiences in The Brothers Karamazov and shows how Dostoevskij's treatment of these experiences may offer a guide to spiritual renewal. The three experiences are Alësha's vision of the resurrected Zosima and transfigured Christ, Dmitrij's vision of the suffering babe, and Ivan's vision of the devil (which serves as a counter example to the first two). By examining the content of each of these visions, as well as the parallels and variations in the (...) scenes leading up to these visions, this essay seeks to explore Dostoevskij's understanding of transformational revelatory experience. (shrink)

The essay examines the three main epiphanic experiences in The Brothers Karamazov and shows how Dostoevskij’s treatment of these experiences may offer a guide to spiritual renewal. The three experiences are Alësha’s vision of the resurrected Zosima and transfigured Christ, Dmitrij’s vision of the suffering babe, and Ivan’s vision of the devil (which serves as a counter example to the first two). By examining the content of each of these visions, as well as the parallels and variations in the (...) scenes leading up to these visions, this essay seeks to explore Dostoevskij’s understanding of transformational revelatory experience. (shrink)

This essay analyzes the recent appearance in Russian letters of ultra-nationalist fantasies about the restoration of Russia’s imperial or totalitarian status. This new trend has its roots not only in the increasingly patriotic tone of Russian society and politics, but also in the dynamics of the literary field itself. ‘Imperialist writers’ such as Aleksandr Prokhanov and Pavel Krusanov have both revived and reacted against postmodern themes and motifs from earlier decades. Relying on the legacy of sots-art and stiob , the (...) ‘imperialists’ advance a new model in Russia’s postmodern tradition, one that is balanced on the very borderline between irony and ideological militancy. In playing the game of ambiguous fanaticism, these writers have been able to attract the attention of a broad and diverse public, and have moved from an intellectual periphery into the cultural mainstream. (shrink)