Математические суждения. Индуктивные и дедуктивные выводы

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

Таким образом, суждение - это такая форма мышления, в которой отображается наличие или отсутствие самого объекта (наличие или отсутствие каких-либо его признаков и связей).

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

Так как во всяком понятии отображается определенный класс объектов, явлений или взаимоотношений между ними, то всякое суждение можно рассматривать как включение или невключение (частичное или полное) одного понятия в класс другого понятия. Например, суждение "всякий квадрат есть ромб" указывает, что понятие "квадрат" включается в понятие "ромб"; суждение "пересекающиеся прямые не являются параллельными" указывает, что пересекающиеся прямые не принадлежат множеству прямых, называемых параллельными.

Суждение имеет свою языковую оболочку - предложение, однако не всякое предложение является суждением.

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

Например, предложение " АВС равнобедренный" выражает некоторое суждение; предложение "Будет ли АВС равнобедренным?" не выражает суждения.

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

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

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

Индуктивное умозаключение (индукция) [лат. inductio – наведение] – 1) умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом ]; 2) форма абстрактного мышления, в которой мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер

Дедуктивное умозаключение [лат. deductio – выведение] – форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер