Словарь логических терминов

Аналогия – умозаключение на основе сходства сравниваемых предметов (от одного частного явления к другому).

Аналогия отношений – аналогия, в основе которой лежит сходство признаков отношений, наблюдаемых у сравниваемых предметов.

Аналогия предметов – то же, что и аналогия свойств.

Аналогия свойств – аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.

Аналогия строгая – аналогия на основе полного подобия, изоморфизма.

Антецедент – первый член условного (импликативного) суждения (логическое основание).

Антитезис – положение, противоречащее тезису.

Аргументация – операция обоснования суждений, решений, оценок.

Аргумент – суждение, используемое для обоснования другого суждения (тезиса) через установление логической связи с последним.

Аристотель (384-322 до н. э. ) – др. гр. философ, один из основателей (по сути, самый крупный, названный в Средние века «отцом логики» ) традиционной формальной логики.

Атрибутивное суждение – суждение о свойствах предметов.

Большая посылка – посылка силлогизма, содержащая больший термин, предикат заключения.

Буль Дж. (1815 -1864) – ирландский математик и логик, один из основоположников математической логики.

Бэкон Ф. (1561 - 1626) – английский философ, внесший большой вклад в учение об индукции.

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

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

Вопрос восполняющий («что»-вопрос) – вопрос о новых признаках исследуемого предмета.

Вопрос закрытый – вопрос, предполагающий выбор ответа из прилагаемого списка.

Вопрос корректный – это вопрос, строго соответствующий предмету вопроса.

Вопрос некорректный – вопрос, не соответствующий предмету вопроса, нелепый, уводящий в сторону, представляющий предмет в ложном свете.

Вопрос наводящий – только подготавливает или облегчает человеку понимание темы вопроса.

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

Вопрос простой - вопрос, заключающий в себе одно требование о недостающей информации. Вопрос прямой – служит непосредственно достижению поставленной цели.

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

Вопрос уточняющий – вопрос, не требующий новой информации о предмете, а предполагающий уяснение позиции опрашиваемого («ли»-вопрос).

Вопрос явный – выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное.

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

Дедуктивное умозаключение – умозаключение от общего к частноу другое название логически-необходимых умозаключений.

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

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

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

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

Деонтическая модальность – выраженное в суждении побуждение (или запрет) к действию (требуется, рекомендуется, запрещается …).

Дефиниендум – определяемая часть дефиниции.

Дефиниенс – определяющая часть дефиниции.

Дефиниция понятия – то же, что и определение понятия.

Дизъюнкция слабая – логический союз (функтор), озвучиваемый как "или". Дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.

Дизъюнкция строгая – разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждений.

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

Доказательство апагогическое – «отводящее», непрямое доказательство (то же, что и доказательство от противного, через антитезис).

Доказательство от противного – доказательство, при котором истинность тезиса обосновывается с помощью противоречащего ему суждения (антитезиса). Заключение (вывод) умозаключения – суждение, вытекающее из посылок. Закон достаточного основания – закон, по которому мысль признается истинной или ложной, если для этого имеется достаточное логическое основание (доказательство или опровержение). Закон исключенного третьего – закон, согласно которому из двух противоречащих суждений одно обязательно истинно, а второе ложно. Закон мышления – необходимая, повторяющая связь мыслей. Закон непротиворечия – закон, по которому не могут быть одновременно истинными несовместимые, исключающие друг друга суждения (одновременно утверждающие и отрицающие одно и то же). Закон обратного соотношения объема и содержания понятия – закон, согласно которому, чем шире содержание понятия, тем уже его объем, и наоборот. Закон тождества – закон, согласно которому всякая мысль в рассуждении должна быть тождественной сама себе, неизменной сколько бы раз она не воспроизводилась. Знак – средство, указывающее на некоторый предмет, но не имеющее какого-либо сходства с этим предметом. Импликация – логический союз (функтор), озвучиваемый как "если…, то…", образующий из двух суждений новое, истинное во всех случаях, кроме одного: оно ложно, когда первый член импликации (антецедент) истинное суждение, а второй (консеквент) – ложное. Импликацией именуется и само суждение, образованное с помощью одноименного функтора. Индуктивное умозаключение – умозаключение от частного к общему, от отдельных предметов к совокупностям предметов, от классов к более широким классам. Индукция методом исключения – индуктивное умозаключение на основе подтверждающих обстоятельств, и исключения обстоятельств, при которых причинная связь отсутствует. Индукция неполная – индуктивное умозаключение от знания части элементов класса к знанию обо всем классе. Индукция через отбор – вывод о признаке класса, на основе отобранного образца (подмножества, подкласса). Индукция популярная – стихийная форма индукции на основе обобщения всех ставших доступными случаев. Индукция через простое перечисление – то же, что и популярная индукция. Индукция через элиминацию – то же, что индукция методом исключения. Искусственный язык – намеренно созданный для решения определённых задач конкретными людьми язык (знаковая система). Например, языки программирования, язык логики высказываний и т.д. Истинность – соответствие мысли внешней, несобственной по отношению к ней действительности. Квантор – логический оператор, указывающий на количественную характеристику субъекта категорического суждения по отношению к предикату. Квантор общности – квантор, указывающий на то, что субъект категорического суждения берется в полном объеме ("Все", "Ни один"…). Квантор существования – квантор, указывающий на то, что субъект категорического суждения берется частично ("Некоторые", "Существует"). Класс – совокупность объектов с общими характеристическими признаками. Классификация – распределение предметов некоторого рода на непересекающиеся классы, при котором каждый класс получает определенное место; устойчивый, ввиду особой значимости, результат применения логической операции деления, сформированный в какой-либо сфере знания или деятельности. Классификация естественная – классификация на основе существенных признаков самих классифицируемых предметов.

