Аналитическая теология: всемогущество Бога как формально-аксиологический закон в двузначной алгебре формальной этики (Обоснование этого закона "вычислением" соответствующих ценностных функций)

The paper submits a significantly new method for analytical theology – mathematical representing and solving knotty problems of theology by means of constructing and investigating their discrete mathematical models at the level of artificial language of algebraic system of formal ethics. For the first time God’s omnipotence is formulated by the artificial language and demonstrated as a formal-axiological law by “computing” relevant evaluation-functions2

Problems and prospects of digitalization and informatization of forest education in Russia

Digital technologies are rapidly invading all spheres of life of modern society. Education is no exception. On the contrary, education is becoming one of the main subjects and beneficiaries of digitalization in the broad sense of the word, often in the most unexpected areas of knowledge obtaining, mastering and applying. © Published under licence by IOP Publishing Ltd

The ethical expertise, mathematical models and computer scencies

Предлагается формулировка вышеупомянутого вопроса и ответа на него («Смысл жизни в самой жизни») в алгебре формальной этики при помощи точных табличных определений моральных ценностных функций: «смысл, цель (чего, кого) s»; «жизнь (чего, кого) s»; «бытие (чего, кого) s в (чем, ком) w».A precise formulation of the above-mentioned question and of the answer for it (“Sense of life exists in life itself”) is submitted in algebra-of-formal-ethics by means of precise tabular definitions of the moral-evaluation-functions: “sense, aim of (what, whom) s”; “life of (what, whom) s”; “s’-being-in-w”

THE PROBLEM OF CORRUPTION OF BASIC SCIENTIFIC INVESTIGATIONS IN PARTICULAR: FORMAL-ETHIC AND ECONOMIC ASPECTS

The aim of the paper is to carry out historical-philosophical andlinguistic analysis of ethical and metaphysical doctrine of Aristotle on corruption in general; to discuss of formal-ethical view on the problem of corruption in basic scientific researches; to define the place and role of fundamental scientific researches in knowledge-based economy taken as a whole, and Boston Chart, in particular.Methods. The methods involve the historical-philosophical and logical-linguistic analysis of texts; creation and studying of the elementary discrete mathematical model of the researched moral phenomenon at the level of artificial language of two-digit algebra of the natural right and morals; use of such conceptual and figurative tool of the economic theory as Boston Chart.Results and scientific novelty. The definition of the concept «basic scientific research» is given for the first time; the concept includes time parameter and knowledge of utility (the practical importance) of results of this research.Practical significance. The submitted definition (criterion) gives a possibility to establish at any moment of time definite borderline between the basic and the applied scientific search (the line undergoes change in the flow of time). The effective criterion of basic scientific researches offered by the author, and also exact specifying of their place and role in lifecycle of knowledge as goods in market economy (at the conceptual level of the Boston Chart) allow to designate an urgent problem of corruption of the scientific sphere in a new perspective. Along with some additional conditions, this new evidence could help to solve the problem.Цели статьи: проведение историко-философского и лингвистического анализа этического и метафизического учения Аристотеля о коррупции вообще; обсуждение с формально-этической точки зрения проблемы коррупции фундаментальных научных исследований; определение места и роли фундаментальных научных исследований в рыночной экономике знаний в целом и в «Бостонской диаграмме» в частности. Методология и методика изложенного в публикации исследования включали историко-философский и логико-лингвистический анализ текстов; построение и изучение простейшей дискретной математической модели исследуемого нравственного феномена на уровне искусственного языка двузначной алгебры естественного права и морали; применение такого концептуально-образного инструмента экономической теории, как «Бостонская диаграмма». Результаты и научная новизна. Впервые дано определение понятия «фундаментальное научное исследование», необходимо включающее в себя временной параметр и знание о полезности (практической значимости) результатов данного исследования.Практическая значимость. Выведенная трактовка понятия «фундаментальное научное исследование» дает возможность в каждый вполне определенный момент времени устанавливать вполне определенную (изменяющуюся со временем) границу между фундаментальным и прикладным научным поиском. Предлагаемый автором эффективный критерий фундаментальности научных исследований, а также точное указание их места и роли в жизненном цикле знания как товара в рыночной экономике (на концептуальном уровне Бостонской диаграммы) позволяют обозначить актуальную проблему коррупции научной сферы в новом свете, что при наличии некоторых дополнительных условий может способствовать ее разрешению

