Аналитическая философия

Пусть даны два языка J1 и J2. Дополнением J1 до J2 называется процедура добавления к J1 новых выражений до тех пор, пока области определения директив значений J1 и J2 не совпадут; обратная процедура является открытием J2 относительно J1. Если J2 является замкнутым языком, то дополнение J1 до J2 является окончательным замыканием. Допустим, что J1 является открытым языком, а J2 и J3 – языками связанными и окончательно замкнутыми J1. Если J2 и J3 возникли из J1 так, что J2=J1+B1, а J3=J1+B2 и B1, B2 взаимно переводимы, то очевидно J2 и J3 также взаимно переводимы. Айдукевич задается вопросом: всегда ли два связанных языка, являющиеся окончательно замкнутыми относительно некоторого открытого языка, взаимно переводимы? Ответ на этот вопрос Айдукевич предваряет рассмотрением условий равнозначности или синонимичности двух выражений одного и того же языка J. Необходимым условием синонимичности двух выражений является сохранение области определения директив значений, т.е. область не должна изменяться в результате подстановки B1 вместо B2, и наоборот. Понятие равнозначности применимо также к выражениям из разных языков, например, J1 и J2. Так как выражение B в языке J1 имеет то же значение, что и выражение C в языке J2, то B является переводом C в J1, и наоборот; отношение перевода рефлексивно, симметрично и транзитивно.

Пусть C будет переводом B (из J1) на язык J2, и пусть B находится в некоторой связи значений с другими выражениями из J1. Если эти связи являются непосредственными связями значений, то если B остается в непосредственной связи значений (в J1) с выражениями B1,..., Bn, то C остается в аналогичных связях значений (в J2) с выражениями C1,..., Cn, причем выражения B1,..., Bn и C1,..., Cn взаимно переводимы. Последнее замечание необходимо, поскольку могут рассматриваться и открытые языки. Для замкнутых языков описанная зависимость может быть выражена следующим образом: если C является переводом B, то все элементы объединения областей определения директив языка J2, содержащие выражение C, можно получить из элементов объединения областей определения директив языка J1, содержащих выражение B, следующим образом: выражение B везде заменяется выражением C, а оставшиеся элементы директив значений языка J1 заменяются их переводами в языке J2.

Перевод Айдукевич понимает весьма ригористично, т.е. как перевод совершенный или дословный. Два языка он называет взаимно переводимыми тогда и только тогда, когда каждому выражению одного языка соответствует одно или несколько выражений другого языка, которые являются его переводами с одного языка на другой, и vice versa.

Основное утверждение Айдукевича, относящееся к языкам связанным и замкнутым, таково: если языки J1 и J2 связаны и замкнуты, и если в языке J2 существует выражение C, являющееся переводом выражения B языка J1 на язык J2, то оба языка взаимно переводимы. Условие перевода уже в том состоит, что одно из выражений языка J1 имеет свой перевод в язык J2. Из этого следует, что открытый язык не может быть окончательно замкнут в результате дополнения до двух связанных и взаимно непереводимых языков.

Объединение областей определения директив языка J можно определенным образом упорядочить, образуя соответствующие суммы (объединения) директив: аксиоматическую, дедуктивную и эмпирическую. Три перечисленные суммы директив значений образуют т.н. матрицу языков. Понятие матрицы Айдукевич использует для формулирования дефиниций перевода и значения выражений. Вот эти дефиниции:

Языки J1 и J2 взаимно переводимы согласно отношения R тогда и только тогда, когда R является взаимно однозначным отношением, которое каждому выражению из J1 ставит в соответствие некоторое выражение из J2, и наоборот таким образом, что матрица языка J1 (J2) переходит в матрицу языка J2 (J1), если заменить в ней все выражения выражениями, соответствующими им посредством отношения R.

Выражение A в языке J1 обладает тем же самым значением, что и выражение B в языке J2 тогда и только тогда, когда A принадлежит J1, B принадлежит J2 и существует отношение R, с учетом которого оба языка взаимно переводимы, а выражение A находится в отношении R к B.

Легко видеть, что приведенные дефиниции однозначно применимы только к языкам связанным и замкнутым. Именно такие языки Айдукевич считает языками в точном значении этого слова, т.е. собственно языками. Открытые же языки являются в сущности смешением собственно языков, примером которых Айдукевич считает язык этнический.

Класс значений замкнутого и связанного языка Айдукевич называет понятийным аппаратом этого языка. Из приведенных дефиниций следует, что два понятийных аппарата являются либо идентичными, либо не имеют общих элементов. Если же два понятийных аппарата имеют хотя бы один общий элемент, то они идентичны. Поэтому можно сказать, что два различных понятийных аппарата никогда не пересекаются, а открытым языкам свойственно смешение различных понятийных аппаратов.