論証
論証の理論は非形式論理の理論と密接に関連している。理想的には、論証の理論は論証の妥当性を説明する何らかの機構を提供すべきものである。
1つの自然な手法として、数学的パラダイムに従い、論証における表明の意味論を使って妥当性を定義することが考えられる。そのような手法は単純さが魅力だが、純粋に論理的な論証以外にこの方法を適用することは難しい。また、文全体の解釈の必要性だけでなく、文の構成要素も解釈する必要があり、例えば The present value of government revenue for the next twelve years(今後12年間の政府収入の現在価値)といった名詞句を解釈する必要がある。
この手法を進める際の大きな障害は、適切な意味論的領域を決定することが容易な仕事ではなく、様々な難しい存在論的問題を生じる点である。