Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 033 «Філософія» (03 – Гуманітарні науки). – Київський національний університет імені Тараса Шевченка. – Київський національний університет імені Тараса Шевченка, Київ, 2021.Дане дослідження взаємозв'язків між логікою та інформатикою в значній мірі є актуальним і для філософії. До прикладу, розуміння природи обчислень як логічного механізму, математичної основи та наукового чи інженерного процесу істотно впливає на наші погляди щодо процесу пізнання та природи людського розуму. Більше того, стрімкий розвиток машинного навчання, автономних інтелектуальних агентів та робототехніки породив велику кількість етичних питань навколо штучного інтелекту. Зокрема, ці питання пов'язані з типами відносин, що можуть виникати між людьми та машинами. В основу таких відносин покладено багато фундаментальних понять, таких як свідомість, моральний статус, етичні обов'язки та етичне обчислення. Також філософськи актуальним вбачається намагання зрозуміти, як розвиток логіцизму, чисто філософської програми, по суті, посприяв утворенню багатьох розділів інформатики.^UDissertation for a Ph.D. scientific degree on the specialty 033 – Philosophy- (Logic). – Taras Shevchenko National University of Kyiv. – Taras Shevchenko National University of Kyiv, Kyiv, 2021.This study about the interconnections between logic and computer science is relevant to philosophy in many ways. For example, the understanding of the nature of computation as a logical mechanism, a mathematical basis, a scientific or engineering process, has a major impact on our interpretation of cognition and human mind. Moreover, the fast developments of machine learning, autonomous intelligent agents, and robotics have triggered a large variety of relevant ethical questions around artificial intelligence. In particular, these questions are concerned with the type of relationships that should exist between humans and machines. At the heart of these relationships, many fundamental concepts are also involved including consciousness, moral status, ethical responsibilities, and ethical computation. Another philosophical relevance could be seen through the understanding of how a purely philosophical programme, the logicism, had led to the creation of many areas of computer science.