Глоссарий. Абстрагирование -логический прием, суть которого состоит в мысленном выделении одних признаков предмета при отвлечении от других

Абстрагирование - логический прием, суть которого состоит в мысленном выделении одних признаков предмета при отвлечении от других.

Абстрактное мышление - вид мышления, который оперирует обобщенными образами, существующими в знаковой форме.

Абстрактное понятие - понятие, в котором воспроизводится какое-то свойство предмета или отношение между предметами.

Абсурд - бессмыслица, нелепость.

Актуальное определение - это определение через ближайшее родовое понятие и видовое отличие; подведение определяемого понятия под современные понятия.

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

Амфиболия - логическая ошибка, возникающая при различном толковании одного и того же высказывания.

Анализ - мысленное расчленение предмета на составные части.

Аналогия - сходство предметов в каких-либо свойствах или отношениях.

Антецедент - часть импликации, которой предпослано слово “если”. В условном суждении антецедентом является основание. Антецедент является неотъемлемой частью гипотезы, нормы.

Антитеза - сопоставление противоположных понятий или суждений.

Антитезис - суждение, противопоставляемое тезису.

Апагогическое доказательство - доказательство от противного.

Апория - неразрешимая проблема, непреодолимое логическое затруднение.

Аргументация - обоснование, доказывание, приведение аргументов в истинность каких-либо положений.

Атрибутивное суждение - суждение о признаке предмета.

Безотносительное понятие - понятие, которое представляет предмет вне зависимости от другого предмета.

Большая посылка - посылка простом категорическом силлогизме, которую составляют больший и средний термины силлогизма.

Больший термин - предикат силлогизма; то, что сообщается о предмете силлогизма; термин, который является предикатом заключения в силлогизме.

Верификация - процесс установления истинности суждений в результате их эмпирической проверки.

Вероятное суждение - проблематичное, правдоподобное суждение; суждение, которое нельзя считать достоверным в силу их недостаточной обоснованности.

Вероятностное умозаключение - правдоподобное умозаключение.

Видовое понятие (вид) - понятие, которое находится в отношении подчинения к другому понятию - родовому понятию (виду).

Вопрос - форма мысли, которая побуждает находить информацию или совершать доказательство.

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

Вывод - последовательность высказываний или формул; следствие в умозаключении.

Генетическое определение - определение, в котором указывается на происхождение предмета мысли, на способ его образования.

Гипотеза - предположительное объяснение какого-либо бытия или небытия.

Дедукция - логический метод, основанный на выведении частного знания из общего; вид умозаключения.

Дедуктивное умозаключение - умозаключение, в котором совершается переход от общих мыслей к частной.

Деление понятия - логическая операция, раскрывающая объем понятия.

Деление дихотомическое (дихотомия) - деление на противоречащие понятия.

Деление по видоизменению признака - деление, основанием которого является признак делимого класса.

Деление неполное - ошибка в делении, возникающая при нарушении правила соразмерности, когда не перечисляются все виды делимого понятия.

Деление по многим основаниям - ошибка в делении, ибо избранное основание должно оставаться одним и тем же и не подменяться другим.

Деление с лишними членами - нарушение правила соразмерности, когда указываются в качестве членов деления понятия, которые не соответствуют принципу деления.

Демонстративное умозаключение - необходимое умозаключение или силлогизм.

Демонстрация - логическая связь между аргументами и тезисом в доказательстве или опровержении.

Дефиниция - определение понятия.

Дизъюнкция (разделительное суждение) - соединение двух или более суждений с помощью логического союза “или”.

Дизъюнкция нестрогая - суждение, в котором союз “или” употребляется в соединительно-разделительном смысле.

Дизъюнкция строгая - суждение, в котором союз “или” употребляется только в разделительном значении.

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

Довод (или основание, или аргумент) - мысль, которая приводится в обоснование истинности или ложности тезиса.

Доказательность - свойство правильного мышления; обоснованность, аргументированность мышления.

Доказательство - логические обоснование истинности какого-либо суждения с помощью других.

Доказательство косвенное - доказательство, в котором при обосновании тезиса используются альтернативные тезису допущения.

