論理言語（ろんりげんご）
最終更新：2026/4/22
論理言語は、自然言語とは異なり、厳密な形式規則に基づいて構築された言語であり、曖昧さを排除し、論理的な推論を可能にする。
別名・同義語 形式言語記号言語
ポイント
論理言語は、数学、哲学、計算機科学などの分野で、厳密な議論や機械的な処理のために用いられる。代表的なものに命題論理や述語論理がある。
論理言語とは
論理言語は、自然言語（日本語、英語など）が持つ曖昧性や多義性を排除し、厳密な意味論と構文論に基づいて構築された人工言語です。自然言語が日常的なコミュニケーションを目的とするのに対し、論理言語は論理的な推論、証明、計算などを目的とします。
論理言語の歴史
論理言語の起源は、古代ギリシャの哲学者アリストテレスに遡ります。アリストテレスは、演繹論理の基礎を築き、三段論法を考案しました。その後、19世紀にジョージ・ブールがブール代数を導入し、論理を数学的に表現することを可能にしました。20世紀に入ると、バートランド・ラッセルやアルフレッド・ノース・ホワイトヘッドが『Principia Mathematica』を著し、数学を論理に基づいて体系化しようと試みました。
代表的な論理言語
- 命題論理: 最も基本的な論理言語であり、命題（真または偽の文）とその間の論理演算（否定、連言、選言、含意など）を扱います。
- 述語論理: 命題論理を拡張し、対象、属性、関係などを扱うことができます。量化子（全称量化子、存在量化子）を用いて、対象の範囲を指定することができます。
- 様相論理: 必然性、可能性、義務などの様相的概念を扱う論理言語です。
- 時間論理: 時間的な概念（過去、現在、未来）を扱う論理言語です。
論理言語の応用
論理言語は、以下の分野で広く応用されています。
論理言語と自然言語
論理言語は、自然言語とは異なる特徴を持っています。自然言語は、文脈や常識に依存することが多く、曖昧性や多義性を含んでいます。一方、論理言語は、厳密な形式規則に基づいており、曖昧さを排除しています。しかし、自然言語を論理言語に変換することは、自然言語処理の重要な課題の一つです。