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

А

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Б

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

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

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

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

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

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

В

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

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

Верификация – эмпирическое подтверждение (частичное обоснование) гипотезы.

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

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

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

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

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

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

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

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

Г

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

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

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

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

Д

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дополнение класса – операция образования множества из элементов предметной области, из которой исключены элементы дополняемого класса; аналог операции отрицания в логике. Достаточное условие – обстоятельство (ситуация, признак) Х является достаточным условием обстоятельства Y, если всегда, когда имеется Х, имеется и Y, т.е. для каждого случая истинно суждение «Если Х, то Y».

Е

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

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

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

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

З

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

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

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

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

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

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

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

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

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

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

И

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

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

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

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

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

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

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

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

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

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

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

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

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

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

К

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Л

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

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

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

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

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

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

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

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

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

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

М

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Н

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

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

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

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

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

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

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

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

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

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

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

О

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Отношение контрадикторности – двух суждений имеет место тогда, когда они несовместимы как по истине, так и по лжи

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

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

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

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

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

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

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

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

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

П

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Р

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

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

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

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

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

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

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

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

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

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

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

С

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Т

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

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

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

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

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

У

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

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

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

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

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

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

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

Ф

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

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

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

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

Х

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

Ч

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

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

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

Э

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

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

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

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

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

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

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

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

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

Я

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