Изоморфизм против гомоморфизма в графической теории языка Трактата

Часто упоминают об изоморфности языка и мира в концепции языка «Трактата». Насколько я понимаю, согласно Витгенштейну (прошло несколько месяцев с тех пор, как я его прочитал, так что извините, если терминология неверна), объекты в мире соответствуют элементарным именам языка. Таким образом, предложение (комплекс элементарных имен) есть картина возможного положения дел. Я предполагаю, что изоморфизм упоминается, потому что в идеальной версии языка, о котором говорит Витгенштейн, существует биективное отображение между базовыми объектами и именами этих объектов. Я воображаю, что отношение, которое сохраняется посредством изоморфизма, примерно таково: отношение между объектами в мире отражается формальным отношением между именами в предложении.

Так что, возможно, в простой версии Витгенштейна на естественном языке утверждение типа «мяч находится в 10 м от двери», преобразованное посредством изоморфизма, соответствует положению дел, когда это имеет место.

Я предполагаю, что Витгенштейн, должно быть, говорит здесь о радикально новой форме языка, потому что в естественном языке это скорее гомоморфизм, чем изоморфизм. Другими словами, утверждение типа «Мяч находится в 10 см от двери» соответствует многим различным положениям дел (мяч может быть в 10 см к северу, в 10 см к югу и т. д.). Таким образом, однозначного сопоставления не существует, поскольку несколько положений дел сопоставляются с одним и тем же предложением. Учитывая частое упоминание изоморфизма в связи с теорией изображений, означает ли это, что, по мнению Витгенштейна, когда он делает ставку на пропозиции, он воображает тип языка, в котором буквально каждое различное положение дел имеет свое собственное изоморфное описание?

Если это то, о чем говорит Витгенштейн, то я полагаю, что это изоморфизм, а не гомоморфизм, хотя в действительности описательные предложения людей лучше рассматривать как включающие гомоморфизм от реальности к языку. Я предполагаю, что Витгенштейн говорит о каком-то языке, в котором даже самое простое понятие (мяч, находящийся на расстоянии 10 см) было бы формально чрезвычайно длинным предложением, по крайней мере столь же сложным формально, как и мир.

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

Витгенштейн в « Трактате » не использует слово «изоморфизм».
Сказав это, «применимый» смысл изоморфизма нематематический: подобие формы .
Я бы сказал, что ваше общее понимание TLP находится на правильном уровне. Что касается построения и функционирования упомянутого трактарианского языка, то из того, что я читал, можно сказать очень немногое. Трактарный язык вставлен в проект Фреге-Рассела (с существенными изменениями), это идеальный язык. Элементарные факты (которые должны быть атомами, из которых строятся факты) не представлены, они определены в TLP, но ничто не указывает, как их можно изолировать — если это когда-либо возможно.

Ответы (1)

Вы правы, трактарный язык — это логически совершенный язык, язык, которого мы еще не знаем, но который должен, как считал в то время Витгенштейн, лежать в основе каждого естественного или научного языка. Этот совершенный язык на уровне элементарных предложений изоморфен миру. Это следует из четкого порядка зависимости: факты первичны. Мысли — это «картинки» фактов. Предложения «выражают» мысли и, таким образом, также являются изображениями фактов. Отношение изображение/изображение биективно.

4.014. Граммофонная пластинка, музыкальная идея, письменные ноты и звуковые волны — все они находятся друг с другом в том же внутреннем отношении изображения, которое существует между языком и миром.

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

4.022. Человек обладает способностью строить языки, способные выражать любой смысл, не имея представления о том, какое значение имеет каждое слово или каково его значение, — так же, как люди говорят, не зная, как производятся отдельные звуки. Бытовой язык является частью человеческого организма и не менее сложен, чем он. По-человечески невозможно сразу понять, что такое логика языка. Язык маскирует мысль. Настолько, что по внешнему виду одежды невозможно вывести форму мысли под ней, потому что внешняя форма одежды предназначена не для того, чтобы открывать форму тела, а для совсем других целей. Неявные условности, от которых зависит понимание повседневного языка, чрезвычайно сложны.