|
Закон исключенного третьего: два противоречащих друг цругу суждения не могут быть одновременно ложными, одно из них необходимо истинно (а есть либо б, либо не-б, и гретьего не дано). Закон достаточного основания', всякая мысль признается истинной, ес- ли она имеет достаточное основание (если есть о, то есть и его основание д). Доказательства должны быть убедительными, основательными, не вызы- вать колебаний или сомнений. Б: Доказательство Доказательство - в широком смысле: любой способ обоснования истин- ности тезиса; в узком смысле: рассуждение, устанавливающее истинность какого-либо утверждения путем приведения других утверждений, связанных с ним, истинность которых уже доказана. Структура доказательства: - тезис - утверждение, истинность которого обосновывают в процессе аргументации; - аргументы - исходные теоретические или фактические положения, с помощью которых обосновывают тезис: - демонстрация - логическая связь между аргументами и тезисом, ус- ловная зависимость. Существуют следующие виды доказательства: прямое - в котором при обосновании тезиса не пользуются противореча- щими тезису допущениями - когда единичное событие подводится под общее положение; косвенное (от противного) - когда истинность тезиса обосновывается с использованием противоречащего тезису допущения (антитезиса) - когда действует принцип <либо тезис, либо антитезис>, третьего не дано. <Мы будем снимать кино (тезис) или мы не будем снимать кино (антитезис)?>. При косвенном доказательстве действуют следующим образом: - признают антитезис истинным; - выводят из него следствия; - эти следствия сравнивают с положениями, истинность которых уже ус- тановлена; - в случае их несовместимости делают вывод о ложности антитезиса; - соответственно делают вывод об истинности тезиса; разделительное (.методом исключения) - в случае, когда рассматрива- ется не антитезис, а несколько альтернативных вариантов - косвенное — 117 —
|