Jump to content

Уиллард Ван Орман Куайн

Уиллард Ван Орман Куайн
Куайн в 1980 году
Рожденный ( 1908-06-25 ) 25 июня 1908 г.
Умер 25 декабря 2000 г. (25 декабря 2000 г.) (92 года)
Образование Оберлинский колледж ( бакалавр )
Гарвардский университет ( доктор философии )
Супруги
Наоми Клейтон
( м. 1932; разд. 1947)
Марджори Бойнтон
( м. 1948; умер в 1998 г.)
Награды Премия Рольфа Шока в области логики и философии (1993)
Киотская премия (1996)
Эра Философия 20-го века
Область Западная философия
Школа Аналитический
Математический номинализм (1947) [1]
Математический квазиэмпиризм (1960)
Имманентный реализм [2]
Неопрагматизм [3]
Эмпиризм
Антифундационализм [4]
Логический бихевиоризм [5]
Учреждения Гарвардский университет
Диссертация Логика последовательностей: обобщение Principia Mathematica (1932)
Докторантура Альфред Норт Уайтхед
Другие научные консультанты К.И. Льюис [6]
Докторанты Дэвид Льюис , Гилберт Харман , Дагфинн Фёллесдал , Хао Ван , Бертон Дребен , Чарльз Парсонс , Джон Майхилл , Роберт МакНотон
Другие известные студенты Дональд Дэвидсон , Дэниэл Деннетт
Основные интересы
Логика , онтология , эпистемология , философия языка , философия сознания , философия математики , философия науки , теория множеств
Известные идеи

Уиллард Ван Орман Куайн ( / k w n / ; известный своим друзьям как «Ван»; [9] 25 июня 1908 — 25 декабря 2000) — американский философ и логик аналитической традиции , признанный «одним из самых влиятельных философов ХХ века». [10] он занимал должность заведующего кафедрой философии Эдгара Пирса в Гарвардском университете С 1956 по 1978 год .

Куайн был преподавателем логики и теории множеств . Он был известен своей позицией, что логика первого порядка — единственный вид, достойный этого имени, и разработал свою собственную систему математики и теории множеств, известную как « Новые основы» . В области философии математики он и его коллега из Гарварда Хилари Патнэм разработали аргумент незаменимости Куайна-Патнэма , аргумент в пользу реальности математических сущностей . [11] Он был главным сторонником точки зрения, что философия — это не концептуальный анализ , а продолжение науки; это абстрактная ветвь эмпирических наук. Это привело к его знаменитой шутке о том, что « философия науки — это достаточно философия». [12] Он возглавил «систематические попытки понять науку изнутри ресурсов самой науки». [13] и разработал влиятельную натурализованную эпистемологию , которая пыталась дать «улучшенное научное объяснение того, как мы разработали сложные научные теории на основе скудных сенсорных данных». [13] Он также выступал за холизм в науке, известный как тезис Дюэма-Куайна .

Его основные труды включают статьи «О том, что существует» (1948), в которых разъясняется Рассела Бертрана теория дескрипций и содержится знаменитое изречение Куайна об онтологической приверженности: «Быть ​​— значит быть значением переменной » и « Два Догмы эмпиризма » (1951), которые атаковали традиционное аналитико-синтетическое различие и редукционизм, подрывая популярный тогда логический позитивизм , защищая вместо этого форму семантического холизма и онтологическую относительность . К ним также относятся книги «Сеть убеждений» (1970), в которой пропагандируется своего рода когерентизм , и «Слово и объект» (1960), которые еще больше развили эти позиции и представили знаменитый тезис Куайна о неопределенности перевода , отстаивающий бихевиористскую теорию значения .

Биография [ править ]

Куайн вырос в Акроне, штат Огайо , где он жил со своими родителями и старшим братом Робертом Клойдом. Его отец, Клойд Роберт, [14] был предпринимателем-производителем (основатель компании Akron Equipment Company, производившей пресс-формы для шин) [14] и его мать, Харриетт Э., была школьной учительницей, а затем домохозяйкой . [9] Куайн стал атеистом примерно в 9 лет. [15] и оставался им до конца своей жизни. [16]

Образование [ править ]

Куайн получил степень бакалавра с отличием математики в Оберлинском колледже в 1930 году и степень доктора философии. получил степень доктора философии в Гарвардском университете в 1932 году. Руководителем его диссертации был Альфред Норт Уайтхед . Затем он был назначен младшим научным сотрудником Гарварда , что освободило его от необходимости преподавать в течение четырех лет. В течение 1932–33 учебного года он путешествовал по Европе благодаря стипендии Шелдона, встречаясь с польскими логиками (в том числе со Станиславом Лесневским и Альфредом Тарским ) и членами Венского кружка (в том числе с Рудольфом Карнапом ), а также с логическим позитивистом А. Дж. Айером . [9] Именно в Праге у Куайна появилась страсть к философии благодаря Карнапу, которого он определил как своего «истинного и единственного мастера мысли ». [17]

Вторая мировая война [ править ]

