학계에서 통용되는 형식논리랑 다른게 있음?