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)

The purpose of the study is to determine the impact of entrepreneurial initiative on the development of innovation activity of country enterprises. The theory of entrepreneurship by clarifying the essence of entrepreneurial initiative got further elaboration in the article. The methodical approach to the analysis and evaluation of the entrepreneurial initiative and its impact on the innovation activity of the enterprises, the results of which are the basis for further development of proposals to stimulate entrepreneurial initiative and development of their (...) innovation activity is suggested. The estimation of innovation activity of 1758 enterprises of Ukraine by calculating the integral indicator of innovation activity revealed its low level for innovation active enterprises. The method of one-dimensional linear regression has determined that an increase in the number of business structures per 10 thousand people of the country's population at a rate of 1.0 causes an increase in the indicator of innovation activity by 0.172. It is proved in the article that development of infrastructure of enterprenerial environment and creation of centers for entrepreneurship development act as an important mechanism of increasing innovation activity of enterprises of the country. (shrink)

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 purpose of this investigation is to develop a new methodological basis for studying the market opportunities of the multinational corporation (MNC) on the basis of the synthesis of modern scientific methods for further forecasting their change. The results showed the degree of dependence of the effectiveness of business management on the trends in the field development and competitor’s actions, market access opportunities, the use of MNC opportunities, their strategic positions, and the totality of internal factors that determine the profitability (...) of activities. The practical value of the obtained results is to identify areas for increasing the efficiency of MNC business management and forecasting the dynamics of sales volumes of their products on the market. (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)

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)

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)