Доказательство апагогическое (от противного) - такое доказательство, в котором обосновывается тезис путем установления ложности противоречащего ему допущения - антитезиса.

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

Доказательство прямое - доказательство, в котором при обосновании тезиса не используются (противоречащие или) альтернативные тезису допущения.

Единичное понятие - понятие, объем которого представлен одним предметом.

Единичное суждение - суждение, в котором что-либо утверждается или отрицается об отдельном предмете.

“ Если..., то...” - логический союз, связывающий два простых суждения в сложное условное (импликативное) суждение.

Заключение - суждение, образованное на основе посылок.

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

Закон исключенного третьего - из двух противоречащих мыслей одна истинна, а другая ложна, третьего не дано.

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

Закон обратного отношения между содержанием и объемом понятия - увеличение содержания понятия ведет к образованию понятия с меньшим объемом; увеличение объема понятия ведет к образованию понятия с меньшим содержанием.

Закон тождества - всякая мысль о данном предмете в процессе рассуждения должна быть тождественной себе, сколько бы раз она не повторялась.

Знак - чувственно воспринимаемый предмет, который служит для приобретения, хранения и передачи информации.

Значение знака - образ, который при употреблении знака складывается в сознании людей.

“И” - логический союз, используемый для образования соединительных (конъюнктивных) суждений.

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

Идеализированный объект - продукт идеализации; объект теории, который “выхватывает” и обособляет ту или иную черту реальной вещи.

“Или” - логический союз, используемый для образования разделительных (дизъюнктивных) суждений.

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

Индукция неполная - это умозаключение, в котором на основе повторяемости признака у некоторых явлений определенного класса заключают о принадлежности этого признака всему классу явлений.

Индукция полная - это умозаключение, в котором на основе повторяемости признака у каждого из явлений определенного класса заключают о принадлежности этого признака всему классу.

Импликация - логическая операция, связывающая два высказывания с помощью логического союза “если..., то...”.

Категорический силлогизм - доказательное умозаключение, состоящее из категорических суждений.

Категорическое суждение - суждение, в котором непосредственно выражено знание о принадлежности или об отсутствии признака у предмета.

Категория - предельно широкое понятие.

Качество суждения - утвердительная или отрицательная форма суждения.

Кванторное слово (квантор) - логический оператор, выражающий количество суждения.

Класс - совокупность предметов, имеющих общий признак.

Классификация - многоступенчатое деление.

Количество суждения - зафиксированный в суждении объем предметов (один предмет, часть предметов или все предметы класса).

Конкретное понятие - понятие, в котором отображен определенный предмет в целом или класс предметов.

Консеквент - часть импликации, которая вводится в сложное высказывание при помощи слова “то”; следствие в условном суждении.

Конструктивный объект - объект, существование которого определяется возможностью его построения по некоторым правилам.

Контекстуальное определение - определение, которое строится на основании знания связи определяемого слова с окружающими (контекстом).

Контрадикторное отношение - отношение между противоречивыми мыслями: понятиями, суждениями, умозаключениями и т.д.

Концепция - общий замысел, главная мысль; основополагающая идея какой-либо теории.

Конъюнкция - логическая операция, соединяющая два или более высказываний при помощи союза “и”.

Координация понятия - соотношение между несколькими понятиями, подчиненными в равной мере одному и тому же родовому понятию.

Крайние термины - больший и меньший термины категорического силлогизма.

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

Круг в определении - логическая ошибка, заключающаяся в том, что при определении понятия прибегают к другому понятию, которое определяется так или иначе при помощи первого.

Круговые схемы Эйлера - принятый в логике способ наглядного изображения отношений между объемами понятий с помощью кругов, предложенный Л. Эйлером.

Логика - наука о законах, формах и приемах мышления.

Логика классическая - направление в математической логике, которое каждому высказыванию приписывает лишь одно из двух значений: истину или ложь.

Логика математическая - отрасль формальной логики, применяющая математические методы и специальный аппарат символов в исследовании мышления.

Логика модальная - отрасль современной формальной логики, в которой исследуется модальность суждений.

Логика неклассическая - направление математической логики, начало которого ведется с первого десятилетия ХХ века, включает разработку многозначной, комплексной, конструктивной и др. логик.

