Глоссарий

Абстрактное понятие – понятие, в котором отражён признак, взятый отдельно от предмета.

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

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

Алетическая модальность – заключенная в суждении информация об условиях его истинности.

Аналогия – умозаключение на основе сходства сравнённых предметов.

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

Аналогия предметов – то же, что и аналогия свойств.

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

Антецедент – первый член условного (импликативного) суждения.

Антитезис – положение, несовместимое с тезисом.

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

Аргументация – операция обоснования суждений, решений, оценок.

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

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

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

Атрибутивное суждение – суждение о свойствах предметов.

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

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

Буль Дж. (1815 -1864) – ирландский математик и логик, один из основоположников математической логики.

Бэкон Ф. (1561-1626) – английский философ, логик, внесший большой вклад в учение об индукции.

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

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

Видовой признак – признак, отличающий подкласс внутри класса.

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

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

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

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

Выделяющее суждение – суждение о принадлежности признака только определённым предметом и никаким другим.

Генеральная совокупность – то же, что и популяция.

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

Гипотеза – обоснованное предположение о признаках предметов.

Гомоморфизм – частичное подобие предметов.

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

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

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

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

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

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

Дефиниендум – определяемая часть дефиниции.

Дефиниенс - определяющая часть дефиниции.

Дефиниция понятия – то же, что и определение понятия.

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

Дилемма – суждение, содержащее две альтернативы (несовместимые позиции)

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

Довод – то же, что и аргумент.

Доказательство – логическое обоснование истинности суждения.

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

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

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

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

Единичное суждение – суждение об одном предмете.

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

Естественный язык – звуковой язык, созданный тем или иным народом.

Заключение (вывод) умозаключения – суждение, вытекающее из посылок.

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

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

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

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

Закон обратного отношения между объёмом и содержанием понятия – тем меньше его объём, и наоборот.

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

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

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

Изоморфизм – полное взаимно-однозначное соответствие признаков двух предметов.

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

Индуктивное определение – определение, согласно которому из исходных объектов по определённым правилам могут быть построены многие другие объекты теории.

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

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

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

Индукция через простое перечисление – то же, что и популярная индукция.

Индукция через элиминацию – то же, что индукция методом исключения.

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

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

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

Истина – соответствие мысли действительности.

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

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

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

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

Квантор существования – квантор, указывающий на то, что субъект категорического суждения берётся частично («Некоторые», «Существует»).

Класс – совокупность объектов с общими характеристическими признаками.

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

Коммутативности закон – действия с операциями объединения и пересечения классов, взятыми по отдельности; производятся в обратном направлении.

Конкретное понятие – понятие о предмете, взятом как единое целое.

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

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

Контрадикторность – то же, что и противоположность.

Контрарность – то же, что и противоположность.

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

Косвенное доказательство – доказательство, основанное на введении антитезисов, т.е. несовместимых с тезисом положений, и доказательстве их ложности.

Косвенное опровержение – аналогично косвенному доказательству опирается на введение одного или нескольких антитезисов и установлении истинности одного из них.

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

Критика – операция разрушения имеющегося процесса аргументации.

Круги Эйлера – изображение объёмов понятий с помощью кругов, предложенное математиком Л. Эйлером (1707-1783)

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

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

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

Логика высказываний – то же, что и пропозициональная логика.

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

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

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

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

Логичность – соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.

Ложность – истинностная характеристика суждения, не соответствующего действительности.

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

Меньший термин – субъект заключения простого категорического силлогизма.

Метод остатков – метод установления связи части причины и части следствия на основе знания отношений других частей причинный и следствия.

Метод различия – метод установления связи причины и следствия на основе выяснения повторяющегося и неповторяющегося в причине при наступлении следствия.

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

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

Милль Дж. С. (1806-1873) английский философ и логик, разработал методы исследования причинных связей.

Модальность суждения – явная или неявная информация об условиях истинности, обоснованности, нормативности суждения.

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

Мышление – обобщенное, опосредованное, абстрактное, основанное на языке отражение действительности.

Modus ponendo-tollens (модус понендо-толленс) – модус разделительно-категорического силлогизма, заключение от утверждения одной части альтернативы к отрицанию другой её части.

Modus ponens (модус поненс) – модус условно – категорического умозаключения, вывод от утверждения основания к утверждению следствия.

Modus tollendo-ponens (модус толлендо-поненс) – модус разделительно-категорического силлогизма, вывод от отрицания одной части альтернативы к утверждению другой её части.

Modus tollens (модус толленс) – модус условно-категорического силлогизма, вывод от отрицания следствия к отрицанию основания.

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

Неполная индукция – индуктивное умозаключение от значения части элементов класса к знанию обо всё классе.

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

