
- •Введение. Эволюция и основные характеристики аналитической философии
- •1. Истоки формирования аналитической философии
- •1.1 Брентано
- •1.2 Логико-семантические идеи г.Фреге
- •1.2.1. Значение и смысл имен собственных
- •1.2.2 Значение и смысл предложений
- •1.3 "Опровержение идеализма" Дж.Э.Мура
- •2. Программа логического атомизма
- •2.1 Логический атомизм: язык как средство остановки регресса
- •2.1.1 Расселов анализ связей фактов
- •2.1.2 Логические конструкции вместо теоретико-познавательных заключений о внешнем мире
- •2.1.3 Универсалии как логические атомы
- •2.2 Онтология, эпистемология и философия языка Рассела
- •2.2.1. Онтологика отношений
- •2.2.2 Логика и ‘чувство реальности’
- •2.2.3 Теория типов
- •2.2.4 Коррекция определения числа и аксиома бесконечности
- •2.2.5 Логические фикции и аксиома сводимости
- •2.2.6 Примитивные значения и теория дескрипций
- •2.2.7 Эпистемологическая функция суждения
- •2.2.8 Логические объекты
- •2.3 Философия языка "Трактата": логика языка versus логика мышления
- •2.4 Логический атомизм "Трактата": от синтаксиса к онтологии
- •2.4.1 Синтаксис элементарного предложения
- •2.4.2 Изобразительная теория предложений
- •2.4.3 Онтологические следствия изобразительной теории
- •2.4.4 ‘Сказанное’ и ‘показанное’
- •2.4.5 Операциональный принцип контекстности
- •3. Программа логического позитивизма (логического эмпиризма)
- •3.1 Критерий верификации
- •3.2 Основные положения феноменализма в Венском кружке
- •3.2.1 Феноменалистический анализ Морица Шлика
- •3.2.2 Первоначальный феноменалистический анализ Рудольфа Карнапа
- •3.3 Основные положения физикализма в Венском кружке
- •3.3.1 Физикалистский анализ Рудольфа Карнапа
- •3.3.1.1 Обращение к семиотике
- •3.3.1.2 Материальный и формальный модусы языка
- •3.3.1.3 Структура познания
- •3.3.1.3.1 Предложения наблюдения
- •3.3.1.3.2 Способ подтверждения косвенных высказываний
- •3.3.1.4 Вероятность и истинность
- •3.3.2 Ганс Рейхенбах
- •3.3.3 Карл Гемпель
- •3.4 Дискуссия о языке наблюдения
- •3.5 Формирование представлений о конвенционализме в философии науки Венского кружка
- •3.6 Критика логико-позитивистского анализа
- •3.6.1 Философия как логика науки
- •3.6.2 Логика как система тавтологий
- •3.6.3 Переводимость осмысленных высказываний на физикалистский язык
- •4. Львовско-Варшавская логическая школа и ее влияние на аф
- •4.1 Философия языка и теория истины к.Твардовского
- •4.1.1 Семиотика в трудах к.Твардовского
- •4.1.2 Твардовский об истине
- •4.2 Радикальный конвенционализм к.Айдукевича
- •4.2.1 Метод парафразы
- •4.2.2 Истоки теории радикального конвенционализма
- •4.2.3 Языковое значение и принцип конвенциональности
- •4.3 Номинализм Ст.Лесьневского
- •4.3.1 Номинализм как эпистемология
- •4.3.2 Интенциональное отношение «единичного предложения существования»
- •4.3.3 Интуитивный формализм и конструктивный номинализм
- •4.4 Обоснование и критика реизма т.Котарбинским
- •4.4.1 Онтология Котарбинского
- •4.4.2. Обоснование и критика реизма
- •4.4.3 Реизм и материализм
- •4.4.4 Дискуссия по вопросам истины и познания в связи с реизмом Котарбинского
- •4.5 Многозначные логики я. Лукасевича
- •4.5.1 Возникновение и формализация модальных логик
- •4.5.2 Модальные логики
- •4.6 Теория истинности а.Тарского
- •5. Философия лингвистического анализа
- •5.1 "Лингвистический поворот" в философии хх века
- •5.2 Концепция "значение как употребление" и ее приложения
- •5.3 Анализ обыденного языка
- •5.3.1. Общая характеристика направления
- •5.3.2 Джон Уиздом
- •5.3.3 Гилберт Райл
- •5.4 Теория речевых актов Дж.Остина
- •5.5 Интенционалистские теории языка (п.Грайс, Дж.Серль)
- •5.5.1 Интенционализм Пола Грайса
- •5.5.1.1 Первая часть замысла: Анализ-толкование понятия подразумевания
- •5.5.1.2 Вторая часть замысла: Анализ-толкование понятия значения языкового выражения в терминах подразумевания
- •5.5.2 Грайсов "миф о происхождении языка"
- •5.5.2.0 Нулевая стадия
- •5.5.2.1 Первая стадия
- •5.5.2.2 Вторая стадия
- •5.5.2.3 Третья стадия
- •5.5.2.4 Четвертая стадия
- •5.5.2.5 Пятая стадия
- •5.5.2.6 Шестая стадия
- •5.5.2.7 Седьмая стадия
- •5.5.3 Отношения между ключевыми понятиями Грайсовой доктрины
- •5.5.4 Интенционализм Серля: теория речевых актов
- •5.5.4.1 Пролегомены Серлевой теории речевых актов
- •5.5.4.1.1 Понятия подразумевания (meaning) и значения (meaning) языковых выражений в составе Серлевой теории речевых актов
- •5.5.4.2 О содержании и функции речевых актов
- •5.5.4.2.1 Таксономия иллокутивных актов
- •5.5.4.2.2 Основания этой пятичленной классификации
- •5.5.4.3 Речевые акты и лингвистическая теория
- •5.5.4.4 Cоотношение между интенционализмом и репрезентационизмом в Серлевой теории речевых актов
- •6. Реабилитация метафизической проблематики
- •6.1 Номинализм в аналитической философии
- •6.2 Дескриптивная метафизика п.Ф.Стросона
- •6.3 "Усовершенствованный реализм" а.Айера
- •6.4 Физикалистская метафизика д.М.Армстронга
- •6.5 "Реализм с человеческим лицом" х.Патнэма
- •7. Неопрагматистская критика эмпиризма и холистический тезис
- •7.1 Прагматический анализ
- •7.1.1 Неопрагматизм у.Куайна
- •7.1.2 Неопрагматизм н.Гудмена
- •7.2 Концепция онтологической относительности и холистический тезис Куайна
- •7.3 Холистичность теории интерпретации д.Дэвидсона
- •7.4 Молекуляризм м.Даммита
- •8. Связь истины и значения
- •8.1 Стандартная семантика д.Дэвидсона
- •8.2 Инструменталистская семантика (м.Даммит, г.Кастаньеда)
- •8.3 Трансляционная и теоретико-модельная семантика
- •8.4 Теоретико-игровая семантика я.Хинтикки
- •9. Аналитическая эпистемология
- •9.1 Бертран Рассел: знание вещей и знание истин
- •9.2 Знание и мнение. Проблема обоснованности знаний
- •9.2.1 Проблема Гетье
- •9.3 Эпистемическая логика
- •9.4 Реализм и антиреализм: теоретико-познавательный аспект
- •9.5 Парадокс познаваемости и кризис антиреализма
- •9.6 Динамика знаний и убеждений
- •10. Понятие истины и его применение в аналитической философии
- •10.1 Аналитическое понятие истины
- •10.2 Корреспондентная теория истины
- •10.3 Дефляционная теория истины
- •10.4 Прагматическая теория истины
- •10.5 Ревизионная теория истины
- •10.6 Релятивистский подход к теории истины
- •10.7 Когерентная теория истины
- •10.8 Различение между истинностью и обоснованностью знания
- •10.9 Аргументы когерентной теории обоснования и перцептуальные утверждения
- •11. Конструктивистская парадигма и расширенные теории референции
- •11.1 Эпистемологический и онтологический плюрализм н.Гудмена
- •11.2 Гипотеза лингвистической относительности Сепира — Уорфа
- •10.2.1 Эпистемологические основания концепции лингвистической относительности
- •От чего зависит тип деления?
- •Почему мы классифицируем мир именно таким, а не иным способом?
- •11.2.2 Конвенциональность грамматики
- •11.2.3 Конвенциональность лексики
- •11.3 Конвенциональность истины и значения
- •11.3.1 Согласование концептуальных схем
- •11.3.2 Онтологический статус концептуальных схем
- •11.4. Каузальные теории референции
- •11.4.1 Идентифицирующие дескрипции
- •Каким образом идентификационные особенности предмета должна быть связана с использованием имени "n", чтобы имя указывало на предмет?
- •Как осуществляется и как возможно дескриптивное расширение наличной реальности, означающее по существу увеличение знания о мире?
- •Каковы онтологические основания для того, чтобы "так говорить"?
- •10.4.2 Жесткие десигнаторы
- •11.4.3 Индексикалы
- •11.4.4 Внутренняя реконструкция и внешнее сравнение языковых явлений
- •Какими критериями мы должны руководствоваться для того, чтобы иметь возможность судить о том, правильно или неправильно употреблен термин?
- •12. Проблема понимания
- •12.1 Концепция понимания языка м.Даммита
- •12.2 Аналитические модели объяснения
- •Как возможно и как осуществляется расширение дескриптивности, означающее, по существу, увеличение знания о мире?
- •Как возможно и как осуществляется расширение дескриптивности, означающее по существу увеличение знания о мире?
- •Увеличение знания состоит в построении когерентности: установлении наибольшего числа семантических связей исходной дескрипции с наибольшим числом семантических примитивов системы описания.
- •12.3 Проблема языка в современных исследованиях по искусственному интеллекту
- •12.3.1 Источник компьютерных аналогий
- •12.3.2 Критика «машинного функционализма»
- •12.3.3 «Машинное» решение проблемы языка мысли
- •12.4 Аналитическая философия и герменевтика (к.-о.Апель)
- •12.4.1 Исходные концепты при постановке проблемы
- •12.4.2 Трансцендентальная прагматика
- •13. Аналитическая философия сознания
- •13.1 Проблема психологического объяснения
- •13.1.1 Понятие сознания
- •13.1.2 Психофизический дуализм и скептические следствия
- •13.2. Бихевиористская редукция сознания
- •13.2.1. Аналитическая критика картезианской парадигмы
- •13.2.1.1. Картезианская модель сознания как результат категориальной ошибки
- •13.2.1.2. Устранение категориальной ошибки
- •13.3. Критика психологии «первого лица»
- •13.3.1 Бихевиоризм
- •13.3.1.1 Идея бихевиористской психологии
- •13.3.1.2. Логический бихевиоризм
- •13.3.2 Критика бихевиоризма
- •13.4 Физикализм
- •13.4.1 Материалистическая редукция сознания
- •13.4.1.1. Редукционизм и автономия психологического объяснения
- •13.4.1.2. Существенные свойства и априорная необходимость психофизического тождества
- •13.4.1.3. Апостериорная необходимость психофизического тождества
- •13.4.2. Физикализм без редукционизма
- •13.4.2.1. Тождество типов или тождество токенов
- •13.4.2.2. Материализм и множественная физическая реализация
- •13.5 Функциональный анализ ментального
- •13.5.1 Функционализм и когнитивизм
- •13.5.1.1 Элементы функционализма в изучении сознания
- •13.5.1.2 Когнитивистская психология
- •13.5.1.3 Функционализм и психофизическое тождество
- •13.5.2 Вариации функционализма
- •13.5.2.1 Функционализм в защиту материального сознания
- •13.5.2.2 Функционализм против физикализма
- •13.5.3 Трудности функционализма
- •13.5.3.1 Проблема отсутствующих качеств
- •13.5.3.2 Общие трудности функционализма
- •13.5.3.3 «Либерализм» и «шовинизм» в отношении сознания
- •13.6 Репрезентативное сознание
- •13.6.1 Язык мысли
- •13.6.1.1 Парадокс владения языком
- •13.6.2 Репрезентативность и концептуальная структура сознания
- •13.6.2.1 Репрезентативность перцепции
- •13.6.2.2 Концептуальные условия репрезентативности восприятия
- •13.6.3 Интенциональное сознание
- •13.6.3.1 Концепция интенциональности
- •13.6.3.2 Внешние и внутренние условия репрезентации
- •14. Аналитическая философия и феноменология
- •14.1 Возможен ли диалог аналитической философии и феноменологии?
- •14.2 Тематическое единство традиций
- •14.3 Методологический плюрализм традиций
- •14.4 Перспективы компаративных исследований: возможности аналитической философии
- •14.5 Перспективы компаративных исследований: возможности феноменологии
- •Глоссарий
12.3 Проблема языка в современных исследованиях по искусственному интеллекту
12.3.1 Источник компьютерных аналогий
В основании компьютерных аналогий ментального, широко используемых в когнитивистских моделях, лежит понятие машины Тьюринга. В работе 1950 года «Умеет ли машина мыслить?» Алан Матисон Тьюринг поставил задачу формулировки условий, при которых машина может быть описана как мыслящая. А поскольку понятие «мышления» весьма темное, то он полагает, что, прояснив, что значит мыслить для машины, мы сможем понять, что значит мыслить вообще. Тьюринг исходит из предпосылки, что если поведение машины неотличимо от поведения человека, то это – достаточный критерий считать такую машину мыслящей. Он предложил абстрактную модель машины, успешно имитирующей всю совокупность человеческого поведения, которая впоследствии получила название машины Тьюринга. В основе этой идеи лежат результаты, полученные в 30-х годах 20-го века и легшие в основу так называемой теории автоматов и обобщенные в теории алгоритмов. Тьюринг исходит из представления о разумном поведении как деятельности, направленной на решение задач. Задача полагается решаемой, если может быть обнаружен алгоритм — набор специфицируемых вычислительных процедур — ее решения. Понятие алгоритма было интуитивно ясным, но не существовало общей формулы алгоритма вообще. Тьюринг сформулировал следующий тезис: для всякого алгоритма можно смоделировать машину, отвечающую определенным характеристикам, которая будет реализацией этого алгоритма20. Тогда для всякой задачи (в широком, а не в узком, математическом, смысле), решаемой людьми, может найтись такая вычислительная машина, которая будет решать эту задачу так же хорошо. Машина Тьюринга – абстрактная универсальная вычислительная машина. Если такая машина может имитировать поведение любой другой машины, то она, в таком случае, сможет быть универсальным имитатором человеческого поведения. И, по мнению Тьюринга, нет никаких логических препятствий к допущению такой модели.
Машина Тьюринга отличается определенными свойствами. В основе ее лежит понятие автомата: самостоятельно действующего управляющего устройства. Для их описания используются три алфавита: алфавит входа, алфавит выхода и алфавит внутренних состояний автомата. Среди таких автоматов различают автоматы с конечной или бесконечной памятью, различаются они, разумеется, и количеством входов и выходов, а также могут быть вероятностными, если какая-нибудь из функций четко не задана, а предполагается случайно осуществляемой автоматом в каждый момент времени. Существенная характеристика машины Тьюринга – дискретность: в каждый момент дискретного времени она находится в совершенно определенном (одном и только одном состоянии), так что можно точно указать, что у машины «на входе» (иначе говоря, что «воспринимается» машиной), что «на выходе» (машинное «действие») и в каком состоянии она находится в данный момент времени. Таким образом, каждое дискретное состояние можно полностью описать в терминах входа-выхода и функции (иначе: алгоритма), которая(-ый) их связывает, т.е. используя только буквы соответствующих трех алфавитов плюс специальные термины, подобные логическим константам. Возможны и существуют машины с не дискретными состояниями: в этом случае никакому моменту дискретного времени нельзя сопоставить одно и только одно машинное состояние – данные продолжают поступать на вход постоянно и постоянно же происходит изменение состояния. В какой-либо момент времени могут быть «считаны» результаты неких измерений или действий, производимых с помощью такой машины, но внутри интервала между началом решения задачи этой машиной и получением результата различение дискретных состояний невозможно (или практически возможно только в виде какой-либо аппроксимации). Результаты, получаемые с помощью таких машин обладают большей погрешностью вследствие того, что считывание результатов – тоже процесс, требующий времени, а за это время показания изменяются. Машинам с дискретными состояниями соответствуют среди реальных машин, например, цифровые компьютеры, с не дискретными состояниями – аналоговые. В этом отношении на роль универсального «мыслящего» имитатора, построенного по модели Тьюринга, лучше подходят цифровые вычислительные машины. Трудно сказать, насколько уместно проводить аналогию между человеческим организмом и машиной Тьюринга в структурном отношении: для этого требуется доказать, что ментальные состояния подобны внутренним состояниям таких машин, а именно – дискретны. Трудности в проведении такой аналогии, однако, с точки зрения Тьюринга – не помеха компьютерному моделированию сознания: ведь его критерий основан на понятии имитации – если машина Тьюринга (с дискретными состояниями) способна имитировать поведение любой машины с не дискретными состояниями (а по Тьюрингу, это – так), т.е. решать всю совокупность задач, решаемых такими машинами, то нет разницы в том, насколько обоснованно полагать внутренние состояния человека дискретными. Вывод о способности машины Тьюринга мыслить как человек (т.е. решать весь комплекс релевантных задачи) не будет зависеть от успехов или неудач такого обоснования. Тогда, независимо от того, как решается метафизический вопрос (что такое ментальное), мышление может описываться в терминах машинной модели Тьюринга.
Не все, но многие версии машинного функционализма опираются на понятие машин Тьюринга, которые определяются по двум функциям: от входных данных и состояний к выходным данным и от входных данных и состояний к состояниям. В этой модели любое устройство, соответствующее понятию машины Тьюринга, можно описать с помощью так называемой машинной таблицы. Пример такой таблицы для примитивного автомата – выключатель:
|
Состояние S1 |
Состояние S2 |
Вход: нажатие |
Вкл. и переход в S2 |
Выкл. и переход в S1 |
Вход: нет нажатия |
Выкл. и остается в S1 |
Вкл. и остается в S2 |
Любая система, имеющая набор входов и выходов, а также состояний, соотносящихся согласно машинной таблице, описывается машинной таблицей и является реализацией абстрактного конечного автомата. Простая версия машинного функционализма настаивает на том, что каждая система, имеющая ментальные состояния, описывается, по крайней мере, одной машиной Тьюринга определенного вида; она также утверждает, что каждый тип ментальных состояний системы тождественен одному из табличных машинных состояний, определенных машинной таблицей.