Формы и содержание мышления

Разницу между этим подходом и той абстракцией от эмпирического содержания, которая практикуется формальной логикой, можно проиллюстрировать следующим образом. В формальной логике изучается, например, логическое следование или вывод. Сам по себе вывод в естественном рассуждении — действие, акт человека. И логическое следование в нем есть всегда следование по определенному содержанию: человеком мыслятся определенные предметы или их свойства, и по ним он заключает о других предметах или свойствах. Для человека одно содержание следует из другого и выводится из него, предполагает его и т. д. Никто не выводит выведения: имеются в виду и связываются выводом именно мыслимые в высказываниях предметы, их содержание, выражаемое в определенных структурах знания. То, что при этом-следование в действиях человека основано на логических свойствах исходных высказываний и правилах вывода (в предположении существования у человека определенного мысленного навыка, сформировавшейся на опыте способности к построению таких рассуждений) и что его правильность и обоснованность могут быть доказаны или проверены анализом логической формы высказываний без ссылки на эмпирическое содержание, — это другой и особый вопрос. Но его-то как раз и выделяет формальная логика для специального изучения. Именно, с этой точки зрения содержание указывается неважным, и-его полностью оставляют в стороне (хотя формальная логика вовсе не утверждает, что формы мыслятся бессодержательно). И естественно, что тем самым отвлекаются от процесса возникновения знания (в том числе и при получении его путем вывода) из соотношения с предметом. Выделяется лишь одна сторона знания, которую можно рассматривать независимо от этого процесса. А по отношению к предметам предполагается, что существует, возможно, может быть найдено и т. д. такое их эмпирическое (от логики не зависящее) состояние, которое соответствует комбинаторно получаемым элементам формальной структуры. Содержанием здесь пользуются или как иллюстративным материалом, или же в качестве интуитивно ясной и надежной базы логического построения. В плане анализа формы оно дальше внутри себя не расчленяется.