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

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

общие элементы объема, в сумме

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

включаются друг в друга

Дунса Скота из заведомо ложного высказывания

закон вытекает любое высказывание

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

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

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

достаточного условия

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

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

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

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

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

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

Замкнутость семантическая свойство языка, позволяющее

описывать семантические свойства

его выражений (истинность,

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

и т.п.) в нем же самом

Знак объект, используемый в процессе

познания или общения в качестве

представителя какого-либо

другого объекта.

Значение (знака) предмет, репрезентируемый этим

знаком

Импликация пропозициональная связка,

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

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

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

будет истинным только при

ложности его первой части или

при истинности второй

Индукция тип умозаключения, в котором

между посылками и заключением

существует отношение вероятного

281

(правдоподобного) следования.

обобщающая рассуждение, в котором переходят

от знания об определенных

предметах некоторого класса к

знанию обо всех предметах этого

класса, то есть от единичных или

частных утверждений к общим

полная предполагает исследование каждого

предмета данного класса

неполная предполагает исследование

некоторой выборки

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

устанавливается относительная

частота обладания некоторым

свойством для произвольного

предмета из данного класса

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

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

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

у всех предметов данного класса

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

некоторого множества возможных

причин явления путем исключения

выявляется его подлинная причина

Интенсионал (от лат. «интенсио» – глубина,

смысл)

знака то же, что его смысл

понятия то же, что его содержание

отношения то же, что его содержание

Исключенного третьего из двух противоречащих друг другу

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

истинно

Истинности таблицы один из вариантов семантики для

КЛВ; позволяют эффективным

образом определять истинностное

значение сложных высказываний,

282

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

значения всех входящих в него

простых высказываний

Категория семантическая множество выражений языка,

имеющих одинаковый тип значения

базисные семантические категории:

s – «предложение», n – «имя»

Квадрат логический мнемоническая фигура,

предназначенная для фиксации

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

типами простых атрибутивных

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

Квантор в логике предикатов –

количественный оператор

общности  («для всякого»)

существования  («существует»)

Кванторное слово логическая приставка, которая

указывает, о каком количестве

предметов идет речь в данном

высказывании; в естественном языке

для этого служат слова «некоторые»,

«все», «каждый», «ни один» и т.п.

Клавия закон если из отрицания высказывания

вытекает его утверждение, то оно

заведомо истинно

Классификация система последовательных делений

понятия на его виды, видов на

подвиды и т.д.

естественная классификация, производимая на

основании существенных признаков

искусственная классификация, производимая на

основании несущественных

признаков

предельная классификация, концевые таксоны

которой представляют собой

единичные понятия

283

Композиция в ТБО операция над графами,

соединяющая исходящую вершину

первого со входящей вершиной

второго

Конверсии закон композиция конверсных отношений

(при условии исключительности

первого из них) дает отношение

тождества

Конверсия – в силлогистике – то же, что и

обращение

– в ТБО – операция над графами,

заключающаяся в замене входящей

вершины на исходящую

Консеквент суждение, входящее в состав

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

выражающее собой следствие

Контрадикторность несовместимость ни по истинности,

ни по ложности

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

закон вытекает второе, то из отрицания

второго вытекает отрицание первого

Контрарность совместимость по ложности, но

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

Конъюнкт одно из двух суждений, входящих

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

Конъюнкция пропозициональная связка,

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

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

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

истинным, только если истинны оба

исходных суждения

Лжеца парадокс то же, что и парадокс Эвбулида

Логика нормативная наука о формах и

приемах интеллектуальной

284

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

осуществляемой с помощью языка

Логика высказываний теория, изучающая логическую

структуру сложных суждений без

учета структуры простых суждений,

входящих в их состав

Логическая

истинность истинность, гарантированная

логической формой высказывания

ложность ложность, гарантированная

логической формой высказывания

Логическая форма способ связи содержаний его

языкового контекста частей; выявляется в процессе

отвлечения от смысла описательных

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

Логический закон логическая форма высказывания,

гарантирующая его истинность

при любой интерпретации

параметров, входящих в его состав

Логическое следование связь между посылками и

заключением по их логическим

формам, при которой истинность

посылок гарантирует истинность

заключения

Модус понендо-толленс то же, что и утверждающе-

(modus ponendo-tollens) отрицающий способ умозаключения;

(разрешает переходить от

утверждения одного дизъюнкта к

отрицанию другого)

Модус поненс то же, что и утверждающий способ

