Значение формальной логики в современной науке