logical part
Recently Published Documents


TOTAL DOCUMENTS

12
(FIVE YEARS 1)

H-INDEX

3
(FIVE YEARS 0)

2021 ◽  
Vol 58 (1) ◽  
pp. 2011-2017
Author(s):  
Zair Takhirov Et al.

The meaning of a word is an expression of a thing in an objective being, an event and a reflection of reality in a subject. In addition, the word also has a logical part, in a figurative sense, it expresses the relationship of the subject to the object. The article reveals the methodological meaning of “mucha” (sema) in artistic speech, which creates a subjective attitude to the object in the figurative sense of the word, the achievement of clarity and attractiveness of speech due to the expressive and stylistic coloring in this sense. Moreover, expressive-stylistic painting is based solely on the fact that a word is expressed through a certain meaning. In artistic discourse, they also talk about the phenomena of migratory speech. The article analyzes existing ideas, which also focus on the study of artistic speech, as well as the author's own views on the subject.  


Author(s):  
Christos Terezis

In this study we investigate the extract 154b8–156c9 from the introductory chapters of the Platonic dialogue Charmides so that to examine how the terms of Aesthetics are formed, which focuses on the selfhood and makes it the core of dialectics. Specifically, we structure our study in two chapters each of which includes two subchapters. In the first subchapter we focus on the soul, which in the Platonic text appears to be the criterion for moral perfectness. In the second subchapter, which systematizes the former, we show how Socrates contrives to do the transition from subjective judgments to logical propositions and the terms of the authentic Aesthetics. In the third subchapter, paying attention to the first communication between Socrates and Charmides, we discuss how the Athenian philosopher sets beauty within its true boundaries and activates the logical part of the soul. In the fourth subchapter, we follow the introduction in dialectics, which will lead anyone involved in truth. The main contribution of our study is that we show how in this dialogue Plato succeeds to go from vulgar hedonism to the beauty of the soul, which is a requirement for the inner transformation of selfhood.


Author(s):  
Igor Da Silva Corocher ◽  
Barbara Lopes Felsenthal ◽  
Bruno Pereira Gonçalves ◽  
Jean Mark Lobo de Oliveira ◽  
Rilmar Pereira Gomes ◽  
...  

The objective of this research is to analyze the relevance of the information security policy in the logical part of the company. It will be used data obtained from research conducted within various companies, which demonstrate the level of knowledge of employees and some wrong measures they taken which ended up harming the company. It will be possible to check not only the weight that an information policy has within any economic sector, but also to point out which areas of the company are most prone to data loss/theft. One of the most valuable assets in any business, is information, that is, data that is generated through trades made, revenue generated, productivity, etc., and however small the information seems, to the market it can be extremely relevant and the leakage of this information, due to a failure or lack of security, can lead to the bankruptcy of a company.


2019 ◽  
Vol 139 ◽  
pp. 01060 ◽  
Author(s):  
Anton Loskutov ◽  
Pavel Pelevin ◽  
Mile Mitrovoc

The issues of increasing the sensitivity and reliability of multi-parameter relay protection by sharing more than one information feature (current module, voltage module and phase, active and reactive power) are considered. In this case, the response parameters of individual one-dimensional measuring fault detectors based on the accumulation of statistical data during simulation in the Matlab / Similink software package are determined. A method for combining the signals of one-dimensional measuring fault detectors to increase the sensitivity of protection is proposed. The reliability of the organization of the logical part of multi-parameter relay protection was estimated using the theory of Markov processes, the principles of “2 out of 3” and “1 out of 2”.


2011 ◽  
Vol 21 (4) ◽  
pp. 913-942
Author(s):  
ROBIN ADAMS ◽  
ZHAOHUI LUO

