ГЛОССАРИЙ. Абстрагирование(от лат. abstraction - отвлечение) – мысленное выделение одних признаков предмета (главных

Абстрагирование (от лат. abstraction - отвлечение) – мысленное выделение одних признаков предмета (главных, существенных) и отвлечение от других (несущественных, второстепенных).

Абсурд (от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.

Аксиома силлогизма: Все, что утверждается или отрицается относительно каждого из предметов, составляющих данное множество (класс), то утверждается или отрицается относительно любого предмета, входящего в это множество (класс).

Альтернатива (франц. alternative, лат. alter – один из двух) - необходимость выбора между взаимоисключающими двумя возможностями.

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

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

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

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

Антитезис (от греч. antitesis - противоположение) – суждение, противоречащее тезису доказательства. Используется в косвенном доказательстве тезиса.

Антоним (от фр. antonyme < греч. anti - против, onyma - имя), - слово, противоположное по значению другому слову.

Апагогическое доказательство или доказательство «от противного» (от греч. apagogos – отводящий) – косвенное доказательство, в котором антитезисом является суждение, противоречащее (контрадикторное) тезису.

Апория (греч. aporia – затруднение, недоумение - < греч. а – отрицательная частица, poros - выход) – трудно разрешимая логическая проблема, связанная с противоречием между данными опыта и их мысленным образом.

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

Аргументация (от лат. argumentation – приведение аргументов) – процесс приведения доводов с намерением обосновать некоторое положение (тезис).

Аристотель (384–322 до н.э.) – древнегреческий философ, логик, основатель формальной логики.

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

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

Вероятность – степень возможности какого-либо определенного события.

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

Генетическое доказательство – вид доказательства, в котором используется генетический метод.

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

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

Дедукция (от лат. deductio - выведение) – умозаключение от знания большей степени общности к новому знанию меньшей степени общности.

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

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

Дерево решения - наглядный способ представления определенной информации; используется при решении задач по принятию решений.

Дефиниендум (лат. definiendum) – часть определения, тот термин, значение которого требуется уточнить.

Дефиниенс (лат. definiens) – тот термин, посредством которого уточняется значение неизвестного термина.

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

Дилемма (от греч. di(s) – дважды и lemma - предположение) – условно-разделительное умозаключение, в котором одна посылка состоитиз двух условных суждений, а другая является разделительным суждением, содержащим две альтернативы.

Дихотомия (от греч. dicha и tome – сечение на две части), или двучленное деление, - один из видов деления понятий, когда объем делимого понятия делится на два противоречащих понятия (А и не-А).

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

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

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

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

Закон достаточного основания гласит: «Всякая истинная мысль должна быть достаточно обоснованной». Данный закон сформулирован в XVII в. Г.В.Лейбницем.

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

Закон (не)противоречия формулируется так: «Два противоположных суждения не могут быть истинными в одно и тоже время и в одном и том же отношении». Впервые открыт и сформулирован Аристотелем.

Закон тождества гласит: «Всякая мысль в процессе рассуждения должна быть тождественна самой себе, сколько раз бы она ни повторялась в рассуждении». Впервые открыт и сформулирован Аристотелем.

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

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

Индукция (лат. inductio - наведение) – умозаключение от знания меньшей степени общности к новому знанию большей степени общности (от частного к общему).

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

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

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

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

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

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

Квантор общности – соответствует словам «все», «всякий», «каждый», «любой», «ни один».

Квантор существования – соответствует словам «некоторые», «существует», «бывает», «встречается».

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

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

Когниции, или когнитивные элементы (от лат. cognitio – знание, познание) – в логике общения: знания, убеждения, представления о себе, других людях, вещах, событиях и т.п.

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

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

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

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

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

Лейбниц (1646 - 1716) – немецкий математик, философ, логик, основатель математической логики.

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

Логика, или формальная логика (от греч. logos – мысль, слово, закономерность) – философская наука о законах и формах правильного мышления.

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

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

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

Логическое следование – выведение заключения из посылок.

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

«Ложность основания» (error fundamentalis) – логическая ошибка в доказательстве, состоящая в том, что тезис начинают доказывать не истинными, а ложными аргументами, принимая, однако, последние (чаще всего непреднамеренно) за истинные.

Математическая логика (или символическая логика) – второй этап развития формальной логики. Основоположник – Г.В.Лейбниц.

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

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

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

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

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

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

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

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

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

Несбалансированная система – в логике общения: система межличностных отношений, находящаяся в состоянии конфликта.

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

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

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

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

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

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

Означенный граф, или s-граф – в логике общения - граф, некоторые линии которого обозначены как позитивные, а все остальные как негативные.

Означенный диграф, или s-диграф – в логике общения: это диграф, некоторые линии которого обозначены как позитивные, а все остальные как негативные.

Описание - перечисление внешних черт предмета с целью нестрогого отличия его от сходных с ним предметов.

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

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

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

Основание и следствие (антецедент и консеквент) - части условного высказывания, устанавливающего, что одно событие, состояние и т.п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки «если…, то…». Высказывание, идущее после слова «если», называется основанием, идущее после слова «то», называется следствием.

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

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

Паралогизм (от греч. paralogismos – неправильное, ложное рассуждение) – непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики.

«Переход в другой род» - логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».

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

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

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

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

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

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

«Порочный круг» (лат. circulus vitiosus) - наиболее грубая разновидность ошибки недоказанного аргумента, когда в качестве основания доказательства применяется сам тезис, который требуется доказать.

Посылки – суждения, из которых выводится новое суждение (исходное знание).

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

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

Предикат (от лат. praedicatum - сказанное) – языковое выражение, обозначающее какое-то свойство или отношение; понятие о признаке предмета.

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

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

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

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

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

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

Распределенность терминов – понятия (термины), взятые в полном объеме.

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

Сбалансированная система – в логике общения: такая система межличностных отношений, при которой отсутствует конфликт.

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

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

Синонимы (греч. synonymos - одноименный) – слова, тождественные или близкие по смыслу.

Синтез (от греч. synthesis – соединение, сочетание, составление)– мысленное соединение в одно целое частей и признаков, полученных в процессе анализа.

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

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

Сорит (от греч. soros - куча) – полисиллогизм, образуемый путем исключения посылок, являющихся заключениями простых силлогизмов.

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

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

Средний термин – термин, с помощью которого устанавливается отношение между субъектом и предикатом.

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

Субъективность – зависимость от сознания, воли субъекта.

Тавтология (греч. tauto – то же самое, logos - слово) в традиционной логике: разновидность порочного круга, логической ошибки, заключающейся в том, что определяемое понятие характеризуется посредством самого себя или при доказательстве некоторого положения в качестве аргумента используется само это положение.

Тезис (греч. thesis) в логике – один из элементов доказательства, положение, истинность которого должна быть доказана.

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

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

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

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

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

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

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

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

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

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

Эйлер (Euler) Леонард (1707-1783) – швейцарский математик, механик, физик и астроном, именем которого называют схемы, изображающие отношения между понятиями.

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

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

Энтимема (от греч. in thymos – в уме) – силлогизм, в котором не выражена в явной форме какая-либо его часть: большая или меньшая посылка либо заключение.

Эпихейрема (от греч. epiheirema - умозаключение) – полисиллогизм, в котором обе посылки являются энтимемами.

Эристика (греч. eristika – искусство спора) – искусство ведения спора.

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