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

Уиллард Ван Орман Куайн
Куайн в 1980 году
Рожденный	( 1908-06-25 ) 25 июня 1908 г. Акрон, Огайо , США
Умер	25 декабря 2000 г. (25 декабря 2000 г.) (92 года) Бостон , Массачусетс , США
Образование	Оберлинский колледж ( бакалавр ) Гарвардский университет ( доктор философии )
Супруги	Наоми Клейтон ( м. 1932; разд. 1947) Марджори Бойнтон ( м. 1948; умер в 1998 г.)
Награды	Премия Рольфа Шока в области логики и философии (1993) Киотская премия (1996)
Эра	Философия 20-го века
Область	Западная философия
Школа	Аналитический Математический номинализм (1947) Математический квазиэмпиризм (1960) Имманентный реализм Неопрагматизм Эмпиризм Антифундационализм Логический бихевиоризм
Учреждения	Гарвардский университет
Диссертация	Логика последовательностей: обобщение Principia Mathematica (1932)
Докторантура	Альфред Норт Уайтхед
Другие научные консультанты	К.И. Льюис
Докторанты	Дэвид Льюис , Гилберт Харман , Дагфинн Фёллесдал , Хао Ван , Бертон Дребен , Чарльз Парсонс , Джон Майхилл , Роберт МакНотон
Другие известные студенты	Дональд Дэвидсон , Дэниэл Деннетт
Основные интересы	Логика , онтология , эпистемология , философия языка , философия сознания , философия математики , философия науки , теория множеств
Известные идеи	показывать Список New Foundations, abstract objects, indeterminacy of translation (holophrastic indeterminacy, inscrutability of reference, ontological relativity, gavagai), radical translation, referential transparency, naturalized epistemology, meta-ontology, ontological/ideological commitment, natural kind, semantic ascent, Quine's paradox, Duhem–Quine thesis, Quine–Putnam indispensability thesis, semantic holism (confirmation holism, web of belief, hold come what may), extensionalism, problem of empty names, propositional attitude, two dogmas of empiricism, principle of charity, cognitive synonymy, observational statement, mathematical quasi-empiricism, Quine–McCluskey algorithm, Quine–Morse set theory, vivid designator, predicate functor logic, Quine quotation, Quine corners, Quine atom, Plato's beard, existential generalization and universal instantiation, veridical vs. falsidical paradoxes

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

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

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

Биография

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

Образование

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

Вторая мировая война

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

Персональный

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

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

Гарвард

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

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

Работа

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

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

Логика

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

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

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

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

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

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

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

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

Теория множеств

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

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

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

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

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

Метафизика

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

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

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

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

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

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

Смотрите также: Две догмы эмпиризма.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Эпистемология

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

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

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

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

В популярной культуре

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

Библиография

Избранные книги

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

Фильмография

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

См. также

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

Дальнейшее чтение

• Гибсон, Роджер Ф. , изд. (2004). Кембриджский компаньон Куайна . Издательство Кембриджского университета . ISBN  0521639492 .
• Гибсон, Роджер Ф. (1988). Философия В. В. Куайна: разъяснительное эссе . Тампа: Университет Южной Флориды .
• Гибсон, Роджер Ф. (1988). Просвещенный эмпиризм: исследование теории познания В.В. Куайна . Тампа: Университет Южной Флориды .
• Гибсон, Роджер Ф. (2004). Квинтэссенция: основные положения философии У. В. Куайна . Издательство Гарвардского университета .
• Гибсон, Роджер Ф.; Барретт Р., ред. (1990). Перспективы Куайна . Оксфорд: Издательство Блэквелл .
• Гоше, Поль , 1978. Куайн в перспективе , Париж, Фламмарион.
• Годфри-Смит, Питер , 2003. Теория и реальность: введение в философию науки .
• Граттан-Гиннесс, Айвор , 2000. В поисках математических корней 1870–1940 . Издательство Принстонского университета.
• Грайс, Пол и Питер Стросон . «В защиту догмы». Философское обозрение 65 (1965).
• Хан, Л.Е., и Шилпп, Пенсильвания, ред., 1986. Философия WVO Куайна (Библиотека живых философов). Открытый суд.
• Кёлер, Дитер, 1999/2003. Сенсорные стимулы, язык и опыт: исследование кинанской эпистемологии . доктор философии диссертация, ун. Гейдельберга.
• Макфарлейн, Алистер (март – апрель 2013 г.). «ВВО Куайн (1908–2000)». Философия сейчас . 95 : 35–36.
• Мюррей Мерфи , Развитие философии Куайна (Heidelberg, Springer, 2012) (Бостонские исследования в области философии науки, 291).
• Оренштейн, Алекс (2002). У. В. Куайн . Издательство Принстонского университета.
• Патнэм, Хилари . «Величайший логический позитивист». Перепечатано в «Реализме с человеческим лицом» , изд. Джеймс Конант. Кембридж, Массачусетс: Издательство Гарвардского университета, 1990.
• Россер, Джон Баркли , «Аксиома бесконечности в новых основаниях Куайна», Журнал символической логики 17 (4): 238–242, 1952.
• Верхаег, Сандер (2018). Работа изнутри: природа и развитие натурализма Куайна . Издательство Оксфордского университета.

Внешние ссылки

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