Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяПершоджерела з філософії → 
« Попередня Наступна »
Патнем Хіларі. Філософія свідомості. Переклад з англ. Макеєвої, Назарової О. А., Никифорова A.; - М.: Будинок інтелектуальної книги. - 240 с., 1999 - перейти до змісту підручника

3. ЛОГІЧНИЙ біхевіоризму

Як ми бачили, твердження про перевагах наших машин логічно Чи не еквівалентні твердженнями про їх фізико-хімічному будову. Бути може, вони логічно еквівалентні твердженнями про реальний і потенційний поведінці цих машин? Для відповіді на це питання має сенс розширити рамки обговорюваної теми, включивши в неї не лише твердження про переваги наших машин, а й твердження про їх «знанні», «думці» і «чуттєвому знанні» (sensory awareness). Розширивши таким чином рамки нашого обговорення, ми відразу зрозуміємо, що відповідь буде негативним. Розглянемо дві машини Тх і Т2, що мають наступне відмінність: у Тх видалені «волокна, які проводять больові імпульси», тому Т {нездатна «відчувати біль». У Т2 ці волокна не видалені, але вона має незвичайну функцію раціонального переваги. Ця функція така, що якщо Т2 вважає, що мало місце певна подія або що істинно певне висловлювання, то Т2 припише нескінченно велике значення приховування того факту, що у неї не видалені волокна, які проводять больові імпульси. Іншими словами, будучи Спрошенние, Т2 буде стверджувати, що її волокна були видалені і вона нездатна відчувати біль, і буде придушувати в собі схильність виявити в поведінці ощущаемую біль. Якщо Т2 не вважає, що якась важлива подія мало місце або якесь важливе висловлювання істинно, то у Т2 НЕ буде причин для приховування того, що вона здатна «відчувати біль», і, тому, вона буде вести себе зовсім інакше, ніж Тх. У цьому випадку, спостерігаючи поведінку машини, ми зможемо встановити, чи є вона фізичної реалізацією Т2 або Тх.

Однак, якщо і Tj, і Г2 відомо про те, що мало місце яке-Те важлива подія, або істинно якесь важливе висловлювання, то їх не можна буде відрізнити за їх поведінці. Стало бути, якщо і машина Т {і машина Т2 вважають, що мало місце якась важлива подія або істинно якесь важливе висловлювання, то гіпотеза про те, що якась конкретна машина - це реалізація Тх а гіпотеза про те, що ця машина відноситься до типу ть збігатимуться в Своїх прогнозах щодо реального і потенційного noil * ведення цієї машини. Коротше кажучи, певні комбінації досить різних думок і функцій раціонального переваги матимуть наслідком абсолютно однакове поведінку.

У статті «Мозок і поведінку» 43 я доводив, що те ж саме істинно і щодо людей. Так, дві людини можуть вести себе абсолютно однаково при всіх можливих обставин, один - в силу звичайних причин, а другий - в силу досить незвичайною сукупності причин. Якщо допустити різні обчислювальні здібності чи різний інтелект у машин, то все стане ще більш очевидним. Розглянемо випадок, коли нам потрібно відрізнити машину зі стандартною функцією раціонального уподобання і досить низьким інтелектом від машини з дуже високим інтелектом і нестандартної функцією раціонального уподобання, що приписує нескінченно велике значення приховування високого інтелекту. Ясно, що різниця між ними не є абсолютно не виявлявся. Якби нам дозволили розібрати ці машини і встановити, що відбувається у них всередині, то ми змогли б сказати щодо якоїсь конкретної машини, чи належить вона до першого типу або до другого, але неважко показати, що без вивчення внутрішньої будови розглянутих машин неможливо відрізнити їх один від одного. Стало бути, досить різні комбінації обчислювальних здібностей, думок і функцій раціонального переваги можуть мати наслідком абсолютно однакове поведінка - не тільки що здійснюється в даний момент, а й потенційне поведінку при всіх можливих обставин.

Нехай Тх - машина з низьким інтелектом, а Т2 - машина з високим інтелектом, і Т2 імітує поведінку Т {. Хтось міг би запитати, в чому ж виявляється більш високий інтелект машини Т2? Він проявляється у двох речах. Насамперед, Т2 може друкувати на своїй стрічці багато такого, що не містить сигналів-команд і що, отже, просто складає її внутрішній монолог.

Т2 вміє вирішувати математичні завдання, аналізувати психологію людей, з якими вона спілкується, записувати їдкі зауваження з приводу людських вдач і інститутів, і т. п. Т2 зовсім не потрібно утримувати яку-небудь підсистему станів, хоч скільки збігаються з станами або обчисленнями Тх. Можливо, Т2 досить розумна, щоб визначити, як вчинила б Т {в тій чи іншій конкретній ситуації, і їй не потрібно відтворювати хід рас-суджень, що призвів Т {до вирішення надійти таким-то чином.

Мали б аналогічний випадок, якби поведінка якоїсь людини нічим не відрізнялася від поведінки інших людей, але потай 0т всіх ця людина мала б багату і незвичайну внутрішню

ЖИТТЯ.

Нам вкажуть, що всі розглянуті нами машини мають, в деякому розумінні, патологічні функції раціонального уподобання, тобто функції, які приписують якихось речей нескінченно велике значення. Приписувати будь-якої речі нескінченно велике значення значить віддавати перевагу цю річ всім іншим можливим альтернативам, до чого б це не привело. Назвемо функцію раціонального уподобання непатологіческой, якщо вона нічому не приписує нескінченно великого значення, за винятком, мабуть, виживання самої машини. Нехай Т - теорія, згідно з якою всі реально існуючі інтелектуальні системи мають непатологіческіе функції раціонального переваги. Тоді можна показати, що в теорії Т твердження про те, що машина з такими-зафіксованими обчислювальними здібностями має таку-то певну функцію раціонального уподобання, еквівалентно твердженням, що ця машина демонструє певну поведінку. По суті, твердження про те, що машина має якусь певну функцію раціонального уподобання, еквівалентно в теорії Т твердженням про те, що за всіх обставин вона поводиться точно так само, як вела б себе машина, що має цю функцію раціонального переваги. Тим не менш, це не доводить істинності логічного біхевіоризму, хоча він майже «влучає в ціль». Стосовно до наших машин логічний біхевіоризм формулювався б так: твердження про те, що машина має якусь певну функцію раціонального уподобання, логічно еквівалентно твердженням про її реальне і потенційне поведінці. Це невірно. Вірно ж те, що мається Теорія Г, істинна з високим ступенем ймовірності (або з високим ступенем вірогідності правдивий її аналог, формулювати для ° Рганізмов), така, що в теорії Т кожне твердження, що має Форму «Т воліє альтернативу А альтернативі В», еквівалентно твердженням про реальний і потенційний поведінці Т. Але еквівалентно як чисто логічне питання і еквівалентність в Рамках синтетичної теорії - це дві абсолютно різні речі.

У певному сенсі логічний біхевіоризм знаходиться в такому Положенні, що і матеріалізм. Як ми бачили у випадку матеріалізму, хоча твердження про те, що машина має певну машинну таблицю, логічно не еквівалентно твердженням про те, що їй притаманне певне фізико-хімічну будову, однак, перше твердження випливає з другого в рамках деякої синтетичної теорії, а саме , теорії, яка включає в себе закони природи і теза про повноту, тобто теза про те, що не існує ніяких інших каузальних чинників, крім елементарних частинок і з'єднань елементарних частинок, і вони володіють тільки тим ступенем свободи, яку приписує їм фізична теорія. Дійсно, неважко переконатися в тому, що є клас фізичних структур З такою, що твердження про те, що машина має певну машинну таблицю, еквівалентно в рамках вищезгаданої синтетичної теорії твердженням про те, що фізична структура цієї машини належить до класу С. Оскільки твердження про тому, що машина воліє альтернативу А альтернативі В, дотримується певної думки або «відчуває біль» і т. п.

, істинні тільки в тому випадку, якщо істинна відповідна кон'юнкція, що складається з двох тверджень, одне з яких говорить, що машина має певну машинну таблицю, а друга описує повну конфігурацію машини в даний момент часу, і оскільки подібна кон'юнкція може бути істинною в рамках вищезгаданої синтетичної теорії тільки в тому випадку, якщо фізична структура машини належить до дуже широкого класу фізичних структур С *, то будь-яке з перерахованих тверджень еквівалентно в рамках вищезгаданої синтетичної теорії твердженням, що фізична структура машини належить до цього класу С *.

Аналогічним чином, якщо прийняти синтетичну теорію, про яку йшла мова у зв'язку з логічним бихевиоризмом, і яка стверджує, що жодна машина не володіє патологічної функцією раціонального уподобання, то будь-яке твердження про «ментального життя» будь-який з наших машин буде еквівалентно відповідному твердженням про реальний і потенційний поводжень цієї машини.

Стосовно до «агенту» нашого гіпотетичного «спільноти» ситуацію можна описати так: маючи достатньої інфор-єю про реальний і потенційний поведінці агента, ми можемо з відносною достовірністю зробити висновок про те, що для агента переважніше А, ніж В, або, з іншого боку, маючи достатньої інформації про фізико-хімічною структурою агента (** достатніми знаннями про закони природи), ми також можемо з відносною визначеністю зробити висновок про те, що для агент *

Переважно А, ніж В. Однак ці два висновку не служать підтвердженням ні логічному бихевиоризму, ні матеріалізму, відповідно. Обидва висновки являють собою синтетичні висновки, отримані в рамках синтетичних теорій.

Однак правомірне питання: Як взагалі ми можемо знати, що припущення про неіснування патологічних функцій раціонального переваги і припущення про повноту фізичної теорії правильні? Думаю, що в обох випадках відповідь практично однаковий. Кожне з цих припущень виправдано, оскільки немає серйозних підстав вважати його помилковим. Якщо так, то висновки про ментальну життя будь-якої реальної емпіричної системи можуть бути абсолютно виправданими; але, вони жодним чином не будуть аналітичними висновками, якщо в посилках міститься інформація тільки про реальний і потенційний поведінці системи і про її фізико-хімічному будову. Такі висновки можна завжди «анулювати», оскільки завжди є нестандартні обставини, при яких посилки можуть виконуватися, а висновок - бути помилковим.

Переглянувши все, що я тут написав, я, зізнаюся, відчуваю деяке розчарування. Всі ці речі видаються мені надто очевидними і тривіальними, щоб про них говорити, хоча деякі філософи і не погодилися б з ними. Разом з тим, думаю, що висловлені тут міркування при всій їх уявній очевидності дозволяють побачити в характері наших менталістскій понять щось таке, на що зазвичай зовсім не звертають уваги. Видається, що якщо ми достовірно знаємо, що людина дотримується якихось певних думок, уподобань і т. д., то ми знаємо щось про його функціональної організації. У разі машин Тьюринга функціональна організація задається машинної таблицею. Опис функціональної організації людини може бути зовсім іншим і куди більш складним. Але важливо те, що описи функціональної організації системи за своїм типом логічно відрізняються як від описів її фізико-хімічної будови, так і ° т описів її реального і потенційного поведінки. Думаю, що Дослідження в філософії свідомості тому так часто дивують своєю неудовлетворительностью, що в них не враховується поняття Функціональної організації або ж воно змішується з поняттями зовсім іншого роду.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 3. ЛОГІЧНИЙ біхевіоризму "
  1. Поняття логічної форми
    Логічна форма - це структура думки або спосіб зв'язку елементів її змісту. Логічна форма виражається за допомогою логічних змінних і логічних констант. В якості логічної змінної може виступати будь-яка буква латинського алфавіту: А, В, С, р, q. Константи, або логічні постійні, виступають способом зв'язку логічних змінних і виражаються словами: «все», «деякі», «суть»,
  2. 2.5. Складні судження та їх види. Поняття про логічне союзі
    Складне судження - це судження, утворене з простих за допомогою логічних спілок: кон'юнкції, диз'юнкції, імплікації, еквівалентності і заперечення. Логічний союз - це спосіб з'єднання простих суджень у складне, при якому логічне значення останнього встановлюється відповідно до логічними значеннями складових його простих суджень. Особливість складних суджень полягає в
  3. Запитання для повторення
    Дайте визначення судження. Які судження називаються простими, а які складними? Яка логічна структура атрибутивних суджень і суджень стосунки? Перелічіть і охарактеризуйте властивості бінарних відносин. Перелічіть і охарактеризуйте відносини між судженнями по логічному квадрату. Що таке логічний союз? Назвіть види складних суджень. Яке ставлення судження і висловлювання?
  4. 4.3. Складні судження
      Судження, які утворюються з простих суджень за допомогою логічних спілок, називаються складними. Основними логічними союзами є: кон'юнкція - логічний союз «і» має чисто сполучне значення, невиключає (слабка) диз'юнкція - логічний союз «або» має сполучно-розділову значення, що виключає (сильна) диз'юнкція - логічний союз «або ... , Або ... »має чисто
  5. Теорія до 23 завданню: Ставлення логічного слідування.
      Для вирішення багатьох логічних задач необхідно з'ясувати: чи є одна формула логічним наслідком інших. Визначення: З формули Ф1 логічно випливає формула Ф2 тоді і тільки тоді, коли їх імплікація (Ф1 ^ Ф2) - є логічним законом. Наприклад, нехай формула Ф1: АЛВ, а Ф2: АvВ. Визначити, чи випливає з Ф1 формула Ф2. Складемо таблицю істинності для формули (АЛВ) ^ (АvВ): Порядок
  6. 2.6. Вираз одних логічних зв'язок допомогою інших
      Розглянуті вище логічні союзи взаємозамінні, тобто рівносильні і виразіми через інші логічні союзи. Наприклад: (р Zj q) = (р / q) - імплікація через диз'юнкцію; (р Zj q) = (р Л q) - імплікація через кон'юнкцію; (р Z) ц) = (q Z) р) - імплікація через імплікації, так званий закон простий (зліва-направо) і сильною (справа-наліво) контрапозиции; (р л q) = (р vq) - кон'юнкція через
  7. 6.1. Основні логічні закони
      Зміст думки відтворює зміст речей, їх властивості і відносини. Мета наукового пізнання полягає не тільки в тому, щоб з'ясувати структуру речі, а й у тому, щоб розкрити підстави її існування, виявити закони її виникнення, функціонування та розвитку. Закон є внутрішня, суттєва, необхідна, стійка, що повторюється зв'язок предметів і явищ дійсності.
  8. Еквівалентність
      - Це складне судження, яке приймає логічне значення істини тоді і тільки тоді, коли вхідні в нього судження мають однаковим логічним значенням, тобто одночасно або істинні, або хибні. Логічний союз еквівалентності виражається такими граматичними спілками, як «тоді і тільки тоді, коли», «якщо і тільки якщо». Наприклад, «Якщо і тільки якщо трикутник рівносторонній,
  9. Сувора (що виключає) диз'юнкція
      - Це складне судження, що приймає логічне значення істини тоді і тільки тоді, коли істинно тільки одне з вхідних в нього суджень. Наприклад, «Дане число або кратно, або не кратно п'яти». Логічний союз диз'юнкція виражається за допомогою граматичного союзу «або, або». Символічно суворе (що виключає) диз'юнктивне судження записується: jMq або pSLq. Логічне значення суворої
  10. Кон'юнктивний судження
      - Це судження, яке є істинним тоді і тільки тоді, коли істинні всі вхідні в нього судження. Утворюється за допомогою логічного союзу кон'юнкції, що виражається в природній мові граматичними спілками «і», «так», «а», «але», «однак». Наприклад, «Світить, та не гріє». Символічно такого роду судження позначаються наступним чином: р Aq, де рис / - змінні, що позначають прості
  11. Синтаксис логіки предикатів
      Алфавіт логіки предикатів Таблиця 1 січня Знаки для позначення предметних констант. а, Ь, с, ... 2 Знаки для позначення предметних змінних. х, У, ... 3 Знаки для позначення ^-місцевих предикатів, п> 0. г, 0і 4 Знаки для позначення л-місцевих функціональних символів, і> 0. f, g \ h \ 5 Знаки для позначення довільних термів. 6 Знаки для позначення кванторів спільності та існування. (*), (Ex)
  12. Види умовиводів
      Поняття умовиводу як логічної операції тісно пов'язане з поняттям логічного слідування. Враховуючи цей зв'язок, прийнято розрізняти правильні і неправильні умовиводи. Умовивід, що представляє перехід від посилок АЬ ..., АП (п> 1) до укладення В, є правильним, якщо між посилками і укладанням є ставлення логічного прямування, тобто У є логічним наслідком
  13. Відношення логічного слідування в логіці предикатів
      Формула ЛП може бути істинною в багатьох інтерпретаціях, але оскільки число універсумів інтерпретації потенційно нескінченно, то ніхто не може гарантувати, що не знайдеться хоча б один, в якому дана формула виявиться помилковою. Враховуючи цю обставину, в ЛП відношення логічного слідування прийнято визначати наступним чином. Нехай а і Д як і колись, позначають відповідно безлічі
  14. 8. Догматичний (формально-логічний) метод в юр. теорії та практиці.
      Метод юриспруденції являє собою спосіб юридичного пізнання, створення та організації юридичного знання. За допомогою юр.метода предмет юриспруденції конкретизується і оформлюється у відповідну юр.теорію (юр.науку) як єдину систему знань про державу і право, виражену в поняттях. У юр.науке широко використовуються такі загальнонаукові методи як формально-логічний,
  15. 4.4. Правила висновків логіки висловлювань
      Логіка висловлювань - це логічна система, яка аналізує процеси міркування, спираючись на істиннісні характеристики логічних зв'язок і відволікаючись від суб'єктно-предикативний структури суджень. Логіка висловлювань може будуватися табличним методом або як числення, тобто як система, що дозволяє отримувати одні вирази з інших на підставі відомих правил, - дана система
  16. Питання для повторення
      Охарактеризуйте всі можливі відносини між поняттями. У чому сутність і практичне значення логічних операцій узагальнення і обмеження понять? Сформулюйте закон зворотного відношення між обсягом і змістом поняття. Що таке визначення поняття? Назвіть види визначення. Сформулюйте правила логічної операції поділу понять і вкажіть можливі помилки. Доведіть за допомогою кругових
  17. питання До іспиту ПО логіці
      Предмет і значення логіки. Роль мислення в пізнанні. Логіка як наука. Значення логіки. Основні логічні закони. Закон тотожності. Закон несуперечливий. Закон виключеного третього. Закон достатньої підстави. Поняття як форма мислення. Зміст і обсяг поняття. Види понять. Відносини між поняттями. Логічні операції з поняттями. Узагальнення і обмеження понять. Визначення понять.
  18. 6.3. Правила і можливі помилки в процедурах обгрунтування
      Правила тези 1. Теза має бути ясно виділений і сформульований точним чином, тобто має бути точно сформульовано підмет обгрунтуванню судження. Теза не повинен бути двозначним або невизначеним за змістом. Точність формулювання судження означає явне вказівку всіх його смислових аспектів: Якщо судження просте, то повинні бути виділені його логічні підлягають (суб'єкти) і логічне
  19. Завдання 19-23. Тема «Складні судження».
      Теорія: Складні судження - це судження, в якому можна виділити правильну частина, яка була б самостійним судженням. Складні судження утворюються з простих за допомогою так званих логічних спілок (логічних операцій): «НЕВІРНО, ЩО» (заперечення), «І» (кон'юнкція), «АБО» (диз'юнкція), «або, або» (строга диз'юнкція), « ЯКЩО, ТО »(Імплікація),« ТОДІ І ТІЛЬКИ ТОДІ, КОЛИ »
© 2014-2022  ibib.ltd.ua