This article discusses development of the content of the concept “Philosophy Steamer,” which refers to the 1922 expulsion from Russia of a group of intelligentsia who sharply criticized the authorities. The author shows that the group of exiled philosophers was united both by their previous philosophical and social activity and by their joint activity as émigrés. She analyzes the concepts of “historical collective individuality,” “collective person,” and “communal person” introduced by Lev P. Karsavin in order to determine the holistic nature (...) of this exiled social group and its characteristic self-consciousness, behavior, aspirations, and feelings (moods). Examining the event known as the “Philosophy Steamer” through the concepts listed above allows the author to cognize the historical, social, and cultural reality more broadly and productively. The article demonstrates that the concept of a collective person can also be applied to other social groups, thereby extending the methodology of human-studies cognition beyond the study of facts and statistical data. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

An analytical review of the current situation of Christian philosophyin Russia is presented, aiming to explain, why so much expectedrenaissance of this philosophy in the post-soviet period did nottake place. Russian philosophy is shown to be structurally a synthesis of the Western conceptual framework and Eastern Christian discourse,the latter being, in turn, the synthesis of patristic and asceticdiscourse, including two basic paradigms, deification (theosis)and sacralisation, and having energy as its dominant category.The key role of ascetic experience in Eastern Christian discourseis (...) stressed. Topical problems related to the study of thisexperience, as well as concepts of energy and theosis, are discussed. (shrink)

This paper examines the changing ethical consciousness in Russia since the Bolshevik revolution of 1917 and discusses how this change was reflected in Russian religious philosophy. This process can be characterized by a series of sudden and violent replacements of contradictory ethical models, which, by disorientating the public consciousness, led to the atrophy of the ethical instinct. The last two models in the series correspond to the “anti-ethics” of the 1990s and the “non-ethics” of the third Millennium. The latter model (...) corresponds to the current absence of individual ethical positions and the willingness to adopt any position prescribed by the state. A review of philosophical reflection on this process shows that Russian religious thought did not foresee such an ethical catastrophe. Indeed, although Vladimir Solovyov presented an alarming eschatological foresight of the future, and despite the fact that the collection Landmarks, written in 1907, firmly identified the intelligentsia as a highly destructive agent promoting their own alternative ethics, the optimistic philosophical model nonetheless prevailed. According to this optimistic model, the period of disasters and catastrophes will be followed by a new spiritual reawakening. (shrink)

This article offers a comparative analysis of the Posthuman and the anthropological formation of the Virtual Man as it is presented in synergic anthropology. It reconstructs the ways and strategies...

In this paper the philosophical ideology of eclecticism of Modern times is considered, especially as it has been formulated byJ. Ch.Sturm, and assessment of its contribution to development of philosophical and scientific thought is given. The need of differentiation of eclecticism, syncretism and conciliatorics is proved. Eclecticism is characterized as a progressive for its time current. The decisive impact eclecticism on formation of new scientific outlook is emphasized.

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

У статті розглянуто економічні та правові проблеми управління розвитком міських агломерацій в Україні. Охарактеризовані склад, структура, причини формування міських агломерацій. Систематизовано етапи, чинники й економіко-правові умови розвитку міської агломерації. Виявлено відмінності між управлінням-функціонуванням та управлінням-розвитком міської агломерації. Розглянуто взаємодію територіальних громад щодо розвитку агломерації та її правове забезпечення. Сформульовано комплекс завдань, вирішення яких дозволить подолати економічні, організаційні та правові проблеми управління розвитком міських агломерацій.

This article presents a systematic reconstruction of the original ethics created by the tradition of Orthodox hesychasm. Analysis reveals that the tradition has developed two very different kinds o...

