CC BY
27
УДК 16
ОБЪЕДИНЕНИЕ НОРМАЛЬНЫХ И НЕНОРМАЛЬНЫХ МОДАЛЬНЫХ ЛОГИК В ОДНОЙ АКСИОМАТИЧЕСКОЙ СИСТЕМЕ ФИЛОСОФСКОЙ ЭПИСТЕМОЛОГИИ
Лобовиков Владимир Олегович,
Институт философии и права Уральского отделения Российской академии наук, доктор философских наук, профессор, Екатеринбург, Россия, E-mail: vlobovikov@mail.ru
Аннотация
Впервые в аналитической философии универсальная теория знания точно формулируется и определяется как аксиоматическая система Е. Для ее формулировки используются четыре схемы аксиом. Использование метаязыка позволило сделать аксиоматическое определение системы Е философской эпистемологии значительно более простым и компактным (по сравнению с версиями, предложенными автором ранее). Конструируемая и обсуждаемая система Е непротиворечиво объединяет в одно целое нормальные и ненормальные модальные логики, что дает возможность непротиворечиво синтезировать в одной концептуальной схеме рационалистическую и эмпирицистскую парадигмы философствования о знании вообще. Систематическое конструирование и исследование дискретных математических моделей философии знания вообще и дальнейшее совершенствование аксиоматических систем универсальной философской эпистемологии (в частности, изучение системы Е) необходимо для построения адекватной метафизической подсистемы искусственного интеллекта автономных роботов.
Ключевые понятия:
нормальная-модальная-логика; ненормальная-модальная-логика; априорное-знание; апостериорное-знание; универсальная-философская-эпистемология; метафизическая-подсистема-интеллекта-автономного-робота.
Поскольку настоящая статья посвящена логике (знания), естественно начать ее с определений используемых терминов и значений символов того
искусственного языка, на котором будет формулироваться предлагаемая аксиоматическая система эпистемологии (обозначим ее символом 3), объединяющая в одно целое нормальные и ненормальные (в смысле Крипке [9; 10]) модальные логики. Символы &, V, — используются в статье в их классическом
смысле, а именно, обозначают классические логические операции «импликация (материальная)», «эквивалентность», «конъюнкция», «дизъюнкция (не-исключающая)», «отрицание».
Предлагаемая в статье аксиоматическая система 3 содержит в себе все формулы, аксиомы и правила вывода классической пропозициональной логики. Символы а и ß (принадлежащие метаязыку) обозначают любые формулы, принадлежащие системе 3. Дополнительные формулы системы 3 получаются с помощью следующего правила: если а есть формула из 3, то ¥а тоже есть формула из 3. Символ ¥ (принадлежащий метаязыку) обозначает некий (любой) элемент множества модальностей {□, K, A, E, S, T, F, P, Z, G, O, B, U, Y, J}. Символ □ обозначает алетическую модальность "необходимо". Символы K, A, E, S, T, F, P, Z, соответственно, обозначают модальности "субъект знает, что...", "субъект a-priori знает, что...", "субъект a-posteriori знает, что.", "при некоторых условиях в некотором пространстве-времени некий субъект (непосредственно или с помощью каких-то приборов и инструментов) чувственно воспринимает (имеет чувственную верификацию), что. ", "истинно, что.", "субъект верит, что.", "доказуемо, что.", "существует алгоритм (может быть построена машина) для эффективного установления того, что.".
Символы G, O, B, U, Y, J, соответственно, обозначают модальности "(морально) хорошо, что.", "обязательно, что .", "красиво, что.", "полезно, что.", "приятно (доставляет наслаждение), что.", "это радость, что.". Значения вышеупомянутых символов определяются следующими ниже схемами собственных аксиом системы философской эпистемологии 3, которые (аксиомы) добавляются к аксиомам классической пропозициональной логики. Схемы аксиом и правила вывода классической пропозициональной логики применимы ко всем формулам системы 3, включая дополнительные (содержащие в себе символы, обозначающие модальности).
Схема аксиом AX-1: Аа ^ (Dß ^ ß).
Схема аксиом AX-2: Аа ^ (□ (а ^ ß) ^ (Da ^ Dß)).
Схема аксиом AX-3: Аа ~ (Ка & (□а & □—8а & D(ß ~ Oß)).
Схема аксиом AX-4: Еа ~ (Ка & (—□а V —□—8а V —D(ß ^ Oß))).
В AX-3 и AX-4, символ O (принадлежащий метаязыку) обозначает какой-то (любой) элемент множества ЗД = {□, К, T, F, P, Z, G, O, B, U, Y, J}. Назовем элементы множества ЗД "модальностями-совершенства" или просто "совершенствами (perfections)".
Аксиоматическая система 3 есть результат существенного дополнения, уточнения, обобщения и пере-формулировки аксиоматической системы, первоначально представленной в [2]. Первоначальная версия аксиоматизации эпистемологии содержала в себе следующие аксиомы AX-1 и AX-2, которые могут быть доказаны как теоремы в 3.
Аксиома AX-1: Ap ^ (Kp A Dp A —OSp A D(p ^ Dp) Л D(p ^ Tp) А D(p ~ Pp) A D(p ^ Fp) A D(p ^ Zp) A D(p ^ Op) A D(p ^ Gp));
Аксиома AX-2: Ep ^ (Kp A (-□p v OSp v -□(p ^ □p) v -□(p ^ Tp) v -□(p ^ Pp) v -□(p ^ Fp) v -□(p ^ Zp) v -□(p ^ Op) v -□(p ^ Gp)).
В этих аксиомах p обозначает некоторое высказывание, а Op является сокращением выражения -□-p. В настоящей статье использование принадлежащего метаязыку символа Q позволило сделать формулировки схем аксиом AX-3 и AX-4 значительно более простыми и компактными по сравнению с соответствующими им слишком длинными и сложными аксиомами AX-1 and AX-2 первоначальной версии системы.
Важно обратить внимание на то, что (в самом общем виде) формулы (□а ^ а) и (Ка ^ а) недоказуемы в 3. Вместо них в самом общем виде в 3 доказуемы, соответственно, формулы Аа ^ (□а ^ а) и Аа ^ (Ка ^ а). Более того, (в самом общем виде) правило Гёделя (necessitation-rule) отсутствует в списке правил вывода системы 3. Это значит, что, по определению [8; 9; 10; 12; 13], логика системы 3 не является нормальной модальной логикой. Более того, вообще говоря, правило удаления модальности □ тоже не принадлежит множеству правил вывода системы 3. Однако, при условии, что Аа, (но не вообще) следующее (ограниченное) правило □-удаления имеет законную силу: "Если Аа| — □ß, то Аа| — ß". (Здесь символ | — обозначает формальную выводимость в 3 из множества допущений.) Это ограниченное (допущением, что истинно высказывание Аа) правило вывода демонстрируется следующей ниже короткой последовательностью схем формул.
1) Аа ^ (□ß ^ ß): схема аксиом AX-1.
2) Аа: допущение.
3) (□ß ^ ß): из 1 и 2 по modus ponens.
4) Аа — (□ß ^ ß): 1)-3).
5) Аа — □ß: дано.
6) Аа — ß: из 4)-5) по modus ponens.
7) Если Аа| — □ß, то Аа| — ß: 1)-6).
Более того, в системе 3 нетрудно продемонстрировать, что при условии, что Аа (но не вообще), следующее (ограниченное) правило вывода (rule of necessitation) имеет законную силу: "Если Аа| — ß, то Аа| — □ß". Это правило обосновывается следующей последовательностью 1-10.
1. AX-3.
2. Аа: допущение.
3. Ка & □а & □-Ба & □(ß ^ ßß): из 1 и 2 по правилам пропозициональной логики.
4. □ (ß ^ ßß): из 3 по правилу &-удаления.
5. (ß ^ ßß): из 4 по (ограниченному) правилу □-удаления.
6. Аа — (ß ^ ßß): согласно 1-5.
7. Аа — (ß ^ □ß): из 6 подстановкой □ вместо ß.
8. Аа — ß: дано.
9. Аа — □ß: из 7 и 8, по правилам пропозициональной логики.
10. Если Аа| — ß, то Аа| — □ß: согласно 1-9.
В системе 3 доказуема следующая метатеорема (схема теорем).
МЕТАТЕОРЕМА: Для любых элементов Ф и Е из множества схема формул (Аа ^ (Фа ^ Еа)) есть схема теорем. Следующая ниже последовательность схем формул является формальным доказательством этой метатеоремы в 3.
1. AX-3.
2. Aa ^ (Ка & (□а & □-Sa & □(ß ^ Qß)): из 1 по правилу удаления
3. Aa: допущение.
4. (Ка & (□а & □-Sa & □(ß ^ Qß)): из 2 и 3 по modus ponens.
5. □(ß ^ Qß): из 4 по правилу удаления &.
6. (ß ^ Qß): из 5 по правилу удаления □.
7. (a ^ Sa): из 6 подстановкой (a вместо ß, и S вместо Q).
8. (a ^ Фa): из 6 by подстановкой (a вместо ß, и Ф вместо Q).
9. ^a ^ a): из 8 по правилу коммутативности
10. ^a ^ Sa): из 9 и 7 по транзитивности
11. Aa ^ (Фa ^ Sa): из 1-10 по правилу введения
С чисто технической точки зрения, доказательство этой метатеоремы не представляет особого интереса (слишком просто). Но с содержательной собственно философской точки зрения, эта теорема очень интересна и нетривиальна. Разнообразные конкретные примеры (частные случаи) этой метатеоремы широко известны как фундаментальные философские принципы. Ниже приведен ряд конкретных примеров (частных случаев) метатеоремы Aa ^ ^a ^ Sa).
1) Ар ^ (Gp ^ Bp): принцип калокагатии, развивавшийся Сократом, Ксенофонтом, Платоном, Аристотелем [4];
2) Ар ^ (Gp ^ Up): принцип утилитаризма в этике (Бентам, Милль);
3) Ap ^ (Gp ^ Yp): принцип гедонизма в этике (Аристипп, Эпикур);
4) Ap ^ (Gp ^ Tp): принцип оптимизма в этике (Мальбранш, Лейбниц);
5) Ap ^ (Tp ^ Pp): рационалистический принцип оптимизма в эпистемологии Лейбница и Гильберта [5];
6) Ap ^ (Pp ^ Zp): рационалистический принцип механистического (алгоритмического) оптимизма в эпистемологии (Луллий, Лейбниц);
7) Ap ^ (Tp ^ Up): принцип прагматизма в теории истины Пирса-ДЖеймса-Дьюи [7];
8) Ap ^ (Tp ^ Fp): принцип фидеизма в теории истины;
9) Ap ^ (□p ^ Op): естественно-правовой принцип эквивалентности алетических и деонтических модальностей, представленный в сочинениях Аристотеля и Лейбница [3; 6; 11];
10) Ap ^ (□p ^ □Gp): естественно-правовой принцип эквивалентности алетических и аксиологических модальностей, представленный в трудах Аристотеля, Ульпиана, Фомы Фквинского [3; 6; 11];
11) Ap ^ (□p ^ □Op): принцип естественного права, представленный в сочинениях Цицерона, Канта, Кельзена [3; 6; 11].
Приведенный выше в данной статье список фундаментальных философских принципов, организующих систему априорного знания, является открытым (может пополняться). Однако, завершая работу, важно подчеркнуть, что, согласно настоящей статье, перечисленные выше философские принципы имеют точно формально определенную (существенно ограниченную) сферу уместной применимости, а именно, они адекватны при условии, что Ap. При условии, что Ep, эти принципы как таковые уже неадекватны; не имеют законной силы. Таким образом, в системе 3 есть место не только для лишенного случайностей мира Спинозы, но и для мира «Трактата» Витгенштейна [1] - мира как тотальности фактов, т. е. случайных истин. Более того, в системе 3 есть место и для
принципа фальсифицируемости научного (эмпирического) знания: этот принцип эмпиризма в философии науки представлен в схеме аксиом АХ-4 дизъюнктом —□а. Таким образом, рассмотренная в данной статье аксиоматическая система универсальной философской эпистемологии 3 непротиворечиво синтезирует «рациональные зерна истины» рационализма и эмпиризма, устраняя противоречия между ними путем уточнения формулировок принципов и определений терминов.
1. Витгенштейн Л. Логико-философский трактат. М.: Издательство иностранной литературы, 1958. 133 с.
2. Лобовиков В.О. Аксиоматизация философской эпистемологии (Концептуальный синтез рационализма Лейбница и эмпиризма Локка, Юма, Мура) // Вестник Томского гос. ун-та. Философия. Социология. Политология. 2016. № 4 (36). C. 69-78. DOI: 10.17223/1998863X/36/7.
3. Лобовиков В.О. Аксиоматизация эпистемологии как средство экспликации теории права: «Дигесты» Юстиниана и проблема однородности естественного права // Научный журнал «Дискурс-Пи». 2016. № 3 (24). С. 48-60.
4. Лобовиков В.О. Доказательство теоремы о калокагатии в аксиоматической системе философской эпистемологии (Оптимизм и предустановленная гармония: от древнегреческой и раннехристианской философии к А.Э. Шефт-сбери, Г.В. Лейбницу и K. Гёделю) // Научный журнал «Дискурс-Пи». 2016. № 4 (25). С. 256-264.
5. Лобовиков В.О. Аксиоматическое определение сферы адекватности рационалистического оптимизма Г.В. Лейбница, Д. Гильберта и К. Гёделя // Сибирский философский журнал. 2016. Т. 14. № 4. С. 69-81.
6. Лобовиков В.О. Уточнение формулировки и вариант решения проблемы эквивалентности деонтических, алетических и аксиологических модальностей с помощью аксиоматической системы философской эпистемологии // Эпистемы: Сборник научных статей. Выпуск 11: Оценки и нормы в структуре рационального знания. Екатеринбург: Издательско-полиграфическое предприятие «Макс-Инфо», 2016. С. 48-67.
7. Лобовиков В.О. Дедуктивное доказательство эквивалентности истинности и полезности априорного знания в аксиоматической системе эпистемологии (Точное аксиоматическое определение сферы адекватности главного принципа прагматизма «Истинно то, что полезно») // Сибирский философский журнал. 2017. Т. 15. № 2. С. 40-52.
8. Bull, R., Segerberg, K. Basic Modal Logic // D. Gabbay, F. Guenthner (eds.). Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Dordrecht, Reidel Publishing Company, 1984. P. 1-88.
9. Kripke, S.A. Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi // Zeitschrift fur mathematische Logik und Grundlagen der Mathematik. 1963. V. 9 N. 5-6. P. 67-96.
10. Kripke, S.A. Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi // The Theory of Models (Proceedings of the 1963 International Symposium at Berkley). Amsterdam: North-Holland, 1965. P. 206-220.
11. Lobovikov, V.O. An Important Problem of Homogeneity of the Natural Law and Solving it by Means of an Axiomatic System of Philosophical Epistemology //
XXVIII World Congress on the Philosophy of Law and Social Philosophy "Peace Based on Human Rights", School of Law of the University of Lisbon, July 16 to 21, 2017, Lisbon: University of Lisbon, 2017. P. 653-654.
12. Priest, G. What is a Non-Normal World? // Logique et Analyse. 1992. V. 139-140, P. 291-302.
13. Priest, G. An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, Cambridge, New York: Cambridge University Press, 2008. 643 p.
References
1. Vitgenshtejn L. Logiko-filosofskij traktat. M.: Izdatel'stvo inostrannoj literatury, 1958. 133 s.
2. LobovikovV.O.Aksiomatizaciya filosofskoj e'pistemologii (Konceptual'nyj sintez racionalizma Lejbnica i e'mpirizma Lokka, Yuma, Mura) // Vestnik Tomskogo gos. un-ta. Filosofiya. Sociologiya. Politologiya. 2016. № 4 (36). C. 69-78. DOI: 10.17223/1998863X/36/7.
3. Lobovikov V.O. Aksiomatizaciya e'pistemologii kak sredstvo e'ksplikacii teorii prava: «Digesty» Yustiniana i problema odnorodnosti estestvennogo prava // Nauchnyj zhurnal «Diskurs-Pi». 2016. № 3 (24). S. 48-60.
4. Lobovikov V. O. Dokazatel'stvo teoremy o kalokagatii v aksiomaticheskoj sisteme filosofskoj e'pistemologii (Optimizm i predustanovlennaya garmoniya: ot drevnegrecheskoj i rannexristianskoj filosofii k A.E'. Sheftsberi, G.V. Lejbnicu i K. Gyodelyu) // Nauchnyj zhurnal «Diskurs-Pi». 2016. № 4 (25). S. 256-264.
5. Lobovikov V.O. Aksiomaticheskoe opredelenie sfery adekvatnosti racionalisticheskogo optimizma G.V. Lejbnica, D. Gil'berta i K. Gyodelya // Sibirskij filosofskij zhurnal. 2016. T. 14. № 4. S. 69-81.
6. Lobovikov V.O. Utochnenie formulirovki i variant resheniya problemy e'kvivalentnosti deonticheskix, aleticheskix i aksiologicheskix modal'nostej s pomoshh'yu aksiomaticheskoj sistemy filosofskoj e'pistemologii // E'pistemy: Sbornik nauchnyx statej. Vypusk 11: Ocenki i normy v strukture racional'nogo znaniya. Ekaterinburg: Izdatel'sko-poligraficheskoe predpriyatie «Maks-Info», 2016. S. 48-67.
7. Lobovikov V.O. Deduktivnoe dokazatel'stvo e'kvivalentnosti istinnosti i poleznosti apriornogo znaniya v aksiomaticheskoj sisteme e'pistemologii (Tochnoe aksiomaticheskoe opredelenie sfery adekvatnosti glavnogo principa pragmatizma «Istinno to, chto polezno») // Sibirskij filosofskij zhurnal. 2017. T. 15. № 2. S. 40-52.
8. Bull, R., Segerberg, K. Basic Modal Logic // D. Gabbay, F. Guenthner (eds.). Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Dordrecht, Reidel Publishing Company, 1984. P. 1-88.
9. Kripke, S.A. Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi // Zeitschrift fur mathematische Logik und Grundlagen der Mathematik. 1963. V. 9 N. 5-6. P. 67-96.
10. Kripke, S.A. Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi // The Theory of Models (Proceedings of the 1963 International Symposium at Berkley). Amsterdam: North-Holland, 1965. P. 206-220.
11. Lobovikov, V.O. An Important Problem of Homogeneity of the Natural Law and Solving it by Means of an Axiomatic System of Philosophical Epistemology //
XXVIII World Congress on the Philosophy of Law and Social Philosophy "Peace Based on Human Rights", School of Law of the University of Lisbon, July 16 to 21, 2017, Lisbon: University of Lisbon, 2017. P. 653-654.
12. Priest, G. What is a Non-Normal World? // Logique et Analyse. 1992. V. 139-140, P. 291-302.
13. Priest, G. An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, Cambridge, New York: Cambridge University Press, 2008. 643 p.
UDC 16
UNITING NORMAL AND NON-NORMAL MODAL LOGICS BY ONE AXIOMATIC SYSTEM OF PHILOSOPHICAL EPISTEMOLOGY
Lobovikov Vladimir Olegovich,
The Institute of Philosophy and Law, Ural Branch of the Russian Academy of Sciences, Doctor of Philosophical Sciences, Full Professor, Yekaterinburg, Russia, E-mail: vlobovikov@mail.ru
Annotation
For the first time in analytic philosophy the universal theory of knowledge is precisely formulated and defined as an axiomatic system E. For formulating it four axiom schemes are used. Exploiting meta-language gave a possibility to make the axiomatic definition (of the system E) more simple and compact (in comparison with the options submitted by the author before). The system E under construction and definition consistently unites in one whole normal and non-normal modal logics; this gives a possibility consistently to synthesize in one conceptual scheme the rationalistic and empiricist paradigms of philosophizing about knowledge in general. Systematical constructing and investigating discrete mathematical models of philosophy of knowledge in general and further perfecting axiomatic systems of universal philosophical epistemology (in particular, studying the system E) is indispensable for constructing adequate metaphysic sub-system of artificial intelligence of autonomous robots.
Key concepts:
normal-modal-logic; non-normal-modal-logic; a-priori-knowledge; a-posteriori-knowledge; universal-philosophical-epistemology; metaphysical-subsystem-of-artificial-intelligence-of-autonomous-robot.
