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

Марков А.В., Коротаев А.В. Гиперболический рост разнообразия морской и континентальной биот фанерозоя и эволюция сообществ // Журнал общей биологии. – М., 2008 а. – № 3. – С. 175–194.

Марков А.В., Коротаев А.В. Гиперболический рост биоразнообразия в фанерозое объясняется ростом сложности и устойчивости сообществ // Современные проблемы биологической эволюции / Ред. А.С. Рубцов. – М.: Изд-во Государственного Дарвиновского музея, 2008 б. – С. 278–323.

Марков А.В., Анисимов В.А., Коротаев А.В. Взаимосвязь размера генома и сложности организма в эволюционном ряду от прокариот к млекопитающим // Палеонтологический журнал. – М., 2010. – № 4. – С. 3–14.

Markov A.V., Korotayev A.V. Phanerozoic marine biodiversity follows a hyperbolic trend // Palaeoworld. – Kidlington, 2007. – N 16. – P. 311–318.

Математика, логика и семиотика

Формальная логика как знаковая система

Я.Г. Дорфман, В.М. Сергеев

В.М. Сергеев Необходимые вступительные пояснения

12

Эта статья была написана ровно 30 лет назад, в 1983 г. В течение ряда лет мы безуспешно пытались опубликовать ее, но явно мешала ее очевидная междисциплинарность. Специалисты по математической логике слышать ничего не хотели о семиотике, семиоты сомневались в своей компетенции по части математической логики, помимо прочего всех пугала общая ориентация на когнитивную науку, о которой в СССР в эти годы только пробивались кое-какие слухи. Получить разрешение Главлита на вывоз текста для публикации за границей представлялось весьма проблематичным.

В 1986 г. безвременно скончался Я.Г. Дорфман – исключительно талантливый биолог, занимавшийся биологией развития, и, в частности, сильно интересовавшийся ее логическим описанием, что неудивительно, так как он закончил МФТИ.

Вскоре настали иные времена, и жизнь преподнесла множество парадоксов, для большинства читателей гораздо более интересных, чем парадоксы математической логики. Мысли о публикации статьи, наряду с публикациями многих других работ, мне пришлось оставить, да и печатать статью стало негде (первоначально она предназначалась для «Ученых записок Тартуского университета» – журнала где я печатал тогда большинство своих статей).

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

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

* * * * *

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

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

Введение

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

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