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

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

Куайн ( / к ж aɪ п / ; известно приближенными , как «Ван», ^[9] 25 июня 1908 - 25 декабря 2000) был американский философ и логик в аналитической традиции , признается в качестве «одного из самые влиятельные философы ХХ века ». ^[10] С 1930 года и до своей смерти 70 лет спустя Куайн так или иначе был связан с Гарвардским университетом , сначала как студент, а затем как профессор. С 1956 по 1978 год он занимал кафедру философии Эдгара Пирса в Гарварде.

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

Его основные труды включают документы «о том , что Там есть», выявле Бертрана Рассела «s теории описаний и содержит известное изречение Куайна онтологических обязательств,„Чтобы быть это будет значение переменной “и" Две догмы эмпиризма "(1951), который атаковал традиционное аналитико-синтетическое различие и редукционизм, подрывая популярный тогда логический позитивизм , защищая вместо этого форму семантического холизма . К ним также относятся книги «Паутина веры» , пропагандирующая своего рода когерентизм , и « Слово и объект».(1960), которые развили эти позиции и представили знаменитый тезис Куайна о неопределенности перевода , отстаивая бихевиористскую теорию значения .

Опрос, проведенный в 2009 году среди философов-аналитиков, назвал Куайна пятым по значимости философом последних двух столетий. ^{[14] [15]} Он выиграл первую премию Шока в области логики и философии в 1993 году за «систематические и проницательные дискуссии о том, как изучение языка и общение основано на социально доступных доказательствах, и о последствиях этого для теорий знания и лингвистики. смысл." ^[16] В 1996 году он был награжден Киотской премией в области искусств и философии за «выдающийся вклад в прогресс философии в 20-м веке, предлагая многочисленные теории, основанные на глубоком понимании логики, эпистемологии , философии науки и философии языка. "^[17]

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

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

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

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

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

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

Личный [ править ]

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

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

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

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

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

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

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

Подобно логическим позитивистам, Куайн проявил мало интереса к философскому канону: только однажды он прочитал курс истории философии о Дэвиде Юме . ^{[ требуется разъяснение ]}

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

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

• Логика высшего порядка и теория множеств. Он назвал логику высшего порядка «замаскированной теорией множеств»;
• Многое из того, что Principia Mathematica включало в логику, не было логикой для Куайна.
• Формальные системы, включающие интенсиональные понятия, особенно модальность . Куайн был особенно враждебно к модальной логике с квантификацией , бой он в значительной степени потерял , когда Саул Крипка «s реляционная семантика стала канонической для модальных логик .

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

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

Математическая логика основана на преподавании Куайна в 30-40-х годах. Он показывает, что многое из того, что « Principia Mathematica» потребовалось сказать более 1000 страниц, можно сказать на 250 страницах. Доказательства краткие, даже загадочные. В последней главе, по теореме о неполноте Гёделя и теорему неопределимости Тарской , наряду со статьей Куайна (1946), стала стартовой площадкой для Смаллиан позже ясного изложения «s этих и связанных с ними результатов.

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

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

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

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

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

На протяжении своей карьеры Куайн предложил три варианта аксиоматической теории множеств, каждый из которых включает аксиому экстенсиональности :

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

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

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

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

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

Отказ от аналитического и синтетического различия [ править ]

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

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

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

Другой подход к возражению Куайна против аналитичности и синонимии вытекает из модального понятия логической возможности . Традиционный витгенштейновский взгляд на значение утверждал, что каждое значимое предложение связано с областью в «логическом пространстве». ^[31] Куайн считает понятие такого пространства проблематичным, утверждая, что нет различия между истинами, в которые повсеместно и с уверенностью верят, и теми, которые обязательно истинны.

Подтверждение холизма и онтологической относительности [ править ]

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

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

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

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

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

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

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

Любопытным в онтологической проблеме является ее простота. Его можно составить из трех англосаксонских односложных слов: «Что там?» Более того, на него можно ответить одним словом - «все», и каждый сочтет этот ответ верным. ^[32]

Более конкретно, спор идет,

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

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

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

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

Леевски также указывает, что свободная логика дополнительно может решить проблему пустого множества для таких операторов, как . Куайн считал проблему пустого множества нереальной, и Леевски оставался неудовлетворенным. ^[33]${\ Displaystyle \ forall x \, Fx \ rightarrow \ существует x \, Fx}$

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

Понятие онтологической приверженности играет центральную роль в вкладе Куайна в онтологию. ^{[34] [35]} Теория онтологически привязана к сущности, если эта сущность должна существовать, чтобы теория была истинной. ^[36] Куайн предположил, что лучший способ определить это - перевести рассматриваемую теорию в логику предикатов первого порядка . Особый интерес в этом переводе представляют логические константы, известные как кванторы существования (' ∃ '), значение которых соответствует выражениям типа «существует ...» или «для некоторых ...». Они используются для связывания переменных в выражении, следующем за квантификатором. ^[37]Тогда онтологические обязательства теории соответствуют переменным, связанным с экзистенциальными кванторами. ^[38] Например, предложение «Есть электроны» можно перевести как « ∃ x Electron ( x ) », в котором связанная переменная x простирается над электронами, что приводит к онтологической привязанности к электронам. ^[36] Этот подход резюмируется знаменитым изречением Куайна: «[t] o be должно быть значением переменной». ^[39] Куайн применил этот метод к различным традиционным спорам в онтологии. Например, он рассуждал из предложения «Есть простые числа от 1000 до 1010» к онтологической приверженности существованию чисел,т.е.реализм о числах. ^[39] Этот метод сам по себе недостаточен для онтологии, поскольку он зависит от теории, чтобы привести к онтологическим обязательствам. Куайн предложил основывать нашу онтологию на нашей лучшей научной теории. ^[36] Различные последователи метода Куайна решили применить его к различным областям, например к «повседневным представлениям, выраженным на естественном языке». ^{[40] [41]}

