логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посредством операции Д. л. раскрывается объем того или иного понятия, выясняется, из каких подмножеств состоит множество, соответствующее делимому понятию.
Логические операции
Логические операции используются в логических выражениях.... Логические выражения имеют значение типа Boolean, которое принимает одно из двух логических значений:... При выполнении логических операций логическим переменным присваивается результат вычислений, указанный... К логическим операциям относятся: and, or, nod, xor, eqv, imp (логическое и, или, нет, логическое исключающее... или, логическая эквивалентность, логическая импликация).
В ходе рассуждения при нарушении логических правил могут возникать логические ошибки.... Определение 2
Под логической ошибкой понимают ошибку, связанную с нарушением логической правильности... суждения);
рассмотрении логически неправильного рассуждения как правильного (или логически правильного... ошибки в делении: неполное деление, деление с излишними членами, деление по нескольким основаниям, скачки... в делении и т. д.;
логические ошибки в аргументации: переход на личные качества оппонента (вместо обсуждения
В работе предлагается несколько оптимизаций метода логического вывода делением дизъюнктов на основе определяющего элемента, являющегося одним из составляющих подхода к верификации алгоритмов на основе техники проверки моделей. Рассматриваемые оптимизации базируются на предположениях о структуре посылок в базе знаний, сделанных с учетом заранее предопределенного выбора способа описания требований к объекту исследования формул темпоральной логики линейного времени. Оптимизации позволяют упростить некоторые шаги метода, что повышает его эффективность в конкретном случае.
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».
обоснование утверждения или действия путем ссылки на какой-то авторитет. А. к а. необходим, хотя и недостаточен, в случае обоснования предписаний (команд, директив, законов государства и т. п.). Он важен также при обсуждении ценности советов, пожеланий, методологических и иных рекомендаций. Данный аргумент должен учитываться при оценке предостережений, просьб, обещаний, угроз и т. п. Несомненна роль авторитета и, соответственно, апелляции к нему едва ли не во всех практических делах.
