The authors of the book have come to the conclusion that toensuring the country’s security in the conditions of military aggression, it is necessary to use the mechanisms of protection of territories and population, support of economic entities, international legal levers of influence on the aggressor country. Basic research focuses on assessment the resource potential of enterprises during martial law, the analysis of migration flows in the middle of the country and abroad, the volume of food exports, marketing and logistics (...) system. The research results have been implemented in the different decision-making models during martial law, information and economic security management, formation of personnel potential and assets of enterprises, food, energy and environmental security management, use of budgetary levers and financial instruments. The results of the study can be used in the developing of directions, programs and strategies for the post-war recovery of Ukraine’s economy and the attraction of foreign investments in the regions, decision-making at the level of ministries and agencies that regulate security management processes. The results can also be used by students and young scientists in the educational process and conducting scientific research on the problems of ensuring the country’s security. (shrink)

The article analyzes Petro Kudriavtsev’s historical philosophical conception in the context of basic tendencies and reference points of development of historical philosophical science in Europe in 19th – the beginning of 20th cent. For this purpose, the place and significance of reception of European philosophy in the P. Kudriavtsev’s historic philosophical works are identified. Furthermore, the article discusses the complex of philosophical and historical ideas that appeared to be productive for development of Kudriavtsev’s original historical philosophical conception. The latter (...) is proved to be formulated in the process of deep creative interpretation of European historical philosophical studies achievements (Hegel, Wilhelm Windelband, Kuno Fisсher), such as ethics and philosophical constructions of the European thought (Kant, Theodor Lipps, Friedrih Paulsen, Joseph Petzold, Ernst Mach, Herbert Spencer, Auguste Comte). The author finds out the particularity of the P. Kudriavtsev’s original approach to understanding of historical philosophical process, based on comprehension of rationalism and empiricism (positivism), two opposite models of historical philosophical knowledge. Besides, the author argues for the similarity in approach to the history of philosophy between P. Kudriavtsev and the representatives of historical-philosophical tradition after Hegel (Wilhelm Windelband, Kuno Fisсher). Reconstruction of P. Kudriavtsev’s historical philosophical conception allows the author to conclude, on the one hand, that conception reflected one of the central problems in Western European philosophy on the edge of 19 th – 20 th centuries – the problem of values. On the other hand, the conception was aimed to oppose the relativistic and nihilistic tendencies, which dominated in Modern European philosophy. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Wendy Laura Belcher has done her cultural work by queering Mother Walatta Petros's life in this one of a kind book. The struggles of Mother Walatta Petros and her nuns and their heirs' reluctance to enunciate same sex desire is brought out well in this book and its review in Prabuddha Bharata which has not missed an issue from 1896 to date. The book under review establishes Mother Walatta Petros as an African proto-feminist. This is a very well researched book. (...) The genre of the gädl too is very well brought out by Belcher and Kleiner. Medievalists offline and online really do not as yet think African indigenous works as worthy of their consideration. Belcher overcame many roadblocks to write something actually worth reading. Because of constraint of space, the book could not be reviewed more expansively. While the book is one of its kind in its domain; it is still an act of colonial interference within Ethiopian realpolitiks of religions. I have mentioned in the review that African Roman Catholic Cardinals like Cardinal Sarah insist on washing his Church's dirty linen in private. Now, the question is, would say, Wendy Laura Belcher and Kleiner have the guts and their publisher too, to write about paedophilia in the various American Churches? Is it not convenient to impute lesbianism to Mother Walatta Petros and shy away from writing about female desire say, within the global Loreto Convents? This reviewer presumes from this book that all convents are dens of female desire: some can be enunciated by white folks; some cannot. The question is: why queer Ethiopian spirituality when Mother Walatta Petros is no longer alive to defend herself? (shrink)

New trends in the economic systems management in the context of modern global challenges: collective monograph / scientific edited by M. Bezpartochnyi, in 2 Vol. // VUZF University of Finance, Business and Entrepreneurship. – Sofia: VUZF Publishing House “St. Grigorii Bogoslov”, 2020. – Vol. 1. – 309 p.

This article attempts to reveal intercultural connections at the Kyiv Theological Academy at the beginning of the 20th century by reconstructing the spiritual biographies of two theological academy professors: Archimandrite (later, Archbishop of Berlin and Germany) Tykhon (Tymofii Liashchenko) and Petro Kudriavtsev. The article demonstrates how different cultural traditions intersected and combined in the spiritual experience of these figures. The author of the article argues that, as a result of revolutionary events in 1917–1919, both Kyiv Theological Academy professors experienced (...) transformations in personal cultural identity, and their spiritual biographies reveal a transition from Russian to Western European and a combination of both (Tykhon (Liashchenko) identities), and from Russian to Ukrainian ideological cultural orientation (Petro Kudriavtsev). (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim (...) of congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)