Бертран Рассел, теория типов и значение

[vinvitvlad]

Коротко говоря, суть теории типов Рассела заключается в следующем: разные уровни высказываемого требуют разных средств выражения. Если объяснять на пальцах, то, допустим, об отдельных муравьях мы не можем сказать то же, что и о муравьях в целом. Иначе мы неизбежно придем к противоречиям.

Comments

[redjit]

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

[vinvitvlad]

Не сомневаюсь, что многие разбирали работы старика Бертрана гораздо более подробно. Я лишь хотел указать на зависимость логики от лингвистики

[redjit]

Ну так единственный модус бытия для логика это язык:)

[vinvitvlad]

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

[redjit]

Но правил опять же заданных по закону языка, а не каких-то божественных эйдосов:)

[vinvitvlad]

Да, все верно, правил языка, описанных с помощью самого же языка

[redjit]

Недавно читал книгу Логика языка, масштабное исследование подробное, где хорошо показано как отличия в языках задают изменения в логике.

А в свою очередь язык как способ "означать" основан по моим наблюдениям на способах "различать", проводить границы. Эти способы закрепляются в языке и задают его внутреннюю логику..

[vinvitvlad]

Звучит интересно. Имеете в виду, что у разных языков свои правила логики?

[redjit]

Да. И именно поэтому невозможен точный перевод) Переводчик может точно стараться перевести все слова, но все равно первоначальный смысл исказит, потому что воспринимает логикой своего базового языка.

[vinvitvlad]

Это интересно. Не подскажете автора? Скачаю, почитаю на досуге

[redjit]

http://rutracker.org/forum/viewtopic.php?t=3739579

[vinvitvlad]

Благодарю