Тавтология - ошибочное определение вроде: масло масляное; соразмерность - совпадение объемов определяющего и определяемого понятий; отрицательное определение - задание предмета через отсутствующий у него признак.
Деление понятий - операция разбиения объема понятий на виды и подвиды; основание деления - признак, по которому производится разбиение; соразмерность деления - совпадение объемов делимого понятия и суммы объемов, полученных в результате деления.
Истина - высказывание, содержание которого соответствует действительности; категорическое суждение - утверждение или отрицание каких-либо свойств у предметов.
Субъект суждения - предмет или явление, о котором идет речь; предикат - свойство, приписываемое субъекту или отрицаемое у него; связка - элемент суждения, задающий его качественную характеристику; квантор - элемент суждения, задающий его количественную характеристику (бывает двух видов).
Общеутвердительное суждение (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) - понятие, создающее логическую связь между меньшим и большим терминами; модус - элементарная разновидность силлогизма; фигура - класс родственных силлогизмов.
Энтимема - силлогизм, в котором явно высказаны не все его составные части.
Полисиллогизм - цепочка силлогизмов (бывает двух разновидностей: прогрессивный и регрессивный); сорит - полисиллогизм, у которого не все составные части высказаны явно; эпихейрема - сложный силлогизм, составленный из двух энтимем.
Условное суждение - высказывание, в котором содержится оборот "если,... то..." или его эквиваленты; условно-категорическое умозаключение (силлогизм) - умозаключение, в котором одна посылка условное суждение, другая категорическое; утверждающий модус (modus ponens) - название одной из самых элементарных и распространенных в рассуждениях разновидностей условно-категорического силлогизма; отрицающий модус (modus tollens) - название другого чрезвычайно распространенного вида условно-категорического силлогизма.
Разделительное суждение - высказывание, перечисляющие альтернативы (чаще всего через союз "или", но не только через него); разделительно-категорическое умозаключение (силлогизм) - умозаключение, в котором одна посылка - разделительное суждение и одна - категорическое; отрицающе-утверждающий модус (modus tollendo ponens) - название одной из двух разновидностей разделительно-категорического умозаключения; утверждающе-отрицающий модус (modus ponendo tollens) - название другой разновидности разделительно-категорического умозаключения; лемматические умозаключения (силлогизмы) - сложные умозаключения, в которых комбинируются условные и разделительные суждения (подразделяются на сложные и простые, конструктивные и деструктивные).
Индукция - умозаключение, построенное на наблюдении частных случаев (см. начало главы); полная индукция - умозаключение, построенное на исчерпывающем переборе всех предметов данного рода (ее выводы всегда полностью достоверны); неполная индукция - умозаключение, построенное на наблюдении части всех предметов данного рода (достоверность ее выводов может лишь приближаться к абсолютной).
Научная индукция - индуктивное умозаключение о связи различных явлений между собой; метод сходства - вид научной индукции наиболее близкий к обычной индукции; метод различия - вид научной индукции, в которой выводы по методу сходства дополнены наблюдением различий; метод сопутствующих изменений - вид научной индукции, основанный на изучении согласующихся изменений; метод остатков - вид научной индукции, построенный на отделении неизвестного от изученного.
Аналогия - вид умозаключения, опирающегося на изучения не данного явления, а похожего на него; модель - метод познания, основанного на аналогии.
Доказательство - логическая процедура получения истинных высказываний.
Тезис - высказывание, подлежащее доказательству (или опровержению); аргументы (основания) - высказывания, с помощью которых доказывается или опровергается тезис; демонстрация (форма доказательства) - связь между тезисом и аргументами в виде умозаключения или рассуждения; опровержение - доказательство, направленное на отвод или уточнение утверждений, считавшихся ранее доказанными.
Прямое доказательство - наиболее обычное доказательство, в котором прямо фигурирует доказываемый тезис; косвенное доказательство - обходной путь в доказательных рассуждениях, когда вместо тезиса берется логически связанное с ним утверждение; доказательство от противного (апагогическое) - разновидность косвенного доказательства, в котором опровергается противоречащее тезису утверждение; разделительное доказательство - разновидность косвенного доказательства, в котором последовательно отбрасываются альтернативные тезису утверждения.
Основное заблуждение - ошибка, вызванная тем, что в рассуждении используется ложный аргумент; круг в доказательстве - ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосновываются через этот тезис; предвосхищение основания - ошибка, вызванная тем, что в аргументы заранее закладывается то, что надо доказать; чрезмерное доказательство - употребление в доказательстве излишних аргументов, от чего доказательство только запутывается.
Мнимое следование - общее название ошибок, возникающих из-за нарушений в форме доказательства (имеет очень много разновидностей); "после этого не значит вследствие этого" - выражение, которым обозначают встречающуюся иногда ошибку при установлении причинных связей; "от сказанного с условием к сказанному безусловно" - выражение, которым обозначают ошибку, возникающую из-за игнорирования конкретных условий для той или иной истины; "от сказанного в собирательном смысле к сказанному в разделительном смысле" - выражение, которым обозначают ошибку, возникающую из-за игнорирования разницы между собирательными и разделительными понятиями; замена доказательства другими средствами протащить нужное утверждение - недопустимый в доказательствах прием, имеющий очень много разновидностей.
Критика тезиса, критика аргументов, критика демонстрации - три вида, на которые подразделяются все способы опровержения; опровержение фактами, сведением к абсурду, доказательством антитезиса - три основные разновидности опровержения тезиса; "дамский аргумент" - выражение, которым обозначают непозволительный прием опровержения, когда мысль оппонента преувеличивается до карикатуры.
Пропозициональная переменная - символ (обычно латинская буква), заменяющий любое высказывание; логический союз - название широко распространенных в любом языке оборотов речи, с помощью которых связываются два и более повествовательных предложения (имеют символические обозначения); отрицание - простейший логический союз, выражаемый словами "неверно, что...", который не связывает, а только преобразует высказывание; конъюнкция - логический союз, выражаемый грамматическим союзом "и" а также многими другими эквивалентными ему выражениями (обозначается символом - /\); дизъюнкция - логический союз, выражаемый грамматическим союзом "или" а также другими эквивалентными ему выражениями (обозначается символом - \/); импликация - логический союз, выражаемый словами "если..., то..." а также многими другими эквивалентными ему оборотами (обозначается символом - =>); эквивалентность - логический союз, выражающий отношения равнозначности, обоюдной зависимости (обозначается символом - -).
Список литературы
1. В.И.Кириллов, А.А.Старченко. Логика.- М.: 1996г., М.: 1987.
2. А.П.Бойко. Логика.- М.: 1994.
3. Е.Б.Кузина. Практическая логика.- М.: 1996.
Дополнительная литература:
4. В.Малахов. Логика предпринимателя. М.: 1992.
5. Е.В.Сарычев. Лекции по логике. М.: 1994.
6. С.А.Солодухин. Логика для юристов.- М.: 1998г.
7. А.Д.Гапманова. Учебник по логике.- М.: 1994.
8. Г.И.Челпанов. Учебник по логике.- М.: 1994.
9. Логический словарь ДЕГОРТ.- М.: 1994.
10. Краткий словарь по логике.- М.: 1991.