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

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

Аристотель - древнегреческий философ (4 век до н.э.) основавший логику как науку.

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

Версия - гипотеза, выдвигаемая в ходе судебного производства.

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

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

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

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

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

Дилемма – условно-разделительное умозаключение с двумя альтернативами.

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

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

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

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

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

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

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

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

Истина – достоверные, проверенные на практике знания, соответствующие действительности.

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

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

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

Круги Эйлера – графическое изображение отношений между понятиями по объему. Эйлер – немецкий ученый 18 века, который ввел эти графические изображения в логику и математику.

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

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

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

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

Мышление – это диалектический процесс отражения действительности в сознании людей, протекающий в форме понятий, суждений и умозаключений.

Непосредственные умозаключения – это вывод из одной посылки.

Обобщение понятий – логическая операция перехода от видового понятия к его родовому понятию, от понятия с меньшим объёмом к понятию с большим объёмом.

Объём понятия – совокупность предметов, обладающих данным содержанием.

Ограничение понятия – логическая операция обратная обобщению, когда осуществляется переход от родового понятия к его видовому понятию, от понятия с большим объемом к понятию с меньшим объемом.

Определение понятия – логическая операция, раскрывающая содержание понятия.

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

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

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

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

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

Предикат суждения – это понятие о признаке предмета, рассматриваемом в суждении.

Риторический спор – крайний случай полемики; цель его не отыскание истины, а победа любой ценой над другой стороной.

Связка в суждении – это утверждение или отрицание, соединяющее субъект и предикат суждения.

Силлогизм – это умозаключение об отношении двух крайних терминов на основании знания их связи со средним термином.

Сложное суждение – суждение, состоящее из двух и более простых суждений.

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

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

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

Субъект суждения – это понятие о предмете суждения.

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

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

Энтимема – сокращенный силлогизм, то есть силлогизм, в котором пропущена одна из посылок или даже вывод.

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

Эристика – искусство вести спор.