w filozofii: teoretyczna analiza jakiejś teorii, zwłaszcza w zakresie jej języka i systemu twierdzeń