In 1900 David Hilbert announced his famous list of then-opened mathematical problems; the problem number 6 in this list is axiomatization of physical theories. Since then a lot of systematic efforts have been invested into solving this problem. However the results of these efforts turned to be less successful than the early enthusiasts of axiomatic method expected. The existing axiomatizations of physical and biological theories provide a valuable logical analysis of these theories but they do not constitute anything like their (...) standard presentation,which can be used for transmission, evaluation, and justification of physical and biological knowledge. This state of theart in the axiomatization of physics is strong evidence that the standard notion of axiomatic theory stemming from Hilbert and Tarski is not appropriate for thet ask. However in the recent years in mathematics there emerged a new axiomatic approach best represented by the Homotopy Type theory (HoTT). We argue that the constructive axiomatic architecture used in HoTT has better chances to be successfully applied in physics as well as in computer science and engineering. (shrink)

Книга адресована психоаналитикам, психологам, психотерапевтам, философам, педагогам, студентам и всем работникам "помогающих" профессий.

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. (...) Finally, subdirectly irreducible N4-lattices are described. (shrink)

This paper argues that unusual coincidences, particularly those involving historical events, can be viewed as design patterns, suggesting an intelligent influence over the course of events. A compelling case examined in detail using probability theory concerns the presidencies of Abraham Lincoln (1809–1865) and John F. Kennedy (1917–1963). This and other coincidences involving historical figures disfavor the materialistic perspective and point to the presence of an intelligent agent acting on a global scale, beyond the arrow of time, influencing human lives and (...) the course of history. (shrink)

Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...) Neoplatonic doctrines with Christianity as well as to criticize, refute and even condemn them. The papers assembled in this volume discuss a number of specific questions and concerns that drew the interest of Byzantine scholars in different periods towards Neoplatonic sources in an attempt to identify and explore the central issues in the reception of Neoplatonic texts during the Byzantine era. This is the first volume of the sub-series "Byzantinisches Archiv - Series Philosophica", which will be dedicated to the rapidly growing field of research in Byzantine philosophical texts. (shrink)

'Ontological Semantics' introduces a comprehensive approach to the treatment of text meaning by computer, arguing that being able to use meaning is crucial to the success of natural language processing applications.

The article addresses the critical strategy of profanation in the philosophy of Giorgio Agamben, focusing on the example of pornography. Agamben’s references to pornography as a site of radical political transformation have recently been criticized as abstruse, vacuous or absurd. Moreover, his own work on the concentration camps in the Homo Sacer series has been disparagingly referred to as ‘pornography of horror’. This article ventures to refute these accusations by interpreting Agamben’s paradigmatic use of pornography in the context of his (...) wider project of profanation, understood as the overcoming of all social separations and the return of objects of social praxis to free use. Read in this context, pornography is grasped as the paradigmatic site of the constitution of the unprofanable, the epitome of the late capitalist ‘society of the spectacle’ and thus the primary target of profanatory criticism. In the remainder of the article we elucidate the logic of Agamben’s profanatory strategy and conclude that, far from being politically irrelevant, profanation constitutes the condition of the actualization of Agamben’s messianic ideal of a generic and non-exclusive community. (shrink)

We define a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The final results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T 0 , thus providing relative lower bounds for the proof-theoretic strength of the latter.

The structure of G. V. Florovsky’s concept of neopatristic synthesis is analyzed and reassessed here in light of the current state of philosophy and theology. As a result, the concept receives a ne...

Стаття присвячена темі ролі любовної прихильності в соціальному житті тварин і людини. Звертається увага на значущість емпатії серед деяких видів моногамних ссавців, яка зіграла важливу роль у розвитку любовних стосунків. Розглядається гіпотеза антрополога Оуена Лавджоя, згідно з якою любов і турбота зіграли винятково важливу роль в еволюції ранніх гомінідів, що стало можливою причиною редукції ікл, прихованої овуляції, розвитку двоногості та збільшення обсягу мозку. Іншими словами, сімейні стосунки древніх ардипітеків виявляються ключем до розуміння еволюції Homo sapiens. Аналізується гіпотеза Чорної Королеви, яка (...) пропонує одне з пояснень популярності статевого розмноження серед еукаріотичних організмів. (shrink)