Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ. Коллектив авторов

Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ - Коллектив авторов


Скачать книгу
Михаил Васильевич любезно предложил мне ее наконец опубликовать.

      Перечитав статью, я убедился что она, на мой взгляд (как это ни странно после 30 лет забвения), выглядит достаточно свежо, и не потеряла новизны. Я надеюсь, что и читатель найдет в ней кое-что интересное.

* * * * *

      …Темнота, отмечаемая у него обычно, является следствием нескольких ревниво соблюдаемых им правил, приблизительно так же, как в области наук мы видим, что логика, аналогия и забота о последовательности приводят к представлениям, весьма отличным от тех, которые непосредственное впечатление делает для нас привычным – вплоть до выражений, легко переходящих за пределы нашей способности к воображению.

Поль Валери «Письмо о Малларме»
Введение

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

      В течение долгого времени формальная логика рассматривала преимущественно системы связанные с отношением включения элемента множества в класс и отношением предикации, которому легко дать теоретико-множественную интерпретацию, что позволяет получить теоретико-множественное обоснование формальной логики и рассматривать ее фактически как часть математики14.

      Наивная уверенность в том, что формализация одного или двух отношений выделенных из естественного языка позволит создать универсальные средства получения нового научного знания (а ведь именно в этом качестве мыслилось функционирование математической логики в рамках программы, намеченной Д. Гильбертом, а также Б. Расселом и А. Уайтхедом в [Whitehead, Russell, 1910; 1912; 1913] стала исчезать после доказательства К. Геделем теоремы о неполноте арифметики и привело в настоящее время к существенно иному пониманию места формальных систем в исследовании принципов человеческого мышления15. Параллельно происходил процесс осознания роли семантики и прагматики в исследовании формальных систем [Семантика… 1981], что привело к построению огромного числа модальных логик [см., например: Фейс, 1974; Неклассическая… 1970]. Отметим, однако, что интуитивно приемлемая теоретико-множественная интерпретация модальных логик существенно отличается от теоретико-множественной интерпретации логики классов [Сергеев, 1984], а построение такой интерпретации в ряде случаев является весьма нетривиальной задачей.

      Выбор такого отношения, как предикация, в качестве основы построения логики отнюдь не исчерпывает всех возможностей и, по-видимому, приводит к сильному обеднению ее содержания. А в рамках неевропейских культурных традиций известны логические системы, основанные на выделении других логических отношений в качестве базисных.

      Особенно богатой в этом смысле является индийская логическая традиция16.

      По-видимому, целесообразно рассматривать любую


Скачать книгу

<p>13</p>

Одним из ярких примеров такого подхода к логике является различение Г. Фреге и Б. Расселом трех смыслов (бытие, тождество и предикация) естественно-языковой связки «есть» [Хинтикка, 1980]. Б. Рассел даже счел, что это «первый серьезный успех в реальной логике со времен греков» [Russell, 1914, p. 50].

<p>14</p>

Д. Гильберт и В. Аккерман начинают свою известную книгу [Гильберт, Аккерман, 1947] следующей фразой: «Теоретическая логика, называемая также математической или символической логикой, есть применение формального метода математики к области логики».

<p>15</p>

См. получившую очень большой резонанс и в определенном смысле подводящую итоги исследованиям в области формальных систем и искусственного интеллекта книгу А. Хофштаттера [Hofstadter, 1979].

<p>16</p>

Так, например, логическая система «навья-ньяя» основана на исследовании отношения «проникновения» [Инголс, 1975].