- •Аналитическая философия
- •Введение. Эволюция и основные характеристики аналитической философии
- •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 Перспективы компаративных исследований: возможности феноменологии
- •Глоссарий
4.5.2 Модальные логики
Уже первые изложения трехзначной логики в 1920 г. содержали явную связь модальности и многозначности. Лукасевич считал, что в двузначной логике не удастся согласовать интуитивные трактовки модальных функторов. Эта мысль является следствием объяснения формализации модальностей не как операторов, а как функторов, уравненных концептуально в правах с логическими знаками. Это свое убеждение Лукасевич последовательно выражал на протяжении всего своего научного творчества.
Первое систематическое изложение модальной логики дано Лукасевичем в работе с названием "Философские замечания о многозначных системах исчисления предложений."[1930] Правда, здесь не представлена система модальной логики как таковая, но только показаны требования, которым должна, по мнению Лукасевича, удовлетворять такая система. Модальными предложениями Лукасевич называет следующие четыре выражения:
(1) возможно, что p - символически : Mp;
(2) невозможно, что p - символически : NMp;
(3) возможно, что не-p - символически : MNp;
(4) невозможно, что не-p - символически : NMNp.
Традиционные утверждения о модальностях по мнению Лукасевича можно разделить на три группы. К первой группе относятся предложения следующего вида: (a) Ab oportere ad esse valet consequentia (Если что-либо необходимо, то оно существует); (b) Ab esse ad posse valet consequentia (Если что-либо существует, то оно возможно); (с) Ab non posse ad non esse valet consequentia (Если что-либо невозможно, то оно не существует). Общим представителем этой группы является предложение
(I): Если невозможно, что p, то не-p.
Вторую группу составляет утверждение Лейбница из "Теодицеи": (d) Unumquodque, quando est, oportet esse (Чтобы то ни было, когда оно существует - оно необходимо). Лукасевич замечает, что последнее высказывание в действительности происходит от Аристотеля и разбирает возможные интерпретации Стагирита. В результате анализа оказывается, что слово "quando" в предложении (d), как и соответствующее ему "hotan" у Аристотеля, являются частицами, выражающими не условие, но время. Однако временная форма переходит в условную форму, поскольку в связанных временными рамками предложениях определение времени оказывается включенным в содержание предложений.85
Предложение (d) имеет следующую эквивалентную формулировку
(II): Если предполагается, что не-p, то невозможно, что p.
Третью группу представляет аристотелевский принцип обоюдной возможности
(III): Для некоторого p, возможно, что p, и возможно, что не-p.
Мы опустим здесь технические подробности решения Лукасевичем проблемы модальностей,но он видит в использовании трехзначной логики, а точнее - в нахождении в L3 такого определения возможности, которое бы выполняло условия, очерченные в (I)-(III). Удовлетворительная дефиниция должна быть прочитана следующим образом: "возможно, что p значит то, что "или предложение p и не-p равнозначны, или не существует такой пары противоречивых предложений, которые бы следовали из предложения p". В более общем значении аналогичное в этом контексте понятие возможности предложил в 1921 г. Тарский: Mp=CNpp. Дефиниенс этого определения ложен тогда и только тогда, когда p=1/2. Из этого определения и таблиц для C и N получаем равенства: M0=0, M1/2=1, M1=1. Согласно этим равенствам, если предложение p ложно, то ложно также и предложение Mp, но Mp истинно, когда p истинно или p принимает третье значение. Этот результат Лукасевич посчитал наиболее согласованным с интуицией. Определение необходимости имеет вид Lp=NCpNp в соответствии с общепринятой схемой Lp=NMNp. Заканчивая свое первое систематическое изложение модальной логики в духе логики многозначной Лукасевич полностью принимает изложенные выше определения возможности и необходимости: " Решительно не высказываясь об интуитивном смысле приведенной выше дефиниции, мы должны однако признать, что эта дефиниция удовлетворяет всем условиям, определенным в утверждениях (I)-(III), и в частности, как это доказал г.Тарский, что это единственная возможная в трехзначной системе дефиниция, выполняющая эти условия"86.
Поскольку позже Лукасевич вернулся к проблематике модальной логики, то естественно считать, что первое ее изложение не удовлетворяло его. Новое изложение87 [1953] модальной логики Лукасевич начинает с изложения условий, которым по его мнению должна удовлетворять такая логика:
(1) утверждается импликация CpMp;
(2) отбрасывается импликация CMpp;
(3) отбрасывается предложение Mp;
(4) утверждается импликация CLpp;
(5) отбрасывается импликация CpLp;
(6) отбрасывается предложение NLp;
(7) утверждается эквивалентность EMpNLNp;
(8) утверждается эквивалентность ELpNMNp.
Понятия "утверждения" и "отбрасывания" принадлежат системе и обозначаются соответственно "" и "". Первое условие соответствует принципу Ab esse ad posse valet consequentia. Второе условие соответствует высказыванию A posse ad esse non valet consequentia. В третьем условии говорится, что не все выражения, начинающиеся с M утверждаются, поскольку в противном случае Mp было бы равносильно функции "verum от p", которая не является модальной функцией. Четвертое условие соответствует принципу Ab oportere ad esse valet consequentia. Пятое условие соответствует высказыванию Ab esse ad oportere non valet consequentia. В шестом условии говорится, что не все выражения, начинающиеся с NL являются утверждениями, поскольку в противном случае Lp было бы равносильно функции "falsum от p", которая не является функцией модальности. Последние два условия представляют очевидные связи между возможностью и необходимостью.
Лукасевич предлагает для "основной модальной логики" следующую совокупность формул в качестве аксиом: (A1) CpMp, (A2) CMpp, (A3) Mp, (A4) EMpMNNp с правилами замены по определению (Lx=NMNx), подстановки в утвержденное выражение, подстановки в отбрасываемое выражение (если а отбрасывается и а есть подстановка b, то b должно быть отброшено), отделения для утвержденных выражений и отделения для отбрасываемых выражений (если Cxy утверждено, а y - отброшено, то x также отброшено). С использованием знака необходимости (A1)-(A4) преобразуются в: (A5) CLpp, (A6) CpLp, (A7) NLp, (A8) ELpLNNp. Особенно важными по мнению Лукасевича являются аксиомы (A4) и (A8). Поскольку они весьма похожи, то возникает мысль, что они имеют в своем основании некий общий принцип, из которого их можно вывести. А это значит, что "основная модальная логика" не полна. Это допущение подтверждается тем фактом, что формулы MKpqMp, CMKpqMq (если возможна конъюнкция, то возможен каждый из ее членов), а также CLKpqLp, CLKpqLq (если необходима конъюнкция, то необходим каждый из ее членов) независимы от "основной модальной логики". Не выводимы из (A1)-(A4) (либо же из (A5)-(A8)) следующие законы, известные уже Аристотелю: (a) CCpqCMpMq, (b) CCpqCLpLq, (c) CLCpqCMpMq, (d) CLCpqCLpLq. Можно показать, что из (a) следует (c), а из (b) - (d). Поэтому следовало расширить "основную модальную логику", присоединяя к ее аксиомам формулы (a)-(d). Формулы (a) и (c) можно считать частными случаями закона экстенсиональности CEpqCfpfq ("f" означает переменный функтор). Присоединяя (a) к (A1)-(A3) можно доказать (A4); аналогично присоединяя (c) к (A5)-(A7) можно доказать (A8). Однако обе конструкции Лукасевич считает недостаточно общими. Окончательная формулировка модальной системы основывается на упоминавшемся выше результате ученика Лукасевича - Мередита, утверждавшего, что L2 и закон экстенсиональности следуют из формулы CfpCfNpfq. Окончательно аксиоматика модальной логики у Лукасевича принимает следующий вид: CfpCfNpfq, CpMq, CMpp, Mp. L-система содержит исчисление высказываний L2, но не является двузначной. Лукасевич показал, что адекватной матрицей для L-системы является следующая четырехзначная матрица (1 является выделенным значением):
-
СС
11
22
33
44
ТN
MM
11
11
32
33
44
44
11
22
11
11
33
33
33
22
33
11
12
11
22
22
33
44
11
11
11
11
11
33
Из того факта, что существуют две опосредующие истину и ложь оценки (2 и 3) не следует делать вывод, что в системе модальной логики Лукасевича существуют два понятия возможности. Тем не менее в L-системе имеют место т.н. возможности-близнецы M и M1. Они неразличимы, когда выступают отдельно, но разнятся, когда входят в одну формулу, например, формулы MMp и M1M1p эквивалентны, а формулы M1Mp и MM1p неэквивалентны. Этот факт в системе модальной логики Лукасевича не имеет интуитивной интерпретации. Четырехзначная матрица вообще изменила взгляд Лукасевича на значение многозначных логик: если раньше он считал, что выбор следует делать между трехзначной логикой или бесконечнозначной, то теперь он признал четырехзначную систему адекватной для выражения понятия возможности.
Некоторые неясные вопросы Лукасевич пытается выяснить путем сравнения с другими модальными системами, в частности, с системой фон Вригта, а не более известными системами Льюиса, поскольку они основываются на т.н. "строгой импликации", которая более сильна, нежели "материальная импликация", используемая Лукасевичем. Он подвергает сомнению т.н. правило необходимости: если x является формулой системы, то Lx - также формула. Лукасевич считает, что предложение является непосредственно ложным или истинным и не видит причины, по которой тавтология должна быть "более истинной", чем "обычное" истинное предложение, а контрадикторное предложение "более ложно", чем "обычная" ложь. В этой позиции чувствуется влияние Твардовского, подкрепленное взглядами Лесьневского. Лукасевич спрашивает: "Почему мы должны вводить необходимость и невозможность в логику, если не существуют истинные аподиктические предложения? На этот упрек я отвечаю, что прежде всего мы интересуемся проблематическими предложениями вида Mx и MNx, которые могут быть истинны и используемы, хотя их аргументы и отбрасываются, а вводя проблематические предложения мы не можем обойти их отрицания, т.е. аподиктических предложений ибо предложения, обоих видов неразрывно между собой связаны".(S.295) Важной для понимания Лукасевичем понятия возможности является формула CKMpMqMKpq, не имеющая места в системе Льюиса. Лукасевич рассматривает следующий пример:
Пусть n будет целым положительным числом. Я утверждаю, что следующая импликация истинна для всех значений n: Если возможно, что n четно, и возможно, что n нечетно, то возможно, что n четно и n нечетно". Если n=4, то истинно, что n может быть четно, но не может быть истинной, что n может не быть четным; если n есть 5, то истинно, что n может быть нечетным, но не является истинной то, что n может быть четным. Обе посылки никогда не являются одновременно истинными и пример не может быть опровергнут.
Эти рассуждения показывают, что Лукасевич понимал возможность экстенсионально, тогда как в системах Льюиса функторы L и M интенсиональны.
Так решение Аристотелевой проблемы в контексте борьбы с фатализмом привело Я. Лукасевича к созданию нового, оригинального направления в логике, которое впоследствии получило бурное развитие88.