|
Благодаря силлогизмам и другим логическим формам и операциям мышление становится доказательным, убедительным, т.е. непротиворечивым. Ученый должен быть заранее проникнут убеждением, что во вселенной существует порядок и что человеческий разум способен понять этот порядок. Ч. Танус Традиционная логика формулирует критерии, которые гарантируют точность и непротиворечивость общих понятий, суждений, выводов. При этом все ее критерии, несмотря на разные основания, предполагают наличие не только развитой системы классификации, но и целей. Это видно из перечня четырех групп, по которым делят основания:
Правила логики применяются к высказываниям, отражающим объективную связь между предметами, в отличие от понятия, которое отражает класс предметов. Формой существования высказывания является обычное повествовательное предложение. В логике изучаются структурные связи между высказываниями, а логическая канва рассуждения обеспечивается следующими основными законами: абстрактного тождества («Держись обсуждаемой темы или смысла употребляемого понятия и не подменяй его чем-нибудь другим»); достаточного основания («Не говори о вещах, не имеющих смысла») и логического противоречия («Не противоречь самому себе»). Впрочем, справедливость логических законов и операций относительна. Поэтому необходимо отчетливо представлять себе ограничения использования этих законов. Каковы же операции, применяемые в логике? Логика включает исчисление предикатов, теоремы, описывающие отношения, заложенные в базис логически полной системы, и правила вывода представлений. Обычно для прояснения ситуации и решения об истинности высказывания его приводят к нормальной форме. В этом случае логика предикатов позволяет, шаг за шагом, определить систему, задавая исходную информацию и применяя экстраполяцию. Важно отметить, что экстраполяция основывается на отношениях тождества (симметрии) между различными областями описываемой системы. В результате экстраполяции осуществляется перенос знания из одной области в другую. — 328 —
|