Results for 'Cheshko Valentin'

63 found
Order:
  1. 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  
  2. 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  
  3.  49
    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  
  4. 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   1 citation  
  5. 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  
  6.  97
    С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  
  7.  96
    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  
  8.  83
    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  
  9.  86
    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  
  10.  50
    SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part One.Valentin Cheshko & Yulia Kosova - 2011 - Practical Philosophy 1:94-100.
    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  
  11.  10
    Age of Genetics and the age of biotechnology on the way to editing of, human genome.Valentin Teodorovich Cheshko (ed.) - 2016 - Moscow Russia: Kurs-INFRA-M.
    The book discusses some of the stages in the development of genetics, biotechnology in terms of basic strategy of humanity towards the formation of a modern agrarian civilization. Agricultural civilization is seen as part of the biosphere and primary user of its energy flows. Consistently a steps of creation of management tools for live objects to increasing the number of food security of mankind are outlines. The elements of the biosphere degradation started in the results of human activities, and the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Philosophy of Science : The Textbook.Valentin Teodorovich Cheshko (ed.) - 2017
    The achievements of classic and modern philosophy and methodology of scienсe have been concisely presented to help future professionals gain the necessary knowledge of modern philosophy and methodology of scientific knowledge in general and socioeconomic branches in particular. For PhD graduate students.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. The Science, the Ethics, the Politics: the socio-cultural aspects of modern genetics.Valentin Cheshko & Valentin Kulinichenko (eds.) - 2004 - Parapan.
    Modern genetics becomes a bridge between the natural sciences, humanities and social practtoon the social life of biomedicine and genetics this branch of science makes these branches of science by comparable in their socio-forming role to politics and economics factors. The research objective of this paper is theoretical analysis of social and cultural challenges posed by the development of basic genetics and genetic technologies. The problems of this book may be attributed to the new field of science, formed at the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. 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  
  15.  50
    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  
  16.  64
    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  
  17.  54
    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  
  18. Bioeconomics, Biopolitics and Bioethics: Evolutionary Semantics of Evolutionary Risk (Anthropological Essay).V. T. Cheshko - 2016 - Bioeconomics and Ecobiopolitic (1 (2)).
    Attempt of trans-disciplinary analysis of the evolutionary value of bioethics is realized. Currently, there are High Tech schemes for management and control of genetic, socio-cultural and mental evolution of Homo sapiens (NBIC, High Hume, etc.). The biological, socio-cultural and technological factors are included in the fabric of modern theories and technologies of social and political control and manipulation. However, the basic philosophical and ideological systems of modern civilization formed mainly in the 17–18 centuries and are experiencing ever-increasing and destabilizing risk-taking (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. EVOLUTIONARY RISK OF HIGH HUME TECHNOLOGIES. Article 1. STABLE ADAPTIVE STRATEGY OF HOMO SAPIENS.V. T. Cheshko, L. V. Ivanitskaya & V. I. Glazko - 2014 - Integrative Anthropology (2):4-14.
    Stable adaptive strategy of Homo sapiens (SASH) is a result of the integration in the three-module fractal adaptations based on three independent processes of generation, replication, and the implementation of adaptations — genetic, socio-cultural and symbolic ones. The evolutionary landscape SASH is a topos of several evolutionary multi-dimensional vectors: 1) extraversional projective-activity behavioral intention (adaptive inversion 1), 2) mimesis (socio-cultural inheritance), 3) social (Machiavellian) intelligence, 4) the extension of inter-individual communication beyond their own social groups and their own species in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  67
    COEVOLUTIONARY SEMANTICS OF TECHNOLOGICAL CIVILIZATION GENESIS AND EVOLUTIONARY RISK (BETWEEN THE BIOAESTHETICS AND BIOPOLITICS).V. T. Cheshko & O. N. Kuz - 2016 - Anthropological Dimensions of Philosophical Studies (10):43-55.
    Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in perception (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  73
    The Prolegomens to Theory of Human Stable Evolutionarciety at Age of Controlled Evolution Techny Strategy as Ideology of Risk Soologies.V. T. Cheshko - 2016 - In Teodor N. Țîrdea (ed.), // Strategia supravietuirii din perspectiva bioeticii, filosofiei și medicinei. Culegere de articole științifice. Vol. 22–. pp. 134-139.
    Stable adaptive strategy of Homo sapiens (SESH) is a superposition of three different adaptive data arrays: biological, socio-cultural and technological modules, based on three independent processes of generation and replication of an adaptive information – genetic, socio-cultural and symbolic transmissions (inheritance). Third component SESH focused equally to the adaptive transformation of the environment and carrier of SESH. With the advent of High Hume technology, risk has reached the existential significance level. The existential level of technical risk is, by definition, an (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  72
    EVOLUTIONARY RISK OF HIGH HUME TECHNOLOGIES. Article 3. EVOLUTIONARY SEMANTICS AND BIOETHICS.V. T. Cheshko, L. V. Ivanitskaya & V. I. Glazko - 2016 - Integrative Annthropology (1):21-27.
    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 correctness) parameters simultaneously, that cannot be instrumental reduced to other ones. Resulting volume of both parameters define the vectors of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism — genetic and cultural co-evolution and techno-humanitarian (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  50
    EVOLUTIONARY RISK OF HIGH HUME TECHNOLOGIES. Article 2. THE GENESIS AND MECHANISMS OF EVOLUTIONARY RISK.V. T. Cheshko, L. V. Ivanitskaya & V. I. Glazko - 2015 - Integrative Anthropology (1):4-15.
    Sources of evolutionary risk for stable strategy of adaptive Homo sapiens are an imbalance of: (1) the intra-genomic co-evolution (intragenomic conflicts); (2) the gene-cultural co-evolution; (3) inter-cultural co-evolution; (4) techno-humanitarian balance; (5) inter-technological conflicts (technological traps). At least phenomenologically the components of the evolutionary risk are reversible, but in the aggregate they are in potentio irreversible destructive ones for biosocial, and cultural self-identity of Homo sapiens. When the actual evolution is the subject of a rationalist control and/or manipulation, the magnitude (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24.  50
    Bio-power and bio-policy: Anthropological and socio-political dimensions of techno-humanitarian balance.V. Cheshko & O. Kuss - 2016 - Hyleya 107 (4):267-272.
    The sociobiological and socio-political aspects of human existence have been the subject of techno-rationalistic control and manipulation. The investigation of the mutual complementarity of anthropological and ontological paradigms under these circumstances is the main purpose of present publication. The comparative conceptual analysis of the bio-power and bio-politics in the mentality of the modern technological civilization is a main method of the research. The methodological and philosophical analogy of biological and social engineering allows combining them in the nature and social implications (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. High Hume (Bio-power and Bio-policy in Society of Risk).V. Cheshko & Valery Glazko (eds.) - 2009 - Russian State Agrarian University - Moscow Timiryazev Agricultural Academy.
    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  
  26.  18
    Science and State. Methodological Analysis of the History of Social Science. Genetics and Breeding in Russia and Ukraine During the Soviet Period.V. T. Cheshko (ed.) - 1997 - kharkiv: "Osnova".
    A comparative study of the system of co-evolution of Theoretical Genetics, practical Selets and agriculture in Russia, Ukraine, the Soviet Union and, above all, the example of two research schools - Kharkov and Saratov. Alittle-known and previously unknown archival materials are used.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. «DANGEROUS KNOWLEDGE» IN «THE RISK SOCIETY» (Age of Genetics and Biotec.Cheshko Valentin Glazko Valery I. (ed.) - 2007 - Publ.House "INGEK".
    At the heart of the book - two views (naturalist and humanist) on the dangers of and Prospects of "scientific and technological progress," that defining the face of modern civilization. Its leaders are now the information, genetic cal and biological technology.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. August - 48. The phenomenon of "proletarian science".Cheshko Valentin Glazko Valery (ed.) - 2013 - Publishing house "NEFTiGAZ".
    The book is an attempt to comparative system the study of the genesis of the phenomenon of politicized science - primarily in an example of the so-called "Soviet genetics and creative Darwinism". As thehe authors conclude a these phenomenon is reflect the specific character of the competition between schools and scientific groups in community in a totalitarian social environment and is an extreme manifestation of the processes of interaction tions between science, society, politics, typical to any society any political organization.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. High Hume (Bio-power and Bio-policy in Society of Risk).Cheshko Valentin Glazko Valery I. (ed.) - 2009 - Russian State Agrarian University - Moscow Timiryazev Agricultural Academy.
    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  
  30.  17
    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   3 citations  
  31.  72
    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   30 citations  
  32.  26
    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   13 citations  
  33. 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  
  34.  34
    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   14 citations  
  35.  83
    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   5 citations  
  36.  33
    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  
  37.  64
    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  
  38.  62
    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   3 citations  
  39.  38
    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   3 citations  
  40.  61
    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  
  41.  67
    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   5 citations  
  42.  31
    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  
  43.  25
    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  
  44.  53
    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   2 citations  
  45.  15
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  31
    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  
  47.  45
    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   4 citations  
  48.  26
    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   4 citations  
  49.  20
    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   1 citation  
  50.  31
    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   2 citations  
1 — 50 / 63