Монада — понятие в философии, математике и логике¶

Монада (от др.-греч. μονάς — «единица», «одиночка») — понятие, используемое в нескольких областях знания: в философии (метафизика Готфрида Лейбница), в математике (категорная теория, теория типов) и в логике. В философии Лейбница монада — неделимая, не имеющая частей простая субстанция, из которых состоит вся реальность. В математике монада — конструкция, описывающая «внутреннюю структуру» объекта в определённой категории.

¶Монада в философии Лейбница

¶История возникновения

Учение о монадах было изложено Готфридом Вильгельмом Лейбницем (1646—1716) в работе «Монадология» (1714), а также в «Теодицее» (1710) и переписке с Антуаном Арно. Лейбниц разрабатывал метафизическую систему, которая должна была преодолеть трудности механистической философии XVII века — прежде всего проблему природы субстанции и взаимодействия тел.

¶Основные свойства монад

Согласно «Монадологии», монады обладают следующими свойствами:

• Простота — монада не имеет частей и потому не может быть разрушена естественным путём («монадам не может быть ни начала, ни конца»).
• Неделимость — «у монад нет окна», через которые что-либо могло бы войти или выйти.
• Отсутствие взаимодействия — монады не влияют друг на друга напрямую; каждая развивается согласно внутреннему принципу.
• Восприятие и стремление (аппетиция) — каждая монада обладает восприятием состояний остальной вселенной и стремлением к переходу от одного восприятия к другому.
• Индивидуальность — монады различаются по степени ясности восприятия; не существует двух полностью одинаковых монад.

Лейбниц различал монады по уровню сознания: бессознательные монады (простые субстанции материи), животные души (обладающие памятью), человеческие души или разумные монады (способные к рефлексии и самосознанию) и, наконец, высшая монада — Бог, творец всех остальных.

¶Гармония и предустановленная согласованность

Поскольку монады не взаимодействуют, их согласованное поведение объясняется «предустановленной гармонией» — Бог при сотворении монад так устроил их внутренние программы, что они согласованно отражают одно и то же состояние мира. Эта концепция была разработана Лейбницем как альтернатива картезианскому учению о влиянии души на тело.

¶Критика

Уже современники Лейбница критиковали монадологию за недоказуемость и метафизическую спекулятивность. Антуан Арно указывал на трудности объяснения связи монад с телами. В XX веке философы отмечали сходство монадологии с панпсихизмом и параллелизмом.

¶Монада в математике

¶Определение

В теории категорий монада (также триада, от англ. monad, triple) — конструкция, состоящая из эндофунктора T на категории C, двух морфизмов η: 1_C → T (единица) и μ: T² → T (умножение), удовлетворяющих аксоматам ассоциативности и единичности. Монада формализует идею «объекта с внутренней структурой» — например, множества с дополнительным свойством.

¶Примеры монад

¶Монады в теории типов и логике

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

¶Монады в других традициях

Понятие «монада» встречается в пифагорейской философии (монада как первая единица, порождающая числа), в неоплатонизме (Единое как монада бытия), в антропософии Рудольфа Штейнера, где монада трактуется как духовная индивидуальность. В китайской философии термин «монада» иногда применяется для передачи понятия «и» (一, «единство»).

¶См. также

• Лейбниц, Готфрид Вильгельм
• Монадология
• Категорная теория
• Функтор
• Предустановленная гармония

¶Источники

• Лейбниц Г. В. Монадология // Сочинения в двух томах. — М.: Мысль, 1984.
• Лейбниц Г. В. Теодицей. — М.: Прогресс, 1985.
• Mac Lane S. Categories for the Working Mathematician. — Springer, 1998.
• Moggi E. Notions of computation and monads // Information and Computation. — 1991. — Vol. 93.
• Мамин Р. С. Лейбниц. — М.: Мысль, 1992.