邏輯符號是邏輯學中的一個基本概念，它的標記可能是形成特定模式的標記或標記的配置。雖然符號這個詞在通常情況下，有些時候是指被象征的思想，有些時候是指在一張紙或黑板上用來表達這個思想的標記；在數學和邏輯學研究的形式語言中，符號這個詞指的是思想，而標記被認為是符號的象征實例。在邏輯學中，符號建立字面效用來說明思想。

形式語言的符號不需要是任何東西的符號。例如，有一些邏輯常數并不指任何概念，而是作為語言中的一種標點符號（例如括號）。形式語言的符號必須能夠在不參考任何對它們的解釋的情況下被指定。如果一個符號或一串符號符合語言的形成規則，它就可以構成一個形式良好的公式。在一個形式化系統中，一個符號可以在形式化操作中作為一個標記使用。形式語言中的形式符號集被稱為字母表（因此每個符號可以被稱為一個字母）。在一階邏輯中使用的形式化符號可以是一個變量（話語宇宙的成員）、一個常數、一個函數（映射到宇宙的另一個成員）或一個謂詞（映射到T/F）。形式符號通常被認為是純粹的句法結構，使用形式語法組成更大的結構，盡管有時它們可能與解釋或模型（形式語義）有關。詞可以作為形式化符號進行建模嗎？將自然語言（如英語）中的單元視為形式化符號的舉措是由諾姆-喬姆斯基發起的（正是這項工作導致了形式化語言中的喬姆斯基層次結構）。

生成語法模型把句法看成是獨立于語義的。在這些模型的基礎上，邏輯學家RichardMontague提出，語義學也可以在形式結構的基礎上構建。在我看來，自然語言和邏輯學家的人工語言之間沒有重要的理論差異；事實上，我認為有可能在一個單一的自然和數學上精確的理論中理解這兩種語言的語法和語義。