Многие до сих пор рассматривают закон коммутативности как общий основной закон логики, считая, что факты, суждения и т. д. вообще являются аддитивными, атомарными по своей природе. Поэтому возникло даже такое представление, будто логика в основном имеет дело с «тавтологиями». В свете нашего обсуждения ясно, что этот взгляд, по-видимому, совершенно не учитывает реальные проблемы мышления. Закон коммутативности не распространяется, конечно, на элементы реального процесса мышления. Если бы кому-то вздумалось смешать все элементы, операции или фазы реального процесса мышления, а затем устанавливать равенство, пользуясь законом коммутативности, то полученный результат оказался бы совершенно ложным. Элементы такого процесса не являются простой суммой отдельных частей. 5) Для логика закон коммутативности является одним из суждений, образующих доказательство. Тут следует сказать, что и само доказательство имеет свою структуру. Если субъект не видит структуру доказательства, то оно не будет достигнуто. Сталкиваясь с рядом суждений, которые образуют доказательство, ученик зачастую испытывает удивление, досадует и приходит в замешательство. Он читает формулировки, проверяет их по чертежу, читает теоремы, пытается согласовать отдельные части, как картинку-загадку, чтобы получить осмысленный контекст. Если ему это не удается, он может запомнить формулировки в данной последовательности; восстанавливая доказательство, он может отчаянно пытаться вспомнить, какое утверждение в учебнике следует дальше: если ему это не удается, он может сформулировать другие утверждения, которые, хотя и являются вполне правильными, в данном контексте совершенно бессмысленны. Способный ученик, конечно, делает то, что требуется, но он приходит к этому сам. Он должен превратить 106 простую сумму утверждений в осмысленную структуру доказательства. Эта операция предполагает разумную группировку, понимание функциональной иерархии, направления, в котором движется доказательство, места, роли, функции, смысла каждого утверждения в структуре. Если человек не может понять, скажем, что одно из утверждений в совокупности с некоторыми другими утверждениями принадлежит к одному блоку доказательства (например, относящемуся к подобию треугольников), и группирует их неверно, то он весьма далек от понимания. Иногда испытуемые пытаются каким-то образом упорядочить утверждения только о линиях, затем об углах, потом о плоскостях и гордятся тем, что им удалось установить какой-то логический порядок, но, вспомнив о задании, вновь впадают в отчаяние. Отнюдь не маловажно понять, какую функцию выполняет данное утверждение: является ли оно посылкой или выводом, который в свою очередь становится в дальнейшем посылкой, и т. д. — 76 —
|