Куайн организовал Тарского приглашение на Конгресс Единства науки в Кембридже в сентябре 1939 года, на который еврей Тарский отплыл на последнем корабле, покинувшем Данциг до того, как нацистская Германия вторглась в Польшу и развязала Вторую мировую войну . Тарский пережил войну и еще 44 года проработал в США. Во время войны Куайн читал лекции по логике в Бразилии , на португальском языке, служил в ВМС США в роли военной разведки , расшифровывая сообщения немецких подводных лодок и дослужившись до звания лейтенант-коммандера. [9] Куайн мог читать лекции на французском, немецком, итальянском, португальском и испанском языках, а также на своем родном английском языке.

Личное [ править ]

У него было четверо детей от двух браков. [9] Гитарист Роберт Куайн был его племянником.

Куайн был политически консервативным человеком, но большая часть его работ касалась технических областей философии, удаленных от прямых политических вопросов. [18] Однако он писал в защиту некоторых консервативных позиций: например, он писал в защиту моральной цензуры ; [19] в то время как в своей автобиографии он высказал некоторую критику в адрес американских послевоенных ученых. [20] [21]

Гарвард [ править ]

В Гарварде Куайн помогал руководить работой над дипломными работами Гарварда , в частности, Дэвиду Льюису , Гилберту Харману , Дагфинну Фёллесдалу , Хао Вангу , Хьюгу Леблану , Генри Хизу и Джорджу Майро . В 1964–1965 учебном году Куайн работал научным сотрудником Центра перспективных исследований Уэслианского университета . [22] В 1980 годуКуайн получил степень почетного доктора факультета гуманитарных наук Уппсальского университета , Швеция. [23]

Ученик Куайна Дагфинн Фёллесдаль отметил, что в последние годы жизни Куайн страдал потерей памяти. Ухудшение его кратковременной памяти было настолько серьезным, что он с трудом мог продолжать аргументировать. Куайн также столкнулся со значительными трудностями в своем проекте по внесению желаемых изменений в Word и Object . Перед смертью Куайн заметил Мортону Уайту : «Я не помню, как называется моя болезнь, Альтюссера или Альцгеймера , но поскольку я не могу ее вспомнить, это, должно быть, Альцгеймер». Он умер от болезни на Рождество 2000 года. [24] [25]

Работа [ править ]

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

Как и большинство философов-аналитиков, которые в основном интересовались систематическим мышлением, Куайн не проявлял особого интереса к философскому канону : только один раз он читал курс истории философии, посвященный Дэвиду Юму , в 1946 году. [26] [ нужны разъяснения ]

Логика [ править ]

За свою карьеру Куайн опубликовал множество технических и разъяснительных статей по формальной логике, некоторые из которых переизданы в его «Избранных статьях по логике» и в «Пути парадокса» . Его самый известный сборник статей — «С логической точки зрения» . Куайн ограничил логику классической двухвалентной логикой первого порядка , следовательно, истиной и ложностью в любой (непустой) вселенной дискурса . Следовательно, для Куайна не было логичным следующее:

Куайн написал три студенческих текста по формальной логике:

  • Элементарная логика . Читая вводный курс в 1940 году, Куайн обнаружил, что дошедшие до нас тексты для студентов-философов не отдают должного теории количественной оценки или логике предикатов первого порядка . Куайн написал эту книгу за шесть недель как специальное решение своих педагогических задач.
  • Методы логики . Четыре издания этой книги стали результатом более продвинутого курса логики для студентов, который Куайн вел с конца Второй мировой войны до выхода на пенсию в 1978 году.
  • Философия логики . Краткое и остроумное студенческое рассмотрение ряда квинианских тем, таких как распространенность путаницы между употреблением и упоминанием, сомнительность количественной модальной логики и нелогический характер логики высшего порядка.

Математическая логика основана на аспирантуре Куайна в 1930-х и 1940-х годах. Это показывает, что многое из того, что Principia Mathematica потребовало более 1000 страниц, можно выразить на 250 страницах. Доказательства кратки и даже загадочны. Последняя глава, посвященная теореме Гёделя о неполноте и теореме неопределимости Тарского , вместе со статьей Куайна (1946) стала отправной точкой для Раймонда Смалляна более позднего ясного изложения этих и связанных с ней результатов .

Работы Куайна по логике постепенно в некоторых отношениях устарели. Методы, которые он не преподавал и не обсуждал, включают аналитические таблицы , рекурсивные функции и теорию моделей . Его трактовка металогики оставляла желать лучшего. Например, «Математическая логика» не содержит никаких доказательств правильности и полноты . В начале его карьеры обозначения его работ по логике часто были своеобразными. В его более поздних работах почти всегда использовались устаревшие обозначения Principia Mathematica . На фоне всего этого выделяются простота предпочитаемого им метода (изложенного в его «Методах логики» ) определения выполнимости количественных формул, богатство его философских и лингвистических прозрений, а также прекрасная проза, в которой он их выражал.

