シンボル（正式）

論理記号は論理における基本概念であり、そのトークンはマーク、または特定のパターンを形成するマークの配置である。^[要出典]一般に使用されている「記号」という用語は、記号化されるアイデアを指す場合もあれば、そのアイデアを表現するために使用されている紙や黒板上のマークを指す場合もありますが、数学と論理学で研究される形式言語では、「記号」という用語はアイデアを指し、マークは記号のトークンインスタンスであると見なされます。 ^{[疑わしい–議論する]}論理では、記号はアイデアを説明するために文字通りの有用性を構築します。

形式言語のシンボルは、何かのシンボルである必要はありません。たとえば、何らかのアイデアを参照するのではなく、言語内の句読点の形式として機能する論理定数があります (例: 括弧)。形式言語のシンボルは、それらの 解釈を参照することなく指定できる必要があります。

記号または記号の文字列は、言語の 形成規則に準拠している場合、整形式の式を構成することができます。

形式システムでは、記号は形式操作のトークンとして使用されることがあります。形式言語における形式記号の集合はアルファベットと呼ばれます（したがって、各記号は「文字」と呼ばれることがあります）^{[1] [ページが必要]}

一階述語論理で使用される形式記号は、変数（談話宇宙のメンバー）、定数、関数（談話宇宙の別のメンバーへのマッピング）、または述語（T/F へのマッピング）です。

形式記号は通常、純粋に統語的な構造として考えられ、形式文法を使用してより大きな構造に構成されますが、解釈やモデル (形式意味論) に関連付けられる場合もあります。

自然言語（英語など）の単位を形式的な記号として見る動きは、ノーム・チョムスキーによって始められました（この研究により、形式言語におけるチョムスキー階層が生まれました）。生成文法モデ​​ルでは、構文は意味論から独立しているとみなされました。これらのモデルを基に、論理学者リチャード・モンタギューは、意味論も形式構造の上に構築できると提案しました。

私の意見では、自然言語と論理学者の人工言語の間には重要な理論的違いはありません。実際、私は両方の言語の構文と意味を単一の自然で数学的に正確な理論で理解できると考えています。この点で私は多くの哲学者と意見が異なりますが、チョムスキーとその仲間の意見には同意すると思います。」^{[2] [ページが必要]}

これがモンタギュー文法の根底にある哲学的前提です。

しかし、言語記号を形式記号と同一視しようとするこの試みは、特に認知言語学の伝統において、ステヴァン・ハルナドのような哲学者や、ジョージ・レイコフやロナルド・ランガッカーのような言語学者によって広く異議を唱えられてきました。

• 数学記号の一覧
• 論理記号の一覧
• 終端記号と非終端記号