Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)
ABSTRACT This is a continuing attempt in a series of papers [KM 93, Mur 93, Mur 96] to show how computer-represented knowledge can be arranged as elements of an effectively represented semantic domain in the sense of [GS 90]. We present a direct deductive description of the domain, which was defined semantically in [KM 93], via the Scott's notion of information system. Also, the internal structure of the continuous ampliative operations coordinated with the domain's effective basis is established. Though we (...) always remain in the paradigm of the toleration of contradictory information described in [Bel 75, Bel 76], the approach in question could be extended to include domains for consistency knowledge bases. (shrink)
The article is devoted to the analysis of “psychological” argument for the existence of God of Viktor Nesmelov, professor of Kazan Theological Academy, represented in his fundamental work “Science of Man”. The main interpretations of this argument, formulated both contemporaries of Nesmelov ) and modern researchers of his legacy are considered. The basic prerequisites and origins of Nesmelov’s anthropological doctrine are analyzed. The main of them were V. Snegiryov’s psychological doctrine and anthropological ideas of St. Gregory of Nyssa. The main (...) ideas of Nesmelov’s Christian anthropology, related directly to his formulation of “the idea of God”, etc.) are revealed. Besides that, Nesmelov’s criticism of the main existing arguments for the existence of God is analyzed. The main conclusion based on the analysis of Nesmelov’s anthropological system is made: his argument for the existence of God represents rather a methodological program for creating such argument in the future. The base of this argument should be made of not only by an “ abstract knowledge”, but the “living worldview” and the “living unity of God and man”. (shrink)
У статті, на прикладі дослідження наукової тематики кафедри, висвітлюється можливі механізми оцінки інноваційного потенціалу наукової установ та її складових частин. Підкреслюється необхідність розвитку науки, як життєво необхідного фактору для нормальної роботи всіх сфер держави, а також створення найбільш комфортних соціально-побутових умов для населення, відповідно до європейського рівня розвитку суспільства. Метою дослідження є розробка методичних положень щодо оцінки інноваційного потенціалу наукової діяльності наукових установ, як фактора збільшення інвестиційної вартості науки на ринку наукових послуг України. Завданнями є: узагальнення особливостей інноваційного потенціалу наукових (...) установ ; формулювання теоретичних визначень інноваційного потенціалу, інноваційної діяльності; обґрунтування необхідності моделювання процесів оцінювання інноваційного потенціалу наукової діяльності тощо. Виходячи з актуальності обраної теми ставиться мета, формулюються завдання. Методологічну основу дослідження складає сукупність загальновизнаних принципів та методів наукового пізнання. Для отримання наукових результатів застосовувалися загальнонаукові принципи та підходи, які забезпечили єдність аналізу, історизм, об’єктивність дослідження тощо. Робиться висновок про те, що надійне та ефективне застосування наукових розробок у багатьох сферах є основою поступального розвитку економіки країни та представляє невід’ємну складову забезпечення цивілізованих умов життя всіх її громадян. Пропонується ряд змін до чинного законодавства, а саме до Закону України «Про наукову та науково-технічну експертизу», «Про державне регулювання діяльності у сфері трансферу технологій». Зауважується на тому, що на тлі змін ролі науки і техніки та високих технологій в житті людства питання вивчення інноваційного потенціалу науки набувають особливої актуальності. Та незважаючи на великий інтерес до усебічного вивчення напрямів розвитку науки, до сих пір не врегульовано єдиних загальних підходів до його оцінювання. (shrink)
In this study, we examine the nature of the relationship between ethical leadership and unethical pro-organizational behavior (UPB), defined as unethical behavior conducted by employees with the aim of benefiting their organization, and whether the strength of the relationship differs between subordinates experiencing high and low identification with supervisor. Based on three-wave survey data obtained from 239 public sector employees in China, we find that ethical leadership has an inverted u-shaped (curvilinear) relationship with UPB. As the level of ethical leadership (...) increases from low to moderate, UPB increases; as the level of ethical leadership increases from moderate to high, UPB decreases. Further, we find that the strength of this inverted u-curve relationship differs between subordinates with high and low identification with supervisor. That is to say, the inverted u-shaped relationship between ethical leadership and UPB was stronger when subordinates experienced high levels of identification with supervisor. The theoretical and managerial implications of our findings for understanding how to manage UPB in an organizational context are discussed. (shrink)
We investigate particular cosmological models, based either on tachyon fields or on perfect fluids, for which soft future singularities arise in a natural way. Our main result is the description of a smooth crossing of the soft singularity in models with an anti-Chaplygin gas or with a particular tachyon field in the presence of dust. Such a crossing is made possible by certain transformations of matter properties. We discuss and compare also different approaches to the problem of crossing of the (...) Big Bang–Big Crunch singularities. (shrink)
In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)
The main article is devoted to the historical and philosophical reconstruction of controversy between Vladimir Solovyov and the authors of the “Faith and Reason” - a magazine of the Kharkov Theological Seminary. This controversy took its place in the “theological and journalistic” or the “theocratic” period of Solovyov’s works. Particular attention is paid to the disputes of Solovyov and T. Stoyanov, A.P. Shost'in and the French Orthodox priest Fr. Vladimir Gette on the theory of dogmatic development in the church. In (...) the context of this controversy, the arguments for the “defense” of Solovyov's position, cited in the magazine “Orthodox Review” by a theologian and Konstantin Leontyev's follower Ivan Kristi are also analyzed. The reception of Solovyov's theocratic ideas and reaction to his ecclesiastical views in both the Catholic and Orthodox circles of Russian and Western society is shown. Especially it concerns the criticism of Solovyov’s ideas in the pages of the French magazines “L’Univers”, “L'Union Chrétienne”, “Revue d’Eglise greque-unie”, etc. The evolution of Solovyov's views on the problem of the union of Eastern and Western churches, the renewal of church communication between Orthodoxy and Catholicism, the main result of which was his fundamental but unfinished work “The History and Future of the Theocracy” was demonstrated. A conclusion about the “superficiality” of the judgments of the majority of Vladimir Solovyov's ideological opponents, as well as later interpreters of his legacy, following the French Jesuit Michel d'Erbigny, who tried to present him as a “Russian Newman” who converted from Orthodoxy into the Catholic faith is drawn. It is shown that Solovyov’s projects of the “religion of the Holy Spirit” and the “Universal Church”, created on its basis, should be considered primarily in the context of his own philosophical quest, and not in connection with the confessional and ideological divergences of his time. (shrink)
Collected work on religious philosophy and social conditions of Thailand; volume commemorating the retirement of Professor Dr. Suwanna Sathaanan from the Department of Philosophy, Chulalongkorn University.
abstract Mou Zongsan used to say that in Western philosophy there exist three different traditions. The first is the tradition of Plato and Aristoteles, the second is the tradition of Kant and Hegel, and the last is the tradition of Leibniz and Russell. I am afraid, however, that this kind of interpretation is already outdated and incapable of encompassing the rich variegations of Western philosophy as a whole. In my view, the various options would have been exhausted by supplementing the (...) preceding list with the tradition founded by Husserl and Heidegger and the one set up by Whitehead. All of these traditions together encapsulate the most important domains of philosophy, such as ontology, epistemology, and axiology. In this article I closely investigate the epistemological thought of Bertrand Russell in order to find out whether it contains any aspects from which we can borrow and learn. (shrink)
The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)
The article analyzes the features of poetic reflection in the work of A. Krymsky in the relation "man-nature". Coverage of this problem in the conditions of postmodern philosophical discourse requires appropriate embeddedness in the national and cultural experience. Moreover, the poetry of A. Krymsky manifests the deep experiences of the Ukrainian man's ties with the natural world, which includes the actualization of the inner nature of man. The author seeks to "write out" the laws of the "moral constitution" according to (...) which a person is worthy of his purpose of being in nature "has the right" to love according to the vocation of his convictions, his needs and inclinations. On the one hand, the author seems to call us to abide by these "laws", but, on the other hand, his thoughts divert from such categoricalness into the space of "identity" and confessional repentance. As follows from the above, the dignity of a person consists in the awakening and strengthening of an independent, responsible, formed on the path of enriching the inner life of a spiritual personality and the search for a free egress. And in this, in fact, the highest value of the relevance of postmodern self-communication in the interpretation of the poetic work of A. Krymsky is developed. (shrink)
An ongoing dialogue in Xunzi scholarship addresses the role of yu (欲), often rendered as ‘desire,’ in motivation, but little has been said about what yu actually is, or whether the translation of ‘desire’ accurately reflects Xunzi’s use of the term. Employing textual analysis alongside research in cognitive science, most notably work on the so-called ‘wanting-liking’ distinction, I work toward a more precise understanding of Xunzi’s notion of yu and its functions. I suggest that yu be construed as a kind (...) of desire with an emphasis on ‘wanting’ that, while motivational, differs from broader, less precise notions of desire, and that this feature constitutes a distinctive aspect of Xunzi’s philosophy of psychology. In so doing, I propose a particular methodological approach for the interpretation of classical Chinese philosophy: when interpreting concepts that are subjects of empirical inquiry, empirical findings should lead us to favor some interpretations over others. (shrink)
We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.
Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In our (...) previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)