Большая часть оригинальной работы Куайна в области формальной логики, начиная с 1960 года, была посвящена вариантам его логики функторов предикатов , одного из нескольких способов, которые были предложены для реализации логики без кванторов . Подробное описание логики функторов предикатов и ее истории см. в Quine (1976). Введение см. гл. 45 его «Методов логики» .

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

Теория множеств [ править ]

Хотя его вклад в логику включает элегантные объяснения и ряд технических результатов, именно в теории множеств Куайн был наиболее новаторским. Он всегда утверждал, что математика требует теории множеств и что теория множеств совершенно отличается от логики. он заигрывал с Нельсона Гудмана . номинализмом Некоторое время [27] но отступил, когда ему не удалось найти номиналистическое обоснование математики. [1]

За свою карьеру Куайн предложил три аксиоматические теории множеств.

  • New Foundations , NF, создает наборы и манипулирует ими, используя единую схему аксиом для допустимости набора, а именно схему аксиом стратифицированного понимания, посредством чего все люди, удовлетворяющие стратифицированной формуле, составляют набор. Стратифицированная формула — это формула, которую теория типов допускала бы , если бы онтология включала типы. Однако теория множеств Куайна не включает типы. Метаматематика НФ любопытна. теперь каноническая теория множеств ZFC НФ допускает множество «больших» множеств, которые не допускает , даже наборы, для которых аксиома выбора не выполняется. Поскольку аксиома выбора справедлива для всех конечных множеств, несоблюдение этой аксиомы в NF доказывает, что NF включает бесконечные множества. Непротиворечивость НФ относительно других формальных систем, адекватных математике, является открытым вопросом, хотя в сообществе НФ существует ряд возможных доказательств, предполагающих, что НФ эквисовместима с теорией множеств Цермело без выбора. Модификация NF, NFU , благодаря Р.Б. Дженсену и допускающая urelements (сущности, которые могут быть членами множеств, но не имеют элементов), оказывается непротиворечивой относительно Арифметика Пеано , тем самым подтверждающая интуицию, лежащую в основе NF. NF и NFU — единственные теории множеств Квинова, имеющие последователей. О выводе фундаментальной математики в НФ см. Россер (1952);
  • Теория множеств математической логики представляет собой НФ, дополненную собственными классами теории множеств фон Неймана–Бернейса–Гёделя , за исключением аксиоматизированной гораздо более простой формы;
  • Теория множеств «Теория множеств и ее логика» устраняет стратификацию и почти полностью выведена из единой схемы аксиом. Куайн еще раз вывел основы математики. Эта книга включает в себя исчерпывающее изложение теории виртуальных множеств и отношений Куайна, а также обзор аксиоматической теории множеств в том виде, в каком она существовала примерно в 1960 году.

Все три теории множеств допускают универсальный класс, но, поскольку они свободны от какой-либо , им иерархии типов нет необходимости в отдельном универсальном классе на каждом уровне типов.

Теория множеств Куайна и ее основная логика были обусловлены желанием минимизировать постулаты; каждая инновация продвигается настолько далеко, насколько это возможно, прежде чем будут внедрены дальнейшие инновации. Для Куайна существует только одна связка, штрих Шеффера , и один квантор, квантор всеобщности . Все полиадические предикаты можно свести к одному диадическому предикату, интерпретируемому как членство во множестве. Его правила доказывания ограничивались modus ponens и заменой. Он предпочитал союз либо дизъюнкции , либо условному , потому что союз имеет наименьшую семантическую двусмысленность. В начале своей карьеры он был рад обнаружить, что вся логика первого порядка и теория множеств могут быть основаны всего на двух примитивных понятиях: абстракции и включении . Элегантное введение в скупой подход Куайна к логике см. в его «Новых основах математической логики», гл. 5 в его книге «С логической точки зрения» .

Метафизика [ править ]

Куайн оказал большое влияние на современную метафизику . Он ввел термин « абстрактный объект ». [28] Он также в своем знаменитом эссе « О том, что существует » ввел термин « борода Платона » для обозначения проблемы пустых имен :

Предположим теперь, что два философа, Мак-Х и я, расходятся во мнениях по поводу онтологии . Предположим, Мак-Х утверждает, что существует нечто, чего, как я утверждаю, нет. МакИкс может, вполне последовательно со своей точкой зрения, описать наше различие во мнениях, сказав, что я отказываюсь признавать определенные сущности... С другой стороны, когда я пытаюсь сформулировать наше различие во мнениях, я, кажется, нахожусь в замешательстве. затруднительное положение. Я не могу признать, что есть некоторые вещи, которые МакИкс одобряет, а я нет, поскольку, признавая, что такие вещи существуют, я должен противоречить своему собственному неприятию их... Это старая платоновская загадка небытия. Небытие должно в каком-то смысле быть, иначе что такого, чего нет? Эту запутанную доктрину можно было бы назвать бородой Платона : исторически она оказалась жесткой, часто притупляя лезвие бритвы Оккама. [29]