Классификация искусственная (техническая) – классификация, в основе которой лежат признаки, удобные для человека, но внешние, случайные по отношению к предметам.

Консеквент – второй член импликативного суждения (логическое следствие). Контекстуальное определение – определение на основе знания отношений предмета с близкими ему объектами в некотором окружении (контексте). Контрадикторность – то же, что и противоречивость. Контрарность – то же, что и противоположность. Конъюнкция – логический союз (функтор), озвучиваемый как "и", «а», «но», образующий сложное суждение, истинное, когда истинны все (каждое) входящие в него суждения. Конъюнкцией именуется и само суждение, образованное с помощью одноименного функтора Косвенное доказательство – доказательство, основанное на введении антитезисов, т. е. несовместимых с тезисом положений, и доказательство их ложности. Косвенное опровержение – аналогично косвенному доказательству; опирается на введение одного или нескольких антитезисов и установлении истинности одного из них. Крайний термин – название каждого из двух терминов, субъекта и предиката, заключения категорического силлогизма. Круги Эйлера – изображение объемов понятий с помощью кругов, предложенное математиком Л. Эйлером (1707-1783). Логика высказываний – то же, что и пропозициональная логика. Логические союзы – операции ("и", "или", "если…, то…" и т. д. ), с помощью которых из нескольких простых образуются сложные суждения. "Логический квадрат" – мнемоническая фигура, с помощью которой изображаются отношения между простыми категорическими суждениями. Логическое следование – отношение между посылками и заключением а необходимых умозаключениях, дающее истинное заключение при истинных посылках и соблюдении логической правильности. Логичность – соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок. Ложность – истинностная характеристика суждения, не соответствующего действительности. Меньшая посылка – посылка силлогизма, содержащая меньший термин, субъект заключения. Меньший термин – субъект заключения простого категорического силлогизма. Милль Дж. С. (1806-1873) – английский философ и логик, разработал методы исследования причинных связей. Модальность суждения – заявленная в суждении позиция по отношению к тому, что в нём высказано (некоторая модификация основного содержания суждения), осуществляемая с помощью модальных терминов «хорошо», «плохо», «вероятно», «действительно», «разрешено», «запрещено», «по всей видимости» и т.д. Модальность аксиологическая – модальность суждения, подразумевающая оценку сказанного с точки зрения того, хорошо это или плохо, лучше это или хуже.

Модальность алетическая – заключенная в суждении информация об условиях его истинности (истинно в данный момент – ассерторическая разновидность; может быть истинным – проблематическая; истинно при любых условиях – необходимо истинная – аподиктическая). Модальный оператор – слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обязательно" и др. Модус умозаключения – разновидность умозаключения. Модус простого категорического силлогизма – его разновидность, зависящая от видов простых суждений, фигурирующих в нём в качестве посылок и заключения.

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

Определение понятия – логическая операция, раскрывающая содержание понятия. Оределение аксиоматическое – определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).

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

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

Определение неявное – определение косвенного характера, не содержащее указаний на существенные признаки определяемых предметов.

Определение явное – определение, в котором содержится прямое указание на существенные признаки определяемых предметов.

Определение номинальное – определение понятие через указание содержание термина, обозначающего данное понятие (через наименование).

Определение остенсивное – определение значения слова через непосредственное указание на сам предмет.

