УВІДПОВІДНЕННЯ ТЕРМІНІВ ЛОГІКИ НОРМАМ СУЧАСНОЇ УКРАЇНСЬКОЇ МОВИ

Considering the importance of rational, effective professional language (for 
thinking and communication), the subject of the study, the results of which we 
presented in this article, is the analysis of the consistency of logic terms with the 
norms of Ukrainian terminological standards. This article is about the observance

of linguistic norms, in particular, giving preference to Ukrainian-speaking terms 
against foreign-language ones (a very large percentage of foreign-language terms 
in the field of logic is evident) as well as the delimitation of the names of action, 
events and consequences by the form of the word. Having achieved these objectives 
would, at the same time, lead to the adoption of terms of logic and unification of 
formally-linguistic means during the creation of terms.
The research was to do the following: 1) the discovery of those terms of logic 
that do not meet the requirements of the DSTU on terminology; 2) the analysis of 
the possible ways to achieve the correspondence between terms and terminological 
standards of Ukraine.
As a result of the research, we have constructed the series of interrelated 
process logic terms: name of the action by the verb – name of the action by verbal 
noun – name of the completed action (event) by the verb – name of the event by the 
verbal noun – name of the consequence of action by the verbal noun. We constructed 
such rows for terms that are the names of operations for obtaining new knowledge: 
generalization, restriction, derivation, proof, refutation, making a conclusion, 
deduction, making an assumption, making of a hypothesis, implication. We used 
the following requirements during the construction of these series of terms:
1) all the terms of each series must be created on the same lexical basis;
2) As the terms we should use such words, in which the meaning of the word is 
consistent with its form, that is, if the main purpose in accordance with a particular 
form of the word is an action, an event, or a consequence of an event, then the 
meaning of a word must be the action, the event or the consequence of the event, 
respectively.
If, for example, the main purpose of the verbal noun with suffixes -annia, 
-ennia is to denote an unfinished or completed action, then it is incorrect to use it to 
denote the consequence of an event.
When creating a system of terms, we have established the following 
relationships between them: proof – is a deduction in the case, when as a conclusion 
we try to confirm the truthfulness of a given thesis; refutation – is a deduction in 
the case, when as a conclusion we try to confirm the falseness of a predefined 
thesis; derivation – is a deduction in the case, when the desired conclusion is not 
predefined; making an assumption – is the creation of allegedly true affirmations; 
making of a hypothesis – is the creation of probably true affirmations in the field 
of science.
As a result of the study of the coherence of widely used logic terms with the 
requirements of terminological standards, we have found out that in the Ukrainian 
terminology system of logic there is a large number of terms that are not consistent 
with the terminological standards and, therefore, we proposed new linguistically 
correct terms (in a number of cases we proposed linguistically correct terms-duplicates in order to be able to choose the most appropriate one).