• временные модальности делятся на абсолютную и относительную. Первая из них
определяется операторами «всегда», «временами», «никогда», а вторая — «раньше (чем
что-либо)», «одновременно», «позже (чем что-либо)»;
• эпистемические (теоретико-познавательные) модальности, отмечающие степень
изученности явлений в высказываниях. Различаются две разновидности эпистемической
модальности в зависимости от того, идет ли речь об уровне знания или об уровне
убежденности.
Структура доказательств
Доказательство - логическая форма мысли, обосновывающая истинность положения через
другие положения, истинность которых уже обоснована или очевидна.
Поскольку свойством быть истинной или ложной из
У уже рассмотренных элементарных форм мысли обладает только суждение, то речь в
определении доказательства идет именно о нем.
В логике и в повседневности доказательство понимается
по-разному. Обычно под доказательством понимают факты, обосновывающие истинность
некоторого положения, например, источники сведений о фактах, документы, рассказы очевидцев
и пр. Логика же исследует доказательство как конструкцию логически связанных мыслей,
обосновывающих исходную мысль как форму более сложную, чем умозаключение. Иногда
доказательство приводится к одному умозаключению, но структурно оно обратно
умозаключению. Поэтому между элементами доказательства и умозаключения имеется как
сходство, так и различие.
Элементы структуры доказательства:
• тезис;
• И аргументы (основания);
• И демонстрация.
Положение, истинность которого подлежит обоснованию, называется тезисолг доказательства.
Его можно выразить только в форме суждения.
Положения, используемые для обоснования тезиса, называются аргументами, или основаниями
(посылками). Их истинность уже обоснована или не нуждается в обосновании в силу очевидности.
Способ доказательства, или демонстрация, — это вид логической связи как между самими
аргументами, так и между аргументами и тезисом. Обосновывать свои утверждения можно
разными способами. Полный список всех видов доказательства представить нельзя, но их можно
сгруппировать в несколько разновидностей по некоторым признакам и составить компактную
классификацию видов доказательных рассуждений.
Прежде всего доказательства делятся на прямые и косвенные, затем косвенные распадаются на
разделительные и доказательства от противного (апагогические).