The Subject and Prospects of Development of Logic

##plugins.themes.bootstrap3.article.main##

Y. V. Ivlev

Abstract

The article discusses a subject of logic and some prospects for its development. It is argued that logic is the science of thinking. That is, thinking is an object of the science of logic. The subject of logic is a special structure of thoughts and thinking processes which is called (quite unsuccessfully, according to the author of the article) forms of thoughts and processes of thinking. These structures are discovered by partial abstraction from both semantic and substantive meanings of non-logical terms which are included in the language expressions that represent thoughts and processes of thinking. The modern logic differs from the traditional logic in using methods which are similar to mathematical methods — methods of symbolic logic. However, it preserves all achievements of traditional logic which are important for both scientific and everyday knowledge. The logic that is described in some textbooks published in the forties of the last century in the USSR is called surrogate. There are said to be empirical and theoretical levels of research in logic, as well as logic and “as-if-logic”, classical and nonclassical logics. The prospects for the development of “as-if-logic” and the logic itself are under discussion. The usefulness of research in the field of “as-if-logic” is highlighted — there can be created a range of “as-if-logical” systems with some of them being interpreted as actual logical systems itself afterwards. There can be developed new methods for proving metatheorems, which will be applied in proving some results concerning actual logical systems. Two directions are indicated to be prospects for the development of logic — empirical and theoretical researches. Possible applications of quasi-matrix logic in the field of logic as well as in the other areas of cognition are identified. DOI: 10.21146/2074-1472-2018-24-1-115-128

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Асмус В.Ф. Логика. М.: Госполитиздат, 1947. 388 с.
Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. Кн. II. М., 1994. 332 с.
Ивлев В.Ю. Категории необходимости, случайности и возможности: их смысл и методологическая роль в научном познании // Философия и общество. 1977. № 3. C. 108–125.
Ивлев В.Ю. Содержательная семантика модальной логики. М.: Изд-во Моск. ун-та, 1985. 170 с.
Ивлев В.Ю. Логика в управлении. М.: Академия МВД, 1979. 170 с.
Ивлев Ю.В. Логика. М.: Проспект, 2016. 296 с.
Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991. 224 с.
Ивлев Ю.В. Квазифункциональная логика // Научно-техническая информация. Серия 2: Инфрмационные процессы и системы. 1992. № 6. С. 12–20.
Ивлев Ю.В. Методологическая функция квазиматричной (квазифункциоанльной) логики // Методология в науке и образовании. Материалы Всероссийской конференции университетов и академических институтов РАН. М.: Изд-во МГТУ им. Н.Э. Баумана, 2017. С. 61–64.
Ивлев Ю.В. Табличное построение пропозициональной модальной логики // Вестн. Моск. ун-та. Сер. «Философия». 1973. № 6. С. 51–61.
Карпенко А.С. Многозначные логики. M.: Наука, 1997. 223 с. (Серия «Логика и компьютер». Вып. 4.)
Ivlev Y.V. Generalization of Kalmar’s method for quasi-matrix logic // Logical Invistegations. 2013. Vol. 19. P. 281–307.
Ivlev Y. V. Theory of Logical Modalities // Multi. Val. Logic. 2000. Vol. 5. P. 91–102.
Ivlev Y. V. Outlines of the transition from the principles of traditional logic to the principles of non-classical logic // Zwischen traditioneller und modernen logik. Nichnklassische Ansatze. Mentis, 2001. P. 297–310.
Ivlev Y. V. Quasi-matrix logic // Journal of Multi. Val. Logic and Soft Computing. 2005. Vol. 11. № 3–4. P. 239–252.
Rescher N. Many-valued logic. N. Y.: McGraw-Hill, 1969. 359 p.