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