Vindicating Gödel's uniting logic, metaphysics and theology

Данная статья – репрезентативный пример работы в рамках одного из развивающихся на Урале направлений научного исследования философской теологии, а именно, – аналитической теологии, систематически использующей понятия и методы современной дискретной математики и символической логики. Например, в данной работе обоснование вездесущности Бога осуществляется «вычислением» соответствующей композиции ценностных функций в двузначной алгебре метафизики как формальной аксиологии.God’s omnipresence proved by computing compositions of evaluation-functions in two-valued algebra of metaphysics as formal axiology

3D OBJECT RECONSTRUCTION IN A PRE-DIGITAL ERA: CASE STUDY IN THE HISTORY OF RESTORATION

Restoration of the ensemble of parks, palaces and fountains of Peterhof (Petrodvorets) near St. Petersburg (Leningrad), Russia, is one of world-renowned restoration projects of the post - World War II period. However, little has been analysed of this unique restoration experience. This paper presents a specific episode in the history of this restoration project.The Peterhof ensemble is a complex historic site which includes many palaces, structures and fountains covering 18 square km of parks and gardens. The Grand Palace, - the central and the largest building of this ensemble, was built at the edge of a natural terrace, with a view to the sea (the Gulf of Finland) and the Lower Park at the foot of the terrace. This dominant spatial-architectural role of the Grand Palace was emphasized by its highest elements – two cupolas of its eastern and western parts. The cupolas were heavily damaged during World War II and shape reconstruction had to be undertaken for their restoration. The restoration of cupolas was one of the first and important steps in the restoration of the Peterhof ensemble.This paper focuses on the approach, methodology and the selected technological aspects of the restoration of cupolas of the Grand Palace, with a view to their interpretation at the time of restoration of cupolas (1950-s) as well as to modern restoration principles. It shows the process and methods of non-digital reconstruction of the shape of 3D object aided by non-digital models, unique decisions and techniques.</p

A Logically Formalized Axiomatic Epistemology System Σ + c and Philosophical Grounding Mathematics as a Self-Sufficing System

The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system. The research aim is the in-vention of such a logically formalized axiomatic epistemology system, in which it is possible to con-struct formal deductive inferences of formulae—modeling the formalism ideal of Hilbert—from the assumption of Kant’s apriorism in relation to mathematical knowledge. The research method is hy-pothetical–deductive (axiomatic). The research results and their scientific novelty are based on a logically formalized axiomatic system of epistemology called Σ + C, constructed here for the first time. In comparison with the already published formal epistemology systems X and Σ, some of the axiom schemes here are generalized in Σ + C, and a new symbol is included in the object-language alphabet of Σ + C, namely, the symbol representing the perfection modality, C: “it is consistent that…”. The meaning of this modality is defined by the system of axiom schemes of Σ + C. A deductive proof of the consistency of Σ + C is submitted. For the first time, by means of Σ + C, it is deduc-tively demonstrated that, from the conjunction of Σ + C and either the first or second version of Gödel’s theorem of incompleteness of a formal arithmetic system, the formal arithmetic investigated by Gödel is a representation of an empirical knowledge system. Thus, Kant’s view of mathematics as a self-sufficient, pure, a priori knowledge system is falsified. © 2021 by the authors. Licensee MDPI, Basel, Switzerland

Аналитическая философия естественного языка юриспруденции, этики и теологии (четыре математически различные формально-аксиологические значения слова "закон" и четыре – "власть")

The analysis of the natural language of the philosophy of natural law, natural mo-rality and natural theology results in the realization of the existence of a quartet of mathemat-ically different formal-axiological meanings of the word “law” and their definition in the two-valued algebra of formal axiology. The positive constitutional law of the separation of legislative and executive powers is substantiated by calculating the corresponding functions in this algebra