9.2 형식 논리학에서 기호적 사고로의 전환