
- •Аналитическая философия
- •Введение. Эволюция и основные характеристики аналитической философии
- •Аф — это философия, последовательно устраняющая из аргументации метафоры и произвольные аналогии.
- •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 Перспективы компаративных исследований: возможности феноменологии
- •Глоссарий
9.2.1 Проблема Гетье
Итак, традиционное определение знания выделяет в качестве его необходимых и достаточных условий: (1) наличие соответствующего убеждения, (2) истинность этого убеждения и (3) его обоснованность. Эта точка зрения считалась общепринятой и практически не подвергалась сомнению влоть до появления в 1963 году статьи Эдмунда Гетье под весьма примечательным названием "Является ли обоснованное истинное убеждение знанием?"16 Эта небольшая статья (всего 3 страницы!) оказала существенное влияние на ход развития аналитической теории познания в ХХ столетии. Можно даже утверждать, что она решающим образом изменила характер и содержание дискуссий по проблеме знания. Вот как описывает эту ситуацию Джон Поллок:
"В период, непосредственно предшествовавший публикации поворотной статьи Гетье "Является ли обоснованное истинное убеждение знанием?", этот анализ <знания как обоснованного истинного убеждения> принимался фактически каждым исследователем в области эпистемологии. Затем Гетье опубликовал свою статью и в одночастье изменил направление развития эпистемологии".17
В статье, о которой идет речь, строятся два эффективных контрпримера для традиционного определения знания, убедительно показывающие, что условия (1) – (3) являются необходимыми, но отнюдь не достаточными условиями знания. Иными словами, Гетье демонстрирует, что возможны случаи, когда мы располагаем обоснованным истинным убеждением, которое, тем не менее, не образует знания.
Анализ Гетье опирается на следующие положения. Во-первых, обоснованное убеждение – каким бы надежным не казалось его обоснование – в некоторых случаях вполне может оказаться ложным (см. выше пример с геоцентрической моделью Птолемея). Во-вторых, если убеждение А является обоснованным и из А логически следует убеждение В, то В также является обоснованным. Общая схема контрпримеров, которые приводит Гетье, такова. Предположим, некто, например Х обоснованно убежден в том, что имеет место А, но при этом А все же является ложным (хотя Х уверен в обратном). Представим себе, что Х логически корректным образом выводит из своего убеждения А новое убеждение В. Ясно, что Х будет убежден в том, что имеет место В и при этом обоснованность этого нового убеждения будет ничуть не ниже, чем обоснованность убеждения А (что обеспечивается процедурой логического вывода). Теперь предположим, что высказывание В, в силу некоторого случайного стечения обстоятельств, оказывается истинным. Тогда имеем: Х обоснованно убежден, что В и В является истинным. То есть, выполняются все три условия традиционного определения знания. Тем не менее оказывается, что в этом случае мы далеко не всегда можем утверждать, что Х знает, что В!
Сконструируем конкретный контпример, следуя принципиальной схеме, предложенной Гетье. Для этого вернемся к уже рассмотренному выше случаю с авторством романа "Два капитана". Предположим, г-н Х никогда не читал этот роман и более того – никогда о нем не слыхал. Однажды Х идет в книжный магазин, видит там последнее издание романа "Два капитана" и покупает его. Книга вышла в очень солидном государственном издательстве, имеющем многолетнюю историю и в высшей степени солидную репутацию, что касается качества полиграфии, редактирования, корректуры и т.п. Раньше Х довольно часто покупал книги этого издательства и он полностью уверен в профессионализме его работников. Однако предположим, что из-за ужасной ошибки и грубого недосмотра, на обложке и во всех выходных данных экземпляра романа, купленного г-ном Х, в качестве его автора обозначен В.Катаев. (Ошибка была в скорости замечена и все бракованные экземпляры были изъяты из продажи, но Х об этом не знает!) Таким образом, г-н Х, конечно же, будет убежден в следующем:
(а) Автором романа "Два капитана" является Катаев.
Это его убеждение будет вполне обоснованным (хотя и ложным!). В самом деле, трудно себе представить более надежные свидетельства в пользу данного убеждения, чем те, которыми располагает г-н Х. Пусть теперь г-н Х логически корректно выводит из убеждения (а) новое убеждение:
(б) Фамилия автора романа "Два капитана" начинается на букву "К".
Ясно, что убеждение (б) ничуть не менее обосновано, чем убеждение (а). Более того, высказывание (б) оказывается, к тому же, истинным! Итак: г-н Х имеет обоснованное истинное убеждение в том, что фамилия автора романа "Два капитана" начинается на букву "К", однако все равно мы не можем утверждать, что Х знает, что фамилия автора романа "Два капитана" начинается на букву "К". Истинность убеждения (б) есть результат случайного совпадения начальных букв двух фамилий, поэтому (б) не образует знания.
Выше, когда рассматривался вопрос, почему недостаточно определять знание просто как истинное убеждение, обращалось внимание на недопустимость принятия в качестве знания положения, которое оказывается истинным благодарая простому эпистемическиму везению. Предполагалось, что именно условие обоснованности позволит исключить такого рода нежелательные ситуации. Однако, как показывают контрпримеры Гетье, это условие само по себе далеко не всегда блокирует разрушительное для знания действие фактора эпистемического везения.
Таким образом, мы сталкиваемся с проблемой, которая и получила название проблемы Гетье: как следует модифицировать традиционное определение знания, чтобы избежать трудностей, связанных с подобными контрпримерами? И если традиционное определение знания как обоснованного истинного убеждения является недостаточным, то какого рода определение может и должно быть предложено вместо него? Проблема Гетье вызвала оживленную дискуссию, которая не завершена до сих пор. Было выдвинуто множество разнообразных предложений, направленных на преодоление этой проблемы, но пока нельзя сказать, что проблема получила окончательное решение. Тем не менее, большинство исследователей сходятся на том, что поскольку стандартные условия (1) – (3) оказываются недостаточными, то традиционное определение знания должно быть расширено за счет дополнительного, четвертого условия, которое предотвратило бы проблемы, связанные с контрпримерами Гетье. Но что это должно быть за условие?
Рассмотрим кратко некоторые из таких возможных дополнительных условий.
(4) Убеждение в том, что имеет место А, не должно быть выведено ни из какого ложного утверждения (то есть, знание не может быть основано на ложном убеждении).18
Это условие является, так сказать, "непосредственной реакцией" на контрпримеры Гетье и его принятие действительно блокирует их. Однако, оказывается, что могут быть сконструированы другие контрпримеры, в которых не задействуются никакие процедуры вывода, но которые достигают аналогичного эффекта. Пусть, например, Х видит мяч, кажущийся ему красным, и на этом основании Х считает, что мяч является красным. Пусть этот мяч действительно красный, то есть убеждение Х является истинным и, по-видимому, вполне обоснованным. Но предположим, что незаметно для Х мяч особым образом освещен, так что, даже если бы он не был красного цвета, он все равно казался бы красным. В этом случае, нельзя утверждать, что Х знает, что мяч красный, несмотря на то, что он имеет об этом обоснованное истинное убеждение, которое к тому же не выведено ни из какого ложного утверждения.19 Более того, данное убеждение получено не путем какого-то логического вывода, а в результате непосредственно эмпирического наблюдения. Тем не менее, оно оказывается истинным только по счастливой случайности – здесь мы опять сталкиваемся с эпистемическим везением и условие (4) не предотвращает его.
(4’) Убеждение А должно быть каузально детерминировано тем фактом, который делает А истинным.20
Принятие этого условия характерно для каузальной теории познания. В соответствиии с этой теорией, например, я знаю, что на столе лежит книга, если книга действительно лежит на столе и этот факт причинным образом (путем воздействия на мои органы зрения) обуславливает соответствующее мое убеждение. В целом эта теория представляется слишком узкой. Сомнительно, чтобы все наше знание в самом деле каузально вызывалось конкретными фактами. Не вполне ясно также, как средствами одного лишь каузального объяснения может быть обосновано знание общих высказываний и, тем более, априорное знание.
(4’’) Субъект Х имеет убедительные доводы в пользу А, такие что если бы А не имело места, то Х не располагал этими убедительными доводами.21
Это условие, опять же, хотя и предотвращает контрпримеры самого Гетье, все же не срабатывают в других случаях, например в случае с освещенным красным мячом, рассмотренным выше. Тот факт, что Х видит красный цвет мяча является конечно же убедительным доводом в пользу убеждения, что мяч красный. Однако в данном примере, даже если бы мяч был не красный, Х все равно бы видел красный цвет (в силу особой освещенности мяча).
(4’’’) Не существует никакого истинного высказывания В, такого что если бы оно было добавлено к множеству убеждений субъекта Х, то его убеждение в том, что имеет место А перестало бы быть обоснованным.22
Однако и для этого условия были построены опровергающие его контрпримеры.23
Подводя итоги, можно сделать вывод, что никакая современная концепция знания не может игнорировать проблему Гетье, которая служит своеобразной "лакмусовой бумажкой" адекватности любой такого рода концепций и их объясняющей силы.
"Многие современные эпистемологи считают, что пробема Гетье является эпистемологически важной. Целая ветвь эпистемологии занята поисками точного понимания природы – к примеру, существенных компонентов – пропозиционального знания. Точное понимание пропозиционального знания предполагает анализ такого рода знания с точки зрения проблемы Гетье. Таким образом, эпистемологам необходимо надежное решение проблемы Гетье, каким бы сложным это решение не оказалось".24