Кафедра философии и истории ЛОГИКА Для программы среднее Виды определений логика примеры