Логика символическая - направление в формальной логике, в котором более широко, чем в традиционной логике применяются символы.

Логика традиционная - наука о законах выводного знания, основоположником которой является Аристотель; первая ступень в развитии формальной логики.

“Логическая диверсия” - переключение внимания противной стороны на обсуждение другого утверждения, не имеющего прямой связи с первоначальным тезисом.

Логическая культура - совокупность умений правильно оперировать понятиями и суждениями, правильно умозаключать и доказывать, правильно выдвигать гипотезы и строить теории; искусство владения логическими законами, формами и приемами

Логическая форма - вид мысли или связей мысли.

Логические ошибки - непреднамеренные нарушения логических правил.

Логические уловки - преднамеренное нарушение законов и правил логики.

Логический квадрат - наглядная схема, демонстрирующая отношения между четырьмя типами простых суждений.

Логический прием - способ мыслительной деятельности, дающий возможность образовывать новые логические формы.

Логическое противоречие - это отношение между двумя взаимно отрицающими друг друга мыслями.

Логичность - качество мышления, характеризующегося ясностью, непротиворечивостью, обоснованностью.

Ложь - неправильное в мышлении; может быть преднамеренной (софизмы) или непреднамеренной (паралогизмы).

Меньшая посылка - посылка категорического силлогизма, содержащая меньший термин (субъект вывода) и средний термин силлогизма.

Меньший термин - субъект силлогизма (то, о чем идет речь в силлогизме); субъект вывода.

Методы научной индукции - методы выявления обусловленности. К ним относят пять методов: 1) метод единственного сходства - нахождение общего условия в различных событиях, которые приводили к возникновению исследуемого результата; 2) метод единственного различия - нахождение различного в сходных условиях, которые приводят к чему-либо исследуемому; 3) соединенный метод сходства и различия - нахождение в множестве условий как сходного в различном, так и различного в сходном, которое вызывает исследуемое нечто; 4) метод сопутствующих изменений - нахождение при анализе таких случаев, в которых видоизменение одного из условий сопровождается видоизменением исследуемого действия; 5) метод остатков - ориентирует на последовательное устранение условий, в которых произошло событие.

Модальность суждения - явно или неявно выраженная в суждении дополнительная информация о характере зависимости между субъектом и предикатом, о логическом статусе суждения, об оценочных, регулятивных, временных и других его характеристиках.

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

Модусы категорического силлогизма - разновидности силлогизма, отличающиеся по качеству и количеству тех суждений, которые составляют его.

Недемонстративное умозаключение - правдоподобное (вероятностное) умозаключение.

“Неизвестное через неизвестное” - логическая ошибка, которая встречается при определении понятий, когда одно определяется при помощи такого, которое само еще должно быть определено.

Нелогичное мышление - несоответствующее законам мышления; неясное, противоречивое и бездоказательное мышление.

Необходимое умозаключение (силлогизм) - демонстративное умозаключение.

Непозволительные уловки - уловки, которые не способствуют поиску истины, проверке убеждений.

Неполное деление - логическая ошибка, которая возникает, когда при перечислении видовых понятий некоторые из них упускаются.

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

Несовместимые понятия - сравнимые понятия, объемы которых не совпадают.

Неявное определение - определение, в котором прямо не называются необходимые признаки предмета мысли.

Номинальное определение - толкование имени, обозначающего понятие.

Нулевое понятие - понятие, в объем которого не входит ни один реальный предмет.

Обобщение - нахождение для данного понятия родового.

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

Общее понятие - понятие, в объем которого входит два или более однородных предмета.

Общее суждение - суждение, в котором что-либо утверждается или отрицается о каждом предмете какого-либо класса предметов.

Объем понятия - класс предметов, который мыслится в понятии.

Ограничение - нахождение для данного понятия видового.

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

Операторы модальности - модальные слова, которые входят в состав высказываний.

Описание - перечисление у предмета мысли внешних признаков; неявное определение.

Опосредованное умозаключение - умозаключение, в котором вывод делается на основе двух или более посылок.

Оппонент - участник дискуссии, выступающий с возражением, критикой доказательства пропонента.

