gorbatov._logika_2006

Глоссарий

Релевантность

— связь между высказываниями, выражающая изменение

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

позитивная

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

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

негативная

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

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

Ришара-Берри

— неразрешимое семантическое противоречие, сводящееся

парадокс

к тому, что некий объект подпадает под данное опреде-

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

него; простейший пример – «минимальное натуральное

число которое нельзя выразить словосочетанием, состоя-

щим менее чем из k букв»

Семиозис

— знаковая ситуация; состоит из трех составных частей:

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

Силлогизм

— умозаключение из нескольких посылок

простой

— умозаключение, в котором от наличия некоторых отно-

категорический

шений между терминами S и М, Р и М, фиксируемых в

силлогизм

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

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

Силлогистика

— теория, предназначенная для анализа логической струк-

туры простых атрибутивных высказываний, отношений

между ними и выводов, построенных с учетом этой

структуры; исторически первая логическая система, ос-

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

Смысл (знака)

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

позволяет интерпретатору распознать этот предмет сре-

ди остальных

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

— отношение, при котором условия истинности высказы-

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

ваний хотя бы частично совпадают

по истинности

по ложности

— отношение, при котором условия ложности высказыва-

понятий

ний хотя бы частично совпадают отношение, при кото-

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

Содержание понятия

— признак, на основании которого в данном понятии выде-

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

Соподчинение

— отношение между двумя непустыми понятиями, при ко-

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

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

Логика

Сопутствующих

— способ установления причинной зависимости, основан-

изменений метод

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

ция которого приводит к соответствующей модифика-

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

Сорит

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

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

Субконтрарность

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

ложности

Субъект

— термин в простом атрибутивном высказывании, играю-

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

Суждение

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

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

Сходства и различия

— способ установления причинной зависимости, основан-

объединенный метод

ный на выявлении единственного необходимого и доста-

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

Таксон

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

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

Термин

— значимое слово или словосочетание, входящее в состав

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

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

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

больший

меньший

— субъект заключения

средний

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

посылках

Теория

— система связанных между собой понятий и высказыва-

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

Тождества закон

— если высказывание истинно, то оно истинно

Транзитивности

— если из одного высказывания вытекает второе, а из него –

импликации закон

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

Универсалия

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

вида αА(α)

Универсум

— предметная область, о которой идет речь в данном язы-

ковом контексте

Глоссарий

Утверждающе-

— способ, основанный на переходе от строго-

отрицающий

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

способ умозаключения

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

Утверждающий

— способ, основанный на переходе от импликативного су-

способ умозаключения

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

его консеквента

Фигура силлогизма

— его характеристика по расположению среднего термина в

посылках

Эвбулида парадокс

— неразрешимое семантическое противоречие, основанное

том, что некое высказывание истинно тогда и только то-

гда, когда оно ложно; простейший пример – «это выска-

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

Эквивалентность

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

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

Эквиваленция

— пропозициональная связка, соединяющая два суждения

материальная

таким образом, что полученное в результате сложное су-

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

ности или при совместной ложности исходных суждений

Экстенсионал знака

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

понятия

его объем

Энтимема

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

посылок или заключение

Язык

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

хранения, передачи и переработки информации

Языковой контекст

— языковая единица, более крупная, чем атомарный тер-

мин и включающая его в себя (словосочетание, предло-

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

интенсиональный

— контекст, в котором важную роль играет не только зна-

чение, но и смысл термина; в таких контекстах не дейст-

вует правило замены равнозначных выражений

экстенсиональный

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

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

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