Голубая и коричневая книги. Предварительные материалы к «Философским исследованиям»

(d) Наше стремление к обобщению имеет и другой источник — увлечение методом науки. Я имею в виду метод сведения объяснения природных явлений к наименьшему возможному числу примитивных естественных законов; а в математике — унификация трактовки различных тем посредством обобщения. У философов перед глазами постоянно находится метод науки, и они испытывают непреодолимый соблазн задавать вопросы и отвечать на них так, как это делает наука. Эта тенденция есть подлинный источник метафизики, и она заводит философа в полную темноту. Я хочу сказать здесь, что нашей работой никогда не должно быть сведение чего-то к чему-то или объяснение чего-то. Философия на самом деле является «чисто дескриптивной». (Обдумайте вопросы типа: «Существуют ли чувственные данные?», и спросите себя: «Какой метод определяет этот вопрос? Интроспекция?».)

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

Установка на более общее и более частное в логике связана с употреблением слова «вид», что приводит к путанице. Мы говорим о видах чисел, видах пропозиций, видах доказательств; а также о видах яблок, видах бумаги и т. д. В одном смысле вид определяют свойства вроде сладости, твёрдости и т. д. В другом смысле различные виды — это различные грамматические структуры. Трактат по помологии может быть назван неполным, если существуют виды яблок, о которых он не упоминает. Здесь у нас есть стандарт полноты в природе. Предположим, с другой стороны, что существует игра, похожая на игру в шахматы, но более простая, без пешек. Назвали бы мы эту игру неполной? Или назвали бы мы игру более полной, чем шахматы, если бы она каким-то образом походила на шахматы, но содержала новые элементы? Презрение в логике к тому, что кажется менее общим случаем, возникает из идеи, что он является неполным. На самом деле, говорить об арифметике кардинальных чисел как о чем-то частном в противоположность чему-то более общему — это недоразумение. Арифметика кардинальных чисел не выглядит неполной, так же как и арифметика конечных кардинальных чисел. (Между логическими формами нет таких тонких различий, как между вкусом яблок разных сортов.)

Изучая грамматику, например, слов «желание», «мышление», «понимание», «значение», мы едва ли удовлетворились бы лишь описанием различных случаев желания, мышления и т. д. Если бы кто-то сказал: «Это, разумеется, не всё, что называют „желанием“», — мы бы ответили: «Конечно, нет, но, если вам угодно, вы можете сконструировать более сложные случаи». И, наконец, не существует одного определённого класса особенностей, которые характеризуют все случаи желания (по крайней мере, в обычном употреблении этого слова). Если, с другой стороны, вы хотите дать определение желания, т. е. очертить четкую границу, тогда вы вольны очерчивать её так, как вам угодно; и эта граница никогда полностью не совпадёт с реальным употреблением, поскольку это употребление не имеет чёткой границы.

Философское исследование сковывала идея о том, что для понимания значения общего термина нужно найти общий элемент во всех его употреблениях; ибо она не только не вела ни к какому результату, но также заставляла философа отбросить как не относящиеся к делу конкретные случаи, которые одни только и могли помочь ему понять употребление общего термина. Когда Сократ задаёт вопрос: «Что такое знание?», — он не рассматривает перечисление случаев знания даже как предварительный ответ[27]. Если бы я хотел понять, какого рода вещью является арифметика, я, действительно, был бы вполне удовлетворён исследованием случая арифметики конечных кардинальных чисел. Ибо

(a) это привело бы меня ко все более сложным случаям,

(b) арифметика конечных кардинальных чисел не является неполной, она не содержит пробелов, которые заполнялись бы потом остальной частью арифметики.