Определение (дефиниция) - раскрытие содержания понятия. Определение через ближайшее родовое понятие и видовое отличие - алгоритм актуального определения.

Определение остенсивное - определение, устанавливающее значение термина путем демонстрации предмета, обозначаемого этим термином.

Опровержение - разрушение доказательства.

Основание - часть условного суждения, в которой выражается условие.

Основание деления понятия - признак, который позволяет разделить родовое понятие на виды.

“Основное заблуждение” - логическая ошибка в доказательстве, когда тезис обосновывается ложным аргументом.

Ответ - суждение, вызванное вопросом.

Ответ релевантный - ответ по существу поставленного вопроса.

Открытый вопрос - вопрос, на который существует бесконечное множество ответов.

Отношение между понятиями - воспроизведение в мышлении тождества и различия реальных классов предметов, которое устанавливается по их объемам и содержанию.

Отрицательное понятие - понятие, отображающее отсутствие в предмете того или иного признака.

Отрицательное суждение - суждение, которое отображает тот факт, что предмету мысли не принадлежит какое-либо свойство.

Паралогизм - логическая ошибка.

Подмена тезиса - неосознанное или умышленное замещение тезиса в ходе аргументации другим положением.

Подчинение понятий - отношение между понятиями, когда одно из них является видом, а другое - родом.

Подчинение суждений - отношение между сравнимыми суждениями, имеющими одинаковое качество, но разное количество.

Позволительные уловки - уловки, которые не противоречат логическим нормам и оправдываются логическим тактом эриста.

Полисемия - наличие у слова нескольких лексических значений.

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

Полная индукция - индуктивное умозаключение, основанное на перечислении всех элементов класса.

Положительное понятие - понятие, в содержании которого представлены признаки, присущие предмету.

Понятие - мысль об отличительном признаке предмета или их совокупности.

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

Посылка - высказывание,которое лежит в основе какого-либо вывода.

Предикат силлогизма - больший термин силлогизма; то, что сообщается о предмете силлогизма (субъекте силлогизме).

Предикат суждения - то, что сообщается о предмете мысли (о субъекте суждения).

Признак - все то, в чем предметы сходны или отличаются друг от друга.

Принцип - основное положение, исходный пункт, предпосылка какой-либо теории, концепции, какого-либо логического действия.

Принципиальный спор - обмен мыслительной и речевой деятельностью в процессе поиска истинного ответа на вопрос, вызвавший разногласие.

Проблема - вопрос, алгоритм решения которого неизвестен.

Пропонент - участник спора, отстаивающий свой тезис.

Просиллогизм - силлогизм, который является основанием для последующего силлогизма.

Простое суждение - суждение, состоящее из одного субъекта и одного предиката.

Противоположные понятия (контрарные) - несовместимые понятия, представляющие крайние виды целого.

Противоречащие понятия (контрадикторные) - несовместимые понятия, представляющие вместе целое.

Прямое доказательство - доказательство, в котором истинность тезиса выводится из аргументов без привлечения антитезисов.

Прямое опровержение - опровержение, в котором тезиса выводится из аргументов без привлечения антитезисов.

Равнообъемные понятия (тождественные) - понятия, имеющие одинаковый объем.

Разделительное суждение (дизъюнктивное) - сложное суждение, образованное из простых с помощью логического союза “или”.

Разделительно-категорический силлогизм - такое умозаключение, в котором одна посылка - разделительное, а другая посылка и заключение - категорические суждения.

Различение - один из логических приемов, который заключается в том, что в сравнимых понятиях подчеркиваются различные признаки.

Разум - ступень мышления, которая имеет способность раскрывать на основе данных, доставленных рассудком, универсальную связь вещей, их сущность.

Рассудок - ступень мышления, которая состоит в элементарной способности логически правильно излагать и обоснованно связывать суждения и понятия в процессе рассуждения.

Рассуждение - цепь умозаключений на какую-либо тему.

Реальное определение - определение, отображающее существенные признаки предмета мысли.

Регистрирующее понятие - понятие, представляющее поддающийся счету класс предметов.

Редукция - сведение решения какой-либо задачи к более простой, имеющей более легкий путь к решению.

