«Современная формальная логика с ее аксиоматическими построениями довольно далеко отошла от структуры естественного мышления и не сделала своим непосредственным предметом структуру теоретического мышления наших дней, а именно последнее является объектом интересов логики науки» [56, 139]. Характерно также следующее высказывание А. Эйнштейна: «Чисто логическое мышление само по себе не может дать никаких знаний о мире фактов; все познание реального мира исходит из опыта и завершается им. Полученные чисто логическим путем положения ничего не говорят о действительности» [100, 62].

В настоящее время проблемы логики приобрели особую актуальность в связи с развитием кибернетики и логики науки и широко дискутируются на различных симпозиумах и в печати. Особо обсуждается вопрос о необходимости синтезирования существующих видов логики, в частности ее широкого и узкого вариантов. Показательно в этом отношении, например, что в резолюции симпозиума по логике и методологии науки (июнь 1965, г. Киев) констатируется, «что в настоящее время разработка актуальных проблем теории мышления невозможна на основе средств тради<408>ционной формальной логики», «что противопоставление друг другу «содержательной» и «формальной» логики диалектической и математической логик несостоятельно».

Для плодотворного обсуждения вопроса о соотношении языка и логики, очевидно, прежде всего необходимо установить, какая логика имеется в виду. Однако в большинстве работ по этому вопросу виды логики не разграничиваются, не уточняется, какой аспект логического анализа предполагается в данном случае. Это приводит к подмене понятий и является причиной самых противоречивых точек зрения.

Для изучения взаимосвязи мышления и языка особенно важно дифференцировать широкое и узкое понимание логики32. Это необходимо прежде всего для решения традиционной проблемы соотношения логических и языковых категорий (часто ее формулируют как соотношение логических и грамматических категорий, хотя вопрос, как правило, не ограничивается грамматическими категориями, если не понимать грамматику широко, как равнозначную языку).