Эпистемология и философия науки. 2018. Т. 55. № 4.

Эпистемология и философия науки. 2018. Т. 55. № 4.

СОДЕРЖАНИЕ

РЕДАКЦИОННАЯ СТАТЬЯ

Касавин И.Т., Порус В.Н. Современная эпистемология и ее критики: о кризисах и перспективах

В статье рассмотрены основные аргументы «критиков эпистемологии», согласно которым философский анализ проблем, связанных с процессами познания (в том числе в науке), должен быть в конечном счете заменен исследованиями этих проблем средствами специальных наук о познании. Показано, что эти аргументы отчасти неверны, а отчасти могут рассматриваться как указание на реальные трудности современной философии познания. Будущее философской эпистемологии связано с реформированием ее концептуального аппарата, методологического арсенала и проблемного поля. Взаимодействие с науками о познании для философской эпистемологии есть единственный и необходимый путь развития. Указаны два пути такого взаимодействия. Во-первых, это анализ научных дискуссий, на основании которых выявляются новые возможности для преодоления известных философских контроверз (между рационализмом и эмпиризмом, реализмом и конструктивизмом, фундаментализмом и релятивизмом и т. п.). На этом пути эпистемология выходит на позицию горизонтальной модерации междисциплинарного дискурса и создает «зону обмена» (П. Галисон, Г. Коллинз). Во-вторых, эпистемология проводит рациональную критику оснований специальных наук, а в содержании собственных категорий (истина, рациональность, субъект, объект и пр.) выделяет смысловые уровни, относящиеся к различным когнитивным практикам. Эти практики оцениваются нормативно, исходя из ценностной перспективы современной культуры. Оба пути дополнительны друг к другу.

Ключевые слова: эпистемология, когнитивные науки, субъект, история науки, контекстуализм, реализм, конструктивизм, эпистемологический энактивизм

DOI: 10.5840/eps201855461

ПАНЕЛЬНАЯ ДИСКУССИЯ

Доманов О.А. Теория типов в семантике пропозициональных установок

В статье описывается подход к анализу пропозициональных установок, опирающийся на теоретико-типовую семантику, предложенную А. Ранта и основанную на теории типов П. Мартин-Лёфа. Теоретико-типовая семантика в явном виде содержит контексты и способы извлечения информации из них. Это позволяет корректно формализовать зависимость от контекста, характерную для пропозициональных установок. В статье контекст представляется в виде типа зависимой суммы (тип Record в системе работы с доказательствами Coq), при этом подход А. Ранта уточняется и применяется к анализу фразы Куайна «Ральф верит, что кто-то шпион». Описано три варианта формализации этой фразы, которые различаются содержанием контекстуального знания и способом вывода из него истинностных значений фразы. Связь между контекстами устанавливается функцией преобразования, позволяющей соотносить значения истинности. В результате, средства для работы с контекстами, предоставляемые теоретико-типовой семантикой, позволяют избежать проблем непрозрачности, описанных Куайном. Формализация вместе с доказательствами кодирована в Coq и свободно доступна.

Ключевые слова: теория типов, теоретико-типовая семантика, пропозициональные установки, П. Мартин-Лёф, А. Ранта, У.В.О. Куайн

DOI: 10.5840/eps201855462

Тискин Д.Б. На новой машине – старым путём

В реплике обсуждаются не технические детали подхода О.А. Доманова, а новизна и применимость к куайновской проблеме «двойного знакомства» его основных теоретических идей. К таким идеям мы относим контекстную зависимость приписывания пропозициональных установок, замену в языке-посреднике индивидной референции и квантификации отсылкой к сущностям, допускающим более разнообразные отношения эквивалентности, и использование кросс-идентифицирующих функций. Мы показываем, что все эти идеи в той или иной форме высказывались ранее. С другой стороны, вокруг проблемы Куайна существует целый ряд смежных проблем, которые должна решать семантика высказываний об установках. Мы показываем, что текущая версия подхода Доманова не подходит для их решения.

