Results for 'Vladimir V. Mironov'

1000+ found
Order:
  1. On Progress in Philosophy.Vladimir V. Mironov - 2013 - Metaphilosophy 44 (1-2):10-14.
    This article seeks to clarify the concept of progress in philosophy. It treats progress as a kind of development. But not every development is a progress. When we talk about progress, what really matters is the direction of development. In some cases it is relatively easy to reach agreement about this direction. But not in the case of philosophy, if we abstract it from the obvious and the trivial, like the number of books on philosophy. As a result, the article (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  11
    Reply.Vladimir V. Mironov - 2014 - Studies in East European Thought 66 (3-4):309-311.
  3.  46
    Admissibility of Logical Inference Rules.Vladimir V. Rybakov - 1997 - Elsevier.
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  4. Rules of Inference with Parameters for Intuitionistic Logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
    An algorithm recognizing admissibility of inference rules in generalized form (rules of inference with parameters or metavariables) in the intuitionistic calculus H and, in particular, also in the usual form without parameters, is presented. This algorithm is obtained by means of special intuitionistic Kripke models, which are constructed for a given inference rule. Thus, in particular, the direct solution by intuitionistic techniques of Friedman's problem is found. As a corollary an algorithm for the recognition of the solvability of logical equations (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  5.  24
    Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
    We find an explicit basis for all admissible rules of the modal logic S4. Our basis consists of an infinite sequence of rules which have compact and simple, readable form and depend on increasing set of variables. This gives a basis for all quasi-identities valid in the free modal algebra ℱS4 of countable rank.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  26
    Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
    This paper offers a brief analysis of the unification problem in modal transitive logics related to the logic S4 : S4 itself, K4, Grz and Gödel-Löb provability logic GL . As a result, new, but not the first, algorithms for the construction of ‘best’ unifiers in these logics are being proposed. The proposed algorithms are based on our earlier approach to solve in an algorithmic way the admissibility problem of inference rules for S4 and Grz . The first algorithms for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  24
    On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
    Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  26
    Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
    The main result of this paper is the following theorem: each modal logic extendingK4 having the branching property belowm and the effective m-drop point property is decidable with respect to admissibility. A similar result is obtained for intermediate intuitionistic logics with the branching property belowm and the strong effective m-drop point property. Thus, general algorithmic criteria which allow to recognize the admissibility of inference rules for modal and intermediate logics of the above kind are found. These criteria are applicable to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  13
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  23
    Refined Common Knowledge Logics or Logics of Common Information.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (2):179-200.
    In terms of formal deductive systems and multi-dimensional Kripke frames we study logical operations know, informed, common knowledge and common information. Based on [6] we introduce formal axiomatic systems for common information logics and prove that these systems are sound and complete. Analyzing the common information operation we show that it can be understood as greatest open fixed points for knowledge formulas. Using obtained results we explore monotonicity, omniscience problem, and inward monotonocity, describe their connections and give dividing examples. Also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  18
    Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  6
    Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
    The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe all tabular (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  4
    Contemporary Marxism and the Global Concept of the Universe.Vladimir V. Orlov - 2014 - Philosophy Study 4 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  27
    Barwise's Information Frames and Modal Logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
    The paper studies Barwise's information frames and answers the John Barwise question: to find axiomatizations for the modal logics generated by information frames. We find axiomatic systems for (i) the modal logic of all complete information frames, (ii) the logic of all sound and complete information frames, (iii) the logic of all hereditary and complete information frames, (iv) the logic of all complete, sound and hereditary information frames, and (v) the logic of all consistent and complete information frames. The notion (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Cosmological Constraints From Low-Redshift Data.Vladimir V. Luković, Balakrishna S. Haridasu & Nicola Vittorio - 2018 - Foundations of Physics 48 (10):1446-1485.
    In this paper we summarise the constraints that low-redshift data—such as supernovae Ia, baryon acoustic oscillations and cosmic chronometers —are able to set on the concordance model and its extensions, as well as on inhomogeneous but isotropic models. We provide a broad overlook into these cosmological scenarios and several aspects of data analysis. In particular, we review a number of systematic issues of SN Ia analysis that include magnitude correction techniques, selection bias and their influence on the inferred cosmological constraints. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16.  2
    Harmony and Beyond.Vladimir V. Maliavin - 2020 - Dialogue and Universalism 30 (3):27-42.
    The paper explores the significance of the Chinese concept of harmony for establishing a stable and efficient global governance. The author assumes that to meet demands of the emerging global community this concept should be assessed in the context of two other important notions: “commonality” and “similarity” or “sharing”. The merging of these concepts has been a real basis of the Chinese tradition and it can serve as a foundation of a new global order based on the principle of synergy.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.Vladimir V. Rybakov - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 93--106.
  18. Temporal Logic with Interacting Agents.Vladimir V. Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):293-308.
  19.  4
    Lower Bound on Weights of Large Degree Threshold Functions.Vladimir V. Podolskii - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 599--608.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  2
    Концепція гностицизму в політичній філософії е. ‎фьогеліна.Vladimir V. Prokopenko - 2020 - Вісник Харківського Національного Університету Імені В. Н. Каразіна. Серія «Філософія. Філософські Перипетії» 62:53-62.
    The article discusses the concept of political Gnosticism, developed by the philosopher Eric Voegelin. This concept is one of the main elements of Voegelin’s political philosophy, in which he answers the question about the essence of modern politics. Voegelin believes that modernity is the result of the historical victory of the ideology of “Gnosticism”. The historical roots of Gnosticism, says Voegelin, should not be sought in late antiquity, but in the Middle Ages. Based on the ideas of Christian mystics, such (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  3
    Лео штраус: Критика політичної філософії геґеля.Vladimir V. Prokopenko - 2020 - Вісник Харківського Національного Університету Імені В. Н. Каразіна. Серія «Філософія. Філософські Перипетії» 63:17-25.
    The article is devoted to Leo Strauss’s critique of Hegel’s political philosophy. The author holds this topic relevant in the context of the crisis of modern political science. To understand the causes and nature of this crisis, it is necessary to pay attention to alternative philosophical and political theories of the XX century. Leo Strauss’s philosophy of politics is just such an alternative theory. Strauss made a radical critique of modern political philosophy, which he saw as an important part of (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  1
    From Surprise to Horror: I.A. Bunin in Search of a Philosophical Language.Vladimir V. Varava - 2020 - Russian Journal of Philosophical Sciences 63 (6):25-48.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  93
    Objective Foundations of the Scientific Method.Vladimir V. Mshvéniéradzé - 1968 - Diogenes 16 (63):70-88.
  24.  1
    Academician Th.Ch. Kessidis: Teacher and Philosopher.Vladimir V. Starovoytov - 2020 - Russian Journal of Philosophical Sciences 63 (7):109-113.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Methodological Aspects of the Problem of Personality in the Period of Greek Classics.Vladimir V. Starovoytov - 2020 - Russian Journal of Philosophical Sciences 63 (7):129-149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  5
    Book Review: Toshchenko Zh.T. Trauma Society: Between Evolution and Revolution (The Experience of Theoretical and Empirical Analysis). Moscow: Ves’ Mir, 2020. [REVIEW]Vladimir V. Krivosheev - 2020 - Russian Journal of Philosophical Sciences 63 (4):152-159.
    The review reveals the basic conceptions elaborated by one of the major Russian modern sociologists Zh.T. Toshchenko in his new research. The reviewer argues that the book’s author thoroughly examines the various methodological grounds for identifying the essential characteristics of social dynamics. At the same time, the reviewer focuses on the further development of the theory of modern society, proposed by the book’s author. Thus, Zh.T. Toshchenko, who spent many years researching social deformations, formulates an important concept – the concept (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  2
    Outlines of a New World Order.Vladimir V. Ivanov - 2020 - Russian Journal of Philosophical Sciences 63 (5):7-27.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    Combining Time and Knowledge, Semantic Approach.Erica Calardo & Vladimir V. Rybakov - 2005 - Bulletin of the Section of Logic 34 (1):13-21.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  20
    A Necessary Condition for Rules to Be Admissible in Temporal Tomorrow-Logic.M. I. Golovanov, Vladimir V. Rybakov & E. M. Yurasova - 2003 - Bulletin of the Section of Logic 32 (4):213-220.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Flexibility and Utility of the Cell Cycle Ontology.Vladimir Mironov, Erick Antezana, Mikel Egaña, Ward Blondé, Bernard De Baets, Martin Kuiper & Robert Stevens - 2011 - Applied Ontology 6 (3):247-261.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  39
    The Origin of Metazoa: A Transition From Temporal to Spatial Cell Differentiation.Kirill V. Mikhailov, Anastasiya V. Konstantinova, Mikhail A. Nikitin, Peter V. Troshin, Leonid Yu Rusin, Vassily A. Lyubetsky, Yuri V. Panchin, Alexander P. Mylnikov, Leonid L. Moroz, Sudhir Kumar & Vladimir V. Aleoshin - 2009 - Bioessays 31 (7):758-768.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  60
    Flexibility and Utility of the Cell Cycle Ontology.Vladimir Mironov, Erick Zimar Antezana San Roman, Mikel Egaña, Ward Blondé, Bernard De Baets, Martin Kuiper & Robert Stevens - 2011 - Applied Ontology 6 (3):247-261.
    The Cell Cycle Ontology (CCO) has the aim to provide a 'one stop shop' for scientists interested in the biology of the cell cycle that would like to ask questions from a molecular and/or systems perspective: what are the genes, proteins, and so on involved in the regulation of cell division? How do they interact to produce the effects observed in the regulation of the cell cycle? To answer these questions, the CCO must integrate a large amount of knowledge from (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  15
    Induction and Categorization in Young Children: A Similarity-Based Model.Vladimir M. Sloutsky & Anna V. Fisher - 2004 - Journal of Experimental Psychology: General 133 (2):166-188.
  34.  4
    Politicheskiye diffusii v usloviyakh prostranstvenno-gibridnogo rejhima: institutsional noe stroitel stvo i vybory merov v gorodakh Rossii.Vladimir Gelman & T. V. Lankina - 2007 - Polis 6:86-109.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Problemy Kontroli͡a Kachestva Obrazovanii͡a V Oblasti Filosofii.V. V. Mironov (ed.) - 2007 - Izd-Vo S.A. Savin.
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Reacción de imino diels-Alder de tres componentes con precursores de origen natural. Generación de nuevas tetrahidroquinolinas 2, 4-diaril disustituidas. [REVIEW]Arnold R. Romero Bohórquez, Diego R. Merchan Arenas & Vladímir V. Kouznetsov - 2007 - Scientia 13.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Síntesis de derivados del alcaloide dubamina vía reacción iminodiels-alder multi-componente.Carlos Mario Meléndez, Luís Astudillo & Vladímir V. Kouznetsov - 2007 - Scientia 13.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  17
    Modern Communications, Culture & Philosophy.Vladimir Mironov - 2006 - Philosophy Now 54:18-19.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    Metamorphosen Oder Das Globale Theater der Modernen Kultur.Vladimir Vassiljewitsch Mironov - 2014 - Paragrana: Internationale Zeitschrift für Historische Anthropologie 23 (2):25-39.
    Name der Zeitschrift: Paragrana Jahrgang: 23 Heft: 2 Seiten: 25-39.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  8
    The Superman: Dostoevsky, Nietzsche and Heidegger.Vladimir Mironov - 2009 - New Nietzsche Studies 8 (1-2):66-76.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41. Z evolučního hlediska: Pojem evoluce v současné filosofii.Vladimir Havlik & Tomas Hribek (eds.) - 2011 - Praha, Česko: Filosofia.
    [From an Evolutionary Point of View: The Concept of Evolution in Contemporary Philosophy].
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  42.  12
    Vladimir Solov'ev: The Imperial Problems of World Theocracy.V. K. Kantor - 2007 - Russian Studies in Philosophy 46 (1):76-102.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. On Philosophy, the Philosophy Faculty, and Philosophers.V. V. Mironov - 2004 - Russian Studies in Philosophy 42 (4):5-36.
     
    Export citation  
     
    Bookmark  
  44.  2
    “Philosophy in Reality” Russian-Ukrainian Initiative.V. V. Mironov - 2019 - Russian Journal of Philosophical Sciences 62 (3):97-100.
    The proceeding of the Round Table on "Reason vs Post-Truth: Ontology, Axiology, Geopolitics".
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  35
    Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia.V. K. Finn - 2000 - Studia Logica 66 (2):205-213.
    The article gives a short account of V.A. Smirnovs scientific biography, including his work in Tomsk University in Siberia and in the Department of Logic of the Institute of Philosophy in Moscow.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  16
    Deformed Entropy and Information Relations for Composite and Noncomposite Systems.Vladimir N. Chernega, Olga V. Man’ko & Vladimir I. Man’ko - 2015 - Foundations of Physics 45 (7):783-798.
    The notion of conditional entropy is extended to noncomposite systems. The \-deformed entropic inequalities, which usually are associated with correlations of the subsystem degrees of freedom in bipartite systems, are found for the noncomposite systems. New entropic inequalities for quantum tomograms of qudit states including the single qudit states are obtained. The Araki–Lieb inequality is found for systems without subsystems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Dom: V Lokuse Bytii͡a.Vladimir Chirkov - 2005 - Nauka.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  2
    Paneth Cells: Maintaining Dynamic Microbiome‐Host Homeostasis, Protecting Against Inflammation and Cancer.Vladimir N. Nikolenko, Marine V. Oganesyan, Maria V. Sankova, Kirill V. Bulygin, Andzhela D. Vovkogon, Negoriya A. Rizaeva & Mikhail Y. Sinelnikov - 2021 - Bioessays 43 (3):2000180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  58
    Vladimir Solov'ëV's €œVirtue Epistemology”.Edward M. Swiderski - 1999 - Studies in East European Thought 51 (3):199-218.
    I attempt to clarify the connection between two late texts by V.S. Solov'ëv: Justification of the Good and Theoretical Philosophy. Solov'ëv drew attention to the intrinsic connection between moral and intellectual virtues. Theoretical Philosophy is the initial -- unfinished -- sketch of the dynamism of mind seeking truth as a good. I sketch several parallels and analogies between the doctrine of moral experience set out in Justification and the account of the intellect's dynamism based on immediate certitude set out in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    «Vladimír sergejevi» Soloviov V éivote a diele.Alexeja Fiodorovi & A. Loseva - unknown - Filozofia 55 (7):563.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000