Teil der Logik, in dem formale Regeln der Konstruktion und der Umwandlung von Ausdrücken und Aussagen in einem logischen System untersucht werden.

Bei syntaktischen Untersuchungen innerhalb der Logik ist nur die formale Gestalt der Ausdrücke und Aussagen von Bedeutung, nicht aber ihre inhaltliche Interpretation. Die Syntax befaßt sich u. a. mit

• der formalen Widerspruchsfreiheit eines Axiomensystems Σ (syntaktisch widerspruchsfreies logisches System), aus dem unter Zugrundelegung geeigneter Ableitungsregeln (Schluß-regel) kein Ausdruck der Gestalt φ∧¬φ ableitbar ist,
• der formalen Vollständigkeit von Σ, d. h., für jede Aussage der betreffenden formalen Sprache gilt: Σ ⊢ φ oder Σ ⊢ ¬φ, wobei ⊢ die Ableitungsrelation bezeichnet (Beweismethoden),
• der formalen Unabhängigkeit von), d. h., für jeden Ausdruck φ ∈ Σ ist φ aus Σ \ {φ} nicht ableitbar.