Однако Куайн не сочувствовал утверждению, что утверждение «X не существует» является молчаливым признанием существования X и, следовательно, противоречием. Апеллируя к Бертрану Расселу и его теории «сингулярных описаний», Куайн объясняет, как Рассел смог разобраться в «сложных описательных именах» («Нынешний король Франции», «Автор « Уэверли» был поэтом» и т. д.). думая о них как о просто «фрагментах целого предложения». Например, фраза «Автор « Уэверли» был поэтом» превращается в «нечто такое, что оно является автором « Уэйверли» и было поэтом, и ничто другое не является таким, что оно является автором «Уэйверли» . [30]

Используя такого рода анализ со словом « Пегас » (того, что Куайн хочет утверждать, не существует), он превращает Пегаса в описание. Превратить слово «Пегас» в описание — значит превратить «Пегас» в предикат, если использовать термин логики первого порядка : то есть свойство. Таким образом, когда мы говорим «Пегас», мы на самом деле говорим «то, что есть Пегас» или «то, что имеет размер Пегаса» . Это вводит, если использовать другой термин из логики, связанные переменные (например: «все», «что-то» и т. д.). Как объясняет Куайн, связанные переменные «далеко не претендуют на то, чтобы быть именами конкретно... вообще: они относятся к сущностям вообще, со своего рода нарочитой двусмысленностью, свойственной им самим». [31]

Другими словами, сказать «Я ненавижу все» — это совсем другое утверждение, чем сказать «Я ненавижу Бертрана Рассела», потому что слова «Бертран Рассел» — это имя собственное , относящееся к очень конкретному человеку. Тогда как слово «все» является заполнителем. Оно не относится к конкретному объекту или объектам. Таким образом, Куайн может сделать осмысленное заявление о несуществовании Пегаса по той простой причине, что заполнитель (вещь) оказывается пустым. Так уж получилось, что в мире нет такой вещи, которая была бы крылатой и была бы лошадью.

от аналитического и синтетического Отказ различия

В 1930-х и 40-х годах дискуссии с Рудольфом Карнапом , Нельсоном Гудманом и Альфредом Тарским , среди прочих, заставили Куайна усомниться в обоснованности различия между «аналитическими» утверждениями. [32] — те, которые истинны просто по значению их слов, например: «Ни один холостяк не женат», — и «синтетические» утверждения, истинные или ложные в силу фактов о мире, такие как «На коврике сидит кот». [33] Это различие было центральным для логического позитивизма . Хотя Куайн обычно не ассоциируется с верификационизмом , некоторые философы считают, что этот принцип не является несовместимым с его общей философией языка, ссылаясь на его гарвардского коллегу Б. Ф. Скиннера и его анализ языка в «Вербальном поведении» . [34] Но Куайн считает, при всем уважении к своему «большому другу» [35] Скиннер, что основную причину следует искать в неврологии, а не в поведении. Для него поведенческие критерии устанавливают лишь условия проблемы, решение которой, однако, лежит в неврологии . [35]

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

Главное возражение Куайна против аналитичности связано с понятием когнитивной синонимии (тождественности значений). Он утверждает, что аналитические предложения обычно делятся на два типа; предложения, которые явно логически верны (например, «ни один неженатый мужчина не женат») и более сомнительные; предложения типа «ни один холостяк не женат». Раньше считалось, что если вы сможете доказать, что существует синоним между «неженатым мужчиной» и «холостяком», вы докажете, что оба предложения логически верны и, следовательно, самоочевидны. Куайн, однако, приводит несколько аргументов в пользу того, почему это невозможно, например, что «бакалавр» в некоторых контекстах означает бакалавра искусств , а не неженатого мужчину. [36]

и онтологическая Холизм подтверждения относительность

Коллега Хилари Патнэм назвала тезис Куайна о неопределенности перевода «самым захватывающим и наиболее обсуждаемым философским аргументом со времен кантовской « Трансцендентальной дедукции категорий ». [37] Центральными тезисами, лежащими в его основе, являются онтологическая относительность и связанная с ней доктрина подтверждения холизма . Предпосылка холизма подтверждения состоит в том, что все теории (и выведенные из них положения) недостаточно детерминированы эмпирическими данными (данными, сенсорными данными , свидетельствами); хотя некоторые теории необоснованны, не соответствуют данным или являются неработоспособно сложными, существует множество в равной степени оправданных альтернатив. Хотя предположение греков о существовании (ненаблюдаемых) гомеровских богов ложно, а наше предположение о (ненаблюдаемых) электромагнитных волнах верно, оба должны быть оправданы исключительно их способностью объяснять наши наблюдения.

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

Куайн завершил свою « Две догмы эмпиризма » следующим образом:

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

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

Существование и его противоположность [ править ]

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

Любопытной особенностью онтологической проблемы является ее простота. Его можно выразить тремя англосаксонскими односложными словами: «Что там?» Причём на него можно ответить одним словом — «Всё», — и каждый примет этот ответ за истинный. [38]

Если говорить более прямо, то спор идет так:

