[ 名 ]
形式論理
,
形式論理学
,
数学的論理学
,
記号論理学
■ 一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
→
mathematical logic
,
symbolic logic