Горбатов В.В. Логика

Подождите немного. Документ загружается.

понятий отношение, при котором объем

одного понятия включается в

объем другого, но не наоборот

Познание процесс отражения объективной

действительности в сознании

человека, целью которого является

получение адекватных знаний о

мире

Полисиллогизм рассуждение, состоящее из

нескольких силлогизмов, в котором

по крайней мере одна из посылок

каждого следующего силлогизма

является заключением одного из

предыдущих.

Полнота свойство теории, при котором

теории любое утверждение, истинное в ней,

является доказуемым

Понятие мысль, в которой на основании

некоторого признака выделяются

из универсума и обобщаются в

класс предметы, обладающие

этим признаком

абстрактное понятие о свойствах или

отношениях

единичное понятие, в объем которого входит

только один предмет

конкретное понятие об объектах или их

множествах

общее понятие, в объем которого входит

более чем один предмет

пустое понятие, в объем которого не входит

ни один предмет

собирательное понятие, элементами объема

которого являются классы

291

относительное понятие, в котором предмет

характеризуется через его

отношение к другим объектам

безотносительное понятие, в котором предмет

характеризуется через его

собственные свойства

универсальное понятие, объем которого совпадает с

универсумом

Порядок разновидность бинарного отношения

частичный отношение, которое является

рефлексивным, симметричным и

транзитивным

линейный отношение, которое является

антирефлексивным,

антисимметричным и транзитивным

Посылка исходное высказывание, из

которого выводится заключение

бόльшая посылка содержит предикат заключения

меньшая посылка содержит субъект заключения

Превращение непосредственное умозаключение, в

котором субъект заключения

совпадает с субъектом посылки, а

предикат заключения является

термином, противоречащим

предикату посылки

Предикат термин в простом атрибутивном

высказывании, играющий роль

логического сказуемого

Предметности предложение должно говорить о

принцип предметах, обозначаемых

входящими в него выражениями,

а не о самих этих выражениях.

Пропозициональная логика то же, что и логика высказываний

Противообласть множество предметов, к которым

бинарного отношения некие другие предметы находятся

292

в данном отношении (т.е. множество

входящих вершин графов)

Противоположность то же, что и контрарность

Противопоставление

субъекту результат последовательного

обращения и превращения

предикату результат последовательного

превращения и обращения

субъекту и предикату результат последовательного

превращения, обращения и

снова превращения

Противоречие

между высказываниями то же , что и контрадикторность

между понятиями отношение между двумя непустыми

понятиями, при котором они не

имеют общих элементов объема и в

сумме исчерпывают весь универсум

Равнообъемность отношение между двумя непустыми

понятиями, при котором они

взаимно включаются друг в друга

Релевантность связь между высказываниями,

выражающая изменение вероятности

одного из них при учете второго

позитивная связь между двумя высказываниями,

при которой вероятность первого

повышается при учете второго

негативная связь между двумя высказываниями,

при которой вероятность первого

понижается при учете второго

Реляционные суждения суждения об отношениях

Ришара-Берри парадокс неразрешимое семантическое

противоречие, сводящееся к тому,

что некий объект подпадает под

данное определение, тогда и только

тогда, когда он не подпадает под

293

него; простейший пример –

«минимальное натуральное число,

которое нельзя выразить

словосочетанием, состоящим менее

чем из k букв»

Семиозис знаковая ситуация; состоит из

трех составных частей: знак,

его значение и интерпретатор

Силлогизм умозаключение из нескольких

посылок

простой умозаключение, в котором от

категорический наличия некоторых отношений

силлогизм между терминами S и М, Р и М,

фиксируемых в посылках, приходят

к вывод о наличии определенного

отношения между терминами S и Р

Силлогистика теория, предназначенная для анализа

логической структуры простых

атрибутивных высказываний,

отношений между ними и выводов,

построенных с учетом этой

структуры; исторически первая

логическая система, основателем

которой является Аристотель

Смысл (знака) информация о репрезентируемом

им предмете, которая позволяет

интерпретатору распознать этот

предмет среди остальных

Совместимость

высказываний

по истинности отношение, при котором условия

истинности высказываний хотя бы

частично совпадают

по ложности отношение, при котором условия

ложности высказываний хотя бы

частично совпадают

понятий отношение, при котором

294

пересечение их объемов не пусто

Содержание понятия признак, на основании которого

в данном понятии выделяются и

обобщаются предметы