Ключевые слова: de dicto, de re, «двойное знакомство», кросс-идентификация, способ данности

DOI: 10.5840/eps201855463

Родин А.В. Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие «расширениями контекстов», предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.

Ключевые слова: конструктивная теория типов, интерпретации контекстов, эпистемический агент

DOI: 10.5840/eps201855464

Ламберов Л.Д. Новая аналитическая философия: комментарий к статье О.А. Доманова

Статья представляет собой комментарий на статью О.А. Доманова, посвящённую использованию современной теории типов для анализа квантификации в непрозрачных контекстах. В статье коротко указываются недавние попытки использования теории типов для решения ряда философских проблем. В статье высказывается мнение о том, что использование теории типов, имеющей ряд существенных преимуществ перед классической логикой и теорией множеств, представляет собой весьма перспективное направление разработки философских проблем в духе аналитической философии. Кроме того, в статье указывается ряд моментов, на которые хотелось бы получить разъяснения автора комментируемой статьи.

Ключевые слова: теория типов, семантика, квантификация, аналитическая философия

DOI: 10.5840/eps201855465

Микиртумов И.Б. Теоретико-типовая грамматика, интенсионалы и эпистемические установки

В статье я обсуждаю некоторые идеи теоретико-типовой грамматики Аарне Ранта и тот анализ проблемы Куайна (Ральф и Орткатт), который Олег Доманов осуществил средствами этой теории. Основная проблема, которая, на мой взгляд существует в ТТ-грамматике, состоит в понимании эпистемических установок другого агента, которая, на мой взгляд должна быть экстерналистской, т. е. ссылающейся не на миры агента, а на его действия в актуальном мире: «агент Х – полагает, что А» истинно, когда интерпретатор фиксирует такое поведение агента в тех или иных ситуациях, которое интерпретатор считал бы адекватным для себя, если бы он полагал верным А и оказывался бы «на месте» Х. Я прихожу к выводу, что тип в ТТ-грамматике является интенсиональным, поскольку предполагает работу с отношением именования.

Ключевые слова: теория типов, интенсионал, контекст, эпистемические установки

DOI: 10.5840/eps201855466

Борисов Е.В. Проблема Куайна возвращается

В статье «Кванторы и пропозициональные установки» (1956) Куайн показал, что наивная теоретико-модельная формализация аскрипции мнений de re в некоторых случаях (таких, как описанный им случай Ральфа) порождает два нежелательных эффекта: 1) кажущуюся противоречивость системы мнений, приписываемых рациональному агенту; 2) противоречивость некоторых аскрипций мнения, которые, однако, представляются хорошо обоснованными. В обсуждаемой статье Доманов утверждает, что теоретико-доказательственная формализация аскрипций мнения предотвращает эти эффекты. Я показываю, что этот тезис ошибочен, поскольку используемый им метод формализации приводит к воспроизведению как минимум первого из них. По моему мнению, это обусловлено тем, что при определении функции расширения контекста Доманов отождествляет переменные из разных контекстов.

Ключевые слова: теоретико-доказательственная семантика, пропозициональная установка de re, Куайн, Ральф

DOI: 10.5840/eps201855467

Доманов О.А. Замечания о теории типов в семантике пропозициональных установок

Статья содержит краткие комментарии по вопросам, затронутым в откликах на статью «Теория типов в семантике пропозициональных установок». Я соглашаюсь, что исходная статья не содержит новых методов решения проблем пропозициональных установок. Её целью является выработка способа их более удобного и эффективного описания. Теория типов обладает большей выразительностью по сравнению со многими традиционными подходами. Я соглашаюсь также, что связь предлагаемого подхода с операциями эпистемического субъекта требует прояснения, однако это свойство выбранного подхода, но не теории Мартин-Лёфа самой по себе. Что касается интуиционизма теории типов, то она не обязана быть интуиционистской по своей логике, однако для семантики важно, чтобы она сохраняла конструктивистский характер. Отношения теории типов и интенсиональной логики также требуют прояснения. По-видимому, она скорее близка к ситуационной семантике. Критика Е. Борисова и А. Родина вскрывает проблемы понятия функции связи контекстов. Важнейшим результатом обсуждения стало понимание того, что вместо этой функции более корректно использовать средства, подобные отношению двойников.

