Аввад М. .. Роль логіки в історії та філософії комп’ютерної науки

Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 033 «Філософія» (03 – Гуманітарні науки). – Київський національний університет імені Тараса Шевченка. – Київський національний університет імені Тараса Шевченка, Київ, 2021. Дане дослідження взаємозв’язків між логікою та інформатикою в значній мірі є актуальним і для філософії. До прикладу, розуміння природи обчислень як логічного механізму, математичної основи та наукового чи інженерного процесу істотно впливає на наші погляди щодо процесу пізнання та природи людського розуму. Більше того, стрімкий розвиток машинного навчання, автономних інтелектуальних агентів та робототехніки породив велику кількість етичних питань навколо штучного інтелекту. Зокрема, ці питання пов’язані з типами відносин, що можуть виникати між людьми та машинами. В основу таких відносин покладено багато фундаментальних понять, таких як свідомість, моральний статус, етичні обов'язки та етичне обчислення. Також філософськи актуальним вбачається намагання зрозуміти, як розвиток логіцизму, чисто філософської програми, по суті, посприяв утворенню багатьох розділів інформатики.