Диссертация (1168467), страница 80
Текст из файла (страница 80)
Кроме того, Луман опирается и на логику социальныхсистем, разработанную Альфредом Куном на основе дедукции и системногоподхода4.Посколькупредлагаемыйздесьсистемно-коммуникационныйподходотличается от лумановского, это требует дополнительной адаптации логическихподходов Дж. Спенсера-Брауна и А. Куна в интерпретации Лумана к системномуисторическому познанию, которая обеспечила бы надежную верификациюэмпирических обобщений, проверяя их истинность сначала в каждом извыделяемых аспектов истории, а затем и вместе, в их единстве и целостности. Всвою очередь, аспекты истории выступают в качестве неделимых компонентовединой и целостной исторической реальности.Аликберов А.К.
Системная логика как инструмент системного подхода к истории. С. 15–25.См., например: Stern, August. Matrix Logic: Theory and Applications. Amsterdam–New York–Oxford–Tokio: NorthHolland, 2014. P. 203.3Боброва А.С. Идеи Дж. Спенсера Брауна в интерпретации Н. Лумана // Вестник РГГУ. Серия «Философия.Социология. Искусствоведение». 2013. № 11(112). С. 102–110.4Kuhn A. The Logic of Social Systems: A Unified, Deductive, System-Based Approach to Social Science.12369В современной науке различают множество типов логики. Основными изних считаются формальная логика, которая восходит к Аристотелю (ее такженазывают математической, или линейной), и диалектическая, которая считаетсяфилософским методом. Существует предубеждение, что логика либо есть, либонет, и никакой другой логики, кроме формальной, не существует.
Отчасти этодействительно так, поскольку формальная логика лежит в основе всех остальныхмодификаций логических методов. Однако логика как наука не стоит на месте,специфика предмета исследования требует более точного инструмента.История логики, в том числе в ее системной интерпретации, хорошоизучена1. Одним из первых попытку изложить систему логики в рамкахэмпирических принципов предпринял Дж. Милль, сформулировавший в 1843 г.пять принципов индуктивного рассуждения, получившие известность как«методы Милля»2. Для изучения сложных систем принципы индуктивногорассуждения не всегда оказываются достаточными, поскольку чаще всегоприходится идти от общего к частному.
Линейный характер формальной логики вклассическом понимании также ограничивает сферу ее применения.Как «предводитель наук», локгака выполняет важнейшую интегративнуюфункцию, обеспечивая целостную взаимосвязь элементов системы и другиенеобходимые условия существования любой научной теории.
В научномпознании она играет системообразующую роль: если системные методы изучаюткаждый аспект социальности, представляющий собой предмет определеннойнауки, отдельно и самостоятельно, на основе выделенного для него критерия(критериев), то логика нацелена на выявление характера связей между этимиаспектами.
Если анализируется не одна, а множество систем в их единстве ицелостности, или сложность систем перманентно возрастает, то для анализасвязей между ними используется системный логический подход, который как рази представляет метод системно-логической верификации. Этот метод можноСм.: Ueberweg F. System of Logic and History of Logical Doctrines. Transl. from the German, with notes andappendices, by T.M. Lindsay. London: Longmans, Green, and Co., 1871.2Mill J.S. A System of Logic.
Ratiocinative and Inductive Presenting a Connected View of the Principles of Evidenceand the Methods of Scientific Investigation. Honolulu: Univ. Press of the Pacific, 2002. P. 53–60.1370применить на различных уровнях научного анализа, вплоть до уровнявзаимодействия между элементами каждой из систем.Системный логический подход нельзя смешивать ни с системой логики, нис системой диалектики: любую законченную теорию или учение можнопредставить, как отдельную систему, но здесь речь идет не о логике как таковой, ао логическом методе с расширением возможностей межлинейной верификации.Существуеттакжепонятиесистемнойлогикинауки,выступающейстеоретической наукой логики в полном единстве.
При этом у логики, как и улюбой другой науки, существует и философский уровень осмысления1. Этоозначает,чтоформальнуюлогикунельзясмешиватьсфилософией,основаннаформальной,представляющей диалектику2.Методсистемно-логическойверификацииматематической логике, даже представляет ее, но не однолинейно, а в системевсех связей и отношений, разделяя категории целого и частного, которыеявляются различными для разных систем.
Философию и логику математикиодним из первых обосновал Э. Гуссерль в «Philosophie der Arithmetik» в самомначалесвоегоСобственно,восхожденияон инаосуществилвершинуфеноменологическоймысли3.глубокую теоретическую систематизациюформальной логики, основываясь на трудах Б. Больцано, а также современной емуконцепции «формальной системы» («теории теорий»)4, которая в конечном счетеразвилась до общей теории систем. В этой системе множество рассматриваетсякак единое целое, впервые вводится понятие коллективной связи (kollektiveVerbindung), рассматриваются символические аспекты системы5.См.: Philosophical Problems of Logic / Ed.
by K. Lambert. Dordrecht: D. Reidel Publishing Company, 1970.В современной классификации наук разные виды логики являются разделами философии и математики, хотяизначально это была отдельная наука. Тот факт, что отдельно существуют логика философии и философия логики,так же, как и логика истории и история логики, достаточен для признания ее как самостоятельной науки, иначе,например, понятие «философия логики» теряет всякий смысл: философия философии? (См.: Read S. Thinking AboutLogic: An Introduction to the Philosophy of Logic.
Oxford: Oxford Univ. Press, 1994. В структуре научного знаниямежду логикой и философией науки лежит теория этой науки, ср.: история – логика истории – теория иметодология истории – философия истории – история философии – теория философии – логика философии –философия.3Husserl E.G. Philosophie der Arithmetik Psychologische und logische untersuchungen. 1 Band. Stuttgart:Kröner, 1891.4Centrone S. Logic and Philosophy of Mathematics in the Early Husserl. P. xii – xiii.5Ibid. P. 6–9, 40–42.12371Подчеркиваяформальныйхарактерлогики,Гуссерльоперировалкатегориями формальной математики, формальной онтологии и формальнойапофании1.
Формализация знания – важнейшее условие информационногоподхода, позволяющее получить «чистое», объективное знание, основана насистемном подходе. Гуссерль считал, что формальная математика идентичналогическойаналитике2,аформальнаялогика,являющаясяформальнойонтологией (формальной теорией предметов вообще), – апофантическойаналитике (логике категорий знания – понятий и умозаключений)3. Кроме того, онпредложил опираться на дедуктивные системы в дополнение к индуктивным,считая высшей формой формальной логики теорию множества, или теориюдедуктивных систем, с которой связаны формализованные упрощения (редукции)в абстрактных, или номологических науках4. Принцип множества такжеиспользуется в системной теории.Другое важное преимущество логики Гуссерля, которое учитываетсяметодом системно-логической верификации – это множественная корреляция,основаннаяна«дедуктивной»,или«номологической»определенности5.Определенность достигается прояснением, а прояснение, в свою очередь, –совмещением обеих сторон формальной логики: формально-апофантической иформально-онтологической6.Прояснениепозволяетвыявитьиустранитьпротиворечия, а непротиворечивость теоретических рассуждений являетсяосновным условием достижения объективной истины7.В системной теории логика также обозначает границы системы путемисключения из нее нелогических и логически несущественных связей.
В точныхнауках такие системы называются нечеткими, для их изучения разработана теориянечетких систем, в которой с математической точки зрения нечеткими1Husserl E. Formal and Transcendental Logic. Transl. by D. Cairns. The Hague: Martinus Nijhoff, 1969. P. 29–30.Ibid. P. 99–100.3Bachelard S. A Study of Husserl’s Formal and Transcendental Logic. Evanston, IL: Northwestern Univ. Press, 1968. P.3–24.4Ibid. P. 90–92.5Husserl E. Formal and Transcendental Logic. P.
94.6Bachelard S. A Study of Husserl’s Formal and Transcendental Logic. P. 43–64.7Husserl E. Formal and Transcendental Logic. P. 65–66.2372оказываются язык, логика, рассуждения, отношения, меры контроля и дажеалгоритмы1. Лютфи Заде еще в 1996 г. адаптировал эту теорию для анализагуманитарных систем2; современные исследователи считают, что нечеткая логикалучше всего описывает исторические, экономические и политические процессы3.С точки зрения точных наук любая социальная система с ее размытымиграницами по определению является нечеткой. Однако даже на строгомматематическомуровнесистемныйанализисторииобеспечиваетверифицируемый научный результат – хотя бы в пределах допустимых значений,которые применяются и в математике.
И чем жестче системные требования и ýжеэтизначения,темточнеенаучныйрезультат.Правда,использованиематематических методов в истории требует особого операционного контроля,который реализуется с помощью промежуточной верификации полученныхрезультатов на каждом этапе развития теоретического подхода.Кроме того, при изучении текстов исторических источников методсистемно-логической верификации учитывает также преимущества многозначнойлогики(Multiple-valuedLogics).Этообозначение,обязанноесвоимпроисхождением концепту тройной, или трехзначной, логики Клина, связано снечеткой логикой4.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