We present a programme of research for pluralist formalisations, that is, formalisations that involve proving results in more than one foundation.A foundation consists of two parts: a logical part, which provides a notion of inference, and a non-logical part, which provides the entities to be reasoned about. An LTT is a formal system composed of two such separate parts. We show how LTTs may be used as the basis for a pluralist formalisation.We show how different foundations may be formalised as LTTs, and also describe a new method for proof reuse. If we know that a translation Φ exists between two logic-enriched type theories (LTTs) S and T, and we have formalised a proof of a theorem α in S, we may wish to make use of the fact that Φ(α) is a theorem of T. We show how this is sometimes possible by writing a proof script MΦ. For any proof script Mα that proves a theorem α in S, if we change Mα so it first imports MΦ, the resulting proof script will still parse, and will be a proof of Φ(α) in T.In this paper, we focus on the logical part of an LTT-framework and show how the above method of proof reuse is done for four cases of Φ: inclusion, the double negation translation, the A-translation and the Russell–Prawitz modality. This work has been carried out using the proof assistant Plastic.


2008 ◽  
pp. 1004-1036
Author(s):  
Andreas Maniatis ◽  
Panos Vassiliadis ◽  
Spiros Skiadopoulos ◽  
Yannis Vassiliou ◽  
George Mavrogonatos ◽  
...  

Data visualization is one of the major issues of database research. OLAP a decision support technology, is clearly in the center of this effort. Thus far, visualization has not been incorporated in the abstraction levels of DBMS architecture (conceptual, logical, physical); neither has it been formally treated in this context. In this paper we start by reconsidering the separation of the aforementioned abstraction levels to take visualization into consideration. Then, we present the Cube Presentation Model (CPM), a novel presentational model for OLAP screens. The proposal lies on the fundamental idea of separating the logical part of a data cube computation from the presentational part of the client tool. Then, CPM can be naturally mapped on the Table Lens, which is an advanced visualization technique from the Human-Computer Interaction area, particularly tailored for cross-tab reports. Based on the particularities of Table Lens, we propose automated proactive support to the user for the interaction with an OLAP screen. Finally, we discuss implementation and usage issues in the context of an academic prototype system (CubeView) that we have implemented.


2007 ◽  
Vol 17 (2) ◽  
pp. 203-265 ◽  
Author(s):  
AHMAD HASNAWI

Aristotle’s Topics, and especially, as far as the subject of this study is concerned, their central books (II-VII), played a role of central importance both in the medieval Latin and in the Arabic logical tradition. This did not occur without transformations, which affected the nature and the function of the loci of which these books set forth the theory. One of the most visible signposts of this tradition of re-elaboration of the Topics is represented by Themistius (ob. c. 388), to whom both Boethius and Averroes refer. Yet no work by Themistius on the Topics has come down to us in Greek. With a view to reconstructing the work(s) of this author, we have here collected and translated the passages that are attributed to him explicitly (with the exception of one of them) in Averroes’ Middle Commentary on the Topics, comparing them, where necessary, to the testimonies collected by Boethius in his De topicis differentiis. In addition – and this is a new element added to the file – we show that the Themistian classification of loci was taken up by Abū al-Barakāt al-Baġādī (ob. after 1164), author of a philosophical summa entitled al-Kitāb al-mu‘tabar (The meditated book). These three testimonies are all the more precious in that they are independent of one another. The study of the chapter in the logical part of al-Kitāb al-mu‘tabar, containing the Themistian classification of loci, of which a corrected text with translation is offered, shows that one finds in it some of the most singular aspects of this classification, as it appears in Boethius. Abū al-Barakāt al-Baġādī thus reveals himself to be closer than Averroes to the testimony of Boethius. This suggests the idea of a double redaction by Themistius of the classification of loci: one, more concentrated, comes from an introduction to the paraphrase of the central books of the Topics, which may have inspired Averroes; the other, more extensive, which will have been part of an original work, and inspired the classifications of Boethius and of Abū al-Barakāt al-Baġādī.


Urban History ◽  
1992 ◽  
Vol 19 (2) ◽  
pp. 229-250 ◽  
Author(s):  
Robert A. Burnham

City planning has become such an acknowledged function of city government that today we tend to take the city planning commission for granted as a logical part of the city government. Pioneers in the city planning movement in the United States at the turn of the century, however, had yet to decide upon the proper vehicle for carrying out city planning. Although in the early years of the movement a variety of methods were tried, including private planning associations, planning conducted by a committee of city council, and city planning conducted by a single city official, the most common agency of planning to emerge out of this period was the city planning commission.


Sign in / Sign up

Export Citation Format

Share Document