Логический синтаксис

ЛОГИЧЕСКИЙ СИНТАКСИС —1) система правил, определяющих построение и преобразование выражений некоторого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений. Основными вопросами, встающими при синтаксическом рассмотрении логических исчислений, являются проблемы непротиворечивости (Непротиворечивость аксиоматической теории), полноты (Полнота аксиоматической теории), независимости (Независимость системы аксиом), разрешения (Разрешения проблема), доказуемости. Проблема доказуемости состоит в нахождении алгоритма, который для любого доказуемого (т. е. выводимого из аксиом) высказывания строит его доказательство. Т. обр., Л. с. включает в себя теорию доказательства. Понятие Л. с. было введено Витгенштейном в 1919. Систематическое изложение проблем и понятий Л. с. дал Карнап в «Логическом синтаксисе языка» (1934), где, в частности, показана плодотворность синтаксического исследования языков, формализующих те или иные разделы естественных наук (Формализованный язык).

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 227.