Ключевые слова: теория типов, теоретико-типовая семантика, пропозициональные установки, П. Мартин-Лёф, А. Ранта, У.В.О. Куайн

DOI: 10.5840/eps201855468

ЯЗЫК И СОЗНАНИЕ

Рогонян Г.С. Дэвидсон об истине, нормах и диспозициях

Нормативный дуализм между описаниями ментального и физического до сих пор представляет собой проблему для многих философов, провоцируя все новые попытки его обоснования или, наоборот, преодоления с помощью редукции. При этом проблему особого нормативного статуса ментальных состояний довольно часто рассматривают в отрыве, или независимо от, понятия истины; более того, нередко само определение истины рассматривают лишь как часть проблемы нормативности – истина в этом случае выступает как разновидность нормы, например как цель научного исследования. Однако Дональд Дэвидсон полагал, что истина не является нормой и что, наоборот, нормы возможны только благодаря уже имеющемуся у нас примитивному и исходному понятию истины. В данной статье выдвигается предположение о том, что если развить определенным образом идею такой концептуальной зависимости между истиной и нормами, то станет возможным решение известной проблемы нормативного разрыва между описаниями ментального и физического. Иначе говоря, если усвоение понятия истины предшествует нормам описания ментального и физического, то проблему разрыва между этими нормами можно напрямую поставить в зависимость от условий и различий в использовании нами понятия истины.

Ключевые слова: нормативный дуализм, Дональд Дэвидсон, триангуляция, интерсубъективность, истина

DOI: 10.5840/eps201855469

ЭПИСТЕМОЛОГИЯ И ПОЗНАНИЕ

Аманда Мэчин. Тела знания и знание тел: «Мы можем знать больше, чем можем сказать

Классическая эпистемология, начиная с Платона, предполагала, что знание является бестелесным. Тело виделось либо отвлекающим элементом, либо пассивным инструментом познания. В этой статье рассматривается проблема познания человеческого тела. Используя разработки М. Поланьи и представителей феминистской эпистемологии, автор показывает, что тела обладают своим собственным неявным знанием. Автор также пытается опровергнуть тот тезис, что проблемы научного познания не связаны с проблемами телесности. Автор особым образом рассматривает сферу экологического управления, где ученые уже бросили вызов доминированию научных знаний над другими формами знаний. Автор не ставит под сомнение ценность знаний научных экспертов, но показывает, что эти знания всегда связаны с телом. Она анализирует критические замечания, которые ставят под сомнение предположение о том, что научные знания являются универсально применимыми и требуют включения различных видов знаний в экологическое управление. Во-вторых, автор утверждает, что не только локальное, но и телесное знание важно для выявления и понимания, реагирования на экологические проблемы, а также для осуществления, расширения и противостояния такого рода управлению. В-третьих, опираясь на идеи Поланьи, автор показывает, что сама наука переплетена с телесным знанием. Наконец, автор утверждает, что признание телесности научного знания отнюдь не умаляет его ценности, а, напротив, может позволить по-новому оценить роль и функции ученых. Автор утверждает, что философские поиски Поланьи привели его к защите «тела ученых». В свою очередь, авторский тезис заключается в том, что эти идеи, скорее, заставляют критически отнестись к устройству этого тела. Автор констатирует, что проблема тела не редко затрагивается в преобладающих эпистемологических дискуссиях, и показывает, что тела являются сложными объектами, критическими предметами и размещенными агентами знания.

Ключевые слова: Поланьи, неявное знание, тела, телесность, политика, окружающая среда

DOI: 10.5840/eps201855470

