Глава 9. Глоссарий по логике

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

А = А  краткая символическая запись закона тождества. Противоречие  – утверждение и одновременное отрицание чего#x2011;либо; А не есть не#x2011;А – краткая запись закона противоречия.

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

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

Понятие  – универсальная форма мышления.

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

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

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

Совместимые понятия  – имеют общие элементы в объеме; несовместимые понятия – не имеют общих элементов в объеме; перекрещивающиеся, равнозначные и подчиненные понятия – разновидности совместимых понятий; противоположные, противоречащие и соподчиненные понятия – разновидности несовместимых понятий.

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

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

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

Истина  – высказывание, содержание которого соответствует действительности; категорическое суждение – утверждение или отрицание каких#x2011;либо свойств у предметов.

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

Общеутвердительное суждение  (S a P), общеотрицательное суждение  (S e P), частноутвердительное суждение  (S i P), частноотрицательное суждение  (S o P)– названия и символические выражения всех видов суждений; единичное суждение  – особый вид суждения, который имеет логические свойства общих суждений.

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

Логический квадрат  – схема, облегчающая запоминание истинностных отношений между суждениями; противоположность (контрарность)– отношение между суждениями S a P и S e P; частичная совместимость (субконтрарность)– отношение между суждениями S i P и S o P; противоречие (контрадикторность)– отношение между суждениями 1) S a P и S o P, 2) S e P и S i P; подчинение (субординация)– отношение между суждениями 1) S a P и S i P 2) S e P и S o P.

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

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

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

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

Энтимема  – силлогизм, в котором явно высказаны не все его составные части.

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

Условное суждение  – высказывание, в котором содержится оборот «если, . то. .» или его эквиваленты; условно#x2011;категорическое умозаключение (силлогизм)– умозаключение, в котором одна посылка условное суждение, другая категорическое; утверждающий модус (modus ponens)– название одной из самых элементарных и распространенных в рассуждениях разновидностей условно#x2011;категорического силлогизма; отрицающий модус (modus tollens)– название другого чрезвычайно распространенного вида условно#x2011;категорического силлогизма.

Разделительное суждение  – высказывание, перечисляющие альтернативы (чаще всего через союз «или», но не только через него); разделительно#x2011;категорическое умозаключение (силлогизм)– умозаключение, в котором одна посылка – разделительное суждение и одна – категорическое; отрицающе#x2011;утверждающий модус (modus tollendo ponens)– название одной из двух разновидностей разделительно#x2011;категорического умозаключения; утверждающе#x2011;отрицающий модус (modus ponendo tollens)– название другой разновидности разделительно#x2011;категорического умозаключения; лемматические умозаключения (силлогизмы)– сложные умозаключения, в которых комбинируются условные и разделительные суждения (подразделяются на сложные и простые, конструктивные и деструктивные).

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

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

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

Доказательство  – логическая процедура получения истинных высказываний.

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

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

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

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

Критика тезиса, критика аргументов, критика демонстрации  – три вида, на которые подразделяются все способы опровержения; опровержение фактами, сведением к абсурду, доказательством антитезиса – три основные разновидности опровержения тезиса; «дамский аргумент» – выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.

Пропозициональная переменная  – символ (обычно латинская буква), заменяющий любое высказывание; логический союз – название широко распространенных в любом языке оборотов речи, с помощью которых связываются два и более повествовательных предложения (имеют символические обозначения); отрицание – простейший логический союз, выражаемый словами «неверно, что. .», который не связывает, а только преобразует высказывание; конъюнкция – логический союз, выражаемый грамматическим союзом «и» а также многими другими эквивалентными ему выражениями (обозначается символом – /\); дизъюнкция – логический союз, выражаемый грамматическим союзом «или» а также другими эквивалентными ему выражениями (обозначается символом – \/); импликация – логический союз, выражаемый словами «если. ., то. .» а также многими другими эквивалентными ему оборотами (обозначается символом – =gt;); эквивалентность – логический союз, выражающий отношения равнозначности, обоюдной зависимости (обозначается символом – lt;=gt;).