Формальная логика как наука о мышлении