Results for 'Sergeï Horujy'

509 found
Order:
  1.  22
    The “Philosophy Steamer” as Cognitive Category and Historical Collective Individuality.Julia B. Mehlich - 2022 - Russian Studies in Philosophy 60 (4):274-288.
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   122 citations  
  3. The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   92 citations  
  4. Breaks and links. Prospects for Russian religious philosophy today.S. S. Horujy - 2001 - Studies in East European Thought 53 (4):269-284.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  5. Izbrannye sochinenii︠a︡.Sergeĭ Iosifovich Gessen - 1999 - Moskva: ROSSPĖN.
     
    Export citation  
     
    Bookmark  
  6.  21
    The ethical catastrophe of contemporary Russia and its foresights in Russian thought.Sergey S. Horujy - 2018 - Studies in East European Thought 70 (4):221-234.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  53
    The Posthuman and the Virtual Man in Their Modes of Socialization.Sergey S. Horujy - 2019 - Russian Studies in Philosophy 57 (1):97-115.
    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...
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  8.  63
    Vladimir Solov'ev's Legacy After a Hundred Years.S. S. Horujy - 2007 - Russian Studies in Philosophy 46 (1):5-34.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Novoe religioznoe predstavlenie: otkrovenii︠a︡.Sergeĭ Ivanov - 1994 - [Kaluga]: Kaluzhskoe upravlenie pechata i informat︠s︡ii.
     
    Export citation  
     
    Bookmark  
  10. Ocherki po istorii russkoĭ filosofii.Sergei A. Levitzky - 1996 - Moskva: Kanon.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Print︠s︡ip sochuvstvii︠a︡: razmyshlenii︠a︡ ob ėtike i nauchnom poznanii.Sergeĭ Viktorovich Meĭen - 2006 - Moskva: GEOS.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  6
    Rannie formy religii.Sergeĭ Aleksandrovich Tokarev - 1990 - Moskva: Izd-vo polit. lit-ry.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  16
    Johann Christoph Sturm.Sergei Secundant - 2016 - Epistemology and Philosophy of Science 48 (2):104-120.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  88
    Finite Kripke models and predicate logics of provability.Sergei Artemov & Giorgie Dzhaparidze - 1990 - Journal of Symbolic Logic 55 (3):1090-1098.
    The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$ . This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate part" as a specific (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  15.  32
    The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  9
    Naukata i zhiznenii︠a︡t svi︠a︡t: sbornik v chest na 60-godishninata na prof. Sergeĭ Gerdzhikov.Sergeĭ Gerdzhikov, Konstantin I︠A︡nakiev & Dimitŭr Elchinov (eds.) - 2017 - Sofii︠a︡: Universitetsko izdatelstvo "Sv. Kliment Okhridski".
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  12
    Constructive Negations and Paraconsistency.Sergei Odintsov - 2008 - Dordrecht, Netherland: Springer.
    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.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  18.  43
    Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  19. Управління розвитком міських агломерацій в україні: Економіко-правові проблеми.Sergei Bogachov - 2015 - Схід 5 (137):14-17.
    У статті розглянуто економічні та правові проблеми управління розвитком міських агломерацій в Україні. Охарактеризовані склад, структура, причини формування міських агломерацій. Систематизовано етапи, чинники й економіко-правові умови розвитку міської агломерації. Виявлено відмінності між управлінням-функціонуванням та управлінням-розвитком міської агломерації. Розглянуто взаємодію територіальних громад щодо розвитку агломерації та її правове забезпечення. Сформульовано комплекс завдань, вирішення яких дозволить подолати економічні, організаційні та правові проблеми управління розвитком міських агломерацій.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  9
    Nauchnoto obi︠a︡snenie na sveta.Sergeĭ Gerdzhikov - 2000 - Sofii︠a︡: Universitetsko izd-vo "Sv. Kliment Okhridski".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Srednevekovai︠a︡ filosofii︠a︡ narodov Blizhnego i Srednego Vostoka.Sergei Nikolaevich Grigorian - 1966 - Moskva: Nauka.
  22.  33
    The Two Sorts of Hesychast Ethics.Sergey S. Horujy - 2019 - Russian Studies in Philosophy 57 (1):40-69.
    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...
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23.  35
    Ethological and ecological aspects of color vision.Sergei L. Kondrashev - 1992 - Behavioral and Brain Sciences 15 (1):42-42.
  24.  26
    Axiomatic Method in Contemporary Science and Technology.Sergei Kovalyov & Andrei Rodin - 2016 - Epistemology and Philosophy of Science 47 (1):153-169.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. (1 other version)Ocherki po istorii russkoĭ filosofskoĭ i obshchestvennoĭ mysli.Sergei A. Levitzky - 1968 - Frankfurt/Main: Posev.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  26. Na Belom more, na Solovet︠s︡kikh ostrovakh: inocheskie drevnosti.Sergeĭ Morozov - 1998 - Solovki: T-vo Solovet︠s︡kogo morekhodstva.
     
    Export citation  
     
    Bookmark  
  27.  12
    Two Letters from the Correspondence of V.E. Sesemann and B.D. Dandaron.Sergei P. Nesterkin & Нестеркин Сергей Петрович - 2023 - RUDN Journal of Philosophy 27 (1):19-26.
    This work presents the two surviving letters preserved from the extensive correspondence of V.E. Sesemann, a professor of philosophy at Vilnius University at the time (1961), and B.D. Dandaron, a Buddhist teacher who was a researcher at the Buryat Integrated Research Institute at that time. The letters discuss the authors’ current work and creative plans, as well as everyday life and resettling after release from prison in 1956. In his letter, B.D. Dandaron devotes significant attention to a list of literature (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    Metafizika very v russkoĭ filosofii.Sergeĭ Anatolʹevich Nizhnikov - 2001 - Moskva: Rossiĭskiĭ universitet druzhby narodov (RUDN).
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  8
    The role of matrices in preserving non-genetic data.Sergei Proskurin - 2010 - Semiotica 2010 (182):397-408.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    Khrustalʹnyĭ kupol fantaziĭ.Sergeĭ Zubarev - 2011 - Moskva: Academia.
    Книга адресована психоаналитикам, психологам, психотерапевтам, философам, педагогам, студентам и всем работникам "помогающих" профессий.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Unusual coincidences, statistics and an intelligent influence.Sergei Chekanov - manuscript
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. On first-order theories with provability operator.Sergei Artëmov & Franco Montagna - 1994 - Journal of Symbolic Logic 59 (4):1139-1153.
    In this paper the modal operator "x is provable in Peano Arithmetic" is incorporated into first-order theories. A provability extension of a theory is defined. Presburger Arithmetic of addition, Skolem Arithmetic of multiplication, and some first order theories of partial consistency statements are shown to remain decidable after natural provability extensions. It is also shown that natural provability extensions of a decidable theory may be undecidable.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  17
    Agamben and Politics: A Critical Introduction.Sergei Prozorov - 2014 - Edinburgh: Edinburgh University Press.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  34.  35
    Byzantine Perspectives on Neoplatonism.Mariev Sergei (ed.) - 2017 - Berlin/Boston: De Gruyter.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  13
    Neoplatonic Philosophy in Byzantium.Sergei Mariev - 2017 - In Mariev Sergei, Byzantine Perspectives on Neoplatonism. Berlin/Boston: De Gruyter. pp. 1-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  18
    Ontological Semantics.Sergei Nirenburg & Victor Raskin - 2004 - MIT Press.
    '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.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  45
    Pornography and Profanation in the Political Philosophy of Giorgio Agamben.Sergei Prozorov - 2011 - Theory, Culture and Society 28 (4):71-95.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  41
    Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
  39.  42
    The Concept of Neopatristic Synthesis at a New Stage.Sergey S. Horujy - 2019 - Russian Studies in Philosophy 57 (1):17-39.
    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...
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
  41. LFCS 2013.Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
     
    Export citation  
     
    Bookmark  
  42.  35
    Preface.Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser - 1995 - Annals of Pure and Applied Logic 75 (1-2):1.
  43.  31
    Preface.Sergei Artemov & Anil Nerode - 2012 - Annals of Pure and Applied Logic 163 (7):743-744.
  44.  23
    University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998.Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Maarten de Rijke & Valeria de Paiva - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  14
    Pʻilosopʻiis klasikuri da tʻanamedrove problemebi: Propʻesor Sergi Avalianis 80 clistʻavisadmi miżġvnili saiubileo krebuli.Sergeĭ Shalvovich Avaliani, Irakli Kalandia, Mixeil Maxaraże & Kaxa Kʻecʻbaia (eds.) - 2008 - Tʻbilisi: Gamomcʻemloba "Universali".
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Ancient Greek" Literature" and near Eastern" Writings": The Opposition and Encounter of Two Creative Principles: Part One: The Opposition.Sergei Averintsev, Richard Pevear & Larissa Volokhonsky - forthcoming - Arion.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  2
    Metafora "mir--ėto teatr" v rannee Novoe vremi︠a︡: monografii︠a︡.Sergeĭ Sergeevich Bychkov - 2022 - Krasnodar: Kubanskiĭ gosudarstvennyĭ universitet.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  11
    Smysl: periodicheskai︠a︡ sistema ego ėlementov.Sergeĭ Chernyshev - 1993 - Moskva: MP "Pervai︠a︡ obrazt︠s︡ovai︠a︡ tip.," Ministerstva pechati i informat︠s︡ii Rossiĭskoĭ Federat︠s︡ii.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  6
    Metafizika odnogo vseedinstva.Sergeĭ Didorenko - 1999 - Moskva: Moskovskiĭ filosofskiĭ fond.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  8
    Filosofii︠a︡ i nauka: sbornik statii.Sergeĭ Gerdzhikov - 2019 - Sofii︠a︡: Universitetsko izdatelstvo "Sv. Kliment Okhridski".
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 509