RUDN Journal of PhilosophyRUDN Journal of PhilosophyВестник Российского университета дружбы народов. Cерия: Философия2313-23022408-8900Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)11728ArticlesСтатьиBasis Statements of the Truth Theory with the Truth OperatorИсходные положения теории истины с оператором истинностиPavlovS AПавловС АСектор логики; Институт философии РАН; Institute of philosophy of RASСектор логики; Институт философии РАН-Institute of philosophy of RASИнститут философии РАН150320093NO3 (2009)№3 (2009)10011312092016Copyright ©; 2009, Pavlov S.A.Copyright ©; 2009, Павлов С.А.2009Pavlov S.A.Павлов С.А.https://creativecommons.org/licenses/by-nc/4.0https://journals.rudn.ru/philosophy/article/view/11728This paper proposes the axiomatic theory of truth with the truth operator. The truth operator is included in language of this theory that permits iteration of such operator.В статье предложена аксиоматическая теория истины, которая строится как логическая теория с операторами истинности и ложности, которые включены в язык теории и допускают итерацию. T-эквивалентость в общем случае не имеет места, а условием её выполнения является выполнение принципа бивалентности. Область определения оператора истинности в теории истины расширена на универсум символьных выражений. Найдены условия применимости классической логики для формул ряда языков.truth theorysemanticsmetalanguageaxiomaticlanguageтеория истинысемантикаметаязыкаксиоматикаязык1.Анисов А.М. Истина // Новая Российская энциклопедия. - М., 2009.2.Аристотель. Категории // Сочинения. - М., 1978. - Т. 2. - С. 51-90.3.Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. - М., 1987. - С. 54-61.4.Гильберт Д., Аккерман В. Основы теоретической логики. - М., 1947.5.Крипке С. Очерк теории истины // Язык, истина, существование. - Томск: Изд-во Томского ун-та, 2002. - С. 151-183.6.Куайн У. Философия логики. - М., 2008.7.Павлов С.А. Исчисление предикатов истинности и ложности // Логический анализ естественных языков. 2-й советско-финский коллоквиум по логике. - М., 1979. - С. 70-73.8.Павлов С.А. Некоторые условия двузначности в исчислении предикатов истинности и ложности // Системные методы анализа научного знания. - М., 1986. - С. 152-154.9.Павлов С.А. Логика с операторами истинности и ложности. - М., 2004.10.Павлов С.А. Теория истины с оператором истины для классической сентенциальной логики и её расширение на область неправильно построенных формул // Труды членов Российского философского общества. - М., 2008. - Вып. 15. - С. 82-92.11.Смальян Р. Теория формальных систем. - М., 1981.12.Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. - М., 1999. - С. 19-155.13.Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. - М., 1998.14.Чёрч А. Введение в математическую логику. - М., 1960.15.Turner R. Logics of Truth // Notre Dame Journal of Formal Logic. - 1990. - Vol. 31. - N 2. - P. 308-329.16.Pawlow S.A. Einige nichttraditionelle Ideen in der Logik // Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophishe Probleme der Logik. - Berlin, 1978.17.Wright G.H. von Truth-Logics // Logique et analyse. Nouvelle serie. - 1987. - Vol. 120. - P. 311-334.