Опять же естественно предположить, рассмотрев иные примеры, что имя собственное может быть использовано для обозначения отдельных объектов. Мы предполагаем, что имеется более или менее устойчивое существо, называемое «Сократом», потому что, то же самое имя применяется к ряду случаев появления этого существа. Когда язык становится более абстрактным, в философию входит новое множество объектов, а именно таких, которые представляются абстрактными словами – универсалиями. Я не хочу утверждать, что не существует никаких универсалий, но имеется, конечно, много абстрактных слов, которые не обозначают отдельные универсалии – например, триангуляция и рациональность. В этом отношении язык вводит нас в заблуждение посредством словаря и синтаксиса. Мы должны быть настороже в обоих случаях, если не хотим, чтобы наша логика вела нас к ложной метафизике.
Синтаксис и словарь оказывают разное воздействие на философию. Словарь имеет наибольшее влияние на здравый смысл. Наоборот, здравый смысл может вынудить нас к появлению определенного словаря. Правда, это только отчасти верно. Слово сначала применяется к вещам, которые являются более или менее сходными, без какого-либо размышления о том, имеют ли они какие-либо моменты тождества. Но когда однажды используемые объекты фиксируются с помощью слова, то здравый смысл оказывает свое влияние с помощью слова и стремится предположить, что одно слово должно обозначать один объект, который будет универсальным в случае прилагательного или абстрактного слова. Поэтому влияние словаря приводит к роду платонического плюрализма вещей и идей.
Влияние синтаксиса в случае индоевропейских языков совсем иное. Почти любое суждение может быть представлено в форме, в которой оно имеет субъект и предикат, соединенные связкой. Естественно предположить, что каждый факт имеет соответствующую форму и состоит в наличии качества у субстанции. Это приводит, конечно, к монизму, поскольку факт, что там были различные субстанции (если это был факт), не будет иметь требуемую форму. Философы, как правило, считали себя свободными от такого рода влияния лингвистических форм, но мне кажется, что большинство из них ошибались в своей вере. Фактически в размышлениях об абстрактных вещах слова для абстракций являются не более абстрактными, чем обычные слова, и поэтому всегда легче думать о словах, чем о том, что они обозначают. Почти невозможно последовательно сопротивляться искушению думать о словах.
Те, кто не побежден субъектно-предикатной логикой, в состоянии сделать только один шаг дальше и допустить отношения с двумя терминами, такими, как «прежде и после», «больше и меньше», «справа и слева» Сам язык позволяет такое расширение субъектно-предикатной логики, так как мы говорим «А предшествует В», «А превосходит В» и так далее Легко показать, что факт, выраженный суждением такого рода, не может состоять из наличия качества у субстанции или наличия двух и более качеств у двух и более субстанций (См «Principia Mathematica», 214).
Расширение субъектно-предикатной логики, таким образом, справедливо, поскольку оно осуществимо, но дальнейшее расширение, очевидно, необходимо доказать с помощью подобной же аргументации. Насколько далеко необходимо подняться в последовательности трехчленных, четырехчленных, пятичленных. отношений, я не знаю. Но, конечно, следует выйти за рамки двухчленных отношений. В проективной геометрии, например, порядок точек на прямой или плоскости, пересекаемой прямой, требует четырехчленного отношения.
Самое неблагоприятное действие особенностей языка связано с прилагательными и отношениями. Все слова имеют тот же самый логический тип слово есть класс последовательных звуков или форм, соответственно тому, как они слышатся или пишутся. Но значения слов имеют различные типы, атрибуты (выражаемые прилагательными) имеют различные типы в зависимости от объектов, к которым они могут быть (истинно или ложно) приписаны; отношения (выражаемые предлогами, транзитивными глаголами или другим способом) имеют различные типы соответственно тем терминам или членам, связь между которыми они утверждают или отрицают.
Определение логического типа таково A и B имеют тот же самый логический тип, если и только если, при любом данном факте, в котором A является конституентом, существует соответствующий факт, который имеет B в качестве конституента и который получается либо путем замены A через B или же его отрицание.
Проиллюстрируем это. Сократ и Аристотель имеют тот же самый тип, потому что «Сократ был философом» и «Аристотель был философом» – оба являются фактами.
Сократ и Калигула также имеют тот же самый тип, потому что «Сократ был философом» и «Калигула не был философом» также представляют собой факты «Любить» и «убивать» относятся к тому же самому типу, потому что «Платон любил Сократа» и «Платон не убивал Сократа» оба суть факты. Формально следует из определения, что когда два слова имеют значения различного типа, тогда отношение этих слов к тому, что они обозначают, также различных типов. То есть существует не одно отношение значения между словами и тем, что они обозначают, а множество отношений значения, каждое различного логического типа, поскольку существуют логические типы среди объектов, для которых имеются слова. Этот факт – самый серьезный источник ошибок и путаницы в философии. В частности, он чрезвычайно затрудняет словесное выражение любой теории отношений, которая логически способна быть истинной, потому что язык не может сохранить различие типа между отношением и его терминами. Большинство аргументов за или против реальности отношений оказывалось несостоятельным благодаря этому источнику путаницы.
В этом пункте я предлагаю отклониться на момент и сказать кратко, насколько смогу, что я думаю об отношениях. Мои взгляды по вопросу об отношениях в прошлом были менее ясны, чем я думал, но они никоим образом не были такими, какие мои критики приписывают мне. Из-за недостатка ясности в собственных мыслях я не был в состоянии выразить их смысл. Вопрос об отношениях является трудным, и я далек от утверждения, что теперь способен разъяснить его. Но я думаю, что некоторые пункты мне ясны. В то время, когда я писал «Принципы математики», я еще не видел необходимости в логических типах. Доктрина типов глубоко повлияла на логику, и я считаю, она показывает, что в точности является правильным элементом в аргументации тех, кто сопротивляется «внешним» отношениям. Но будучи далека от усиления их основной позиции, доктрина типов, напротив, приводит к более полному и радикальному атомизму, чем любой иной, который я рассматривал как возможный двадцать лет назад. Вопрос об отношениях – один из наиболее важных, возникших в философии, так как большинство других вопросов связаны с ним монизм и плюрализм; является ли что-либо полностью истинным, кроме Целостной истины, или целиком реальным, кроме полной реальности; идеализм и реализм в некоторых их формах; возможно ли существование самой философии как предмета отличного от науки и обладающего собственным методом. Будет достаточно, чтобы сделать мое намерение ясным, если я приведу отрывок из книги Брэдли «Очерки об истине и реальности», не в целях спора, а потому, что в нем поднимается именно та проблема, которую нужно поставить.
1 2 3 4 5 6 7 8
Синтаксис и словарь оказывают разное воздействие на философию. Словарь имеет наибольшее влияние на здравый смысл. Наоборот, здравый смысл может вынудить нас к появлению определенного словаря. Правда, это только отчасти верно. Слово сначала применяется к вещам, которые являются более или менее сходными, без какого-либо размышления о том, имеют ли они какие-либо моменты тождества. Но когда однажды используемые объекты фиксируются с помощью слова, то здравый смысл оказывает свое влияние с помощью слова и стремится предположить, что одно слово должно обозначать один объект, который будет универсальным в случае прилагательного или абстрактного слова. Поэтому влияние словаря приводит к роду платонического плюрализма вещей и идей.
Влияние синтаксиса в случае индоевропейских языков совсем иное. Почти любое суждение может быть представлено в форме, в которой оно имеет субъект и предикат, соединенные связкой. Естественно предположить, что каждый факт имеет соответствующую форму и состоит в наличии качества у субстанции. Это приводит, конечно, к монизму, поскольку факт, что там были различные субстанции (если это был факт), не будет иметь требуемую форму. Философы, как правило, считали себя свободными от такого рода влияния лингвистических форм, но мне кажется, что большинство из них ошибались в своей вере. Фактически в размышлениях об абстрактных вещах слова для абстракций являются не более абстрактными, чем обычные слова, и поэтому всегда легче думать о словах, чем о том, что они обозначают. Почти невозможно последовательно сопротивляться искушению думать о словах.
Те, кто не побежден субъектно-предикатной логикой, в состоянии сделать только один шаг дальше и допустить отношения с двумя терминами, такими, как «прежде и после», «больше и меньше», «справа и слева» Сам язык позволяет такое расширение субъектно-предикатной логики, так как мы говорим «А предшествует В», «А превосходит В» и так далее Легко показать, что факт, выраженный суждением такого рода, не может состоять из наличия качества у субстанции или наличия двух и более качеств у двух и более субстанций (См «Principia Mathematica», 214).
Расширение субъектно-предикатной логики, таким образом, справедливо, поскольку оно осуществимо, но дальнейшее расширение, очевидно, необходимо доказать с помощью подобной же аргументации. Насколько далеко необходимо подняться в последовательности трехчленных, четырехчленных, пятичленных. отношений, я не знаю. Но, конечно, следует выйти за рамки двухчленных отношений. В проективной геометрии, например, порядок точек на прямой или плоскости, пересекаемой прямой, требует четырехчленного отношения.
Самое неблагоприятное действие особенностей языка связано с прилагательными и отношениями. Все слова имеют тот же самый логический тип слово есть класс последовательных звуков или форм, соответственно тому, как они слышатся или пишутся. Но значения слов имеют различные типы, атрибуты (выражаемые прилагательными) имеют различные типы в зависимости от объектов, к которым они могут быть (истинно или ложно) приписаны; отношения (выражаемые предлогами, транзитивными глаголами или другим способом) имеют различные типы соответственно тем терминам или членам, связь между которыми они утверждают или отрицают.
Определение логического типа таково A и B имеют тот же самый логический тип, если и только если, при любом данном факте, в котором A является конституентом, существует соответствующий факт, который имеет B в качестве конституента и который получается либо путем замены A через B или же его отрицание.
Проиллюстрируем это. Сократ и Аристотель имеют тот же самый тип, потому что «Сократ был философом» и «Аристотель был философом» – оба являются фактами.
Сократ и Калигула также имеют тот же самый тип, потому что «Сократ был философом» и «Калигула не был философом» также представляют собой факты «Любить» и «убивать» относятся к тому же самому типу, потому что «Платон любил Сократа» и «Платон не убивал Сократа» оба суть факты. Формально следует из определения, что когда два слова имеют значения различного типа, тогда отношение этих слов к тому, что они обозначают, также различных типов. То есть существует не одно отношение значения между словами и тем, что они обозначают, а множество отношений значения, каждое различного логического типа, поскольку существуют логические типы среди объектов, для которых имеются слова. Этот факт – самый серьезный источник ошибок и путаницы в философии. В частности, он чрезвычайно затрудняет словесное выражение любой теории отношений, которая логически способна быть истинной, потому что язык не может сохранить различие типа между отношением и его терминами. Большинство аргументов за или против реальности отношений оказывалось несостоятельным благодаря этому источнику путаницы.
В этом пункте я предлагаю отклониться на момент и сказать кратко, насколько смогу, что я думаю об отношениях. Мои взгляды по вопросу об отношениях в прошлом были менее ясны, чем я думал, но они никоим образом не были такими, какие мои критики приписывают мне. Из-за недостатка ясности в собственных мыслях я не был в состоянии выразить их смысл. Вопрос об отношениях является трудным, и я далек от утверждения, что теперь способен разъяснить его. Но я думаю, что некоторые пункты мне ясны. В то время, когда я писал «Принципы математики», я еще не видел необходимости в логических типах. Доктрина типов глубоко повлияла на логику, и я считаю, она показывает, что в точности является правильным элементом в аргументации тех, кто сопротивляется «внешним» отношениям. Но будучи далека от усиления их основной позиции, доктрина типов, напротив, приводит к более полному и радикальному атомизму, чем любой иной, который я рассматривал как возможный двадцать лет назад. Вопрос об отношениях – один из наиболее важных, возникших в философии, так как большинство других вопросов связаны с ним монизм и плюрализм; является ли что-либо полностью истинным, кроме Целостной истины, или целиком реальным, кроме полной реальности; идеализм и реализм в некоторых их формах; возможно ли существование самой философии как предмета отличного от науки и обладающего собственным методом. Будет достаточно, чтобы сделать мое намерение ясным, если я приведу отрывок из книги Брэдли «Очерки об истине и реальности», не в целях спора, а потому, что в нем поднимается именно та проблема, которую нужно поставить.
1 2 3 4 5 6 7 8