Сложные суждения и условия их истинности — страница 5

  • Просмотров 195
  • Скачиваний 4
  • Размер файла 20
    Кб

недостаточно для точного и однозначного, определенного заключения. По истинности следствия условного суждения нельзя заключать об истинности его основания. Но вот когда следствие условного суждения является ложным, тогда неизбежно будет ложно и само основание. Это — закон для данной структуры. Если следствие нашего суждения - «растение погибает» - является в действительности ложным, то и его основание - «растение лишено

кислорода» - будет обязательно ложным. Эти зависимости можно представить в виде таблицы, которую будет удобно сопоставить с таблицей истинности для импликации:                                 Если В, то С, при   и  --> и, а при   л  --> ?, и наоборот, при        ? <--  и        л <--  л В данной таблице стрелка всего

лишь указывает направление, мысленный переход от одного элемента условного суждения к другому, но не логический союз. Таблица истинности для импликативного логического союза (для импликации) будет несколько иной: В С В -->С и и и л и и и л л л л и Понятно, что при отсутствии смысловой зависимости между элементами импликации, истинностные характеристики последней носят в отдельных случаях более произвольный, чем в условном

суждении, в общем-то постулируемый, конвенциональный характер. Однако, таким образом заданные истинностные значения импликации позволяют ей преодолевать те неопределенности, которые встречаются в условном суждении, и которые не позволяют в некоторых случаях точно разрешать ситуацию. Импликация даже при, казалось бы, парадоксальных случаях, например, при ложности как антецедента, так и консеквента, как логическая связь

признается истинной; и такая логическая связь "работает" в системах исчислений, в системах искусственных языков. Без этой связи невозможно создание языков машин, всей современной "интеллектуальной" техники. Методологическое значение данной логической связи очень велико. Традиционная формальная логика рассматривает структуру сложных суждений, как такую мыслительную конструкцию, элементы которой связаны между

собой по смыслу. Правда, она не делает отношения между сложными суждениями пред метом своего обстоятельного исследования. Можно в качестве исключения говорить лишь о рассматриваемых традиционной логикой отношениях и связях между условным и разделительным суждениями, но традиционная логика рассматривает их в качестве элементов более сложной формы мысли — умозаключения, как условно-разделительный силлогизм. Отношения между