在邏輯學中，句法是與形式語言或形式系統有關的任何東西，不考慮對它們的任何解釋或意義。句法關注的是用于構建或轉換語言的符號和詞語的規則，與關注語言意義的語義學不同。形式語言所表達的符號、公式、系統、定理、證明和解釋都是句法實體，其屬性可以在不考慮它們可能被賦予的任何意義的情況下進行研究，事實上，也不需要被賦予任何意義。句法通常與規范形式語言中的文本構成的規則（或語法）相關，這些規則構成了形式系統的良好形式的公式。在計算機科學中，語法一詞指的是規范編程語言中形式良好的表達式的組成的規則。正如在數理邏輯中，它獨立于語義和解釋。

符號是一種思想、抽象或概念，其標記可能是標記或形成特定模式的標記的金屬語言。形式語言的符號不需要是任何東西的符號。例如，有一些邏輯常數并不指任何概念，而是作為語言中的一種標點符號（例如括號）。如果一個符號或一串符號的表述符合語言的形成規則，就可以構成一個形式良好的公式。形式語言的符號必須能夠被指定，而不需要參考對它們的任何解釋。

形式語言是一個句法實體，它由一組有限的符號串組成，這些符號串是它的詞（通常稱為它的良好形式公式）。哪些符號串是詞，由語言的創造者決定，通常是通過指定一套形成規則。這樣的語言可以在不參考其任何表達的任何意義的情況下被定義；它可以在任何解釋被分配給它之前存在，也就是說，在它有任何意義之前。

形成規則是對哪些符號串是一種形式語言的良好形式的公式的精確描述。它與形式語言的字母表上構成良好形式公式的字符串集同義。然而，它并不描述它們的語義（即它們的含義）。

一個命題是一個表達真或假的句子。一個命題在本體上被確定為一個想法、概念或抽象，其標記實例是符號、標記、聲音或詞串的模式。命題被認為是句法實體，也是真理的承載者。

一個形式理論是一個形式語言中的一組句子。

一個形式系統（也叫邏輯微積分，或邏輯系統）由一種形式語言和一個演繹裝置（也叫演繹系統）組成。演繹裝置可以由一組轉換規則（也叫推理規則）或一組公理組成，或者兩者都有。形式系統被用來從一個或多個其他表達式中推導出一個表達式。形式系統，像其他句法實體一樣，可以在不給它任何解釋的情況下被定義（比如說，作為一個算術系統）。形式系統中的句法結果一個公式A是某個形式系統中的句法結果如果在形式化系統中存在一個推導，那么公式A就是某個形式化系統FS{displaystyle{mathcal{FS}}中的一個句法結果。

是句法完備的（也是演繹完備的、最大化完備的、否定完備的或簡單完備的），即對于該系統語言的每個公式A，A或?A都是該系統的一個定理。.在另一種意義上，一個形式系統在句法上是完整的，即沒有任何不可證明的公理可以作為公理加入它而不引入不一致。真理功能命題邏輯和一階謂詞邏輯在語義上是完整的，但在句法上不是完整的（例如，由單一變量a組成的命題邏輯語句不是定理，其否定也不是，但這些都不是同義詞）。哥德爾不完全性定理表明，沒有一個足夠強大的遞歸系統，如佩阿諾公理，可以既一致又完整。

一個形式化系統的解釋是對符號的意義的分配，以及對形式化系統的句子的真值。對解釋的研究被稱為形式語義學。