Определение реальное – определение понятия, через указания на признаки предмета, отображаемого данным понятием .

Опровержение – операция по обоснованию ложности некоторого положения. Основание деления – признак, на основе которого производится деление объёма понятия.

Ответ – связанное с вопросом суждение, уменьшающее или снимающее неопределенность, заключенную в вопросе. Отличительный признак – признак, присущий только данному предмету или классу предметов. Отношение тождества (эквивалентность понятий) – отношение между понятиями, объемы которых в точности совпадают. Отрицание – логический союз (функтор), озвученный как «неверно, что …», с помощью которого образуется соответствущий одноимённый вид сложного суждения. Отрицательное суждение – суждение, указывающее на отсутствие признаков, заключенных в предикате, у предметов, мыслимых в субъекте. Пересечение понятий – отношение, характеризующее понятия с частично совпадающими объемами. Пересечение суждений - отношение между суждениями, которые могут быть при определенных условиях одновременно истинными, но могут иметь и взаимно противоположные значения. Подкласс – часть класса. Подчинение понятий – отношение между понятиями, когда объем одного полностью входит в объем другого в качестве части. Подчинение суждений отношение между суждениями, при котором, если одно (подчиняющее) истинно, то второе (подчиненное) обязательно истинно, но не наоборот. Полисиллогизм – сложный силлогизм. Полная индукция – индуктивное умозаключение, основанное на знании каждого элемента класса и формирующее это знание в виде общего суждения. Понятие – логическая форма мышления, отображающее предметы, либо их множества в совокупности их существенных признаков.

Понятие абстрактное – понятие, которое указывает на свойства, отношения, состояния, не существующие отдельно от самих предметов их носителей.

Понятие единичное – понятие, объем которого составляет один предмет. Понятие конкретное – понятие, указывающее на сам, а не на его свойства, состояния, отношения, мыслимые отдельно от него самого.

Понятие несобирательное – понятие, приложимое к отдельному предмету, вещи.

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

Понятия совместимые – понятия, у которых есть общие элементы в объемах. Понятие отрицательное – понятие, в содержании которого указывается на отсутствие у предмета некоторых свойств.

Понятие положительное – понятие, указывающее на имеющиеся у предмета свойства.

Понятия безотносительные – это такие понятия, в которых мыслятся как самостоятельные, вне зависимости от других понятий.

Понятия соотносительные – понятия, которые существуют только в связке друг с другом. Например, "правое – левое", "начальник – подчинённый", "учитель – ученик". Понятия регистрирующие – общие понятия, предполагающие закрытый (фиксируемый определённым числом) объём.

Понятия нерегистрирующие – понятия с открытым объёмом.

Понятия равнообъемные – то же, что и тождественные понятия. Посылки умозаключения – суждения, из которых в умозаключении выводится новое суждение (заключение).

Правильный модус – разновидность необходимого умозаключения, которая гарантирует истинность заключения при истинности посылок.

Превращение – преобразование простого категорического суждения в новое суждение противоположного качества.

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

Позитивная предпосылка вопроса – условие, заключающееся в том, что из всех вариантов ответов, которые можно соотнести с данным вопросом, существует, по меньшей мере, один, который является правильным.

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

Признак – все то, на основе чего мы отличаем предметы друг от друга.

Признак существенный – признак, без которого данный предмет не мыслим. Прогрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится большей посылкой следующего простого силлогизма. Пропозициональная логика – раздел логики, изучающий рассуждения без учета внутренней структуры простых суждений. Просиллогизм – простой силлогизм, предшествующий другому силлогизму в сложном силлогизме. Простой категорический силлогизм – умозаключение, состоящее из трех категорических суждений, включающих только три понятия. Противоположные понятия – несовместимые понятия, которые могут оба быть неприменимыми к одному и тому же предмету. Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными. Противоречащие понятия – понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объекту. Противоречивые суждения – суждение и его отрицание, одно из них обязательно истинное, а другое ложно. Прямое доказательство – доказательство, в котором истинность тезиса выводится из аргументов и их логических следствий, без привлечения антитезисов. Прямое опровержение – опровержение, в котором ложность тезиса выводится из аргументов и следствий из них, без привлечения антитезисов. Разделительное доказательство – вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов. Распределенность терминов категорического суждения – соотношение объёмов субъектов и предикатов суждения.