Нераспределенный термин – субъект или предикат простого категорического суждения, если он выступает не в полном объёме.

Несобирательное понятие – понятие, применимое к отдельному предмету, вещи.

Несовместимые понятия – понятия, у которых нет общих элементов.

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

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

Нестрогая аналогия – частичная, неполная, основанная на отношении гомоморфизма.

Неявное определение – определение, основанное на произвольных признаках, существенность которых ещё не установлена.

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

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

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

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

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

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

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

Общее понятие – понятие о некоторой совокупности, классе (множестве) предметов.

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

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

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

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

Ограничение понятия – операция образования нового понятия с меньшим объёмом: переход от рода к виду.

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

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

Описание – перечисление признаков предмета, которые более или менее исчерпывают его.

Описательная гипотеза – предположение о присущих предмету признаках.

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

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

Опровержение – операция по обоснованию ложности некоторого положения.

Основание - то же, что и аргумент.

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

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

Ответ – связанное с вопросом суждение, уменьшающее или снимающее неопределённость, заключённую в вопросе.

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

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

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

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

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

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

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

Пересечение понятий – отношение, характеризующее понятия с частично совпадающими объёмами.

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

Подкласс – часть класса.

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

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

Познание – процесс формирования истинных знаний о мире.

Полисиллогизм – то же, что и сложный силлогизм.

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

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

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

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

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

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

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

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

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

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

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

Предпосылка вопроса – связанное с вопросом исходное наличное знание.

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

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

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

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

Просиллогизм – простой силлогизм, предшествующий другому силлогизму в сложном силлогизме.

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

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

Простой вопрос – вопрос, заключающий в себе одно требование о недостающей информации.

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

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

Противоположные суждения – суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными.

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

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

Противоречивые суждения – суждения и его отрицание, одно из них обязательно истинное, а другое ложно.

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

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

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

Равнообъемные понятия – то же, что и тождественные понятия.

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

Разделительное доказательство – вид косвенного доказательства, в котором истинность тезиса выводится из ложности всех антитезисов.

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

Распределённый термин – субъект или предикат, взятый по отношению к другому термину в полном объёме.

Рассел Б. (1872-19270) – английский философ и логик, один из основоположников современной формальной логики.

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

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

Рефлективность – свойство двуместных отношений, при котором предмет находится в этом отношении к самому себе (например, равенство).

Родовой признак – признак, присущий всем видам некоторой области.

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

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

Семантика – раздел семиотики, изучающий отношение знаков и их значений.

Семантический треугольник – то же, что и «логический треугольник»

Семиотика – наука, изучающая свойства знаковых систем (языков).

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

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

Следование – отношение между посылками и заключением. Различают логическое следование (необходимое) и слабое следование.

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

Сложная деструктивная дилемма – модус дилеммы, в котором вывод делается от двух отрицаний следствий к отрицанию двух оснований.

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

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

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

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

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

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

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

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

Содержание понятия – отражённые в понятии признаки предметов.

Соотносительные понятия — это такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование второго. Например, «тёща» – «зять», «правый» – «левый», «истец» – «ответчик».

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

Сорит – сложносокращённый силлогизм с регулярно пропускаемой большей или меньшей посылкой.

Сравнимые понятия – понятия, у которых есть близкий общий род. Например: «поезд» – «самолёт» — сравнимые понятия: ближайший общий род «транспортное средство». В противном случает понятия называются несравнимыми, как например, « самолёт» и «помидор».

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

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

Стандартная форма простого категорического силлогизма – 1) большая посылка; 2) меньшая посылка; 3) заключение.

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

Строгая аналогия – аналогия на основе полного подобия, изоморфизма.

Строгая дизъюнкция – разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждения.

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

Суждение – это мысль, в которой утверждается или отрицается а) свойство предмета (действие предмета, наличие некоторой ситуации); б) отношение между предметами или в) существование предмета.

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

Суждение существования – то же, что и экзистенциональное суждение.

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

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

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

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

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

Транзитивность – свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место между первым и третьим.

Убеждение – знание, основанное на вере или глубоком понимании вещей, лежащее в основе поступков человека.

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

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

Умозаключение по «логическому квадрату» – переход от одного категорического суждения к другому на основе знания их отношений по истинности согласно логическому квадрату.

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

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

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

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

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

Форма мышления – способ связи мыслей, их частей; строение мысли.

Фреге Г. – (1848-925) – немецкий математик, философ, логик, один из основоположников математической логики.

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

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

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

Частота признака – число, выражающее отношение интересующих случаев ко всей совокупности исследованных случаев.

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

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

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

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

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

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

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

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

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

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

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

Языки логики – искусственные языки, используемые в современной логике (язык логики предикатов, язык логики высказываний).