Аргумент незаменимости математического реализма [ править ]

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

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

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

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

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

Подобно тому, как Куайн оспаривал доминирующее разделение аналитического и синтетического, он также нацелился на традиционную нормативную эпистемологию . Согласно Куайну, традиционная эпистемология пыталась оправдать науку, но эта попытка (на примере Рудольфа Карнапа ) потерпела неудачу, и поэтому мы должны заменить традиционную эпистемологию эмпирическим исследованием того, какие сенсорные входы и какие теоретические результаты дают: ^[43] «Эпистемология или что-то в этом роде просто занимает свое место в качестве раздела психологии и, следовательно, естествознания. Она изучает природное явление, а именно физический человеческий субъект. Этому человеческому субъекту предоставляется определенный экспериментально контролируемый ввод - определенные закономерности. облучения в различных частотах, например - и в течение определенного времени субъект предоставляет в качестве вывода описание трехмерного внешнего мира и его истории. Связь между скудным вводом и обильным выводом - это соотношение, которое нам подсказывают учиться по тем же причинам, которые всегда побуждали эпистемологию: а именно, чтобы увидеть, как свидетельства соотносятся с теорией и каким образом теория природы превосходит любые доступные свидетельства ...Но заметное различие между старой эпистемологией и эпистемологическим предприятием в этом новом психологическом контексте состоит в том, что теперь мы можем свободно использовать эмпирическую психологию »(Quine, 1969: 82–83).

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

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

• Компьютерная программа , выход которого является его собственный исходный код называется « Куин » после того, как Куайна. Это использование было введено Дугласом Хофштадтером в его книге 1979 года « Гедель, Эшер, Бах: вечная золотая коса» .
• Куайн - повторяющийся персонаж веб-комикса « Existential Comics ». ^[45]
• Куайн был выбран для включения в «Пантеон скептиков» Комитета по расследованию скептиков, который отмечает вкладчиков в дело научного скептицизма . ^[46]
• Куайн был упомянут в сериале "Павлин" AP Bio.

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

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

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

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

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

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

• Брайан Мэджи (ведущий), Люди идей : "Идеи Куайна", BBC, 1978.
• Рудольф Фара (ведущий), В разговоре: У. В. Куайн (7 видеокассет), Philosophy International, Центр философии естественных и социальных наук, Лондонская школа экономики, 1994.

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

• Список американских философов

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

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

• Гибсон, Роджер Ф., изд. (2004). Кембриджский компаньон Куайна . Издательство Кембриджского университета . ISBN 0521639492.
• Гибсон, Роджер Ф. (1988). Философия В. В. Куайна: пояснительный очерк . Тампа: Университет Южной Флориды .
• Гибсон, Роджер Ф. (1988). Просвещенный эмпиризм: исследование теории познания В. В. Куайна . Тампа: Университет Южной Флориды .
• Гибсон, Роджер Ф. (2004). Квинтэссенция: Основные чтения из философии У. В. Куайна . Издательство Гарвардского университета .
• Гибсон, Роджер Ф .; Барретт Р., ред. (1990). Перспективы Куайна . Оксфорд: издательство Blackwell Publishing .
• Гоше, Поль , 1978. Куайн в перспективе , Париж, Фламмарион.
• Годфри-Смит, Питер , 2003. Теория и реальность: Введение в философию науки .
• Граттан-Гиннесс, Айвор , 2000. В поисках математических корней 1870–1940 . Издательство Принстонского университета.
• Грайс, Пол и Питер Стросоны . «В защиту догмы». Философское обозрение 65 (1965).
• Хан, Л. Е., и Шилпп, Пенсильвания, ред., 1986. Философия Куайна (Библиотека живых философов). Открытый суд.
• Келер, Дитер, 1999/2003. Sinnesreize, Sprache und Erfahrung: eine Studie zur Quineschen Erkenntnistheorie . Кандидат наук. диссертация, Univ. Гейдельберга.
• Макфарлейн, Алистер (март – апрель 2013 г.). "WVO Quine (1908-2000)". Философия сейчас . 95 : 35–36.
• Мюррей Мерфи , Развитие философии Куайна (Гейдельберг, Спрингер, 2012 г.) (Бостонские исследования в области философии науки, 291).
• Оренштейн, Алекс (2002). У. В. Куайн . Издательство Принстонского университета.
• Патнэм, Хилари . «Величайший логический позитивист». Перепечатано в реализме с человеческим лицом , под ред. Джеймс Конант. Кембридж, Массачусетс: Издательство Гарвардского университета, 1990.
• Россер, Джон Баркли , «Аксиома бесконечности в новых основах Куайна», Journal of Symbolic Logic 17 (4): 238–242, 1952.
• Valore, Paolo, 2001. Questioni di ontologia quineana , Milano: Cusi.

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

• WVQuine.org
• Уиллард Ван Орман Куайн в Стэнфордской энциклопедии философии
• «Отказ Куайна от аналитического / синтетического различия» . Интернет-энциклопедия философии .
• " Философия науки Куайна " в Интернет-энциклопедии философии
• Новые основы Куайна в Стэнфордской энциклопедии философии
• Уиллард Ван Орман Куайн на проекте « Математическая генеалогия»
• Некролог из The Guardian
• Резюме и объяснение "О том, что есть"
• «Две догмы эмпиризма»
• «О простых теориях сложного мира»
• Что такое онтология Куайна?