Умозаключение — это способ получения нового знания на основе некоторого имеющегося.

Этот способ представляет собой переход от некоторых высказываний, фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию и соответственно к знанию о наличии ситуации, которую описывает это высказывание.

Переход от некоторых высказываний (посылок умозаключения) к высказыванию (заключению) в умозаключении может совершаться на основе интуитивного усмотрения какой-то связи - такие умозаключения называют содержательными; или путем логического выведения одного высказывания из других - это умозаключения формально-логического характера. В первом случае оно представляет собой, по существу, психический акт. Во втором случае его можно рассматривать как определенную логическую операцию. Последняя и является предметом изучения логики.

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

В умозаключении, как мы уже говорили, различают посылки - высказывания, представляющие исходное знание, и заключение - высказывание, к которому мы приходим в результате умозаключения.

В естественном языке существуют слова и словосочетания, указывающие как на заключение («значит», «следовательно», «отсюда видно», «поэтому»), так и на посылки умозаключения («так как», «поскольку», «ведь»). Представляя суждение в некоторой стандартной форме, в логике принято указывать вначале посылки, а потом заключение, хотя в естественном языке их порядок может быть произвольным: вначале заключение - потом посылки; заключение может находиться «между посылками».

Понятие умозаключения как логической операции тесно связано с понятием логического следования. Учитывая эту связь, мы различаем правильные и неправильные умозаключения.

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

В делении умозаключений на правильные и неправильные мы должны различать отношение логического следования двух видов – дедуктивное и индуктивное. Первое гарантирует истинность заключения при истинности посылок. Второе - при истинности посылок - обеспечивает лишь некоторую степень правдоподобия заключения (некоторую вероятность его истинности). Соответственно этому умозаключения делятся на дедуктивные и индуктивные. Первые иначе еще называют демонстративными (достоверными), а вторые - правдоподобными (проблематичными).

Мы можем заключить, что учителю, как специалисту, необходимо знать и уметь строить умозаключения. Именно от качества знания этого вопроса зависит реализация поставленных нами целей и задач. Но для того, чтобы более подробно рассмотреть этот вопрос на практике, нам надо увидеть роль и место, занимаемое дедуктивными умозаключениями в курсе математики начальных классов.