Вадим Руднев - Словарь культуры XX века

Так или иначе, но только в конце ХIХ в. немецкий логик Готтлоб Фреге сформулировал символическое исчисление, и лишь в начале XХ в. Бертран Рассел и Альфред Уайтхед в трехтомном труде "Principia Mathematica" построили стройную систему М. л.

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

а - конъюнкция, соединение; читается как союз "и", во многом соответствует ему по смыслу;

*

У - дизъюнкция, разделение; читается как союз "или";

-> - импликация, следование; "если... то...";

~ - отрицание; "неверно, что...";

- эквивалентность; "то же, что и..."

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

1. Закон тождества: р р; то есть любое высказывание эквивалентно самому себе. Тождество объекта самому себе вообще исходное начало для любого мышления. Но не во всякой логике это является законом. Например, в контексте алетических модальностей (см. модальности) мы можем сказать: "Возможно, что дождь идет" и "Возможно, что дождь не идет" - и это не будет противоречием. В обычной логике пропозиций предложения "Идет дождь" и "Не идет дождь" будут противоречиями.

2. Закон двойного отрицания: р ~~р; то есть утверждение эквивалентно его двойному отрицанию. "Дождь идет" "Наверно, что Дождь не идет".

3. Закон исключенного третьего:

*

(р У ~р); то есть либо высказывание истинно, либо оно ложно - третьего не дано (применимость закона исключенного третьего ограничена конечными множества объектов; см. об этом многозначные логики).

4. Закон противоречия: ~(р а ~р); то есть неверно, что высказывание может быть одновременно истинным и ложным.

Следует ввести еще два понятия, одно из которых мы уже ввели в самом начале статьи. До сих пор мы говорили о высказывании как о чем-то нерасчлененном, но у высказывания есть субъект и предикат. Часть М. л., занимающаяся отношениями между субъектом и предикатом высказываний, называется теорией квантификации. Свойство или отношение, которое выражает предикат, может быть присуще всем субъектам данного множества или только некоторым из них. Например, высказывание "Собаки бывают черными" означает, что некоторое количество собак из всего множества собак имеет свойство "быть черным". Символ, на который мы заменим слово "некоторые", называется квантором существования, или экзистенциальным квантором, и обозначается гротесковой обращенной буквой

*

Е 3

*

3 (х)(у) - некоторые собаки черные.

Но существуют свойства, характерные для всех собак. Например, у всех собак (разумеется, живых) есть голова. Символ, на который мы поменяем слово "все", это уже известный нам квантор всеобщности, или универсальный квантор:

*

У(х)(у) - все собаки по природе обладают головой.

В заключение сформулируем основной закон квантифицированной логики:

*

У(х)(у) ->3 (х,у)

То есть если данным свойством обладают все объекты, то им обладают и некоторые объекты. Кажущаяся тривиальность законов логики оправдывается дальнейшим ходом мышления. Как писал Людвиг Витгенштейн, "Если вы знаете, что у вас есть руки, дальнейшее гарантируется".

О том, как М. л. связана с внешним миром, см. логическая семантика.

Лит.:

Клини С. Математическая логика. - М., 1974.

Черч А. Введение в математическую логику. - М., 1959.

==== МЕЖДИСЦИПЛИНАРНЫЕ ИССЛЕДОВАНИЯ

- гуманитарные исследования, затрагивающие методы двух или более дисциплин.

М. и. стали особенно популярны начиная с 1960-х гг. Возродившаяся в это время под знаком структурной лингвистики семиотика была определена как наука, в принципе изучающая "любые объекты лингвистическими методами" (определение одного из лидеров тогдашней лингвистики и семиотики И. И. Ревзина). В соответствии с этим определением семиотика могла подвергать М. и. все что угодно - шахматную игру, карточные гадания, человеческое поведение, историческое хроники, поэтический текст, моду, дуэли, индийскую философию, театр абсурда, сонаты Моцарта.

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

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

В 1980-е гг. стало популярным понятие "культурология", которое в сущности означало не что иное, как М. и. в области различных аспектов истории и теории культуры (в Советском Союзе наиболее важными в этом отношении были труды Ю. М. Лотмана, Вяч. Вс. Иванова, В. Н. Топорова).

На Западе сама философия стала междисциплинарной. В нее в качестве необходимых элементов стали входить структурная лингвистика, семиотика, политэкономия и психоанализ (исследования Жака Лакана, Ролана Барта, Жиля Делеза, Феликса Гваттари, Жака Деррида, Юлии Кристевой, Мишеля Фуко).

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

1 - 2. Структурная поэтика и мотивный анализ. "Винни Пух" (1926) рассматривается не как произведение детской литературы, а в ряду текстов европейского модернизма. Большую роль здесь играет поэтика неомифологизма, в частности мифологема мирового древа: все герои живут в деревьях и с деревьями связаны наиболее значимые события сюжета. Поваленное ветром дерево символизирует конец мира виннипуховского леса.

3. Психоанализ. Книга о Винни Пухе писалась А. Милном для его сына Кристофера Робина в разгар повального увлечения в Европе психоанализом, и в ней тем или иным образом отразились психоаналитические мотивы и проблемы, прежде всего эротического свойства. Так, отношения между героями, как показано в исследовании, носят латентно сексуальный характер Тот же характер имеют многие мотивы. Например, в имени виртуального персонажа Heffalump ("Слонопотам" в переводе Б. Заходера) дважды заанаграммировано слово "фаллос" - fal и lump - "кусок, огрызок". Для поимки виртуального монстра роется яма (по Фрейду - женский символ), в которую Слонопотам должен упасть. Подобно тому как за "безоблачным детством", как вскрыл психоанализ, кроются мучительные сексуальные проблемы, так же и за безобидным на поверхности сюжетом кроются глубинные общечеловеческие проблемы.