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

2021 ◽  
Author(s):  
Antonino Drago
Keyword(s):  
Logical Analysis ◽  
Intuitionist Logic

Logical Analysis of Data-A Survey Paper

2017 ◽  
Vol 7 (3) ◽  
pp. 227-229
Author(s):  
Himani Chauhan ◽  
◽  
Garima Saxena ◽  
Arpit Tripathi ◽  
◽  
...  
Keyword(s):  
Logical Analysis ◽  
Logical Analysis Of Data ◽  
Survey Paper

Markov expert logical analysis applied to choose geological objects for their development

2018 ◽  
pp. 49-54
Author(s):  
E.R. Stavrovsky ◽  
◽  
E.V. Sennova ◽  
S.A. Pryadko ◽  
◽  
...  
Keyword(s):  
Logical Analysis

Directions of Accounting Environmental Factors for Forecasting Formation of Agroecosystems

2020 ◽  
pp. 31-35
Author(s):  
L.Z. Khalishkhova ◽  
◽  
A. Kh. Temrokova ◽  
I.R. Guchapsheva ◽  
K.A. Bogаtyreva ◽  
...  
Keyword(s):  
Sustainable Development ◽  
Comparative Analysis ◽  
Environmental Factors ◽  
Environmental Safety ◽  
Logical Analysis ◽  
Management Decisions ◽  
The Sustainable Development ◽  
The Impact

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.

REFLECTION OF THE CURRENT STATE OF PUBLICISTIC JOURNALISM GENRES IN THE SLOVAK MEDIA ENVIRONMENT

2020 ◽  
Author(s):  
Zuzana Kvetanová
Keyword(s):  
Discourse Analysis ◽  
Point Of View ◽  
Media Theory ◽  
Logical Analysis ◽  
Periodical Press ◽  
Media Environment ◽  
Current State ◽  
Journalistic Practice ◽  
Opinion Journalism

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.

COMPARISON OF TWO OPTIMIZATION MODELS FOR CONSTRUCTING PATTERNS IN THE METHOD OF LOGICAL ANALYSIS OF DATA

2020 ◽  
pp. 10-13
Author(s):  
Р.И. Кузьмич ◽  
А.А. Ступина ◽  
С.Н. Ежеманская ◽  
А.П. Шугалей
Keyword(s):  
Objective Function ◽  
Optimization Model ◽  
Logical Analysis ◽  
Optimization Models ◽  
Logical Analysis Of Data

Предлагаются две оптимизационные модели для построения информативных закономерностей. Приводится эмпирическое подтверждение целесообразности использования критерия бустинга в качестве целевой функции оптимизационной модели для получения информативных закономерностей. Информативность, закономерность, критерий бустинга, оптимизационная модель 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.

The Logical Analysis of Kinship

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

scholarly journals Frege and Wittgenstein: The Limits of the Analytic Style

Elements ◽  
2010 ◽  
Vol 6 (1) ◽  
Author(s):  
Christopher Sheridan
Keyword(s):  
Twentieth Century ◽  
Logical Analysis ◽  
Linguistic Meaning ◽  
Bertrand Russell ◽  
Gottlob Frege ◽  
Symbolic Logic ◽  
Scientific Language ◽  
German Mathematician ◽  
Broad Application ◽  
Analytic Tradition

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