"Логіка Авіасафа"
"ЛОГІКА АВІАСАФА" - логічний трактат, що зберігся в рукописному збірнику "Приточник" з 1483 р. в колекції Києво-Михайлівського Золотоверхого монастиря. Відомий також під назвою "Київська логіка". "Л.А." близько 1462 р. була перекладена в Києві давньоукр. мовою зі староєвр. В її основу лягла перша частина логічного трактату араб, філософа XI - поч. XII ст. Аль-Газалі "Повчання філософів", що була вступною частиною до іншої відомої праці Аль-Газалі "Спростування філософів". Як встановили дослідники, "Авіасаф" - це євр. варіант імені іншого араб, філософа Аль-Фарабі. Аль-Газалі цитує спершу Аль-Фарабі, а відтак його спростовує. На поч. XV ст. логічний трактат Аль-Газалі був перекладений з араб, мови на євр. Відомий також лат. переклад, який на поч. XVI ст. двічі виходив друком у Венеції. Укр. переклад стоїть ближче до араб, оригіналу та до його євр. перекладу, аніж до лат. Проте "Київська логіка" охоплює текст Аль-Газалі не в такій повноті, як лат. варіант. У своїй основі "Л.А." - це виклад формальної логіки Аристотеля. У ній досить широко викладені вчення про поняття і терміни, предикаменти, судження, силогізми, про універсали та логічні доведення. Поява "Л.А." в укр. перекладі в друг. пол. XV ст. була значним кроком вперед у розвитку науки логіки в Україні порівняно з попереднім періодом, коли єдиним джерелом логічних знань була "Діалектика" Йоана Дамаскіна, що давала лише уявлення про систему категорій.І. Заславський