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

Аналогичным образом, двухзначная логика плохо описывает некоторые модальные высказывания (см. модальности). Например, высказывания "возможно, идет дождь" и "возможно, не идет дождь" не противоречат друг другу. Может быть, идет, а может, уже кончился. Но их немодальные аналоги - "дождь идет" и "дождь не идет" - являются явными противоречиями. Для подобных случаев и создавались М. л. Их авторы - Я. Лукасевич, Э. Пост, Д. Бочвар, Г. Рейхенбах стремились более адекватно, чем это делает классическая двузначная логика, описать такие сложные процессы, как процессы в микромире, или обойти такие технические трудности, как в примере с модальными высказываниями.

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

Лит.:

Вригт Г. Х. фон. Логика истины // Вригт Г. Х. фон. Логико-философские исследования. - М., 1986.

Зиновьев А А Философские проблемы многозначной логики - М., 1960.

МОДАЛЬНОСТИ

(от лат. modus - вид, способ) - тип отношения высказывания к реальности. Наиболее известные нам М. - это наклонения: изъявительное - оно описывает реальность ("Я иду"), повелительное - оно ведет диалог с реальностью ("Иди") и сослагательное ("Я бы пошел") - оно вообще слабо связано с реальностью.

Но, кроме обычных наклонений, существуют еще логические М. - они называются алетическими (от древнегр. aletycos истинный) это М. необходимости, возможности и невозможности. Эти М. существуют как бы незримо. При логическом анализе они добавляются к предложению в виде особых зачинов на метаязыке, модальных операторов. Например, все аксиомы математики и логики являются необходимо истинными - "2х2 4", "Если а, то неверно, что не а" (закон двойного отрицания).

Тогда мы говорим:

Необходимо, что если а, то неверно, что не а.

Такие высказывания истинны всегда, во всех возможных мирах (см. семантика возможных миров). Они называются тавтологиями.

Пример возможно истинного высказывания: "Завтра пойдет дождь"; пример невозможного высказывания: "Если а, то не а". Такие высказывания называются противоречиями.

Алетические М. были известны еще Аристотелю. В ХХ в. К. Льюис построил на их основе особую модальную логику, аксиомы которой отличаются от аксиом обычной пропозициональной логики (логики предложения).

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

Если возможно, что а, то возможно, что и не а.

В ХХ в. были разработаны и другие модальные системы:

1. Деонтические М. ( лат. deonticos - норма) - это М. нормы. Они предписывают, что должно, что разрешено и что запрещено. Например, в трамвае:

Должно платить билеты.

Можно ехать.

Нельзя курить.

Логику деонтических М. разработал финский философ Георг фон Вригт.

2. Аксиологические М. (лат. ахiс - ценность), различающие негативные, позитивные и нейтральные оценки. В сущности, любое предложение так или иначе окрашено аксиологически в зависимости от контекста (см. прагматика). Равным образом можно сказать:

Хорошо, что идет дождь.

Плохо, что идет дождь.

И просто: Идет дождь.

Аксиологическую логику разработал русский философ А. А Ивин.

3. Эпистемическая логика ( древнегр. ерisteme - знание) изучает М. знания, незнания и полагания:

Он знает, что я это сделал.

Он полагает, что я это сделал.

Он не знает, что я это сделал.

Эпистемическую логику разработал Яакко Хинтикка, один из создателей семантики возможных миров.

4. Логика времени - прошлое, настоящее, будущее:

Вчера шел дождь.

Сегодня идет дождь.

Завтра пойдет дождь.

Логику времени разработал английский философ Артур Прайор.

5. Логика пространства - здесь, там, нигде. Подробно о ней см. в ст. пространство.

Можно заметить, что все шесть М. устроены одинаковым образом, в каждой по три члена - позитивный, негативный и нейтральный:

М. + 0

алетические необходимо возможно невозможно

деонтические должно разрешено запрещено

аксиологические хорошо нейтрально плох о

эпистемические знание полагание незнание

временные прошлое настоящее будущее

пространственные здесь там нигде

Можно заметить также, что все М. и содержательно похожи друг на друга. Необходимо соответствует тому, что должно, хорошо, известно, находится в настоящем и здесь. И наоборот. Возможно, в эпоху мифологического сознания (см. миф) они составляли одну супермодальность.

Для чего нужны М.? Они регулируют всю нашу жизнь (см. реальность). Например, деонтическая логика сможет когда-нибудь решить, разрешено ли то, что не запрещено.

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

Человек вышел из дома.

Это возможное высказывание С деонтической точки зрения это разрешенное действие (но если бы контекст предшествующих или последующих предложений указывал на то, что в это время наступил комендантский час, то это действие перешло бы в разряд запрещенных). Хорошо это действие или плохо, также зависит от контекста. Если человека ждет приятель, то оно хорошо, а если наемный убийца, то, конечно, плохо. С точки зрения времени, это высказывание о прошлом. С точки зрения пространства, это переход из одного актуального пространства в другое. В сильном смысле это именно пространственное высказывание и действие.

Построенная типология М. может отражать не только реальную жизнь, но и классифицировать сюжеты (об этом см. соответствующую статью словаря).

Лит.:

Вригт Г.Х. фон. Логико-философские исследования.- М., 1986.

Ивин А. А. Основания логики оценок. - М., 1971.

Рrior A. N. Time and modality.- Ох., 1957.

Hintikka J. Knowledge and belief1. - L., 1962.

Руднев В. Морфология реальности: Исследование по "философии текста".- М., 1996.

= МОДЕРНИЗМ

- достаточно условное обозначение периода культуры конца ХIХ - середины ХХ в., то есть от импрессионизма до нового романа и театра абсурда. Нижней хронологической границей М. является "реалистическая", или позитивистская, культура ХХ в., верхней - постмодернизм, то есть 1950 - 1960-е гг.

Не следует путать искусство М. и авангардное искусство, хотя порой грань между ними провести трудно.

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