Continuateur d’Eusèbe de Césarée (265-339), Socrate de Constantinople (380-440), un des plus grands historiens de l’Antiquité chrétienne de langue grecque, est l’auteur d’une précieuse Histoire (publiée probablement vers 439/440) dont l’intérêt réside, non seulement dans le fait qu’elle prolonge de plus d’un siècle l’Histoire ecclésiastique d’Eusèbe, mais aussi parce qu’elle nous a conservé des documents historiques de la plus haute importance, souvent cités in extenso, et dont certains sont ..

The desire to see a sign phenomenon in different ways always has a reason to interpret it in an unbiased, panoramic way, and in some places - even allowing for contradictions in its understanding by different participants in the interpretative process. For modern humanities, this disposition is quite understandable, since it follows from its very postmodern nature, thereby defining the semantic semantic fields of the leading humanities. True, it is not so wide-spread, but instead, it is evident that Ukrainian religious (...) thinkers of the Middle Ages and Baroque have interpreted the iconic phenomena more deeply. In the story of Petro Mohyla "On the Wonderful Elder Grigory Mezhyhirsky" the metropolitan Mohyla clearly expresses the need to build before the thinking gaze of the reader his own, immanently religious-philosophical conception of the Divine, which every time would present him not just as an act of manifestation, otherwise he appears before the person, while remaining alone. The contemporary study of this issue in order to integrate its leading concepts in the religious-philosophical and general cultural discourse of the postmodern era has largely determined the relevance of the proposed article. The study of the phenomenon of "leaving" by itself in changing forms of the phenomenon of the Divine is also one of the key ones in the proposed studio, because it expresses the very meaning of the Divine as a religious, and therefore a cultural phenomenon. (shrink)

Given a physical system, one knows that there is a logical duality between its properties and its states. In this paper, we choose its states as the undefined notions of our axiomatic construction. In fact, by means of well-motivated assumptions expressed in terms of a transition probability function defined on the set of all pure states of the system, we construct a system of elementary propositions, i.e., a complete orthomodular atomic lattice satisfying the covering law. We also study in this (...) framework the important notion of compatibility of propositions, and we define the superpositions and the mixtures of the states of the physical system. (shrink)

‘To Gödel via Babel’, MIND, July 1966.In (1), the last clause should read: ‘then the GN of the resulting P-sentence is x100.y’ In (21), the expression in Roman numerals should read: ‘$$Y.\frac{\hbox{ L }Y}{\hbox{ XIX }}$$’ In (25) and (27), the expression in Roman numerals should read: ‘$${(\hbox{ C }}^{\hbox{ XVII }}.\hbox{ D })\hbox{ . }\frac{\hbox{ L }\left({\hbox{ C }}^{\hbox{ XVII }}.\hbox{ D }\right)}{\hbox{ XIX }}$$’.

The article is concerned with the question of how legal institutions are structured with the use of constitutive, institutive, consequential, and terminative rules. To that end, the regulation of international treaties as laid down in the Vienna Convention on the Law of Treaties of 1969 is analysed. This leads to the discovery of two additional categories of rules: content rules and invalidating rules. Finally, the special status of unique legal institutions is investigated. Unique legal institutions – for example, heads of (...) state, parliaments, and supreme courts – enjoy validity in a legal system to the exclusion of the validity of any other legal institution of the same category in that system. (shrink)

In the Ukrainian reality of the twenty-first century. The search for the dominant spiritual and national identity is one of the leading places. The dialogue between Catholicism, which is represented by the spiritual phenomenon of the Vatican, and by Ukraine, one of the countries not only of the Greek Catholic, but also of the Orthodox tradition, with a distinct national-cultural specificity, is, in our opinion, the semiosphere where the answers to many challenges of the present and the future. But such (...) answers are difficult to find if the sine era et studio does not analyze the key trends in the development of the Ukrainian Orthodox Church by examining it, without looking back at the stereotypes of the identification of Ukrainian spiritual thinking and being with the imperially secular tradition. The most suitable method for this task is the comparative methodology, which examines the basic ideological characteristics of the ideological world of Orthodox thinkers - from Ivan Vyshensky and to thinkers and spiritual prophets of the Second Cathedral of the UAOC. (shrink)

Actuality of the usage of the food safety knowledge-based technologies is shown. The food safety stakeholders and information objects are presented. The set of ontologies and context areas which are described decision –making tasks and processes are shown. The basic ontology is presented as a means of conceptual representation of the field of food safety. The usage of decision-making is considered. Modern food processing technologies, food safety requirements, food safety requirements etc. are characterized by the need for complex and rational (...) solutions. It is necessary to consider different aspects of decision-making in food safety, which can be based not only on the knowledge of a particular subject area. The use of information and knowledge is a key task in any problem area related to the production and dissemination of knowledge, especially new types of unique content that are useful and accessible. The paper aim is to conceptually present an ontological system based on the use of context and ontologies and aimed at supporting decision making in the food safety management system. Food safety knowledge, which used in decision-making processes, is considered as the context knowledge and the knowledge that describes the content. The paper presents food safety stakeholders and provides information objects. The information and knowledge includes various aspects such as knowledge and information on the production and processing industry; and the food safety aspects. For this purpose, an interconnected set of ontologies is used, which is a multilevel associative structure: meta-ontology; basic ontology; context ontology; set of domain ontologies; realization ontology; user presentation and interaction ontology; model of inference machine. Implementation of food safety processes and integration of the components of decision-making is based on the presentation of the multi-level system of management and decision-making in it through a model of a context. The context framework takes into account different context domains, such as: purpose/result, actor, process/action, object, environment, facility, tools, presentation, location, and time. The ontology implementation builds an inter connected system of preparation and choice of solutions, both for the given problem and for interaction with other complexes of problems and tasks, allows to make decisions taking into account the consequences of their implementation. (shrink)

We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)