Просто так

Jul 21, 2024 22:47


Частенько, читая споры об очевидном, я вспоминаю забавный рассказ про «Заколдованную букву». И надо сказать, как же порой непросто удержаться от того, чтобы завернувшись в белое пальто точного знания, выйти и провозгласить свои [ˈʂɨʂkʲɪ]! Не всегда удаётся, что несколько смиряет.

В конце концов, не буду отрицать, что споры об очевидном бывают ( ( Read more... )

много гитик

Leave a comment

Comments 7

evgeniirudnyi July 22 2024, 07:01:09 UTC

Человеческий язык многозначен, причем я считаю, что это его достоинство. Это дает возможность каким-то образом иногда находить неплохие решения.

Так Дили в книге John Deely, Four Ages of Understanding называет формальные языки паразитными: artificial languages parasitic upon or 'metatheoretic' to natural language.

Reply

uri_ben_cephas July 24 2024, 11:20:43 UTC

Интересно, насчёт паразитности. Может быть, он хотел сказать о необходимости естественных языков для формальных, вроде как "субстрата"? "Паразитность" содержит непонятное "обвинение".

Reply

evgeniirudnyi July 24 2024, 11:47:13 UTC

Скорее всего именно так - формальные языки существуют в рамках естественного языка.

Reply

uri_ben_cephas July 24 2024, 11:39:14 UTC

Я подумал, что тут опять же есть вопрос, как понимать многозначность. Нельзя сказать, что формальные языки совсем лишены многозначности, хотя это и не то, чего от них обычно хотят. Например, можно придумать формальный язык для записи уравнений, но значение уравнения может зависит от контекста - вещественные ли переменные или комплексные или речь о матрицах. Вообще, формальность означает только чёткое задание алфавита и существование алгоритма, разрешающего принадлежность цепочки символов алфавита - "слова" к языку. Не требуется даже однозначности "разбора" (например, можно задать язык так, что a+b+c можно разобрать двумя способами; также, можно вспомнить разные ужасы C++, когда надо реально знать много контекста, чтобы понять смысл программы (и могут быть вещи, зависящие от компилятора)).

Многозначность языка, как мне кажется, относится скорее к человеку, чем к языку - язык потенциально неограниченно расширяем, и может конструироваться по ходу исследования, "обмысливания" если угодно, того, о чём человек хочет говорить. Формальный ( ... )

Reply


sergimnus July 22 2024, 15:48:47 UTC

А здесь есть ли смирение?

- Скажи «ыба».
- Селёдка!

Reply

uri_ben_cephas July 22 2024, 16:41:45 UTC

Ну да. Об этом тоже.

Reply


Leave a comment

Up