Автор неизвестен - Информация, язык, интеллект - страница 5

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 

Произведем некоторые уточнения введенной терминологии. Идеями будем называть, во-первых, математические объекты — элементы множест­ва Sk, во-вторых, психологические объекты — лю­бые субъективные состояния человека. Во втором смысле термин идея будем употреблять лишь при расширенной постановке задач теории интеллек­та. Мыслями будем называть психологические объ­екты — все те субъективные состояния человека, которые можно выразить в форме высказываний. Сигналы, предъявляемые испытуемому во время проведения опытов, будем называть физическими стимулами. Будем говорить, что физические сти­мулы служат прообразами идей, а идеи являются образами физических стимулов. При постановке узкой задачи в роли физических стимулов будут выступать только высказывания, а в роли их обра­зов — только мысли. При постановке расширенной задачи, стимулами могут быть любые физические объекты.

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

Возможность сравнивать между собой все идеи человека и устанавливать их равенство и нера­венство лежит, на наш взгляд, в основании меха­низма, обеспечивающего единство человеческой личности, единство того, что называют нашим "Я". Представим, что множество всех идей какой-то личности распалось на две не связанные друг с другом части, и теперь независимо на каждой из них действует свой собственный предикат равенс­тва. Ясно, что единство этих двух частей нарушит­ся, и произойдет то, что в психиатрии называют расщеплением или раздвоением личности. Две различные человеческие личности разделены пси­хологическим барьером именно вследствие того, что каждая из них имеет непосредственный доступ только к своим собственным субъективным состо­яниям, их идеи не объединяет единый предикат равенства. Допустим, что такой, общий для двух личностей, предикат равенства идей каким-то об­разом удалось практически ввести. Наличие тако­го предиката явилось бы предпосылкой к слиянию двух личностей в одну. Можно ожидать, что единая в двух телах личность смотрела бы на мир "в четы­ре глаза", имела бы единую волю и общие мысли.

4. Свойства предиката равенства идей

Рассмотрим свойства предиката Dk . Предикат Dk подчиняется закону рефлексивности: для любо­го P eMk Dk (P, P) = 1. Действительно, согласно определению (4), для каждого предиката P eMk имеем: Dk (P, P) = Vx (P (x) ~ P (x)) = Vx (1) = 1. Пре­дикат Dk подчиняется также закону, который на­зывают [7, с. 46] законом подстановочности: для любых P,Q eMk если R(P) = 1 и Dk (P, Q) = 1, то R(Q) = 1. Здесь R(P) — произвольно выбранный предикат, заданный на множестве предикатов Mk . Доказательство закона подстановочности: если P, Q e Mk таковы, что P = Q, то

R(P) л Dk (P, Q) з R(Q) = R(P) л Dk (P, P) з з R(P) = R(P) 1 з R(P) = R(P) з R(P) = 1. Если же P ф Q , то

R(P) л Dk (P, Q) з R(Q) = R(P) л Vx(P(x) ~ ~ Q(x)) з R(Q) = R(P) 0 з R(Q) = 0 з R(Q) = 1.

Предикат Dk удовлетворяет закону симметрич­ности: для любых P, Q e Mk , если Dk (P, Q) = 1, то Dk(Q, P) = 1. Действительно,Dk(P, Q) з Dk (Q, P) = Vx(P(x) ~ Q(x)) з Vx(Q(x) ~ ~ P(x)) = Vx(P(x) ~ Q(x)) з Vx(P(x) ~ Q(x)) = 1.

Предикат Dk подчиняется закону тран­зитивности: для любых P, Q, R eMk если Dk (P, Q) = Dk (Q, R) = 1, то Dk (P, Q) = 1. В самом деле, для любых P, Q, R eMk по закону подста-новочности находим: если R(Q) = Dk (P, Q) = 1 и Dk (Q, R) = 1, то R(R) = Dk (P, R) = 1.

Предикат равенства идей Dk подчиняется зако­ну рефлексивности: для любого x e Sk имеет место равенство Dk(x,x) = 1. Действительно, согласно оп­ределению (5), имеем: Dk (x, x) = Dk (Ф( x ),Ф^)) = 1. Предикат Dk подчиняется также закону подста-новочности: для любого предиката R, заданно­го на множестве Sk, и для любых x, y eSk , если R(x) = 1 и Dk(x,y) = 1, то R(y) = 1. В самом деле, пусть P = Ф (x), Q = Ф (y), R(P) = -1(P)), Dk(P,Q) = Dk4(P),Ф l(Q)). Тогда по закону под-становочности предиката равенства предикатов имеем: R(P) = 1 и Dk (P ,Q) = 1 влечет R(Q) = 1. Ины­ми словами, l(P)) = 1 и Dk l(P), Ф l(Q)) = 1 влечет _1(Q)) = 1. Учитывая, что Ф l(P)) = x, Ф 1 (Q)) = y, приходим к закону подстановочности для предиката равенства идей. Аналогично выво­дятся для предиката Dk закон симметричности: для любых x, y eSk , если Dk (x, y) = 1, то Dk (y, x) = 1, и закон транзитивности: для любых x, y, z eSk , если Dk (x, y) = Dk (y, z) = 1, то Dk (x, z) = 1.

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 


Похожие статьи

Автор неизвестен - 13 самых важных уроков библии

Автор неизвестен - Беседы на книгу бытие

Автор неизвестен - Беседы на шестоднев

Автор неизвестен - Богословие

Автор неизвестен - Божественность христа