Diocletian and the Third Republic

In 212 AD, Emperor Caracalla issued an edict granting Roman citizenship to the entire free population of the Roman Empire. The non-indigenous the Romans edict opened the way to the army, which allowed an increase in number of legions, but made them less loyal. All this contributed to revision of Augustus’ model and formation of a new political reality, which was called by historians the name “dominate”, the first version of which was Diocletian’s tetrarchy. For the tetrarchy system to work effectively, too many conditions were necessary, and the Romans were no longer ready for such a great responsibility. In addition, Diocletian’s model, solving some problems, created others, causing confusion and starting the process of the gradual division of the empire into the Eastern and the Western parts. If the principate system can be called as “The Second Republic”, then the system following it, under which “masters” began to govern free citizens, it would be logical to call “The Third Republic”. The Emperor is one of the titles of the republican ruler of Rome, along with the titles “Augustus”, “Caesar”, “princeps senatus”, “pontifex maximus”, etc. The legal and factual significance of each of these titles has undergone evolution, but the Romans themselves would never have agreed that a monarchy had been established in their empire; they quite sincerely considered their state to be a republic. This republic was led by a person who has a whole set of temporary and lifelong titles, including the title of emperor, which complemented other the highest ranking magistrates. At the same time, there was a transition from representations of power as a civil (and, as a result, military and religious) to power as a military (and only then – civil and religious) function. If the princeps themselves could not have been military leaders, then for the dominus it became a necessity, the logical expression of which was the institution of tetrarchy.

Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports

We propose a logical encoding of argumentation frameworks with higher-order interactions (i.e. attacks/supports whose targets are arguments or other attacks/supports) with an evidential meaning for supports. Our purpose is to separate the logical expression of the meaning of an attack or an evidential support (simple or higher-order) from the logical expression of acceptability semantics. We consider semantics which specify the conditions under which the arguments (resp. the attacks/supports) are considered as accepted, directly on the extended framework, without translating the original framework into a Dung’s argumentation framework. We characterize the output of a given framework in logical terms (namely as particular models of a logical theory). Our proposal applies to the particular case of Dung’s frameworks, enabling to recover standard extensions.

A Digital Device for Automatic Checking of Homework Assignments in the Digital Circuits Course

This paper considers a digital device for automatic checking of homework assignments in the digital circuits course. The assignment is to make a digital circuit corresponding to a given logical expression; the circuit is comprised of elementary logic gates. The process of manual testing the built circuit is very labor-intensive because checking a circuit with N inputs variables requires checking the correctness of the output variable for 2N cases. We propose automating this pro-cess with a special digital device. The device is comprised of a microcontroller connected to the circuit tested. The microcontroller is connected to a personal computer with an application written in C# for executing the main operations of the testing process. During testing, the student chooses from a database or enters the logical expression corresponding to the circuit tested. For the expression, the software generates truth tables where actual and required responses of the circuit are given. Actual circuit responses are acquired by probing the circuit via the microcontroller, and the expected values are calculated from the logical expression. The truth tables are then presented to the student with a message of whether the circuit works correctly or not. The device was integrated into the process of checking homework assignments in the digital electronics course, and it significantly sped up the process of checking homework assignment circuits, resulting in better education quality.

ALGEBRA OF PREDICATES AND RELATED GEOMETRIC MODELS CREATION IN REGARDS OF UNIFIED STATE EXAM IN INFORMATICS (RUSSIAN EGE)

The article discusses the method of solving the task 18 on the Unified State Examination in Informatics (Russian EGE). The main idea of the method is to write the conditions of the problem utilizing the language of formal logic, using elementary predicates. According to the laws of logic the resulting complex logical expression would be transformed into an expression, according to which a geometric model is supposed to be constructed which allows to obtain an answer. The described algorithm does allow high complexity problem to be converted into a simple one.

Land Rights of Indigenous People

This chapter is based on the PhD proposal drafted as per the requirements of the Faculty of Law, University of Malaya. Following the guidelines, first, the proposal has mirrored the background of the issue and then focused on the actual problem commonly faced by the victims. Secondly, it traces the research questions and sets the goal that the research aims to achieve. Therefore, to justify the research, a logical expression behind the study has been provided which has been followed up by a brief literature review discussing the conceptual and theoretical framework of the research. Thereafter, it includes the methodology to be followed by the researcher to achieve the aims set earlier. Finally, it explores the scope of the research showing that in spite of so many limitations the present study can stand as a potential source to ensure the land rights of indigenous communities of Bangladesh.