Спирина, М.С. Дискретная математика

удалось определить факт наличия знаний, или не удалось четко определиться с оценкой, то он задает дополнительные вопросы. При отстаивании позиций в споре необходимо определить и н ­ теллектуальные границы, в которых осуществляется осознанный поиск истинного вывода. 4 . З а к о н а д о с т а т о ч н о г о о сн о в а н и я в логике Аристотеля не было, его сформулировал Лейбниц. Всякая истинная мысль должна быть достаточно обоснована. Ни одно суждение не может считаться истинным без достаточного на то основания. Правила применения закона достаточного основания. В доказательствах можно использовать только истинные или обоснованные суждения. Обоснования суждений могут быть логического и фактического характера. Аргументами в обосновании могут служить: • истинные суждения, аксиомы, нормы морали; • фактический материал; • законы науки, законы общества; • теоремы. Для обоснования применяются законы тождества, непротиво­ речивости и исключенного третьего, а также правила построения дедуктивных умозаключений (см. подразд. 5.5). Выводы в таком слу­ чае будут достоверными. Если же при обосновании кроме перечисленных законов логи ­ ки использовались построения по аналогии и индуктивные, то выводы будут вероятностными (подробно см. в подразд. 5.6 и 5.7). Закон достаточного основания — логический, но он имеет прямое отношение к общефилософскому закону о причинно-след­ ственных связях. В природе, обществе и любой науке, как в отра­ жении законов природы и общества, все взаимосвязано. Любое событие, явление, суждение имеет свои причины и порождает следствия, —это объективные законы действительности. В XVIII в. М. В. Ломоносов в работе «Элементы математической химии» и с ­ пользовал аксиому: «Ничто не происходит без достаточного о с ­ нования». Поскольку мышление есть отражение действительности в н а ­ шем сознании, то и наши рассуждения должны подчиняться это ­ му правилу. Говорят, что человек мыслит логично тогда, когда цепочка рассуждений от причины к следствию неразрывна при переходе от одного суждения к другому. Выражения «выстроить логический ряд» и «логическую цепочку» означают, что внутри одного рассуждения мысли должны быть связаны друг с другом причинно-следственными связями. Но из-за двусмысленности толкования слова «следовательно» философское и житейское применение этого термина не всегда 163