sintassi

sintassi

sintassi in logica, teoria relativa all’insieme delle regole che presiedono alla determinazione dei corretti rapporti fra le possibili configurazioni degli elementi di un → sistema formale (in quanto svincolati dalle loro possibili interpretazioni), nonché l’insieme stesso di tali regole. La sintassi di una teoria è pertanto determinata dalle regole di formazione dei termini, delle espressioni e delle successioni di espressioni che vengono caratterizzate come dimostrazioni. Requisito sintattico fondamentale per una teoria è la sua non contraddittorietà. Le formule sintatticamente corrette sono dette → formule ben formate. Contrariamente ai linguaggi naturali, nella generazione dei linguaggi formali il termine è spesso usato come sinonimo di → grammatica.