- •Аналитическая философия
- •Введение. Эволюция и основные характеристики аналитической философии
- •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. Аналитическая эпистемология
В аналитической философии теория познания всегда занимала особое и даже привилегированное положение, будучи одной из тех немногих философских дисциплин, правомерность принадлежности которой к философии практически никогда не ставилась под сомнение. Изучение человеческого познания, его предпосылок, природы и границ традиционно считается здесь важнейшей задачей философского исследования. Обычно познание понимается как процесс приобретения знаний, то есть как процесс, в ходе которого происходит переход от незнания к знанию. Интересно отметить, что принятый в англоязычной философской литературе термин эпистемология чаще всего истолковывается именно как теория знания (theory of knowledge), что вполне соответствует той центральной роли, которую категория знания играет в подавляющем большинстве концепций аналитической эпистемологии. Такие темы как: что такое знание; как мы приобретаем знание; чем знание отличается от "простого мнения"; до каких пределов мы можем полагаться на знание других людей; что мы можем противопоставить характерному для скептицизма отрицанию возможности знания – занимают подобающее место в исследованиях по аналитической теории познания.
В современной аналитической философии сформулировано большое число различных эпистемологических теорий. Эти теории часто расходятся между собой по тем или иным важным вопросам содержательного характера. Тем не менее, всех их объединяет специфический "аналитико-философский" стиль или форма философствования, для которых характерным является, во-первых, рассмотрение любых философских проблем прежде всего через призму анализа языка ("лингвистический поворот"), во-вторых, активное задействование определенной технической терминологии и, в-третьих, высокий уровень требовательности (принимаемых стандартов) по отношению к доказательности и аргументированности выдвигаемых положений. Кроме того, в значительной степени единой остается предметная область аналитических эпистемологических исследований, с ее концентрацией на знании и проблеме его обоснования. Типичной в этом отношении является эпистемологическая концепция, представленная в работе Бертрана Рассела "Проблемы философии" (1902).1
9.1 Бертран Рассел: знание вещей и знание истин
В теории познания Рассела важную роль играет различие между двумя видами знания: знанием вещей и знанием истин. Эти виды соответствуют двум разным смыслам, в которых вообще может использоваться слово "знать". Прежде всего оно применяется в том смысле, в котором мы знаем "данные, поставляемые нашими органами чувств". Другой возможный смысл относится к нашим мнениям или убеждениям, к тому, что согласно Расселу, называется суждениями.
Прежде всего, Рассел подробно останавливается на знании вещей, выделяя в нем два типа: знание по знакомству и знание по описанию. Выше уже шла речь об этих видах знания (см. § 2.2.6). Рассел подчеркивает, что знание вещей по знакомству значительно проще любого знания истины и логически независимо от него. Знание же вещей по описанию, наоборот, всегда включает в качестве источника и основы определенное знание истины. С какого же рода "вещами" возможно непосредственное знакомство, не нуждающееся ни в каком логическом выводе или предварительном суждении? Согласно Расселу, прежде всего, это – данные наших органов чувств. Например, сидя за письменным столом, мы непосредственно воспринимаем его цвет, форму, твердость, гладкость и т.п., и именно эти чувственные данные, составляющие в совокупности воспринимаемый нами образ стола, и суть те "вещи", с которыми мы непосредственно знакомы. Это, однако, вовсе не означает, что тем самым мы получаем непосредственное знакомство со столом как с физическим объектом! Наоборот, знание стола как физического объекта Рассел характеризует как типичный случай знания по описанию. Описание имеет тут примерно следующий вид: "Стол есть физический объект, который вызывает такие-то и такие-то ощущения", то есть мы имеем описание стола посредством чувственных данных. Здесь мысль Рассела движется вполне в русле классической феноменалистской традиции британского эмпиризма. Впрочем, Рассел не останавливается на этом, считая, что адекватный анализ нашего знания невозможен, если наряду с чувственными данными не учитывать некоторые другие виды вещей, с которыми также возможно непосредственное знакомство.
Первое, что необходимо добавить к знакомству с нашими непосредственными чувственными данными – это знакомство по памяти, то есть, знакомство с теми данными наших органов чувств, которые мы в настоящее время непосредственно не воспринимаем, но которые сохранились в нашей памяти. Этот вид знакомства делает возможным наше знание о прошлом. В качестве следующего добавления Рассел рассматривает так называемое знакомство по интроспекции, или самосознание, являющееся источником знания об отдельных состояниях нашего сознания. Мы не только видим солнце, мы осознаем наше "видение солнца", мы не только хотим есть, мы осознаем наше "желание есть". По Расселу, это "видение солнца" и "желание есть" выступают в качестве особых объектов, с которыми мы также оказываемся непосредственно знакомы. Здесь важно иметь ввиду, что самосознание вовсе не тождественно сознанию себя в целом, то есть сознанию собственного Я. Иными словами, знакомство с содержанием нашего сознания еще не означает непосредственного знакомства с собственной личностью.
"Когда мы пытаемся всмотреться в самих себя, мы по-видимому, всегда наталкиваемся на некоторые отдельные мысли и чувства, а не на "Я", которое имеет мысли и чувства".2
В этой связи Рассел ставит следующий вопрос: можно ли утверждать, что кроме отдельных состояний нашего сознания, мы непосредственно знакомы также и с нашим Я? Ответ самого Рассела на этот вопрос звучит достаточно осторожно: хотя возможность непосредственного знакомства с нашим Я кажется весьма правдоподобной, все же нельзя однозначно утверждать, что такое знакомство несомненно имеет место. Колебания Рассела станут понятны, если ознакомиться с возможными доводами, которые он выдвигает в пользу такого рода знакомства. По существу, эти доводы выглядят не слишком убедительно. Рассел пишет:
"Мы знаем истину 'Я знаком с такими-то чувственными данными'. Трудно видеть, как бы мы могли знать эту истину, или даже понимать, что здесь имеется ввиду, если бы мы не были знакомы с чем-то, что мы зовем 'Я'".3
Возражение, которое здесь можно выдвинуть, заключается в следующем. Не вполне ясно, почему суждение о собственном знакомстве с чем-то обязательно должно включать в качестве непосредственных конституент только "вещи" с которыми мы также должны быть непосредственно знакомы. К примеру, мы знаем истину "Юлий Цезарь был знаком с Марком Антонием". Однако, как Юлия Цезаря, так и Марка Антония мы знаем только по описанию. Так что, вполне можно себе представить, что и в суждениях о том, что Я знаком с тем-то и тем-то, некоторые из таких конституент (например, "Я") известны нам именно по описанию (примерно того же типа, который мы имели выше, в случае со столом): "Я – это духовный объект, которые обладает сознанием таких-то и таких-то чувственных данных".
Примечательно, что Рассел не ограничивает область предметов, о которых возможно знание по знакомству, только "конкретными существующими вещами". Он утверждает, что кроме таких вещей мы также можем иметь непосредственное знакомство с универсалиями, то есть, общими идеями, такими как "белизна", "различие", "братство" и т.д. Здесь проявляется своебразный платонизм Рассела, достаточно последовательно проводимый им в книге "Проблемы философии". Правда расселовское обоснование самой возможности знания-знакомства универсалий вызывает определенные вопросы. Рассел, прежде всего, рассматривает универсалии, которые представляют так называемые "ощущаемые качества", такие как цвет, вкус и т.п. и говорит, что эти качества "проявляются" (are exemplified) в чувственных данных, с которыми мы – согласно его теории – как раз и находимся в отношении непосредственного знакомства. Здесь, конечно, легко возразить, что чувственные данные знакомят нас каждый раз с каким нибудь конкретным проявлением того или иного "качества" (цвета, вкуса и т.п.) а не с универсалией самой по себе. Рассел и сам отмечает, что, например, когда мы видим какое-нибудь белое пятно, мы всегда знакомимся с конкретным пятном. Но – продолжает он – после многократного наблюдения различных белых пятен, мы легко научаемся выделять посредством абстракции ("абстрагировать") общую им всем белизну и, тем самым, знакомимся с белизной самой по себе.4 К сожалению, Рассел не останавливается на вопросе о природе этого абстрагирования, и это существенно ослабляет его аргументацию. Ведь если предположить, что такое абстрагирование представляет собой особого рода логическую процедуру, то очевидным становится опосредованный характер полученного таким образом знания белизны. А значит, перед нами – типичный случай знания по описанию ("белизна – это понятие, являющееся результатом такой-то и такой-то операции абстрагирования"). То же самое возражение можно выдвинуть и против расселовского обоснования знания-знакомства пространственно-временных отношений и отношения сходства.
Согласно Расселу, физические объекты как таковые, равно как и сознание других людей не принадлеждат к тем предметам, которые могут быть известны нам через непосредственное знакомство.5 Знание о такого рода предметах возможно только по описанию. Под описанием (дескрипцией) Рассел подразумевает фразу вида "такой-то и такой-то", различая при этом определенную и неопределенную дескрипции (выражаемые в английском языке при помощи неопределенного и определенного артиклей соответственно). Подробно свою теорию дескрипций Рассел развил в классической статье "Об обозначении" (1905), где, в частности, рассмотрел, каким образом могут быть осмысленно эксплицированы выражения, у которых отсутствует предметное значение (такие как "нынешний король Франции"). Расселовская теория дескрипций была изложена выше в § 2.2.6. Здесь мы лишь отметим, что важность знания по описанию обусловлена тем, что оно открывает возможность выхода за пределы личного опыта. Впрочем, любое описание должно быть в принципе устранимо, что находит выражение в следующем фундаментальном принципе, принимаемом Расселом:
"Каждое высказывание, которое мы можем понять, должно состоять полностью из конституент, с которыми мы знакомы".6
Этот редукционистский принцип, утверждающий сводимость любого знания в конечном счете к знанию по знакомству, объясняет, между прочим, почему Рассел должен был допустить возможность непосредственного знакомства с универсалиями – ведь любое высказывание обязательно содержит хотя бы один термин, представляющий общее понятие. Следовательно, без возможности знакомства с универсалиями полная сводимость к знанию по знакомству оказалась бы просто невозможной.
Переходя теперь к знанию истин, прежде всего следует отметить, что в отличие от знания вещей, здесь мы сталкиваемся с совершенно новой проблемой – проблемой возможной ошибочности того, что мы можем принимать за знание. Как уже отмечалось в § 2.2.7, теория истины Рассела, являясь по существу корреспондентной,
"(1) допускает, что истина имеет свою противоположность, а именно, ложь, (2) делает истину свойством убеждений, но (3) делает это свойство полностью зависимым от отношения убеждений к внешним вещам".7
Развивая свою теорию истины, Рассел задействует понятие факта (превратившееся затем в центральное понятие его философии логического атомизма). Убеждение истинно, если ему соответствует некоторый факт, и ложно, если соответствующего факта нет. Вообще, с точки зрения позднейшей терминологии, более адекватным было бы называть этот вид знания именно "знанием фактов". Ведь знание, как правило, истолковывается как нечто, относящееся ко внеязыковой действительности (или действительности, выходящей за пределы сознания). В свою очередь, действительность ("мир") – согласно философии логического атомизма – есть не что иное, как совокупность фактов, каждый из которых представляет собой особую конфигурацию предметов ("вещей"). Таким образом, если наше убеждение истинно, то это как раз означает, что мы знаем соответствующий факт. Однако в "Проблемах философии" Рассел предпочитает вести речь именно о знании истин, так что вопрос о взаимоотношении терминов "истина", "факт", "пропозиция", "суждение" в их отношении к знанию, оставляет здесь впечатление некоторой непроясненности.
Подводя итоги своему исследованию видов знания, Рассел пишет:
"Мы можем теперь осуществить обзор источников нашего знания, в том порядке, как они появлялись в ходе нашего анализа. Прежде всего мы должны различать знание вещей и знание истин. Каждое из них имеет два вида, один непосредственный, а другой производный. Наше непосредственное знание вещей, которое мы назвали знакомством, бывает двух типов, в зависимости от того, является ли известная вещь конкретным предметом или универсалией. Среди конкретных предметов мы имеем знакомство с чувственными данными и (вероятно) с самими собой. Для универсалий, по-видимому, не существует принципа, по которому мы можем решить, какие из них могут быть известны по знакомству, однако ясно, что к числу тех, которые могут быть известны таким образом, относятся ощущаемые качества, пространственно-временные отношения, отношение сходства и определенные абстрактные логические универсалии. Наше производное знание вещей, которое мы называем знанием по описанию, всегда включает как знакомство с чем-то, так и знание истины. Наше непосредственное знание истины может быть названо интуитивным знанием, и известные таким образом истины могут быть названы самоочевидными истинами. Такие истины включают те, которые только утверждают, что дано в ощущениях, а также определенные абстрактные логические и арифметические принципы и (хотя и с меньшей долей уверенности) некоторые этические высказывания. Наше производное знание истины состоит из всего того, что мы можем вывести из самоочевидных истин, используя самоочевидные принципы дедукции".8
Осуществленное Расселом различие между знанием вещей и знанием истин (знанием фактов) является в настоящее время общепринятым и соответствует характерному для многих аналитических эпистемологических концепций делению знания на предметное (предикативное) и пропозициональное знание. Кроме того, иногда еще выделяют и так называемое практическое знание, как практическое умение что-либо делать. Следует, однако, отметить, что предикативное и практическое знание обычно трактуются в аналитической философии как подчиненные или вспомогательные его виды. В качестве основного вида знания, знания в собственном смысле, рассматривается именно пропозициональное знание, то есть знание о том, что имеет место тот или иной факт. К анализу пропозиционального знания мы сейчас и переходим.