RUDN Journal of PhilosophyRUDN Journal of PhilosophyВестник Российского университета дружбы народов. Cерия: Философия2313-23022408-8900Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)11693ArticlesСтатьиResearch ArticleThe ontological argument generalized Bull Ç Frege semanticsОнтологический тезис обобщенной Буль Ç Фреге семантикиPavlovS AПавловСергей АфанасьевичDepartment of KnowledgeСектор теории познанияanpavlenko@mail.ruInstitute of Philosophy of RASИнститут философии РАН150120161NO1 (2016)№1 (2016)586912092016Copyright ©; 2016, Pavlov S.A.Copyright ©; 2016, Павлов С.А.2016Pavlov S.A.Павлов С.А.https://creativecommons.org/licenses/by-nc/4.0https://journals.rudn.ru/philosophy/article/view/11693On the basis of the joint examination of semantics of logic Boole and Frege and their subsequent agreement to construct a semantic theory which is named Boole Ç Frege semantics. The ontological argument, the underlying semantics and Boole Ç Frege essentially distinguishes it from other semantics is as follows denotation truth is only used denotation in this semantics.На основании совместного рассмотрения семантик логик Буля и Фреге с последующим их согласованием построена семантическая теория, которая названа Буль Ç Фреге семантикой. Онтологический тезис, лежащий в основе Буль Ç Фреге семантики и существенно отличающий ее от других семантик, состоит в следующем: единственным используемым денотатом в этой семантике является денотат истина .truthdenotationsemanticsBooleFregeистинаденотатсемантикаБульФреге1.Анисов А.М. Современная логика. М., 2002.2.Бочаров В., Маркин В. Введение в логику. М., 2008.3.Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. Т. 4. Вып. 2. 1938. С. 287-308.4.Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.5.Павлов С.А. Модификация семантики Фреге и многозначные интерпретации // Труды научно-исследовательского семинара логического центра Института философии РАН Вып. XIX. М., 2009. С. 70-81.6.Павлов С.А. О новой программе построения и обоснования логики // Философия. Толерантность. Глобализация. Восток и Запад - диалог мировоззрений: тезисы докладов VII Российского философского конгресса. Том III. Уфа, 2015. С. 120-121.7.Фреге Г. О смысле и значении // Логика и логическая семантика. М., 2000. С. 230-246.8.Фреге Г. Функция и понятие // Логика и логическая семантика. М., 2000. С. 215-229.9.Черч А. Введение в математическую логику. М., 1960.10.Johnsonbaugh R. Discrete Mathematics. Prentice Hall, 2005.