1) система правил, определяющих построение и преобразование выражений нек-рого исчисления; 2) раздел металоги-ки, изучающий структуру и свойства неинтерпретированных исчислений. Осн. вопросами, встающими при синтаксическом рассмотрении логических исчислений, являются проблемы непротиворечивости (Непротиворечивость аксиоматической теории), полноты (Полнота аксиоматической теории), независимости (Независимость системы аксиом), разрешения (Разрешения проблема), доказуемости. Проблема доказуемости состоит в нахождении алгоритма, к-рый для любого доказуемого (т. е. выводимого из аксиом) высказывания строит его доказательство. Т. обр., Л. с. включает в себя теорию доказательства. Понятие Л. с. было введено Витгенштейном в 1919. Систематическое изложение проблем и понятий Л. с. дал Карнап в “Логическом синтаксисе языка” (1934), где, в частности, показана плодотворность синтаксического исследования языков, формализующих те или иные разделы естественных наук(Формализованный язык)
|
