Results for 'Valentin Cojanu'

85 found
Order:
  1.  95
    Darwinism and Economics, Edited by Geoffrey M. Hodgson . Cheltenham and Northampton: Edward Elgar, 2009, 457 Pp. [REVIEW]Valentin Cojanu - 2010 - Erasmus Journal for Philosophy and Economics 3 (1):98.
    Download  
     
    Export citation  
     
    Bookmark  
  2.  95
    Editorial Introduction.Valentin Cojanu - 2007 - Journal of Philosophical Economics 1 (1):5-8.
    The Journal of Philosophical Economics comes out from a barely disguised, though deep, anxiety about the way we, the economists, may improve the ways of providing meaningful explanations for what makes and does not make sense in such economic developments as prosperity, globalisation, material imbalances, labour relations, or common property. These issues are usually resuscitated under contemporary labels such as feminism, environmentalism, Marxism, or liberalism. However, it can be argued that these issues have represented in fact recurrent threads of economic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Semantics of Transdisciplinary Concepts of Socio-Natural Co-Evolution: A Constructive Utopia, Social Verification and Evolutionary Risk.Cheshko Valentin & Yulia Kosova - 2015 - In Teodor N. Țîrdea (ed.), Strategia supravie uirii din perspectiva bioeticii, filosofiei și medicinei. Culegere de articole științifice. Vol. 21 / Sub redacția prof. univrsitar, dr. hab. în filosofie . – Chișinău: Print-Caro. Print-Caro. pp. 112-116.
    The utopian character of modern scientific theories, with the human nature as a subject, is an inevitable consequence of the presence of an imperative component of transdisciplinary human dimensional scientific knowledge. Its social function is the adaptation of the descriptive component of the theory to the given socio-cultural type that simplifies the passage of the process of social verification of the theory. The genesis of bioethics can be seen as one of the basic premises for the actualization of the anthropic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. High Hume (Bio-Power and Bio-Policy in Society of Risk). M., 2009. 319 P.Cheshko Valentin (ed.) - 2009 - Moscow Agricultural Academy named after KA Timiryazev.
    Human simultaneously is the acting person of a few autonomous and interdepending forms of evolutional process. Accordingly, it is possible to select three forms of adaptation and three constituents of evolutional strategy of survival of humanity – biological, sociocultural and technological adaptations. The actual and potential consequences of development of so-called High Hume technologies (technologies of the guided evolution)  most essential from major technological adaptations of humanity  are analyzed. The phenomenon of bio-power within the framework of global coevolutional (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  19
    On the Role of the Political Theorist Regarding Global Injustice.Katrin Flikschuh, Rainer Forst, Darrel Moellendorf, Valentin Beck & Julian Culp - 2013 - Global Justice Theory Practice Rhetoric 6:40-53.
    Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  35
    On the Role of the Political Theorist Regarding Global Injustice.Valentin Beck & Julian Culp - 2013 - Global Justice: Theory Practice Rhetoric 6:40-53.
    Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Eine Theorie der globalen Verantwortung. Was wir Menschen in extremer Armut schulden.Valentin Beck - 2016 - Berlin, Deutschland: Suhrkamp Verlag.
    Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  8.  45
    Two Forms of Responsibility: Reassessing Young on Structural Injustice.Valentin Beck - forthcoming - Critical Review of International Social and Political Philosophy:1-24.
    In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Two.Valentin Cheshko & Yulia Kosova - 2011 - Practical Philosophy 2:46-55.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  41
    Technology of biopolitics and biopolitics of technologies(Metaphysical, political, and anthropological essay).Valentin Cheshko - 2019 - Practical Philosophy ISSN 2415-8690 4 (74):42-52.
    Purpose. Our study aims at developing a conceptual model of transdisciplinary synthesis of philosophical-anthropological, sociopolitical and epistemological aspects of co-evolution of the scientific and technical designs of High Hume class and the socio-cultural / political context in the process of anthropo-socio-cultural genesis. The relevance of the topic is justified by the technologization of all spheres of human existence and the emergence of High Hume class technologies, which can be called technology-driven equally. As a result, the concepts of "bio-power" and "biopolitics" (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  24
    Near the Omega point: Anthropological-epistemological essay on the COVID-19 pandemic.Valentin Cheshko - 2020 - Practical Philosophy 76 (2):53-62.
    Summary. The prerequisites of this study have three interwoven sources, the natural sciences and philosophical and socio-political ones. They are trends in the way of being of a modern, technogenic civilization. The COVID-19 pandemic caused significant damage to the image of the omnipotent techno-science that has developed in the mentality of this sociocultural type.Our goal was to study the co-evolutionary nature of this phenomenon as a natural consequence of the nature of the evolutionary strategy of our biological species. Technological civilization (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  13.  26
    Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  70
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  15.  35
    The Problem of Estimation of Evolutionary Risk of High Tech in the Concept of Stable Adaptive Strategy of Homo Sapiens.Valery Glazko, Valentin Cheshko & Yulia Kosova - 2013 - In Teodor N. Țîrdea (ed.), Strategia supravie uirii din perspectiva bioeticii, filosofiei și medicinei. Culegere de articole științifice. Vol. 3. Print-Caro. pp. 157-161.
    the problem of estimation of High Hume (NBIC) technogenic evolutionary risks is analysed as part of concept of 3-components evolutionary strategy of Homo sapiens.
    Download  
     
    Export citation  
     
    Bookmark  
  16.  22
    The Interdependence of Domestic and Global Justice.Valentin Beck - 2020 - Yearbook for Eastern and Western Philosophy 2019 (4):75-90.
    This article focuses on the challenge of determining the relative weight of domestic and global justice demands. This problem concerns a variety of views that differ on the metric, function, scope, grounds and fundamental interpretation of justice norms. I argue that domestic and global economic justice are irreducibly interdependent. In order to address their exact relation, I discuss and compare three theoretical models: the bottom-up-approach, which prioritizes domestic justice; the top-down-approach, which prioritizes global justice; and the horizontal framework, according to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  7
    Роль С. Н. Шпильрейн в формировании теоретического базиса аналитической психологии.Valentin Balanovskiy - 2020 - Сибирский Психологический Журнал 75:6-21.
    The article is devoted to an objective assessment of the role of Sabina Spielrein – one of the Russian pioneers of psychoanalysis – in the forming of theoretical basis of analytical psychology. A bibliographic review precedes the main part, in order to show the prevailing bias towards the consideration of personal life and the subjective features of Spielrein’s creativity, and not her ideas. In the first part the author briefly considers Spielrein’s contribution to the empirical justification and further development of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. STABLE ADAPTIVE STRATEGY of HOMO SAPIENS and EVOLUTIONARY RISK of HIGH TECH. Transdisciplinary Essay.Valentin Cheshko, Valery Glazko, Gleb Yu Kosovsky & Anna S. Peredyadenko (eds.) - 2015 - new publ.tech..
    The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  68
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  20. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  21. Número especial: “La filosofía de Althusser a 50 años de Lire le Capital” en Representaciones. c.Pedro Karczmarczyk - 2015 - Número Especial: “La Filosofía de Althusser a 50 Años de Lire le Capital” En Representaciones. Revista de Estudios Sobre Representaciones En Arte, Ciencia y Filosofía, Vol XI, N° 1, Universidad Nacional de Córdoba, ISSN 1669-8401 (1):1-166.
    (CONTENIDO: LA FILOSOFÍA DE ALTHUSSER A 50 AÑOS DE LIRE LE CAPITAL Pedro Karczmarczyk, 3; DISCURSO Y DECRETO: SPINOZA ALTHUSSER Y PÊCHEUX Warren Montag 11; ALTHUSSER LECTOR DE GRAMSCI Vittorio Morfino 43 LAS ABSTRACCIONES, ENTRE LA IDEOLOGÍA Y LA CIENCIA João Quartim de Moraes 67 ELOGIO DEL TEORICISMO. PRÁCTICA TEÓRICA E INCONSCIENTE FILOSÓFICO EN LA PROBLEMÁTICA ALTHUSSERIANA, Natalia Romé 85 MARXISMO Y FEMINISMO: EL RECOMIENZO DE UNA PROBLEMÁTICA1 115 Luisina Bolla* / Pedro Karczmarczyk* 115 RRESEÑAS El materialismo de Althusser. Más (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. Stable adaptive strategy of Homo sapiens. Biopolitical alternatives. God problem. (in Russian).Valentin Cheshko (ed.) - 2012 - publ.house "INGEK".
    Mechanisms to ensure the integrity of the system stable evolutionary strategy Homo sapiens – genetic and cultural coevolution techno-cultural balance – are analyzed. оe main content of the study can be summarized in the following the- ses: stable adaptive strategy of Homo sapiens includes superposition of three basic types (biological, cultural and technological) of adaptations, the integrity of the system provides by two coevolutionary ligament its elements – the genetic-cultural coevolution and techno-cultural balance, the system takes as result of by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  23. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Three. DYNAMICS OF GROWTH OF NEW KNOWLEDGE IN POSTACADEMICAL SCIENCE.Valentin Cheshko & Yulia Kosova - 2012 - Practical Philosophy 1:59-69.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. Bioethics: Reincarnation of Natural Philosophy in Modern Science.Valentin Teodorovich Cheshko, Valery I. Glazko & Yulia V. Kosova - 2017 - Biogeosystem Technique 4 (2):111-121.
    The theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Configuration of Stable Evolutionary Strategy of Homo Sapiens and Evolutionary Risks of Technological Civilization (the Conceptual Model Essay).Valentin T. Cheshko, Lida V. Ivanitskaya & Yulia V. Kosova - 2014 - Biogeosystem Technique 1 (1):58-68.
    Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  12
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  29.  76
    Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2009 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  8
    I. Kant and C.G. Jung on the Prospects of Scientific Psychology.Valentin Balanovskiy - 2017 - Estudos Kantianos 5 (1):375-390.
    This study aims to show a similarity of Kant’s and Jung’s approaches to an issue of the possibility of scientific psychology, hence to explicate what they thought about the future of psychology. Therefore, the article contains heuristic material, which can contribute in a resolving of such methodological task as searching of promising directions to improve philosophical and scientific psychology. To achieve the aim the author attempts to clarify an entity of Kant’s and Jung’s objections against even the possibility of scientific (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Evolutionary Semantics of Anthropogenesis and Bioethics of Nbic-Technologies.Valentin Cheshko, Yulia Kosova & Valery Glazko - 2015 - Biogeosystem Technique 5 (3):256-266.
    The co-evolutionary concept of tri-modal stable evolutionary strategy (SESH) of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the vectors of human evolution by two gear mechanism ˗ genetic and cultural co-evolution and techno-humanitarian balance. Explanatory model and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32.  39
    Consumer Boycotts as Instruments for Structural Change.Valentin Beck - 2019 - Journal of Applied Philosophy 36 (4):543-559.
    Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  75
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  34. Сo-evolutionary biosemantics of evolutionary risk at technogenic civilization: Hiroshima, Chernobyl – Fukushima and further….Valentin Cheshko & Valery Glazko - 2016 - International Journal of Environmental Problems 3 (1):14-25.
    From Chernobyl to Fukushima, it became clear that the technology is a system evolutionary factor, and the consequences of man-made disasters, as the actualization of risk related to changes in the social heredity (cultural transmission) elements. The uniqueness of the human phenomenon is a characteristic of the system arising out of the nonlinear interaction of biological, cultural and techno-rationalistic adaptive modules. Distribution emerging adaptive innovation within each module is in accordance with the two algorithms that are characterized by the dominance (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  48
    Modal Definability in Enriched Languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  36. Classes and Theories of Trees Associated with a Class of Linear Orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  24
    As a Stable Adaptive Strategy Homo Sapiens, Nbics Technology and Bioethics Became Evolution Mechanism (Anthropological and Biopolitical Essay).Valentin Cheshko - 2019 - Strategia Supraviețuirii Din Perspectiva Bioeticii, Antropologiei, Filosofiei Și Medicinei 25:20-23.
    The subject of the essay is the genesis of the evolutionary strategy of стратегииHomo sapiens(SESH)as a carrier element of the transformation of technology and ethics into the main factors of anthropogenesis and the evolution of complex, self-organizing human-dimension systems.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  47
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  97
    The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities. En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways game identities into modal formulae. The completeness proof is based on reduction of game terms to a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  41. The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  42.  65
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. POST-INDUSTRIAL SCIENCE OF XXI CENTURY – RATIONALISM VERSUS IRRATIONALISM: EVOLUTIONARY AND PHILOSOPHICAL ASPECT.Valentin Cheshko, L. V. Ivanitskaya & V. I. Glazko - 2011 - Russian Academy of Natural Sciences Herald 3:68-77.
    The phenomenon of rationalism and irrationalism, contextually related to the transformation methodology and the social function of modern (post-industrial) science – social verification, interpretation and knowledge, etc., are analyzes.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Una rara traduzione dello Spaccio de la bestia trionfante. Il Ciel Reformé dell'Abbé de Vougny.Guido Del Giudice - 2017 - la Biblioteca di Via Senato (4):60-66.
    Cosa spinge l'Abate-bibliofilo Louis Valentin de Vougny ad intraprendere, a metà del XVIII secolo, la traduzione di un libro "maledetto", lo "Spaccio de la bestia trionfante", i cui rari esemplari vengono acquistati a cifre esorbitanti?
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  58
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. EVOLUTIONARY-ANTHROPOLOGICAL ASPECTS OF A.A. BOGDANOV's TECTOLOGICAL CONCEPT. THE VIEW FROM THE XXI CENTURY.Valentin Cheshko - 2014 - Integral 4 (77):40-44.
    The stable evolutionary strategy of Homo sapiens and patterns of risks arising in the course of this evolution were discussed in article. These patterns were predicted by Bogdanov’s option of General systems theory.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  68
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  69
    Optimal Decision Procedures for Satisfiability in Fragments of Alternating-Time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  98
    Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 85