Уточнение философских учений прошлого методами современной логики