Одной из главных причин затруднений, возникающих у школьников при усвоении математики, информатики и естественно-научных предметов, является существенное различие между структурой и способом развития содержания обучения и структурой индивидуального знания и теми когнитивными инструментами, которые используются учащимися для ее построения и развития. Упомянутые выше предметы являются упрощенными и сокращенными версиями некоторых математических, логических и естественных теорий, имеющих аксиоматическую или гипотетико-дедуктивную структуру. В ее основе лежит либо система аксиом, к которой предъявляется требование непротиворечивости, полноты и независимости, либо система принципов, являющихся теоретическими обобщениями эмпирических данных. Дальнейшее развитие теории осуществляется путем логического вывода теорем и следствий, которые в случае естественнонаучного знания должны быть подтверждены экспериментально. Таким образом, одним из основных инструментов развития научного знания оказывается формальная логика.



