こうしき-ろん [4] 【公式論】 形式・原則にとらわれた論理。