記号論理きごうろんり

記号で推論の形を明確にし、数学や言語の基礎を調べる論理学である。『論考』では、言語が世界を描く条件を調べるための道具として働く。