Соподчинение отношение между двумя непустыми

понятиями, при котором они не

имеют общих элементов объема и не

исчерпывают в сумме универсум

Сопутствующих изменений способ установления причинной

метод зависимости, основанный на

выявлении единственного фактора

модификация которого приводит

к соответствующей модификации

исследуемого явления

Сорит полисиллогизм, в котором

пропущено по крайней мере одно

промежуточное заключение

Субконтрарность совместимость по истинности, но

несовместимость по ложности

Субъект термин в простом атрибутивном

высказывании, играющий роль

логического подлежащего

Суждение мысль, в которой утверждается

наличие или отсутствие некоторого

положения дел

Сходства и различия способ установления причинной

объединенный метод зависимости, основанный на

выявлении единственного

необходимого и достаточного

условия исследуемого явления

Тавтология (от. греч. «то ауто логой» – «то же

через то же») – бессодержательное,

неинформативное суждение, в

котором предмету мысли приписы-

вается свойство, заранее заложенное

в его обозначении (например, «круг

295

является круглым»)

в логической семантике общезначимое, тождественное-

истинное высказывание

в теории определений использование одного и того же

термина в составе дефиниендума и

дефиниенса

Таксон член таксономического деления,

один из видов, подвидов и т.д.

делимого понятия

Теорема последняя формула доказательства

(в исчислении предикатов –

последняя формула завершенного

доказательства)

Теория система связанных между собой

понятий и высказываний,

относящихся к некоторой

предметной области

логическая система понятий и высказываний,

касающихся логической формы

каких-либо языковых контекстов

Теория отношений логическая теория, изучающая

внутреннюю структуру простых

реляционных суждений и выоды,

построенные с учетом этой

структуры

Термин выражение со строго

фиксированным значением,

входящее в состав предложения, но

само предложением не являющееся

термин силлогизма выражение, входящее в состав

суждений, образующих простой

категорический силлогизм

бόльший предикат заключения

меньший субъект заключения

средний термин, который имеется в обеих

посылках

Тождества если высказывание истинно, то оно

закон истинно

296

Транзитивности импликации если из одного высказывания

закон вытекает второе, а из него – третье,

то и из первого высказывания

вытекает третье

Универсалия языковая форма выражения понятий,

описательное имя вида А()

Универсум предметная область, о которой идет

речь в данном языковом контексте

Утверждающе-отрицающий способ, основанный на переходе от

способ умозаключения строго-дизъюнктивного суждения и

утверждения одного из его

дизъюнктов к отрицанию второго

дизъюнкта

Утверждающий способ, основанный на переходе от

способ умозаключения импликативного суждения и

утверждения его антецедента

к утверждению его консеквента

Учетверение терминов семантическая ошибка, связанная с

подменой значения одного из

терминов силлогизма

Фигура силлогизма способ расположения терминов в его

посылках

Эвбулида парадокс неразрешимое семантическое

противоречие, основанное том, что

некое высказывание истинно тогда и

только тогда, когда оно ложно;

простейший пример – «это

высказывание ложно»

Эвристика тактический прием, упрощающий

процедуру поиска решения

Эквивалентность отношение между двумя

высказываниями, при котором они

логически следуют друг из друга

Эквиваленция пропозициональная связка,

297

материальная соединяющая два суждения таким

образом, что полученное в

результате сложное суждение будет

истинным только при совместной

истинности или при совместной

ложности исходных суждений

Экстенсионал (от лат. «экстенсио» – охват,

значение)

знака класс предметов, обозначаемых

этим знаком

понятия то же, что его объем

отношения то же, что его объем

Энтимема (от лат. «энтиме» – в уме)

сокращенный силлогизм, в котором

пропущена одна из посылок или

заключение

Эпистемический оператор (от греч. «эпистема» – знание) слово

или словосочетание, выражающее

позначательные установки субъекта

(«знает», «верит», «думает» и т.п.)

Язык система знаков, предназначенная для

фиксирования, хранения, передачи и

переработки информации

Языковой контекст языковая единица, более крупная,

чем атомарный термин и

включающая его в себя

(словосочетание, предложение, или

последовательность предложений)

интенсиональный контекст, в котором важную роль

играет не только значение, но и

смысл термина; в таких контекстах

не действует правило замены

равнозначных выражений

экстенсиональный контекст, в котором смысл термина

не играет решающей роли; в таких

контекстах действует правило

замены равнозначных выражений

298