Распределенный термин – субъект или предикат, взятый по отношению к другому термину в полном объеме. Рассел Б. (1872-1970) – английский философ и логик, один из основоположников современной формальной логики. Регрессивный полисиллогизм – сложный силлогизм, в котором заключение предшествующего простого силлогизма становится меньшей посылкой следующего простого силлогизма. Рефлексивность – свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (равенство). Родовой признак – признак, присущий всем группам данного класса предметов. Связка суждения – элемент простого суждения, соединяющий субъект и предикат; может быть утвердительной и отрицательной. Селективная индукция – то же, что и индукция через отбор. Симметричность – свойство двуместных отношений, при котором это отношение сохраняется, если предметы поменять местами. Сложный вопрос - вопрос, включающий в качестве составных частей другие вопросы, объединенные логическими связками. Сложный силлогизм – умозаключение, состоящее из нескольких простых силлогизмов, когда посылка предшествующего становится заключением следующего простого силлогизма.

Силлогизм сложно-сокращенный – сложный силлогизм, в котором пропущена часть посылок. Содержание понятия – отраженные в понятии признаки предметов. Соподчиненные понятия – понятия, объемы которых составляют непересекающиеся части некоторого третьего понятия. Сорит – сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой. Сравнимые понятия – понятия, у которых есть ближайший общий род. Например, "собака" и "кошка" – сравнимые понятия: ближайший общий род "животные". Ещё сравнимыми понятиями называют такие понятия, в содержании которых присутствует, по крайней мере, один общий признак. Сравнимые суждения – суждения, состоящие из одних и тех же понятий, или из одних и тех же простых суждений (для сложных), отличающиеся друг от друга только формой. Средний термин – термин категорического силлогизма, который встречается в обеих посылках и отсутствует в заключении; связывает крайние термины. Субъект суждения (логическое подлежащее) – понятие, обозначающее предмет, о котором нечто утверждается или отрицается в простом категорическом суждении. Суждение – логическая форма мысли, в которой что-либо утверждается или отрицается относительно предмета.

Суждение выделяющее – суждение о принадлежности признака только определенным предметам и никаким другим. Суждение единичное – суждение об одном предмете. Суждение исключающее – суждение о принадлежности признака классу, кроме некоторых его представителей. Суждение категорическое – суждение, взятое в простейшей форме: субъект, предикат, связка и квантор. Противополагается суждениям условным и разделительным.

Суждение общеотрицательное – суждение, в котором отрицается наличие признака у всех элементов некоторого класса. Суждение общеутвердительное – суждение, в котором утверждается наличие признака у каждого элемента некоторого класса. Суждение простое – суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката. Суждение с отношением (реляционное) – суждение, в котором утверждается или отрицается наличие отношения между какими-либо предметами. Суждение сложное – суждение, в котором несколько субъектов и предикатов. Суждения совместимые – суждения, которые могут быть одновременно истинными.

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

Транзитивность – свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место между первым и третьим. Умозаключение – логическая форма мысли, в которой на основе одного или нескольких исходных суждений, именуемых посылками, получают новое суждение, именуемое заключением.

Умозаключение непосредственное – умозаключение на основе одной посылки. Умозаключение опосредованное – умозаключение на основе нескольких посылок.

Умозаключение правдоподобное – умозаключение, в котором нет необходимой логической связи между посылками и заключением. Фигура простого категорического силлогизма – виды силлогизма, различаемые согласно положению среднего термина в посылках. Форма мышления (логическая) – способ связи элементов содержания мысли. Фреге Г. (1848-1925) – немецкий математик, философ, логик, один из основоположников математической логики. Характеристика – прием описания предмета через указание признаков, отображающих какой-либо его конкретный аспект. Эквивалентность суждений – отношение между суждениями, имеющими одинаковые значения истинности для всех условий. Элемент класса – нечто, взятое в качестве исходной единицы некоторого множества (предмет для несобирательных, совокупность для собирательных понятий). Энтимема – простой силлогизм, в котором пропущено одно из трех составляющих его суждений. Энумеративная индукция - то же, что и индукция через простое перечисление. Эписиллогизм – простой силлогизм, следующий за другим простым в составе сложного силлогизма. Эпистемическая модальность – информация о характере обоснованности суждения с точки зрения существующего знания (кажется, достоверно известно, предположительно и т.д). Эпихейрема – особая разновидность сложно-сокращенного силлогизма, в котором обе посылки – энтимемы, т. е. простые сокращенные силлогизмы. Язык – система чувственно воспринимаемых знаков, используемая для фиксации, накопления и переработки информации. Язык естественный – обычный звуковой язык, стихийно созданный тем или иным народом. Языки логики – искусственные языки, используемые в современной логике (язык логики высказываний, например).