Словарь логики

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