Новая загадка индукции была представлена Нельсоном Гудманом в работе «Факт, вымысел и прогноз» как преемник оригинальной проблемы Юма . Она представляет логические предикаты grue и bleen , которые необычны из-за их зависимости от времени. Многие пытались решить новую загадку на этих условиях, но Хилари Патнэм и другие утверждали, что такая зависимость от времени зависит от принятого языка, и в некоторых языках это в равной степени верно для естественно звучащих предикатов, таких как «зеленый». Для Гудмана они иллюстрируют проблему проецируемых предикатов и, в конечном счете, какие эмпирические обобщения являются законоподобными , а какие нет. [1] [2] Конструкция и использование Гудманом grue и bleen иллюстрируют, как философы используют простые примеры в концептуальном анализе .
Гудман определил «grue» относительно произвольного, но фиксированного времени t : [a] объект является grue тогда и только тогда, когда он наблюдается до t и является зеленым, или в противном случае не наблюдается и является синим. Объект является «bleen» тогда и только тогда, когда он наблюдается до t и является синим, или в противном случае не наблюдается и является зеленым. [3]
Для некоторого произвольного будущего времени t , скажем, 1 января 2034 года, для всех зеленых вещей, наблюдаемых до t , таких как изумруды и хорошо политая трава, применяются оба предиката green и grue . Аналогично для всех синих вещей, наблюдаемых до t , таких как синие птицы или синие цветы , применяются оба предиката blue и bleen . Однако 2 января 2034 года изумруды и хорошо политая трава являются bleen , а синие птицы или синие цветы являются grue . Предикаты grue и bleen не являются видами предикатов, используемых в повседневной жизни или в науке, но они применяются точно так же, как предикаты green и blue вплоть до некоторого будущего времени t . С точки зрения наблюдателей до времени t неопределенно, какие предикаты являются проецируемыми в будущее ( зеленый и синий или grue и bleen ).
В этом разделе излагается новая загадка индукции Гудмена, чтобы задать контекст для введения им предикатов grue и bleen и тем самым проиллюстрировать их философское значение . [2] [4]
Гудман формулирует проблему индукции Юма как проблему обоснованности наших предсказаний . Поскольку предсказания касаются того, что еще предстоит наблюдать, и поскольку нет необходимой связи между тем, что наблюдалось, и тем, что будет наблюдаться, нет и объективного обоснования для этих предсказаний. Дедуктивная логика не может использоваться для вывода предсказаний о будущих наблюдениях на основе прошлых наблюдений, поскольку для таких выводов не существует действительных правил дедуктивной логики. Ответ Юма состоял в том, что наблюдения одного вида событий, следующих за другим видом событий, приводят к привычкам регулярности (т. е. связыванию одного вида событий с другим видом). Предсказания затем основываются на этих регулярностях или привычках ума.
Гудман считает ответ Юма серьезным. Он отвергает возражения других философов о том, что Юм просто объясняет происхождение наших предсказаний, а не их обоснование. Он считает, что Юм выявил нечто более глубокое. Чтобы проиллюстрировать это, Гудман обращается к проблеме обоснования системы правил дедукции . Для Гудмана обоснованность дедуктивной системы оправдывается ее соответствием хорошей дедуктивной практике. Обоснование правил дедуктивной системы зависит от наших суждений о том, следует ли отвергать или принимать конкретные дедуктивные выводы. Таким образом, для Гудмана проблема индукции растворяется в той же проблеме, что и обоснование дедуктивной системы, и хотя, по мнению Гудмана, Юм был на правильном пути с привычками ума, проблема сложнее, чем осознавал Юм.
В контексте обоснования правил индукции это становится проблемой подтверждения обобщений для Гудмена. Однако подтверждение — это не проблема обоснования, а проблема точного определения того, как доказательства подтверждают обобщения. Именно с этим поворотом grue и bleen играют свою философскую роль в представлении Гудмена об индукции.
Новая загадка индукции для Гудмена основана на нашей способности различать законоподобные и незаконоподобные обобщения. Законоподобные обобщения могут быть подтверждены, а незаконоподобные — нет. Законоподобные обобщения необходимы для предсказаний. Используя примеры из Гудмена, обобщение о том, что вся медь проводит электричество, может быть подтверждено конкретным куском меди, тогда как обобщение о том, что все люди в данной комнате — третьи сыновья, не является законоподобным , а случайным. Обобщение о том, что вся медь проводит электричество, является основой для предсказания того, что этот кусок меди будет проводить электричество. Однако обобщение о том, что все люди в данной комнате — третьи сыновья, не является основой для предсказания того, что данный человек в этой комнате — третий сын.
Таким образом, вопрос заключается в том, что делает некоторые обобщения законоподобными , а другие — случайными. Для Гудмана это становится проблемой определения того, какие предикаты являются проекционными (т. е. могут использоваться в законоподобных обобщениях, которые служат предсказаниями), а какие — нет. Гудман утверждает, что именно здесь и лежит фундаментальная проблема. Эта проблема известна как парадокс Гудмана : из очевидно веских доказательств того, что все исследованные до сих пор изумруды были зелеными, можно индуктивно заключить, что все будущие изумруды будут зелеными. Однако является ли это предсказание законоподобным или нет, зависит от предикатов, используемых в этом предсказании. Гудман заметил, что (предполагая, что t еще не прошло) одинаково верно, что каждый наблюдаемый изумруд является grue . Таким образом, с помощью тех же доказательств мы можем заключить, что все будущие изумруды будут grue . Новая проблема индукции становится проблемой различения проекционных предикатов, таких как green и blue, от непроецируемых предикатов, таких как grue и bleen .
Юм, утверждает Гудман, упустил эту проблему. Мы не по привычке формируем обобщения из всех ассоциаций событий, которые мы наблюдали, а только из некоторых из них. Все прошлые наблюдаемые изумруды были зелеными, и мы сформировали привычку думать, что следующий изумруд будет зеленым, но они были в равной степени grue, и мы не формируем привычек относительно grueness. Законоподобные предсказания (или проекции) в конечном счете различаются предикатами, которые мы используем. Решение Гудмана состоит в том, чтобы утверждать, что законоподобные предсказания основаны на проецируемых предикатах, таких как green и blue , а не на непроецируемых предикатах, таких как grue и bleen , и то, что делает предикаты проецируемыми, — это их укрепление , которое зависит от их успешных прошлых проекций. Таким образом, grue и bleen функционируют в аргументах Гудмана, чтобы как проиллюстрировать новую загадку индукции, так и проиллюстрировать различие между проецируемыми и непроецируемыми предикатами через их относительное укрепление.
Один из ответов — обратиться к искусственно дизъюнктивному определению grue. Понятие предикатного закрепления не требуется. Гудман сказал, что это не удается. Если мы возьмем grue и bleen как примитивные предикаты, мы можем определить green как « grue, если впервые наблюдался до t, и bleen в противном случае», и то же самое для blue. Отрицать приемлемость этого дизъюнктивного определения green было бы предвзятостью .
Другое предлагаемое решение, не требующее закрепления предиката, заключается в том, что « x is grue» является не только предикатом x , но и предикатом x и времени t — мы можем знать, что объект зеленый, не зная времени t , но мы не можем знать, что он grue. Если это так, мы не должны ожидать, что « x is grue» останется истинным при изменении времени. Однако можно спросить, почему « x is green» не считается предикатом конкретного времени t — более общее определение green не требует упоминания времени t , но определение grue требует. Гудман также рассматривает и отвергает это предлагаемое решение как вызывающее вопросы , потому что blue можно определить в терминах grue и bleen , которые явно относятся ко времени. [5]
Ричард Суинберн обходит возражение, что green может быть переопределен в терминах grue и bleen, проводя различие, основанное на том, как мы проверяем применимость предиката в конкретном случае. Он различает качественные и локационные предикаты. Качественные предикаты, такие как green, можно оценить, не зная пространственного или временного отношения x к конкретному времени, месту или событию. Локационные предикаты, такие как grue , нельзя оценить, не зная пространственного или временного отношения x к конкретному времени, месту или событию, в данном случае, наблюдается ли x до или после времени t . Хотя green можно дать определение в терминах локационных предикатов grue и bleen , это не имеет отношения к тому факту, что green соответствует критерию качественного предиката, тогда как grue является просто локационным. Он приходит к выводу, что если некоторые рассматриваемые x — например, изумруды — удовлетворяют как качественному, так и локальному предикату, но проецирование этих двух предикатов дает противоречивые предсказания, а именно, будут ли изумруды, рассматриваемые после времени t , казаться суровыми или зелеными, мы должны проецировать качественный предикат, в данном случае зеленый. [6]
Рудольф Карнап ответил [7] на статью Гудмена 1946 года. Подход Карнапа к индуктивной логике основан на понятии степени подтверждения c ( h , e ) данной гипотезы h данным свидетельством e . [b] И h и e являются логическими формулами, выраженными на простом языке L , который позволяет
Вселенная дискурса состоит из счетного множества индивидуумов, каждый из которых обозначается своим собственным постоянным символом; такие индивидуумы должны рассматриваться как позиции («подобно точкам пространства-времени в нашем реальном мире»), а не как протяженные физические тела. [9] Описание состояния — это (обычно бесконечное) соединение, содержащее все возможные основные атомарные предложения, как отрицаемые, так и неотрицаемые; такое соединение описывает возможное состояние всей вселенной. [10] Карнап требует следующих семантических свойств:
Карнап различает три вида свойств:
Чтобы прояснить эту таксономию, пусть x будет переменной, а a — постоянным символом; тогда примером 1. может быть « x — синий или x — нетеплый», примером 2. « x = a » и примером 3. « x — красный и не x = a ».
Основываясь на своей теории индуктивной логики, изложенной выше, Карнап формализует понятие Гудмана о проецируемости свойства W следующим образом: чем выше относительная частота W в наблюдаемой выборке, тем выше вероятность того, что ненаблюдаемый индивидуум обладает свойством W. Карнап предлагает «в качестве предварительного ответа» Гудману, что все чисто качественные свойства проецируемы, все чисто позиционные свойства непроецируемы, а смешанные свойства требуют дальнейшего исследования. [16]
Уиллард Ван Орман Куайн обсуждает подход, при котором в качестве проекционных предикатов рассматриваются только « естественные виды ». [17] Сначала он связывает парадокс Гудмена grue с парадоксом ворона Гемпеля , определяя два предиката F и G как (одновременно) проекционные, если все их общие экземпляры учитываются для подтверждения утверждения «каждый F есть G ». [18] Затем парадокс Гемпеля просто показывает, что дополнения проекционных предикатов (такие как «является вороном» и «является черным») не обязательно должны быть проекционными, [g] в то время как парадокс Гудмена показывает, что «является зеленым» проекционно, а «является grue» — нет.
Далее Куайн сводит проекцию к субъективному понятию сходства . Два зеленых изумруда обычно считаются более похожими, чем два суровых, если только один из них зеленый. Наблюдение за зеленым изумрудом заставляет нас ожидать похожего наблюдения (т. е. зеленого изумруда) в следующий раз. Зеленые изумруды являются естественным видом , а суровые — нет. Куайн исследует «сомнительный научный статус общего понятия сходства или вида». [19] Оба являются базовыми для мышления и языка, как и логические понятия, например, тождества , отрицания , дизъюнкции . Однако остается неясным, как соотнести логические понятия со сходством или видом ; [h] Поэтому Куайн пытается связать по крайней мере последние два понятия друг с другом.
Связь между сходством и видом
Предполагая, что существует только конечное число видов , понятие сходства можно определить через понятие вида : объект A более похож на B, чем на C , если A и B совместно принадлежат к большему количеству видов [i], чем A и C. [ 21] [j]
Наоборот, снова остается неясным, как определить вид по сходству . Определение, например, вида красных вещей как множества всех вещей, которые более похожи на фиксированный «парадигматический» красный объект, чем этот на другой фиксированный «фольгированный» некрасный объект (ср. левую картинку), не является удовлетворительным, поскольку степень общего сходства, включая, например, форму, вес, даст мало доказательств степени красноты. [21] (На картинке желтый перец можно считать более похожим на красный, чем на оранжевый.)
Альтернативный подход, вдохновленный Карнапом, определяет естественный вид как множество , члены которого более похожи друг на друга, чем каждый не-член похож хотя бы на одного члена. [22] [k] Однако Гудман [23] утверждал, что это определение сделало бы множество всех красных круглых вещей, красных деревянных вещей и круглых деревянных вещей (см. правую картинку) соответствующим предложенному определению естественного вида, [l] в то время как «конечно, это не то, что кто-либо подразумевает под видом». [m] [24]
Хотя ни одно из понятий сходства и вида не может быть определено другим, они, по крайней мере, изменяются вместе: если A переоценивается как более похожий на C, чем на B, а не наоборот, то назначение A , B , C видам будет переставлено соответствующим образом; и наоборот. [24]
Основная важность сходства и вида
В языке каждый общий термин обязан своей общностью некоторому сходству вещей, о которых идет речь . Обучение использованию слова зависит от двойного сходства, а именно между настоящими и прошлыми обстоятельствами, в которых слово было использовано, и между настоящими и прошлыми фонетическими высказываниями слова. [25]
Каждое разумное ожидание зависит от сходства обстоятельств, вместе с нашей склонностью ожидать, что схожие причины будут иметь схожие следствия. [19] Это включает в себя любой научный эксперимент, поскольку он может быть воспроизведен только при схожих, но не при полностью идентичных обстоятельствах. Уже известное высказывание Гераклита «Никто не входит в одну и ту же реку дважды» подчеркивало различие между схожими и идентичными обстоятельствами.
Генезис подобия и рода
В поведенческом смысле люди и другие животные имеют врожденный стандарт сходства. Это часть нашего животного права рождения, и характерно для животных в его отсутствии интеллектуального статуса, например, его чуждость математике и логике, [29] ср. пример с птицами.
Индукция сама по себе по сути является ожиданием животных или формированием привычки. Наглядное обучение [30] является случаем индукции, и притом на удивление удобным, поскольку интервал между качествами и видами у каждого человека достаточно похож на интервал между качествами и видами у его соседа. [31] Напротив, «грубая иррациональность нашего чувства подобия» дает мало оснований ожидать, что оно каким-то образом будет соответствовать неодушевленной природе, чего мы никогда не делали. [n] Почему индуктивно полученные теории об этом должны быть достоверными, является извечной философской проблемой индукции . Куайн, следуя Ватанабе , [32] предлагает теорию Дарвина в качестве объяснения: если врожденный интервал между качествами у людей является генно-связанной чертой, то интервал, который сделал для наиболее успешных индукций, будет иметь тенденцию преобладать посредством естественного отбора . [33] Однако это не может объяснить способность человека динамически совершенствовать свой интервал между качествами в ходе знакомства с новой областью. [o]
В своей книге «Витгенштейн о правилах и частном языке » Сол Крипке предложил связанный аргумент, который приводит к скептицизму относительно смысла, а не к скептицизму относительно индукции, как часть его личной интерпретации (прозванной некоторыми « Крипкенштейном » [34] ) аргумента частного языка . Он предложил новую форму сложения, которую он назвал квус , которая идентична «+» во всех случаях, за исключением тех, в которых любое из сложенных чисел равно или больше 57; в этом случае ответ будет 5, то есть:
Затем он спрашивает, как, учитывая некоторые очевидные обстоятельства, кто-то мог знать, что ранее, когда я думал, что имел в виду «+», я на самом деле не имел в виду квус . Затем Крипке выступает за интерпретацию Витгенштейна , утверждающего, что значения слов не являются индивидуально содержащимися ментальными сущностями.