「記号論理学」には「(アリストテレス流の)伝統的論理学」は含まれない。