Как мы можем говорить о Пегасе ? Что означает слово «Пегас»? Если наш ответ: «Нечто», то мы, похоже, верим в мистические сущности; если наш ответ «ничего», то мы, кажется, говорим ни о чем, и какой в ​​этом смысл? Конечно, когда мы говорим, что Пегас был мифологическим крылатым конем, мы имеем смысл, и более того, мы говорим правду! Если мы говорим правду, это должна быть правда о чем-то . Поэтому мы не можем говорить ни о чем.

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

Такое положение дел кажется не очень удовлетворительным. Идея о том, что некоторые из наших правил вывода должны зависеть от эмпирической информации, которая может и не быть получена, настолько чужда характеру логического исследования, что тщательное повторное исследование двух выводов (экзистенциальное обобщение и универсальная конкретизация) может оказаться целесообразным. наше время.

Затем Леевский предлагает описание свободной логики , которая, как он утверждает, дает ответ на проблему.

Леевски также указывает, что свободная логика дополнительно может решить проблему пустого множества для таких утверждений, как . Куайн считал проблему пустого множества нереальной, что не удовлетворило Леевского. [39]

обязательство Онтологическое

Понятие онтологической приверженности играет центральную роль во вкладе Куайна в онтологию. [40] [41] Теория онтологически связана с сущностью, если эта сущность должна существовать, чтобы теория была истинной. [42] Куайн предположил, что лучший способ определить это — перевести рассматриваемую теорию в логику предикатов первого порядка . Особый интерес в этом переводе представляют логические константы, известные как кванторы существования »), значение которых соответствует таким выражениям, как «существует...» или «для некоторых...». Они используются для привязки переменных в выражении, следующем за квантором. [43] Тогда онтологические обязательства теории соответствуют переменным, связанным кванторами существования. [44] Например, предложение «Есть электроны» можно перевести как « x Electron ( x ) », в котором связанная переменная x колеблется по электронам, что приводит к онтологической приверженности электронам. [42] Этот подход резюмируется знаменитым изречением Куайна о том, что «[быть] значит быть значением переменной». [45] Куайн применил этот метод к различным традиционным спорам в онтологии. Например, он рассуждал от предложения «Есть простые числа между 1000 и 1010» до онтологической приверженности существованию чисел, то есть реализма в отношении чисел. [45] Этот метод сам по себе недостаточен для онтологии, поскольку он зависит от теории, чтобы привести к онтологическим обязательствам. Куайн предположил, что мы должны основывать нашу онтологию на нашей лучшей научной теории. [42] Различные последователи метода Куайна предпочитали применять его в разных областях, например, к «повседневным концепциям, выраженным на естественном языке». [46] [47]

реализма математического незаменимости Аргумент

В области философии математики он и его коллега из Гарварда Хилари Патнэм разработали тезис незаменимости Куайна-Патнэма , аргумент в пользу реальности математических сущностей . [11]

Форма аргументации следующая.

  1. Необходимо иметь онтологические обязательства по отношению ко всем сущностям, которые необходимы для лучших научных теорий, и только к этим сущностям (обычно называемым «все и только»).
  2. Математические сущности необходимы для лучших научных теорий. Поэтому,
  3. Необходимо иметь онтологические обязательства перед математическими объектами. [48]

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

Эпистемология [ править ]

Так же, как он бросил вызов доминирующему различию между аналитикой и синтезом, Куайн также нацелился на традиционную нормативную эпистемологию . По мнению Куайна, традиционная эпистемология пыталась оправдать науку, но эта попытка (на примере Рудольфа Карнапа ) провалилась, и поэтому мы должны заменить традиционную эпистемологию эмпирическим исследованием того, какие сенсорные входные данные производят какие теоретические результаты: [49]

Эпистемология или что-то в этом роде просто становится главой психологии и, следовательно, естествознания. Он изучает природный феномен, а именно физический человеческий субъект. Этому человеческому субъекту предоставляются определенные экспериментально контролируемые входные данные — например, определенные схемы облучения на разных частотах — и со временем субъект выдает в качестве выходных данных описание трехмерного внешнего мира и его истории. Связь между скудными входными данными и потоком результатов — это связь, которую мы вынуждены изучать по тем же причинам, которые всегда побуждали к эпистемологии: а именно, чтобы увидеть, как свидетельства соотносятся с теорией и каким образом теория природы выходит за рамки теории. любые доступные доказательства... Но заметное различие между старой эпистемологией и эпистемологическим предприятием в этой новой психологической обстановке состоит в том, что теперь мы можем свободно использовать эмпирическую психологию. [50]

Как сообщалось ранее, в других случаях Куайн использовал термин «неврология» вместо «эмпирическая психология». [35]

Предложение Куайна вызывает споры среди современных философов и имеет несколько критиков, Джэгвон Ким . наиболее известным из которых является [51]

В популярной культуре [ править ]

Библиография [ править ]

