program logicyzacji filozofii