О предмете и методе формальной логики

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

мышление, знание, психологизм, объективизм, формальная логика, логическая форма, логический закон, нормативная база логики