Рекомендуемая литература
(дополнительная)
Асмус В. Ф. Учение логики о доказательстве и опровержении. М., 1954.
Берков В. Ф. Логика. Минск, 1997.
Брутян Г. А. Аргументация. Ереван, 1984.
Гетманова А. Д. Учебник по логике. М., 1995.
Горский Д. П. Логика. М., 1963.
Горский Д. П. Определение. М., 1974.
Ивин А. А. По законам логики. М., 1983.
Ивин А. А Этот строгий мир логики. М., 1984.
Ивин А. А. Логика. М., 1999.
Ивлев Ю. В. Курс лекций по логике. М., 1988.
Кириллов В. И., Старченко А. А. Логика. М., 1982-2002.
Кондаков Н. И. Логический словарь. М., 1985.
Ножкин Е. А. Мастерство устного выступления. М., 1989.
Поварнин С. Спор. О теории и практике спора. СПб., 1996.
Свинцов В. И. Логика. М., 1995.
Старченко А. А. Логика в судебном исследовании. М., 1958.
Формальная логика. Л., 1977.
Философский энциклопедический словарь. М., 1983
Глоссарий
А
Абстрактное понятие – понятие, обобщающее отдельные свойства, стороны или отношения предметов.
Аксиома – исходное, принимаемое без доказательства положение какой-либо теории, лежащее в основе доказательства других её положений.
Аксиоматический метод – способ построения научной теории, при котором какие-либо положения теории избираются в качестве исходных, а все остальные её положения выводятся из них чисто логическим путём, посредством доказательства.
Антиномия – рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого.
Антитезис – суждение, противоречащее тезису доказательства и используемое в качестве исходной посылки логического вывода в доказательстве от противного.
Аргумент – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории).
Аргументация – приведение доводов, или аргументов, в обоснование какого-либо положения.
Атрибутивные суждения – суждения, в которых указывается на наличие или отсутствие у предметов каких-либо свойств, состояний, видов деятельности и т. п.
Б
Безотносительное понятие – понятие, содержание которого не связано каким-либо отношением, где мыслимые предметы (признаки) существуют вполне самостоятельно, независимо от других предметов (свойств).
В
Высказывание – грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом.
Г
Генетическое определение – определение, где в качестве специфических отличительных признаков выступает способ происхождения или образования, конструирования предмета.
Д
Двузначная логика – логика, опирающаяся на принцип двузначности.
Дедуктивное умозаключение – умозаключение, в котором из истинных посылок с необходимостью следует истинный вывод.
Деление – логическая процедура, направленная на раскрытие объёма понятия.
Деление по видоизменению признака – вид деления, при котором изменение признака, являющегося основанием деления, приводит к образованию видовых понятий.
Дилемма – умозаключение, посылки которого имеют структуру условных и разделительных суждений.
Дихотомическое деление – вид деления, при котором объём делимого понятия разбивается на две части, представленные противоречащими понятиями.
Доказательство – рассуждение, устанавливающее истинность какого-либо утверждения путём приведения других утверждений, истинность которых уже доказана.
Е
Единичное понятие – понятие, объём которого состоит из одного предмета.
Единичное суждение – суждение, предметом мысли которого является единичный объект, в объём субъекта которого входит лишь один элемент: «Данное S есть P».
Естественная классификация – классификация, которая проводится по существенным признакам.
Естественный язык – язык, возникающий спонтанно в процессе развития человека как необходимое средство общения и познания (русский, украинский, английский, французский и т. п.).
З
Закон исключённого третьего – логический закон, согласно которому истинно или само высказывание, или его отрицание.
И
Интерпретация – приписывание некоторого содержательного смысла, значения символам и формулам формальной системы.
Искусственная классификация – классификация, которая проводится по несущественным признакам.
Искусственный язык – язык, который создаётся человеком для каких-либо определённых целей (язык логики, язык математики, азбука Морзе, эсперанто, различные шрифты и т. п.).
К
Категорическое суждение – суждение, в котором констатируется наличие или отсутствие у некоторого объекта определённого свойства.
Классификация – логическая операция, при которой производится многоступенчатое, разветвлённое деление объёма некоторого понятия, где каждая выделенная группа элементов имеет своё постоянное, вполне определённое место.
Конкретное понятие – понятие, отражающее признаки отдельных предметов или некоторых их классов.
Косвенное доказательство – доказательство, в котором истинность тезиса устанавливается путём показа ошибочности противоположного ему допущения.
Л
Логика – наука о правильном мышлении.
Логическая ошибка – нарушение каких-либо законов, правил и схем логики.
Логическая форма (форма мысли) – способ связи составных частей какого-либо определённого содержания конкретной мысли, выраженный специфическим для логики языком символов.
М
Математическая логика – одно из названий современной формальной логики, пришедшей во второй половине 19 в. – начале 20 в. на смену традиционной логике.
Многозначная логика – совокупность логических систем, опирающихся на принцип многозначности.
Модусы силлогизма – разновидности силлогизма, различающиеся количественной и качественной характеристикой входящих в них посылок и заключения.
Н
Недедуктивное умозаключение – умозаключение, имеющее такие связи между посылками, которые не гарантируют истинности заключения при истинных посылках.
Непосредственное умозаключение – умозаключение, состоящее из одной посылки и заключения, в качестве которых используются категорические суждения.
Неправильные модусы – модусы силлогизма, в которых истинность посылок не гарантирует истинность заключения.
Несобирательное понятие – понятие, элементами которого являются отдельные предметы, свойства, отношения, к каждому из которых относится данное понятие.
Несовместимые понятия – понятия, объёмы которых не имеют общих элементов.
Неявное определение – определение, в котором содержание определяемого понятия раскрывается в некотором контексте.
Номинальное определение – определение, посредством которого формулируется значение некоторого знакового выражения.
Нулевое понятие – понятие, объём которого не включает в себя ни одного предмета.
О
Обобщение понятия – мыслительная операция, при которой осуществляется переход от понятия с меньшим объёмом к понятию с большим объёмом.
Общее понятие – понятие, объём которого состоит из двух или более предметов.
Общее суждение – суждение, в котором речь идёт обо всём классе предметов, мыслимых в субъекте.
Общезначимые высказывания – высказывания, которые истинны при любых значениях входящих в них простых высказываний.
Общие правила силлогизма – правила, распространяющиеся на все фигуры силлогизма.
Объём понятия – совокупность предметов, отражённых в понятии.
Ограничение понятия – мыслительная операция, с помощью которой переходят от понятия с большим объёмом к понятию с меньшим объёмом.
Описание – приём, с помощью которого путём перечисления внешних черт предмета отличают его от других предметов.
Опосредованное умозаключение – умозаключение, состоящее из двух или более посылок и заключения, в качестве которых используются категорические суждения.
Определение – логическая процедура, направленная на раскрытие содержания понятия.
Определение через ближайший род и видовое отличие – определение, при котором устанавливаются сначала признаки, позволяющие отнести тот или иной объект (класс объектов) к некоторому родовому понятию, а затем указать его специфические признаки (видовые отличия).
Опровержение – установление ложности или необоснованности ранее выдвинутого тезиса.
Остенсивное определение – определение значения слов или словосочетаний, соответствующих тем или иным предметам, свойствам, отношениям, действиям и т. п., путём их непосредственного показа.
Относительное понятие – понятие, содержание которого представляет собой наличие или отсутствие отношения мыслимого в нём предмета к некоему другому предмету.
Отношение подчинения – отношение между понятиями, при котором объём одного из них полностью включается в объём другого, но не исчерпывает его.
Отрицательное понятие – понятие, указывающее на отсутствие у предмета некоторого качества или отношения.
Отрицательное суждение – суждение, имеющее отрицательную связку («не есть», «не суть» и т. п.) между субъектом и предикатом.
П
Паралогизм – непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики.
Перекрещивающиеся понятия – понятия, объёмы которых частично совпадают.
Подчинённые понятия – понятия, объёмы которых имеют такое отношение, что каждый элемент одного из них является одновременно элементом другого, но не всякий элемент последнего является элементом первого.
Полный силлогизм – силлогизм, в котором все его части выражены явным образом.
Полисиллогизм – сложный силлогизм, состоящий из двух или более простых категорических силлогизмов, связанных между собой таким образом, что заключение каждого предыдущего силлогизма становится посылкой другого силлогизма.
Положительное понятие – понятие, указывающее на наличие у предмета того или иного качества или отношения.
Понятие – форма мышления, в которой отражаются существенные признаки предметов.
Правильные модусы – модусы силлогизма, в которых истинность посылок гарантирует истинность заключения.
Принцип двузначности – принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно.
Принцип многозначности – положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трёх или более истинностных значений.
Простое суждение – суждение, в состав которого не входят другие суждения.
Простой силлогизм – то же самое, что и силлогизм.
Противоположные понятия – понятия, отражающие крайние моменты в последовательном ряду каких-либо предметов.
Противоречащие понятия – понятия, в содержании одного из которых отрицаются признаки, входящие в содержание другого.
Пустое понятие – понятие, объём которого не содержит никаких элементов.
Р
Равнозначные понятия – понятия, объёмы которых полностью совпадают.
Реальное определение – определение, раскрывающее существенные признаки предмета.
С
Силлогизм – умозаключение, состоящее из двух посылок и заключения, в качестве которых используются категорические суждения.
Словарь языка логической теории – перечень исходных символов, а также понятие осмысленного выражения.
Сложное суждение – суждение, в состав которого входят другие суждения.
Сложносокращённый силлогизм (эпихейрема) – силлогизм, посылками которого являются энтимемы.
Сложный силлогизм (полисиллогизм) – цепь силлогизмов, в которой заключение предшествующего силлогизма становится посылкой последующего силлогизма.
Собирательное понятие – понятие, в котором группа однородных предметов мыслится как единое целое.
Совместимые понятия – понятия, объёмы которых имеют общие элементы.
Содержание понятия – совокупность признаков предметов, отражённых в понятии.
Сокращённый полисиллогизм (сорит) – полисиллогизм, в котором опущены промежуточные заключения.
Сокращённый силлогизм (энтимема) – силлогизм, в котором не выражена в явной форме какая-либо его часть.
Соподчинённые понятия – понятия, объёмы которых полностью включаются в некоторое более общее понятие.
Сорит – сокращённый полисиллогизм, в котором пропущены заключение предшествующих силлогизмов и одна из посылок последующего силлогизма.
Софизм – рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному утверждению.
Сравнение – приём, состоящий в указании чего-то существенно общего у предметов, о которых идёт речь, и у предметов, которые берутся для сопоставления.
Суждение – форма мышления, в которой устанавливается связь между двумя или более понятиями.
Суждения с отношениями – суждения, в которых говорится о каких-либо отношениях между предметами.
У
Умозаключение – форма мышления, в которой из одних суждений, называемых посылками, выводится другое суждение – заключение.
Умозаключение по логическому квадрату – непосредственное умозаключение, в котором заключение выводится из посылки на основании отношений между категорическими суждениями.
Умозаключение посредством обращения – непосредственное умозаключение, в заключении которого устанавливается связь между предикатом и субъектом посылки.
Умозаключение посредством превращения – непосредственное умозаключение, в заключении которого устанавливается связь между субъектом посылки и отрицанием её предиката.
Умозаключение посредством противопоставления предикату - непосредственное умозаключение, в заключении которого устанавливается связь между отрицанием предиката и субъектом посылки.
Утвердительное суждение – суждение, имеющее утвердительную связку («есть», «суть» и т. п.) между субъектом и предикатом.
Ф
Фигуры силлогизма – разновидности силлогизма, различающиеся положением среднего термина в посылках.
Формализация – процесс записи с помощью символов логики высказываний некоторого выражения естественного языка.
Х
Характеристика – приём, при котором перечисляются лишь некоторые внутренние, существенные черты человека, явления, предмета.
Ч
Частное суждение – суждение, в котором речь идёт о части предметов, мыслимых в субъекте.
Э
Экзистенциальные суждения (суждения существования) – суждения, в которых утверждается или отрицается существование некоторого материального или идеального объекта.
Энтимема – сокращённый категорический силлогизм, в котором пропущена одна из посылок или отсутствует заключение.
Эпихейрема – сокращённый и одновременно сложный силлогизм, посылки которого представляют собой энтимемы.
Я
Явное определение – определение, содержащее прямое указание на присущие предмету существенные признаки.
Язык – знаковая система, с помощью которой фиксируется, хранится, обрабатывается и передаётся информация.
Язык логики высказываний – искусственный язык, дающий возможность выразить логическую структуру некоторого выражения естественного языка.