КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
Логические объекты
Из предыдущего вытекает серьезная проблема, связанная с характером самой логической формы. Структуру суждения Рассел сводит исключительно к совокупности непосредственно известных конституент и упорядочивающей деятельности познающего разума, но где тогда находит свое место логическая форма? Если бы она была связана только с деятельностью познающего разума, то следовало бы признать, что структура суждения, а значит, и структура соответствующего ему факта зависит исключительно от субъективных условий протекания процессов мышления. Рассел отказывается принять последнее, поскольку в этом случае логика утрачивала бы притязание на универсальность и всеобщность своих положений. Но если признать, что логическая форма имеет объективный характер, тогда ее следует рассматривать как одну из конституент убеждения, известную через отношение непосредственного знакомства. Здесь как раз и возникает представление о том, что логическая форма является специфическим объектом и должна рассматриваться в качестве примитивного значения особого типа. Общие положения теории знания-знакомства конкретизируется Расселом в отношении логической формы в одной из работ по теории познания, которая, правда, после критики Витгенштейна так и осталась неопубликованной и лишь недавно увидела свет. В ней, сохраняя фундаментальное различие двух типов знания, Рассел дает классификацию различных видов знакомства. В частности, он пишет: «Первая классификация согласуется с логическим характером объекта, а именно, согласно тому, является ли он (а) индивидом, (в) универсалией или (с) формальным объектом, т.е. чисто логическим»[92]. Формальный или логический объект, выступающий в качестве конституенты высказывания, как раз и представляет собой логическую форму, знакомство с которой для конструкции суждения, если его истинностное значение должно иметь объективный характер, столь же необходимо, как и знакомство с иными типами примитивных значений. Выражение “Дездемона любит Кассио”, помимо конституент ‘Дездемона’, ‘любит’ и ‘Кассио’, должно содержать еще и возможность упорядочивания их особым образом, которая не сводится ни к одной из приведенных конституент и может быть выражена в чистом виде как ‘xRy ’ (где R – символ для отношения, а x и y – аргументные места, на которые можно подставить его члены). Рассмотрение логической формы в качестве особой конституенты позволяет решить проблему понимания описаний, объективный коррелят которых нам неизвестен, т.е. в отсутствие сведений о факте, который подтверждал бы или опровергал их истинность. Вполне достаточно непосредственного знакомства с конституентами, чтобы решить вопрос о возможности их комбинации определенным способом. «Если мы знакомы с а с подобием и с b , мы можем понять утверждение “а подобно b ”, даже если мы не можем непосредственно сравнить их и ‘увидеть их подобие’. Но это не было бы возможно, если бы мы не знали, как они должны быть сопоставлены, т.е., если бы мы не были знакомы с формой двухместного комплекса. Таким образом, всякий ‘ментальный синтез’, как он может быть назван, затрагивает знакомство с логической формой»[93]. Символическое выражение суждения представляет собой комплексный знак, состоящий из простых конституент, имеющих примитивное значение, в качестве которых выступают: во-первых, имена собственные; во-вторых, знаки отношений и свойств; в-третьих, формы. Предложение “Дездемона любит Кассио” представляет собой комплекс [a , b , R , xRy ], где ‘a ’ соответствует Дездемоне, ‘b ’ – Кассио, ‘R ’ – отношению любить, а ‘xRy ’ – логической форме, упорядочивающей элементы отношения. Таким образом, предложение – это комплекс (или класс) плюс порядок. Правда, здесь возникает одна проблема. Выражения ‘aRb ’ и ‘bRa ’ имеют одну и ту же логическую форму xRy , но могут иметь различные значения истинности. Так, с точки зрения приводимого примера первое выражение ложно, тогда как второе – истинно. Следовательно, помимо знакомства с перечисленными конституентами, необходимо что-то еще, что конституировало бы различия в самом порядке используемой формы. Рассел считает, что ‘aRb ’ и ‘bRa ’ отличаются еще и тем, что в первом случае мы посредством R переходим от a к b , а во втором от b к a . Различие в переходе он называет смыслом отношения R . Здесь можно указать на возникающее затруднение, поскольку в самой форме xRy этот смысл не содержится, а знакомство с отношением R как эмпирическое действие не допускает наличия такой сущности, как смысл, от которой Рассел отказывается, критикуя, в частности, Фреге. Такое понимание отношения, по-видимому, допускает определенную психологизацию, так как зависит от субъективных условий определения порядка отношения. Однако сама возможность сопоставления объектов познающим разумом мотивирует необходимость принятия такой особой сущности как логическая форма, даже несмотря на то, что ее анализ сугубо логическими средствами может быть различным и даже неправильным. Рассел пишет по этому поводу: «Совершенно неясно, что представляет собой правильное логическое рассмотрение формы, но чем бы ни было это рассмотрение, ясно, что мы знакомы (возможно, в расширительном смысле слова ‘знакомство’) с чем-то столь абстрактным, как чистая форма, поскольку иначе мы не могли бы осмысленно использовать такое слово, как ‘отношение’»[94]. В этом смысле логический анализ зависит от эпистемологического интереса, поскольку определение предметного содержания формальной логики связано с выявлением особого типа логических объектов. Этот же эпистемологический интерес позволяет Расселу обосновать априорный характер логики. Логика невыводима из эмпирических данных, поскольку оперирует объектами иной природы, с которыми познающий разум знаком непосредственно. Руководствуясь потребностями теории познания, Рассел указывает на несводимость простых высказываний к эмпирическим данным, допуская знакомство с их логической формой. Аналогичная ситуация возникает и относительно сложных высказываний, в которых упорядочиваются уже не эмпирические данные, но логические формы простых высказываний. Возможность сопоставления последних требует принятия еще одного типа логических объектов, также данных в отношении непосредственного знакомства и характеризующих структуру сложных высказываний, определяя их понимание. Как пишет Рассел, «помимо форм атомарных комплексов существует много других логических объектов, которые вовлечены в образование неатомарных комплексов. Такие слова, как или, не, все, некоторые , явно затрагивают логические понятия; и поскольку мы можем осмысленно использовать эти слова, мы должны быть знакомы с соответствующими логическими объектами»[95]. Например, высказывание “Дездемона любит Отелло и не любит Кассио” включает логические союзы, соответствующие логическому умножению и отрицанию, характеризующие отношения между атомарными комплексами. Если атомарные комплексы обозначить как ‘p ’ и ‘q ’, то форма данного молекулярного комплекса будет выглядеть как ‘p ( (q ’. С точки зрения Рассела, логическим союзам также должны соответствовать примитивные значения, логические объекты. Введение логических объектов расширяет онтологическую основу формальной логики, которая становится знанием об особом типе предметов. И в этом отношении, несмотря на специфический характер предметной области, логика представляет собой науку, подобную всем другим наукам. Дело философии вписать ее в доктринальные рамки научного знания. Ясно, что для Рассела этот процесс существенно зависит от принимаемой им онтологической концепции, которая придает положениям логики субстанциальный характер, и теоретико-познавательных предпосылок, заставляющих рассматривать содержание формальной системы в перспективе действительного мира. Принимая в расчет сказанное выше, существенной корректировки требует следующее утверждение Рассела: «Философию, сторонником которой я являюсь, можно назвать логическим атомизмом или абсолютным плюрализмом, поскольку, утверждая, что существует много вещей, она вместе с тем отрицает существование целого, состоящего из этих вещей. Таким образом, философские высказывания касаются не совокупности вещей в целом, но каждой вещи в отдельности; и они должны затрагивать не только каждую вещь, но такие свойства всех вещей, которые не зависят от их случайной природы и от счастливой случайности существования, но которые истинны в любом возможном мире, независимо от тех фактов, которые можно обнаружить только при помощи наших органов чувств»[96]. В условиях, когда моделирующие отношения структур описания, на экспликацию которых претендует формальная логика, ставятся в зависимость от онтологических и теоретико-познавательных предпосылок, буквальное понимание приведенного утверждения было бы неверным; наоборот, специфика взглядов Рассела требует учитывать и совокупность рассматриваемых вещей, и специфическую природу и иерархическую структуру примитивных значений, и зависимость анализа выражения от действительного существования предмета описания.
|