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

  • см.: Закон двойного отрицания.

  • логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины

  • принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений - "и

  • (от лат. deductio - выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимос

  • логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого

  • (от лат. denoto - обозначаю)(предметное значение) в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализов

  • (от греч. deon - долг, правильность) Логика норм, нормативная логика. - раздел логики, исследующий логическую структуру и логические связи норм

  • (от греч. deon - долг, правильность), Нормативная модальность, модальность долженствования - характеристика практического действия с точки зр

  • высказывание, устанавливающее какую-то норму поведения. Языковые формулировки Н. в. многообразны и разнородны. Иногда оно имеет форму пове

  • (от лат. denoto - обозначаю)(предметное значение) в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализов

  • (от лат. descriptio - описание) языковое выражение, служащее для обозначения единичных объектов посредством описания их свойств или отношений к

  • геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В

  • название философской теории, пытавшейся выявить, систематизировать и обосновать в качествеуниверсальных основные особенности мышления

  • см.: Модус понендо толленс. Модус толлендо поненс.

  • (от лат. disjunctio - разобщение, различение) логическая операция - аналог употребления союза "или" в обычном языке, с помощью которой из двух или

  • (от греч. di(s) - дважды и lemma - предположение) в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками котор

  • (от лат. discursus - рассуждение, довод, аргумент) рассудочный, логический, противоположный интуитивному, чувственному. Д. познание как опирающе

  • (от лат. discussio - рассмотрение, исследование) обсуждение к.-л. вопроса или группы связанных вопросов компетентными лицами с намерением достич

  • Д. с.общие свойства, принадлежащие каждому элементу множества (совокупности предметов, коллективу), которое они определяют. Так, свойство "

  • с. а- обнщие свойства, принадлежащие каждому элементу множества (сонвокупности предметов, коллективу), которое они определяют. Так, свойств

  • (от греч, dicha и tome - рассечение на две части) деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого

  • рассуждение, устанавливающее истинность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. разли

  • см.: Конструктивная логика.

  • см.: Косвенное доказательство.

  • логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется пере

  • логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется пере

  • см.: Доказательство

  • такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (универсальный класс). Пусть A будет множеством млекопит

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

  • см.: Условное высказывание

  • обоснованность, доказательность, бесспорность знания. Достоверное суждение - такое суждение, в котором высказывается твердо обоснованное