Логика и анализ онтологических предпосылок языков теорий доклад на конференции