В формальной логике понятие «язык» имеет строго определённое значение, кардинально отличающееся от бытового или лингвистического употребления этого слова |
||
|
МЕНЮ Главная страница Поиск Регистрация на сайте Помощь проекту Архив новостей ТЕМЫ Новости ИИ Голосовой помощник Разработка ИИГородские сумасшедшие ИИ в медицине ИИ проекты Искусственные нейросети Искусственный интеллект Слежка за людьми Угроза ИИ Атаки на ИИ Внедрение ИИИИ теория Компьютерные науки Машинное обуч. (Ошибки) Машинное обучение Машинный перевод Нейронные сети начинающим Психология ИИ Реализация ИИ Реализация нейросетей Создание беспилотных авто Трезво про ИИ Философия ИИ Big data Работа разума и сознаниеМодель мозгаРобототехника, БПЛАТрансгуманизмОбработка текстаТеория эволюцииДополненная реальностьЖелезоКиберугрозыНаучный мирИТ индустрияРазработка ПОТеория информацииМатематикаЦифровая экономика
Генетические алгоритмы Капсульные нейросети Основы нейронных сетей Промпты. Генеративные запросы Распознавание лиц Распознавание образов Распознавание речи Творчество ИИ Техническое зрение Чат-боты Авторизация |
2026-03-27 11:50 В формальной логике понятие «язык» имеет строго определённое значение, кардинально отличающееся от бытового или лингвистического употребления этого слова. Это не средство повседневной коммуникации, а исчисление — строго заданный набор символов, образующих так называемый алфавит, и правил грамматики, позволяющих механически определять, какие последовательности символов являются корректно построенными формулами. Когда Фреге, Рассел и Витгенштейн говорят о «языке» в контексте своей логико-философской работы, они имеют в виду именно это (иногда с некоторыми философскими дополнениями, онтологизирующими этот строгий набор символов). Фреге стремился построить идеальный язык, который должен был заменить естественный язык в науке, элиминировав его неоднозначности и обманчивую грамматическую форму. Рассел работал с формальным языком как с исчислением, инструментом логического анализа, позволяющим выявить истинную логическую форму суждений, скрытую поверхностной грамматикой обычной речи. Витгенштейн пошёл ещё дальше, фактически отождествив логически совершенный язык с границами самого мира, утверждая, что естественные языки представляют собой ту же самую логическую структуру, но замаскированную историческими напластованиями, поэтому их анализ должен обнажить лежащее в их основании единое логическое исчисление. Короче, он передаёт привет грамматике Пор-Рояля. Несмотря на формальное сходство, ни у одного из этих трёх логиков понятие «язык» не имеет почти ничего общего с естественными языками в том смысле, в каком их изучает лингвистика. Таким образом, на протяжении всей этой традиции слово «язык» используется не для обозначения системы знаков, используемых людьми в общении и познании, а для обозначения либо идеальной логической структуры, призванной исправить несовершенство обычной речи, либо онтологического условия возможности осмысленного говорения, либо, в случае позднего Витгенштейна, самой деятельности, которая принципиально не сводима к фиксированным правилам исчисления и не может быть понята вне живого контекста употребления. Так что будьте осторожнее, читая логиков. Кстати, знаете, кто ещё был по образованию логиком? Любитель сферического синтаксиса в вакууме Н. Хомский. Телеграм: t.me/ainewsline Источник: vk.com Комментарии: |
|