Избранные книги [ править ]

  • 1934 г. Система логистики . Гарвардский университет. Нажимать. [54]
  • 1951 (1940). Математическая логика . Гарвардский университет. Нажимать. ISBN   0-674-55451-5 .
  • 1980 (1941). Элементарная логика . Гарвардский университет. Нажимать. ISBN   0-674-24451-6 .
  • 1982 (1950). Методы логики . Гарвардский университет. Нажимать.
  • 1980 (1953). С логической точки зрения . Гарвардский университет. Нажимать. ISBN   0-674-32351-3 . Содержит « Два догмы эмпиризма » .
  • 1960 Слово и предмет . Массачусетский технологический институт Пресс; ISBN   0-262-67001-1 . Самое близкое к философскому трактату произведение Куайна. Ч. 2 устанавливает неопределенность тезиса о переводе .
  • 1969 (1963). Теория множеств и ее логика . Гарвардский университет. Нажимать.
  • 1966. Избранные статьи по логике . Нью-Йорк: Рэндом Хаус.
  • 1976 (1966). Пути парадокса . Гарвардский университет. Нажимать.
  • 1969 Онтологическая относительность и другие очерки . Колумбийский университет. Нажимать. ISBN   0-231-08357-2 . Содержит главы по онтологической относительности , натурализованной эпистемологии и естественным видам .
  • 1970 (2-е изд., 1978). С Дж. С. Уллианом. Сеть убеждений . Нью-Йорк: Рэндом Хаус.
  • 1986 (1970). Философия логики . Гарвардский университет. Нажимать.
  • 1974 (1971). Корни ссылки . Издательская компания «Открытый суд» ISBN   0-8126-9101-6 Куайна (разработан на основе лекций по Карусу ).
  • 1981. Теории и вещи . Гарвардский университет. Нажимать.
  • 1985. Время моей жизни: автобиография . Кембридж, MIT Press. ISBN   0-262-17003-5 .
  • 1987. Quiddities: Периодически философский словарь . Гарвардский университет. Нажимать. ISBN   0-14-012522-1 . Сочинение, состоящее из эссе, многие из которых имеют тонкий юмор, предназначено для читателей-непрофессионалов и очень раскрывает широту его интересов.
  • 1992 (1990). Стремление к Истине . Гарвардский университет. Нажимать. Краткий, живой синтез его мыслей для продвинутых студентов и обычных читателей, не обманутых его простотой. ISBN   0-674-73951-5 .
  • 1995. От стимула к науке . Гарвардский университет. Нажимать. ISBN   0-674-32635-0 .
  • 2004. Квинтэссенция: основные положения философии У. В. Куайна . Гарвардский университет. Нажимать.
  • 2008. Признания убежденного экстенционалиста и другие эссе . Гарвардский университет. Нажимать.

Важные статьи [ править ]

  • 1946, «Конкатенация как основа арифметики». Перепечатано в его «Избранных статьях по логике» . Гарвардский университет. Нажимать.
  • 1948, « О том, что есть », Обзор метафизики 2 (5) ( JSTOR ). Перепечатано в его книге «С логической точки зрения» 1953 года . Издательство Гарвардского университета. [55]
  • 1951, « Две догмы эмпиризма », The Philosophical Review 60 : 20–43. Перепечатано в его книге «С логической точки зрения» 1953 года . Издательство Гарвардского университета.
  • 1956, «Кванторы и пропозициональные установки», Журнал философии 53 . Перепечатано в его книге «Пути парадокса» 1976 года . Гарвардский университет. Пресса: 185–196.
  • 1969, «Натурализованная эпистемология» в «Онтологической относительности и других эссе» . Нью-Йорк: Издательство Колумбийского университета: 69–90.
  • «Истина по условностям», впервые опубликованная в 1936 году. Перепечатано в книге « Чтения по философскому анализу » под редакцией Герберта Фейгла и Уилфрида Селларса , стр. 250–273, Appleton-Century-Crofts , 1949.

Фильмография [ править ]

См. также [ править ]

