Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/classes/rss.class.php on line 129 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/functions.php on line 89
|
СИНТАКСИС(от греч. построение, порядок) в логике, изучение чисто формальной части формализов. языка, т. е. неинтерпретированного исчисления. Объектами такого изучения служат алфавит рассматриваемого исчисления (формальной системы), правила образования выражений (формул) предметного языка (языкаобъекта; см. Метаязык) исчисления и правила преобразования (правила вывода) в нём. В отличие от такого «логич. С.» часто говорят о «С. в узком смысле», ограничивающемся «чисто синтаксической» (в обычном грамматич. смысле) стороной системы, т. е. не рассматривающем её правила преобразования. Элементарным С. наз. изучение синтаксич. (в обоих упомянутых смыслах) свойств к.-л. конкретной формальной системы нек-рыми спец. эффективными средствами, как это принято в метаматематич. (см. Метатеория) исследованиях. Теоретический С.-это общая теория всевозможных формальных систем (или класса систем) к.-л. определ. вида, на аппарат к-рой обычно никаких ограничений не накладывается. Элементарный и теоретич. С. оперируют обычным содержательно понимаемым языком (к-рый, в свою очередь, сам может быть формализован и служить предметом строгого формального исследования),
Категория: Словари и энциклопедии » Философия » Советский философский словарь, 1974 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|