Без заголовка

Тут самое важное, что все приводимые мной дисциплины как раз своим предметом имеют работу с уровнями абстракции: например, логика эти уровни абстракции определяет как таковые, computer science задаёт вычислительные стеки и понятие исполнимости описаний плюс работает с описывающими друг друга формальными языками, системный подход работает с view-viewpoint и задаёт субъективность в выборе абстракций, и так далее. Во многих других дисциплинах работа с уровнями абстракции не так явна.