Примечания [ править ]

  1. ^ Перейти обратно: а б Буэно, Отавио (2020). «Номинализм в философии математики» . Стэнфордская энциклопедия философии (изд. осени 2020 г.). Лаборатория метафизических исследований Стэнфордского университета.
  2. ^ «Научный реализм и антиреализм» . Интернет-энциклопедия философии .
  3. ^ «Прагматизм» . Интернет-энциклопедия философии .
  4. ^ Постон, Тед. «Фундационализм» . Интернет-энциклопедия философии .
  5. ^ Залта, Эдвард Н. (ред.). «Бихевиоризм» . Стэнфордская энциклопедия философии .
  6. ^ Перейти обратно: а б Хантер, Брюс (2021). «Кларенс Ирвинг Льюис» . Стэнфордская энциклопедия философии (изд. Весны 2021 г.). Лаборатория метафизических исследований Стэнфордского университета.
  7. ^ Уиллард Ван Орман Куайн (1983). «Глава 22: Новый взгляд на онтологию и идеологию» . Признания убежденного экстенционалиста: и другие эссе . Издательство Гарвардского университета. стр. 315 и далее . ISBN  0674030842 .
  8. ^ Куайн, Западная Вирджиния (1966). «Пути парадокса» . Пути парадокса и другие очерки . Нью-Йорк: Рэндом Хаус.
  9. ^ Перейти обратно: а б с д и О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. (октябрь 2003 г.), «Уиллард Ван Орман Куайн» , Архив истории математики MacTutor , Университет Сент-Эндрюс
  10. ^ Леманн-Хаупт, Кристофер (29 декабря 2000 г.). «У. В. Куайн, философ, анализировавший язык и реальность, умер в возрасте 92 лет» . Нью-Йорк Таймс . ISSN   0362-4331 . Проверено 21 ноября 2023 г.
  11. ^ Перейти обратно: а б Коливан, Марк, «Аргументы незаменимости в философии математики» , Стэнфордская энциклопедия философии (издание осенью 2004 г.), Эдвард Н. Залта (ред.).
  12. ^ Куайн, Западная Вирджиния (28 августа 2023 г.). «Мистер Стросон о логической теории» . Разум . 62 (248): 433–451. JSTOR   2251091 .
  13. ^ Перейти обратно: а б «Куайн, Уиллард Ван Орман: Философия науки» . Интернет-энциклопедия философии . 2009.
  14. ^ Перейти обратно: а б Гибсон-младший, Роджер Ф., изд. (29 марта 2004 г.). Кембриджский компаньон Куайна . Кембриджские спутники философии. Издательство Кембриджского университета. п. 1. дои : 10.1017/ccol0521630568 . ISBN  978-0-521-63056-6 .
  15. ^ Время моей жизни: автобиография , с. 14.
  16. ^ Куайн, Уиллард Ван Орман; Хан, Льюис Эдвин (1986). Философия У.В. Куайна . Открытый суд. п. 6. ISBN  978-0812690101 . На третьем году обучения в средней школе я часто гулял со своими новыми ямайскими друзьями Фредом и Гарольдом Кэссиди, пытаясь обратить их из епископальной веры в атеизм.
  17. ^ Боррадори, Джованна (1994). Американский философ: беседы с Куайном, Дэвидсоном, Патнэмом, Нозиком, Данто, Рорти, Кэвеллом, Макинтайром, Куном . Издательство Чикагского университета. стр. 30–31. ISBN  978-0-226-06647-9 .
  18. The Wall Street Journal , некролог У. В. Куайну – 4 января 2001 г.
  19. ^ Quiddities: Периодически философский словарь , статья о толерантности (стр. 206–208).
  20. ^ «Парадоксы изобилия» в «Теориях и вещах» , с. 197.
  21. ^ Время моей жизни: автобиография , стр. 352–353.
  22. ^ «Путеводитель по записям Центра перспективных исследований, 1958–1969». Архивировано 14 марта 2017 года в Wayback Machine . Везелийский университет. Wesleyan.edu. По состоянию на 8 марта 2010 г.
  23. ^ «Почетный доктор – Уппсальский университет, Швеция» . 9 июня 2023 г.
  24. ^ Куайн, Уиллард Ван Орман (2013). Слово и предмет . Массачусетский технологический институт Пресс. дои : 10.7551/mitpress/9636.001.0001 . ISBN  978-0-262-31279-0 .
  25. ^ «Уиллард ван Орман Куайн; известный философ» . Лос-Анджелес Таймс . 31 декабря 2000 г.
  26. ^ Пакалук, Майкл (1989). «Лекции Куайна о Юме 1946 года». Журнал истории философии . 27 (3): 445–459. дои : 10.1353/hph.1989.0050 . S2CID   171052872 .
  27. ^ Нельсон Гудман и WVO Куайн, «Шаги к конструктивному номинализму» , Журнал символической логики , 12 (1947): 105–122.
  28. ^ Армстронг, DM (2010). Очерк систематической метафизики . Оксфорд: Издательство Оксфордского университета. п. 2. ISBN  9780199655915 .
  29. ^ ван Инваген, Питер; Циммерман, Дин В. (2008). Метафизика: большие вопросы (2-е изд. и расширенное изд.). Молден, Массачусетс: Блэквелл. п. 28-29. ISBN  978-1-4051-2586-4 .
  30. ^ ван Инваген, Питер; Циммерман, Дин В. (2008). Метафизика: большие вопросы (2-е изд. и расширенное изд.). Молден, Массачусетс: Блэквелл. п. 31. ISBN  978-1-4051-2586-4 .
  31. ^ ван Инваген, Питер; Циммерман, Дин В. (2008). Метафизика: большие вопросы (2-е изд. и расширенное изд.). Молден, Массачусетс: Блэквелл. п. 31-32. ISBN  978-1-4051-2586-4 .
  32. ^ Фрост-Арнольд, Грег (2013). Карнап, Тарский и Куайн в Гарварде: беседы о логике, математике и науке . Чикаго: Открытый суд. п. 89. ИСБН  9780812698374 .
  33. ^ Куайн, Западная Вирджиния (1961). С логической точки зрения: Девять логико-философских очерков, второе исправленное издание . Книги Харпер. Издательство Гарвардского университета. п. 22. ISBN  978-0-674-32351-3 .
  34. ^ Правиц, Даг (1994). «Куайн и верификационизм» . Расследование . 37 (4): 487–494. дои : 10.1080/00201749408602369 . ISSN   0020-174X .
  35. ^ Перейти обратно: а б с Боррадори, Джованна (1994). Американский философ: беседы с Куайном, Дэвидсоном, Патнэмом, Нозиком, Данто, Рорти, Кэвеллом, Макинтайром, Куном . Издательство Чикагского университета. п. 35. ISBN  978-0-226-06647-9 .
  36. ^ Куайн, Западная Вирджиния (1961). С логической точки зрения: Девять логико-философских очерков, второе исправленное издание . Книги Харпер. Издательство Гарвардского университета. стр. 22–23, 28. ISBN.  978-0-674-32351-3 .
  37. ^ Патнэм, Хилари (март 1974 г.). «Опровержение конвенционализма». Нус . 8 (1): 25–40. дои : 10.2307/2214643 . JSTOR   2214643 . Перепечатано в Патнэм, Хилари (1979). «Глава 9: Опровержение конвенционализма» . Философские статьи; Том 2: Разум, язык и реальность . Издательство Кембриджского университета. стр. 153–191. ISBN  0521295513 . Цитата на стр. 159.
  38. ^ WVO Куайн, « О том, что есть », Обзор метафизики 2 (5), 1948.
  39. ^ Чеслав Леевский, «Логика и существование». Британский журнал философии науки , Vol. 5 (1954–1955), стр. 104–119.
  40. ^ Крейг, Эдвард (1996). «Онтологическое обязательство». Философская энциклопедия Рутледжа . Рутледж.
  41. ^ Саймонс, Питер М. «Онтология» . Британская энциклопедия . Проверено 13 декабря 2020 г.
  42. ^ Перейти обратно: а б с Брикер, Филипп (2016). «Онтологическое обязательство» . Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 13 декабря 2020 г.
  43. ^ Магнус, доктор медицинских наук; Итикава, Джонатан Дженкинс (2020). «V. Логика первого порядка». Форалл X (изд. UBC). Creative Commons: Attribution-ShareAlike 3.0.
  44. ^ Шаффер, Джонатан (2009). «На каком основании и что». Метаметафизика: Новые очерки оснований онтологии . Издательство Оксфордского университета. стр. 347–383.
  45. ^ Перейти обратно: а б Куайн, Уиллард Ван Орман (1948). «О том, что есть» . Обзор метафизики . 2 (5): 21–38.
  46. ^ Инваген, Питер ван (2004). «Теория свойств». Оксфордские исследования по метафизике, Том 1 . Кларендон Пресс. стр. 107–138.
  47. ^ Капельнер, Жолт-Кристоф (2015). «3. Квиновская метаонтология». Примирение кинийской и неоаристотелевской метаонтологии (PDF) .
  48. ^ Перейти обратно: а б Патнэм, Х. Математика, материя и метод. Философские статьи , том. 1. Кембридж: Издательство Кембриджского университета, 1975. 2-е место. изд., 1985.
  49. ^ «Натурализм в эпистемологии» . Натурализованная эпистемология . Стэнфорд.edu . Лаборатория метафизических исследований Стэнфордского университета. 2017.
  50. ^ Куайн, Уиллард Ван Орман (1969). Онтологическая относительность и другие очерки . Издательство Колумбийского университета. стр. 82–83. ISBN  0-231-08357-2 .
  51. ^ «Натурализованная эпистемология» . Стэнфордская энциклопедия философии. Платон.stanford.edu. 5 июля 2001 г. По состоянию на 8 марта 2010 г.
  52. ^ К. Молер. «Экзистенциальные комиксы: Наблюдение» . Экзистенциальные комиксы . Проверено 24 ноября 2014 г.
  53. ^ «Пантеон скептиков» . CSI . Комитет скептических расследований . Архивировано из оригинала 31 января 2017 года . Проверено 30 апреля 2017 г.
  54. ^ Черч, Алонзо (1935). «Обзор: Система логистики Уилларда Ван Ормана Куайна» (PDF) . Бык. амер. Математика. Соц . 41 (9): 598–603. дои : 10.1090/s0002-9904-1935-06146-4 .
  55. ^ В этой статье Куайн явно связал каждую из трёх основных средневековых онтологических позиций, а именно реализм / концептуализм / номинализм , с одной из трёх доминирующих школ в современной философии математики: логицизмом / интуиционизмом / формализмом соответственно.

Дальнейшее чтение [ править ]

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 922843c82752877fa13362f94139ac83__1717156200
URL1:https://arc.ask3.ru/arc/aa/92/83/922843c82752877fa13362f94139ac83.html
Заголовок, (Title) документа по адресу, URL1:
Willard Van Orman Quine - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)