О предмете и методе формальной логики
Authors: Валерий Александрович Суровцев 
Published: December 2024

Рассматривается распространенное определение формальной логики как науки о формах и законах мышления. Необходимость такого рассмотрения обусловлена тем, что содержание данного определения зачастую трактуется совершенно неверно, поскольку под мышлением понимается психологический процесс, а под формами и законами – нормативная база применения субъективных познавательных способностей. Логику, однако, интересует не субъективный психологический процесс, но объективные характеристики мышления как такового, свойственные не только представителям человеческого рода, но и любому процессу, например искусственному интеллекту, который может быть уподоблен мышлению. В этом отношении логика рассматривает не просто мышление, но его объективный результат, каковым является знание в самом широком смысле. Логику интересует мышление лишь постольку, поскольку оно объективируется в знании. Любое знание состоит из содержания, под которым понимается совокупность разнородных сведений, отличающая одно знание от другого, и формы, которая для всех знаний одинакова и представляет собой то, что придает содержанию систематическое единство. Источником содержания знания является понимаемый в самом широком смысле опыт, а источником форм представления знания выступает мыслительный процесс. Можно сказать, что мышление – это то, что наделяет систематическим единством содержание, усвоенное в опыте. Формы представления знания посредством метода формализации могут быть обособлены от содержания и исследованы сами по себе. Именно эти формы образуют объективную сторону мышления и являются предметом формальной логики, независимым от субъективных особенностей протекания мыслительных процессов. Используя компьютерную метафору, можно сказать, что логические формы выражают объективную вычислительную процедуру, позволяющую из имеющихся знаний получать другие знания. Подобные алгоритмические процедуры имеют собственную нормативную базу, которая представляет собой совокупность законов логики. Законы логики бессодержательны и в отличие, например, от законов природы имеют не фактический (то есть имеющий отношение к опыту), а формальный характер. Нормативная база логики в силу своей формальности применима к любому знанию независимо от содержательных различий. Именно поэтому логика – универсальна. Метафорически можно сказать, что она предписывает то, как мышление должно относиться к самому себе. Нормативная база подобного рода устанавливает общие правила распределения значений истинности и общие правила логического вывода.

This lecture examines the widespread definition of formal logic as the science of forms and laws of thinking. The content of this definition is often misinterpreted, since thinking is understood as a psychological process, and forms and laws are understood as the normative basis for the application of subjective cognitive abilities. Logic, however, is not interesting in the subjective psychological process but is interesting in the objective characteristics of thinking as such. These characteristics are peculiar not only to members of the human species, but also to any process, such as artificial intelligence, which can be likened to thinking. In this respect, logic considers not thinking as subjective process, it considers the objective result of thinking, and knowledge in the broadest sense is such a result. Logic is interested in thinking insofar as thinking is objectified in knowledge. Any knowledge includes content (and content is understood as a set of heterogeneous information that distinguishes one knowledge from another) and form, which is the same for all knowledge. Form gives the content a systematic unity. The source of the content of knowledge is experience understood in the broadest sense, and the source of the forms of knowledge representation is the thinking process. We can say that thinking gives systematic unity to the content received from experience. Forms of knowledge representation through the method of formalization can be separated from the content and investigated in themselves. These forms are the objective side of thinking. They are the subject of formal logic and are independent from subjective peculiarities of thought processes. If we use a computer metaphor, we can say that logical forms express an objective computational procedure that allows us to derive other knowledge from existing knowledge. Such algorithmic procedures have their own normative base that is a set of laws of logic. The laws of logic are contentless and formal rather than factual (i.e., related to experience). By virtue of its formality the normative basis of logic is applicable to any knowledge irrespective to difference of contents. That is why logic is universal. We can say that logic prescribes how thinking should relate to itself. A normative framework of this kind establishes general rules for the distribution of truth values and general rules for logical inference.