Максудова-Елисеева Г.В. Между психологизмом и логицизмом: от Вильгельма Вундта к логическим исследованиям аутизма

В связи с новейшими исследованиями в философию логики возвращается проблема взаимодействия логики и психологии. Логики и психологи пересматривают отношения между законами логики и особенностями процесса естественного рассуждения, отвергая основную идею антипсихологизма о том, что логика не имеет своим предметом процесс естественного рассуждения. В ходе разгоревшегося на рубеже XIX–XX вв. спора между психологистами и антипсихологистами многие авторы говорили о необходимости взаимодействия этих дисциплин. Однако не все из них были услышаны. В данной статье проблема взаимодействия логики и психологии рассматривается на примере концепции Вильгельма Вундта и одного из исследований рассуждения детей, страдающих аутизмом, проведенного Китом Стеннингом и Мехилом Ламбалгеном. Подобный сравнительный анализ, во-первых, покажет, какие идеи Вундта актуальны для новейших исследований, во-вторых, продемонстрирует значительные отличия между классической и новой формами психологизма.

Ключевые слова: В. Вундт, психологизм, новый психологизм, аутизм, логицизм, рассуждение

DOI: 10.5840/eps201855471

ПЕРСПЕКТИВА

Рахманин А.Ю. Норман Малкольм об онтологическом аргументе: философский анализ, обыденный язык и здравый смысл

В статье рассматривается интерпретация Норманом Малкольмом онтологического аргумента Ансельма Кентерберийского. Эта интерпретация анализируется в контексте ранней философии Малкольма 1950–1960-х гг., которой был присущ синтез философии здравого смысла (Дж. Мур) и обыденного языка (Л. Витгенштейн). Демонстрируется специфическое понимание Малкольмом задач философского анализа как поиска достоверного знания и понимание «логического» исследования как лингвистического, открывающего грамматику обыденного языка и тем самым приводящего к здравому смыслу. Это позволяет Малкольму показать невозможность опровержения Ансельмова аргумента, поскольку ни одно его положение не нарушает правил обыденного языка. Совпадение логического и лингвистического демонстрирует ограниченность верификационной теории значения (что подтверждается анализом высказываний о чувственных данных), а тем самым косвенно показывает, что традиционная критика философского подхода Малкольма, например, представленная К. Нильсеном, не является корректной. Более того, подход Малкольма ставит нетривиальную проблему соотношения религиозного и обыденного языка.

Ключевые слова: философия обыденного языка, здравый смысл, достоверность, онтологический аргумент, логика и язык, вера, фидеизм, Витгенштейн

DOI: 10.5840/eps201855472

Касавина Н.А. Человек и техника: амбивалентность электронной культуры

В статье предлагается интерпретация положения человека в новой технической среде – электронной культуре, понимание ее социальных, психологических и экзистенциальных рисков и возможностей. Прослеживается многогранность процесса адаптации личности к новым формам коммуникации, социальности и жизненного пространства в целом. Положительный модус влияния электронной культуры связан с расширением когнитивного горизонта, обеспечением человека информацией, доступом к различным видам коммуникации, творчества, самопрезентации, рекреации, выбором форм получения образования и гибкостью трудоустройства. Отрицательный модус определяется поглощающим влиянием мира техники, кризисом традиционных культурных ценностей, которые находятся под угрозой со стороны ритма социальной жизни и информационного шума современного общества. Вызовы человеку интерпретируются через проблемы самоидентификации и феномен интернет-зависимости. Проблематика человека в контексте электронной культуры включается в различные направления философских и научно-гуманитарных исследований, такие как анализ и поиск форм адаптации человека к цифровой реальности, гуманизация процесса цифровизации, когнитивная экология Интернета, создание искусственного интеллекта, гуманитарная экспертиза цифровых технологий.

Ключевые слова: человек, техника, электронная культура, Интернет, идентичность, интернет-зависимость, информация, коммуникация

DOI: 10.5840/eps201855479

Куслий П.С., Вострикова Е.В. Научная рациональность в социальном контексте: концептуальные и практические проблемы

