1 文書を見つけるための辞書。

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