Родовое понятие - понятие, в состав которого входят меньшие по объему видовые понятия (виды).

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

Селективная индукция - индукция через отбор.

Семантика - раздел семиотики, изучающий отношения знаков к обозначаемым объектам и выражаемому содержанию.

Семиотика - наука о знаках и знаковых системах.

Силлогизм - доказательное рассуждение.

Символ - условный чувственно воспринимаемый объект, который обозначает какое-либо понятие.

Синтаксис - правила образования и преобразования высказываний.

Синтез - мысленное соединение частей предмета, выделенных в процессе анализа.

Система - взаимосвязанная совокупность элементов.

Слишком узкое определение - логическая ошибка в определении, которая возникает, когда определяющее понятие является видом определяемого.

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

Сложное суждение - суждение, образованное из двух или более простых суждений с помощью логических союзов.

Сложный вопрос - вопрос, в составе которого выделяются другие вопросы.

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

Совместимые понятия - сравнимые понятия, у которых есть общее в объемах.

Совместимые суждения - сравнимые суждения, которые могут быть одновременно истинными.

Содержание понятия - совокупность признаков, которыми обладает класс мыслимых предметов.

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

Соподчиненные понятия - понятия, подчиненные в равной степени одному общему понятию.

Сорит - полисиллогизм, состоящий из полного и сокращенного силлогизмов.

Софизм - логическая уловка; умышленно неправильное рассуждение, которое выдается за истинное.

Сравнение - логический прием, который состоит в нахождении сходного в вещах.

Сравнимые понятия - понятия, которые имеют общее в объеме или содержании.

Средний термин силлогизма - термин, который повторяется в большей и меньшей посылках.

Субъект суждения - та часть суждения, которая отображает предмет мысли.

Суждение - мысль, в которой что-либо утверждается или отрицается.

Тавтология - логическая ошибка в определении, которая возникает, когда определяемый предмет определяется через самого же себя.

Тезис - мысль, истинность которой обосновывается или разрушается.

Теория - достоверное, упорядоченное объяснение некоторого бытия.

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

Традукция - умозаключение, в котором посылки и заключение являются суждениями одинаковой общности.

Убедительный довод - довод, принятый противной стороной.

Указание - неявное определение, согласно которому определяемый предмет демонстрируется для непосредственного восприятия его свойств.

Умозаключение - связь мыслей, в которой на основе одних мыслей образуется новая мысль.

Условное суждение - сложное суждение, в котором простые суждения (основание и следствие) соединяются логическим союзом “если..., то...”.

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

Утвердительное суждение - суждение, в котором отображается связь предмета и его признаков.

“Учетверение терминов” - логическая ошибка в построении простого категорического силлогизма, вызванная употребление какого-либо термина силлогизма в разных значениях.

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

Фигура силлогизма - расположение терминов в простом категорическом силлогизме.

Форма мышления - вид мысли или связи мыслей, мыслительная структура.

Характеристика - логический прием неявного определения понятия, который состоит в указании отличительных, общих признаков предмета.

Частная гипотеза - обоснованное предположение о происхождении конкретных явлений.

Частное суждение - суждение, в котором что-либо утверждается или отрицается о части предметов какого-либо класса. Выделяют частноутвердительные и частноотрицательные суждения.

Чисто разделительный силлогизм - силлогизм, в котором посылки и заключение являются разделительными суждениями.

Чисто условный силлогизм - силлогизм, в котором посылки заключение являются условными суждениями.

Экзистенциальное суждение - суждение, которое отражает существование предметов.

Экспликация - развертывание содержания какого-нибудь исходного понятия.

Экстраполяция - распространение выводов, сделанных при изучении одной части явления, на другую часть этого явления.

Энтимема - сокращенный силлогизм; силлогизм, в котором отсутствует одна из частей (посылка или заключение).

Энумеративная индукция - индукция через простое перечисление.

Эписиллогизм - силлогизм, следующий за другим (просиллогизмом) в составе полисиллогизма

Эпихейрема - сложносокращенный силлогизм, обе посылки которого являются энтимемами.

Явное определение - определение, содержащее прямое указание на присущие предмету отличительные признаки.

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