Предлагается обзор ряда ключевых философско-научных работ последних лет, посвященных проблеме расхождения ценностей науки и общества. Обсуждаются три основных направления реакции рациональных философов на программу социального конструктивизма, ориентированные на защиту научной рациональности от релятивистской социально-философской критики. Представлен ряд концепций по сближению исследовательских задач науки и потребностей общества, а также феминистская программа ревизии принципов управления наукой. Дано критическое рассмотрение перспектив сближения науки и общества и указаны ряд сложностей на пути реализации подобного проекта.

Ключевые слова: наука и общество, социальный конструктивизм, ценности, философия науки, демократизация науки

DOI: 10.5840/eps201855473

СИТУАЦИОННЫЕ ИССЛЕДОВАНИЯ

Шапошников В.А. Распределенное познание и математическая практика в цифровом обществе: от формализации доказательств к пересмотру оснований

В статье сделана попытка посмотреть на современную математическую практику через призму концепции распределенного познания. Характерное для цифрового общества повсеместное использование персональных компьютеров и сети Интернет рассмотрено как способ достичь более эффективного распределения познавательной активности человека. В качестве решающего вызова, определяющего магистральное направление трансформации математической практики, в статье выделяется «проблема сложности». Современная тенденция к полной формализации математических доказательств на основе цифровых технологий рассматривается как одна из реакций на указанный вызов. Показано, что названная тенденция ведет к проекту переосмысления и перестройки самих оснований математики в целях обеспечения более эффективной коммуникации, а тем самым и надежности современной математики.

Ключевые слова: распределенное познание, коммуникация, цифровое общество, математическая практика, формальное доказательство, основания математики

DOI: 10.5840/eps201855474

Антоновский А.Ю., Бараш Р.Э. О науке Макса Вебера: рецепция и современность

Статья посвящена социальным условиям современной науки в интерпретации Макса Вебера, рассматриваемым в контексте системно-коммуникативного подхода в социальной теории. Современность науки (в отличие от произведения искусства) Вебер связывает с принципиальной недостижимостью «истинного бытия» и, как следствие, с преходящим характером любого научного достижения. В результате Вебер – отчасти явно, отчасти неявно – сформулировал основную проблему смысла современной науки: зачем ученому наука в условиях (1) внешнего отчуждения и (2) недоступности научного объекта? Рассматривается рецепция веберовского концепта современности науки в ряде работ классиков континентальной философской мысли, их попытки модернизировать фундаментальную веберовскую дистинкцию истина/ценности как принцип инклюзии в научное сообщество.

Ключевые слова: наука как призвание, Макс Вебер, современная наука, истина, ценности

DOI: 10.5840/eps201855475

МЕЖДИСЦИПЛИНАРНЫЕ ИССЛЕДОВАНИЯ

Дмитриев И.С. “Tempus Spargendi Lapides”: размытая структура научных революций

В статье сформулированы некоторые аспекты, касающиеся природы и структуры научных революций. В качестве референтного примера рассмотрена научная (точнее, натурфилософская) революция XVI–XVII вв. (НР1), которая, в свою очередь, стала частью интеллектуальной революции начала Нового времени. Показано, что НР1 – это отнюдь не однонаправленный и не предопределенный в своих основных вехах процесс, когда разрыв с Аристотелевой традицией автоматически расчищал путь к нововременной науке и философии. В действительности то была интеллектуальная война, исход которой отнюдь не был известен заранее ни одной из противостоящих сторон. Отмечены восемь факторов, способствовавших НР1: 1) ослабление идейного и идеологического контроля со стороны Церкви; 2) хаотизация и фрагментация интеллектуального пространства; 3) избыточность интеллектуального ресурса для появления инновационных теорий и практик; 4) наличие интеллектуального задела (наследие классической Античности и эпохи эллинизма, а также схоластический метод); 5) поток новой информации, не встраивающейся в наличные представления и практики; 6) ослабление требований к обоснованности выдвигаемых гипотез и строгости рассуждений, снижение (размывание) рациональности познавательной деятельности и поведения; 7) локальный (затравочный) прорыв в одной из областей знания (гелиоцентрическая теория); 8) возможность событиям и тенденциям собственно натурфилософской революции развиваться в среде (в оболочке) инновационных концепций, методологий и практик, сформировавшихся в ненаучных сферах (культуры, политики, экономики, теологии и т. д.).

