An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper

Author(s):  
Antonino Drago
Author(s):  
Himani Chauhan ◽  
◽  
Garima Saxena ◽  
Arpit Tripathi ◽  
◽  
...  

Author(s):  
L.Z. Khalishkhova ◽  
◽  
A. Kh. Temrokova ◽  
I.R. Guchapsheva ◽  
K.A. Bogаtyreva ◽  
...  

Ensuring the sustainable development of agroecosystems requires research into the justification of the impact of environmental factors on the formation of territorial agroecosystems and identifies ways to take them into account in order to justify management decisions and ensure environmental safety. The main goal of the research within the article is to identify the most significant environmental factors in predicting the formation of agroecosystems. Provisions are devoted to the study of the laws governing the functioning of agroecosystems in order to increase their stability. The methods of comparative analysis, generalization, abstraction, logical analysis are applied. A number of provisions are formulated regarding ways to account for the influence of factors on the formation of key elements of agroecosystems.


Author(s):  
Zuzana Kvetanová

The submitted study addresses the topic of the current state of the opinion journalism and its genres in the Slovak periodical press. The author draws attention to the question of classification of the opinion journalism of a rational and emotional type from the genre categorization point of view and, simultaneously, reflects on its application in the present journalistic practice. This brings a certain rate of confrontation between the defined theoretical premises and their subsequent practical (non-)implementation. The main objective of the study is to clarify the presence of genres of analytical and literary opinion journalism stated by media theory in the environment of the Slovak periodicals. Presentation of the basic terminological axis and the related explication of journalism genres included in the opinion journalism constitute the secondary objectives of the paper. For the purposes of achieving the set objectives, the author uses methods of logical analysis of text in combination with discourse analysis. Similarly, she predicts the evident presence of the phenomenon of hybridization in the Slovak journalistic practice.


Author(s):  
Р.И. Кузьмич ◽  
А.А. Ступина ◽  
С.Н. Ежеманская ◽  
А.П. Шугалей

Предлагаются две оптимизационные модели для построения информативных закономерностей. Приводится эмпирическое подтверждение целесообразности использования критерия бустинга в качестве целевой функции оптимизационной модели для получения информативных закономерностей. Информативность, закономерность, критерий бустинга, оптимизационная модель Comparison of two optimization models for constructing patterns in the method of logical analysis of data Two optimization models for constructing informative patterns are proposed. An empirical confirmation of the expediency of using the boosting criterion as an objective function of the optimization model for obtaining informative patterns is given.


1949 ◽  
Vol 16 (1) ◽  
pp. 58-64 ◽  
Author(s):  
Joseph H. Greenberg
Keyword(s):  

Elements ◽  
2010 ◽  
Vol 6 (1) ◽  
Author(s):  
Christopher Sheridan

The analytic tradition in philosophy stems from the work of German mathematician and logician Gottlob Frege. Bertrand Russell brough Frege's program to render language-particularly scientific language-in formal logical terms to the forefront of philosophy in the early twentieth century. The quest to clarify language and parse out genuine philosophical problems remains a cornerstone of analytic philosophy, but investigative programs involving the broad application of formal symbolic logic to language have largely been abandoned due to the influence of Ludwig Wittgenstein's later work. This article identifies the key philosophical moves that must be performed successfully in order for Frege's "conceptual notation" and other similar systems to adequately capture syntax and semantics. These moves ultimately fail as a result of the nature of linguistic meaning. The shift away from formal logical analysis of language and the emergence of the current analytic style becomes clearer when this failure is examined critically.


Sign in / Sign up

Export Citation Format

Share Document