(modus ponens) умозаключения (разрешает

переходить от утверждения условия

к утверждению следствия)

Модус толлендо-поненс то же, что и отрицающее-

(modus tollendo-ponens) утверждающий способ

умозаключения (разрешает

285

переходить от отрицания одного

дизъюнкта к утверждению другого)

Модус толленс то же, что и отрицающий способ

(modus tollens) умозаключения (разрешает

переходить от отрицания следствия

к отрицанию условия)

Модус силлогизма разновидность силлогизма,

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

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

входящих в него суждений

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

умозключение

Непротиворечивость свойство теории, при котором

теории любое утверждение, доказуемое

в ней, является истинным

Непротиворечия два противоречащих друг другу

закон высказывания не могут быть

одновременно истинными

Ограничение переменной отметка в процессе вывода,

указывающая, относительно каких

переменных больше нельзя

применять правила в и и

Ограничение понятия переход от родового понятия к

видовому, то есть от понятия с

большим объемом и меньшим

содержанием к понятию с меньшим

объемом и большим содержанием

Область бинарного отношения множество предметов, которые

состоят в этом отношении к каким-

либо другим предметам (т.е.

множество исходящих вершин

графов)

Обобщение переход от видового понятия к

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

меньшим объемом и большим

содержанием к понятию с большим

286

объемом и меньшим содержанием

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

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

совпадает с предикатом посылки,

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

субъектом посылки

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

(simplex) с количеством посылки

с ограничением из общей посылки делается

(per accidens) частное заключение

Объединение операция, результат которой

представляет собой множество

предметов, входящих по крайней

мере в один из исходных классов

Объем понятия класс предметов, обладающих

признаком, зафиксированном в

содержании этого понятия

Объем сказывания та часть объема субъекта,

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

данное атрибутивное суждение

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

принцип (в рамках данного контекста)

иметь только одно значение

Определение логическая процедура придания

строго фиксированного смысла

языковым выражениям

неявное определение вида «А есть то, что

удовлетворяет условиям В

, … В

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

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

фигурирует

индуктивное определение класса предметов А

путем указания некоторого его

подкласса и тех процедур, при

287

помощи которых порождаются все

остальные предметы этого класса

рекурсивное определение функции путем

указания ее значений для некоторых

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

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

значений , зная исходные

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

указаны дефиниенс и дефиниендум

(то есть определение вида

«А равнозначно В»)

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

более сложного языкового блока

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

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

генетическое через указание на способ

возникновения предметов

квалифицирующее через указание на свойства

предметов или отношения между

ними

операциональное через указание на операцию

распознавания предметов

целевое через указание на целевое

(функциональное) предназначение

предметов

реальное

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

которого является реально

существующий предмет, свойство

или отношение

прагматически определение общеупотребимого

термина с целью более точного

разъяснения его содержания

номинальное

семантически определение термина,

обозначающего несуществующий в

288

реальности предмет, свойство или

отношение

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

смысл вновь изобретенного или

используемого в непривычном

значении термина

остенсивное разъяснение языковых выражений

путем непосредственного указания

предметов, действий или ситуаций,

обозначаемых этими выражениями

Определимости парадокс то же, что и парадокс Ришара-Берри

Основание деления характеристика предметов,

входящих в объем делимого

понятия, модификация которой

порождает систему членов деления

Отношение связь между объектами, которая не

сводится к собственным свойствам

этих объектов, но объединяет их в

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

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

тернарное трехместное

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

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

универсальное отношение, в котором состоит любая

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

тождества отношение, в котором каждый

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

сам к себе

Отрицание

пропозициональное одна из связок КЛВ, в естественном

языке выражается словами «не»,

«неверно, что …» и т.п.

терминное операция, применяемая в

силлогистике к отдельным терминам

и аналогичная взятию дополнения;

в естественном языке выражается

289

отрицательными приставками «не-»,

«без-», «дис-», «а-» и т.п.

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

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

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

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

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

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

отрицания его консеквента к

отрицанию его антецедента

Парадокс (антиномия) неустранимое противоречие

между двумя одинаково

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

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

суждений или понятий

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

помощью которого суждения и

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

Перекрещивание отношение между двумя непустыми

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

общие элементы объема, но не

включаются друг в друга и в

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

Пересечение операция, результат которой

представляет собой множество

предметов, входящих одновременно

в оба исходных класса

Подобие отношение, которое является

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

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

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

Подчинение

высказываний отношение, при котором из одного

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

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

290