Ключевые слова: научная революция, натурфилософская революция, Коперник, Ньютон

DOI: 10.5840/eps201855476

АРХИВ

Оглезнев В.В., Суровцев В.А. Фридрих Вайсман о многоуровневой структуре языка и проблемах редукционизма

В представленной статье рассматривается философско-лингвистическая концепция Фридриха Вайсмана – теория многоуровневой структуры языка. Суть этой теории заключается в том, что каждый языковой слой имеет свою собственную логику: в разных слоях применяются разные понятия истины, способы верифицируемости, полноты описания. Все это влияет на изменение структуры самой логики. Данный подход предполагает группировку в одном слое всех тех предложений, которые являются однородными, т. е. которые логически ведут себя одинаково. Отношения между разными слоями имеют весьма сложную природу, что не позволяет редуцировать высказывание одного слоя к другому. Эти соображения приводят, по мнению Вайсмана, к новой картине языка, естественным образом разделенного на слои.

Ключевые слова: язык, верифицируемость, полнота описания, истина, структура, логика

DOI: 10.5840/eps201855477

Фридрих Вайсман. Многоуровневая структура языка

В статье автор пытается набросать новую картину языка – языка, разделенного на слои. Каждый слой имеет свою собственную логику и отделен от других провалами, через которые можно перепрыгнуть, но через которые нельзя навести мосты с помощью логических процедур. Философы, стараясь преодолеть эти провалы, запутываются в псевдопроблемах, поскольку не учитывается, что высказывания о чувственных данных относятся к одному слою, высказывания о материальных объектах – к другому, этические утверждения – к третьему и т. д. Нельзя игнорировать принадлежность того или иного высказывания тому или иному слою. Следствием этой теории является то, что логика теряет свою универсальность: логика может быть применена только к однородным высказываниям. Однако анализ отношений между слоями требует внимания логиков.

Ключевые слова: язык, высказывания о чувственных данных, высказывания о материальных объектах, редукционизм, верификационизм

DOI: 10.5840/eps201855478

ОБЗОРЫ КНИГ

Секундант С.Г. Единство философии и науки: Лейбниц

Данная статья представляет аналитический обзор сборника труднодоступных статей крупнейшего знатока философии Лейбница Ганса Позера, посвятившего изучению его философии более полувека. Специфику позиции Г. Позера как интерпретатора философии Лейбница автор обзора видит в обосновании им фундаментального характера учения Лейбница о модальностях, знаках и языке. Подчеркивание рефлексивного и системообразующего характера модальных понятий в философии Лейбница, а также актуальности его учения о модальных понятиях как для современной модальной логики, так и для современной теории доказательства и метаматематики – центральный пункт интерпретации Г. Позером философии Лейбница. Касаясь вопроса об отношении науки и метафизики, Г. Позер выступает в защиту метафизики, указывая на невозможность решения многих проблем без обращения к метафизике. 24 статьи, представленные в сборнике, дают целостный взгляд о всех сторонах многогранного творчества Лейбница. Сборник представляет своего рода энциклопедию философии Лейбница, в которой аккумулированы все последние достижения современного лейбницеведения и представлены в таком систематическом порядке, что сборник по праву может считаться монографией и служить настольной книгой для каждого, кто хочет получить целостное представление о философии Лейбница.

Ключевые слова: физика и метафизика, теория и практика, философия языка Лейбница, модальные понятия, искусство открытия, искусство характеристики Лейбница

DOI: 10.5840/eps201855480

НАШИ ЮБИЛЯРЫ