11. Російсько-український словник з логіки
А
|
абстрагирование |
— абстрагування |
|
|
абстрактное понятие |
— абстрактне поняття |
|
|
абстракция |
— абстракція |
|
|
абсурд |
— абсурд |
|
|
адекватное деление |
— адекватний поділ |
|
|
аксиома |
— аксіома |
|
|
аксиома силлогизма |
— аксіома силогізму |
|
|
аксиоматический метод |
— аксіоматичний метод |
|
|
алгебра логики |
— алгебра логіки |
|
|
алогизм |
— алогізм |
|
|
альтернатива |
— альтернатива |
|
|
амфиболия |
— амфіболія |
|
|
анализ |
— аналіз |
|
|
аналитическое суждение |
— аналітичне судження |
|
|
аналогия |
— аналогія |
|
|
антитезис |
— антитеза |
|
|
апагогическое доказательство |
— апагогічне доведення |
|
|
аподиктическое суждение |
— аподиктичне судження |
|
|
апория |
— апорія |
|
|
аргумент |
— аргумент |
|
|
аристотелевский сорит |
— арістотелівський сорит |
|
|
ассерторическое суждение |
— асерторичне судження |
|
|
атрибутивное суждение |
— атрибутивне судження |
|
Б
|
безотносительное понятие |
|
|
безусловное суждение |
|
|
бессмысленное суждение |
|
|
бессмысленность |
|
|
бессмыслица |
|
|
ближайший род |
|
|
большая посылка |
|
|
больший термин |
|
В
|
вербальное определение |
— вербальне визначення |
|
вероятное суждение |
— імовірне судження |
|
вероятность |
— імовірність |
|
версия |
|
|
взаимооднозначное отношение |
|
|
вид |
|
|
видовое отличие |
|
|
видовое понятие |
|
|
видовой признак |
|
|
включающее суждение |
|
|
внерасположенные понятия |
|
|
восприятие |
|
|
всеиндуктивизм |
|
|
вспомогательная классификация |
|
|
вторая фигура простого категорического силлогизма |
|
|
выведение |
|
|
выведение следствий |
|
|
вывод |
|
|
выводное знание |
|
|
выделяющее суждение |
|
|
выделяющее нерегулярное суждение |
|
|
выделяющее регулярное суждение |
|
|
выделяющее условное суждение |
|
|
высказывание |
|
Г
|
генетическое доказательство |
|
|
генетическое определение |
|
|
гипотеза |
|
|
гипотетический силлогизм |
|
|
гипотетическое суждение |
|
|
гипотетическое умозаключение |
|
|
гоклениевский сорит |
|
Д
|
двусмысленность |
|
|
двучленное деление |
|
|
дедуктивная теория |
|
|
дедуктивное доказательство |
|
|
дедуктивное умозаключение |
|
|
дедукция |
|
|
деление по видоизменению признака |
|
|
деление объема понятия |
|
|
«деление с лишними членами» |
|
|
делимое понятие |
|
|
демонстрация |
|
|
деструктивная дилемма |
|
|
деструктивний модус |
|
|
дефиниция |
|
|
диалектическая логика |
|
|
диаметральная противоположность |
|
|
дизъюнктивное суждение |
|
|
дизъюнкция |
|
|
дилемма |
|
|
диспаратные понятия |
|
|
дихотомическое деление |
|
|
дихотомия |
|
|
довод |
|
|
доказательное мышление |
|
|
доказательность |
|
|
доказательство |
|
|
доказательство, исчерпывающее все возможные случаи доказываемого тезиса |
|
|
«доказательство к истине» |
|
|
«доказательство к публике» |
|
|
«доказательство к человеку» |
|
|
доказательство от противного |
|
|
доказательство по аналогии |
|
|
доказательство по существу |
|
|
доказуемость |
|
|
достаточное основание |
|
|
достаточные признаки |
|
|
достаточные условия |
|
|
достоверное суждение |
|
|
достоверность |
|
|
«древо» Порфирия |
|
Е
|
единичное понятие |
|
|
единичное суждение |
|
|
естественная классификация |
|
З
|
заблуждение |
|
|
заключение |
|
|
закон достаточного основания |
|
|
закон исключенного третьего |
|
|
закон мышления |
|
|
закон противоречия |
|
|
закон тождества |
|
|
законы формальной логики |
|
|
защита |
|
|
знание |
|
И
|
импликационное суждение |
|
|
импликация |
|
|
имя |
|
|
индивид |
|
|
индивидуальное понятие |
|
|
индивидуальное суждение |
|
|
индуктивная логика |
|
|
индуктивное доказательство |
|
|
индуктивное умозаключение |
|
|
индукция |
|
|
индукция через анализ и отбор фактов |
|
|
исключающее суждение |
|
|
исключающе-разделительное суждение |
|
|
искусственная классификация |
|
|
истина |
|
|
истинное суждение |
|
|
истинность |
|
|
истинность мышления |
|
|
исчерпывающее деление |
|
К
|
категорический силлогизм |
|
|
категорическое суждение |
|
|
категория |
|
|
качество суждения |
|
|
квантификация суждения |
|
|
квантор |
|
|
квантор общности |
|
|
квантор существования |
|
|
класс |
|
|
классификационное суждение |
|
|
классическая формальная логика |
|
|
классы понятий |
|
|
количество суждения |
|
|
комбинаторная логика |
|
|
конкретное понятие |
|
|
конструктивная дилемма |
|
|
конструктивный модус дилеммы |
|
|
контрадикторная противоположность |
|
|
контрадикторность |
|
|
контрадикторные понятия |
|
|
контрадикторные суждения |
|
|
контрапозиция |
|
|
контрапозиция условного суждения |
|
|
контрарная противоположность |
|
|
контрарность |
|
|
контрарные понятия |
|
|
контрарные суждения |
|
|
концептуализм |
|
|
конъюнктивное суждение |
|
|
конъюнкция |
|
|
координация |
|
|
координация понятий |
|
|
координация суждений |
|
|
косвенное доказательство |
|
|
крайние термины |
|
|
круг в доказательстве |
|
|
круг в определении |
|
Л
|
лемма |
|
|
лемматический силлогизм |
|
|
лемматическое умозаключение |
|
|
логика |
|
|
логика вещей |
|
|
логика классов |
|
|
логика отношений |
|
|
логическая норма |
|
|
логическая операция |
|
|
логическая ошибка |
|
|
логическая переменная |
|
|
логическая постоянная |
|
|
логическая связка |
|
|
логическая форма |
|
|
логическая функция |
|
|
логически истинное суждение |
|
|
логически эквивалентное суждение |
|
|
логический анализ |
|
|
логический закон |
|
|
«логический квадрат» |
|
|
логический класс |
|
|
логический позитивизм |
|
|
логический прием |
|
|
логический символ |
|
|
логический смысл суждения |
|
|
логический союз |
|
|
логический формализм |
|
|
логическое |
|
|
логическое действие |
|
|
логическое мышление |
|
|
логическое основание |
|
|
логическое подлежащее |
|
|
логическое противоречие |
|
|
логическое сказуемое |
|
|
логомахия |
|
|
ложная аналогия |
|
|
ложное суждение |
|
|
ложность |
|
|
ложь |
|
М
|
математическая логика |
|
|
|
материальная истинность |
|
|
|
материя суждения |
|
|
|
меньшая посылка |
|
|
|
меньший термин |
|
|
|
метод |
|
|
|
метод интерпретации |
|
|
|
метод классификации |
|
|
|
метод моделирования |
|
|
|
метод остатков |
|
|
|
метод различия |
|
|
|
метод сопутствующих изменений |
|
|
|
метод сходства |
|
|
|
методология |
|
|
|
методы индуктивного исследования |
|
|
|
мнимая переменная |
|
|
|
мнимое следование |
|
|
|
многозначная логика |
|
|
|
многочленное деление |
|
|
|
множество |
|
|
|
множество причин |
|
|
|
модальность суждений |
|
|
|
модус силлогизма |
|
|
|
мышление |
|
|
|
Н |
||
|
наблюдение |
|
|
|
наведение |
|
|
|
наибольшая противоположность |
|
|
|
научная индукция |
— наукова індукція |
|
|
«не вытекает» |
|
|
|
«неизвестное через неизвестное» |
|
|
|
необходимые признаки |
|
|
|
неопределенное частное суждение |
|
|
|
неопределяемое понятие |
|
|
неотделимый несобственный признак |
|
|
неотделимый собственный признак |
|
|
«непозволительное расширение большего термина» |
|
|
«непозволительное расширение меньшего термина» |
|
|
неполная аналогия |
|
|
неполная индукция |
|
|
неполная индукция через простое перечисление при отсутствии противоречащих случаев |
|
|
неполная система аксиом |
|
|
неполное деление |
|
|
непосредственное умозаключение |
|
|
неправильное мышление |
|
|
неправильность мышления |
|
|
непротиворечивое мышление |
|
|
непротиворечивость |
|
|
непрямое противоречие |
|
|
нераспределенность терминов |
|
|
нераспределенный термин |
|
|
нерегистрирующее понятие |
|
|
несиллогистическое умозаключение |
|
|
«не следует» |
|
|
несобственный признак |
|
|
несовместимые понятия |
|
|
несовместимые суждения |
|
|
несравнимые понятия |
|
|
нестрогая аналогия |
|
|
неявное определение |
|
|
номинализм |
|
|
номинальное определение |
|
|
нормативизм |
|
|
нулевое понятие |
|
|
нулевой класс |
|
О
|
обобщение |
|
|
обобщение понятия |
|
|
обоснованное мышление |
|
|
обоснованность |
|
|
обращение с обобщением |
|
|
обращение с ограничением |
|
|
обращение с приращением |
|
|
обращение суждения |
|
|
обусловливающее доказательство |
|
|
общая посылка |
|
|
общее понятие |
|
|
общее суждение |
|
|
общеотрицательное суждение |
|
|
общеутвердительное суждение |
|
|
общие правила силлогизма |
|
|
общий вывод |
|
|
объединенная классификация суждений по качеству и количеству |
|
|
объективная логика |
|
|
объем понятия |
|
|
объяснение |
|
|
объяснение фактов |
|
|
объяснительное суждение |
|
|
ограничение понятия |
|
|
операциональное определение |
|
|
операция образования дополнения |
|
|
операция отрицания суждения |
|
|
операция «сложения» |
|
|
операция «умножения» |
|
|
описание |
|
|
опосредствование |
|
|
опосредствованное умозаключение |
|
|
определение понятия |
|
|
определение через ближайший род м видовое отличие |
|
|
определенное мышление |
|
|
определенность мышления |
|
|
определяемое понятие |
|
|
определяющее понятие |
|
|
опровергающее доказательство |
|
|
опровержение |
|
|
опыт |
|
|
основание |
|
|
основание деления |
|
|
основания доказательства |
|
|
«основная ошибка» |
|
|
основные признаки |
|
|
особые правила фигур силлогизма |
|
|
отделимый собственный признак |
|
|
отличительный признак |
|
|
относительное понятие |
|
|
отношение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ІОСТІ і ^ИУ |
— див. отношение соподчинения |
|
елашіщпя-(ування |
— відношення координації |
|
отношение внеположенности |
|
|
отношение координации |
|
|
отношение несовместимости |
|
|
отношение несогласия |
|
|
отношение несравнимости |
|
|
отношение перекрещивания |
|
|
отношение пересечения |
|
|
отношение подчинения |
|
|
отношение противности |
|
|
отношение противоположности |
|
|
отношение противоречия |
|
|
отношение равнозначности |
|
|
отношение совместимости |
|
|
отношение соподчинения |
|
|
отношение сравнимости |
|
|
отношение субконтрарности |
|
|
отношение субординации |
|
|
отношение тождества |
|
|
отношение частичного совпадения объемов |
|
|
отношение эквивалентности |
|
|
отрицание |
|
|
отрицание дизъюнкции |
|
|
отрицание импликации |
|
|
отрицание кванторов |
|
|
отрицание конъюнкции |
|
|
отрицание суждения |
|
|
отрицательная посылка |
|
|
отрицательное заключение |
|
|
отрицательное определение |
|
|
отрицательное суждение |
|
|
отрицательный вывод |
|
|
отрицающий модус условно-категорического силлогизма |
|
|
«от сказанного в относительном смысле к сказанному безотносительно» |
|
|
очевидность |
|
|
ошибка произвольного вывода |
|
^ ^
|
парадокс |
|
|
паралогизм |
|
|
первая фигура простого категорического силлогизма |
|
|
перекрестное деление |
|
|
перекрестное понятие |
|
|
перестановка посылок |
|
|
«переход в другой род» |
|
|
повествовательное суждение |
|
|
подкласс |
|
|
подмена тезиса |
|
|
подмножество |
|
|
подпротивная противоположность |
|
|
подпротивность |
|
|
подпротивные суждения |
|
|
подчинение |
|
|
подчиненное понятие |
|
|
подчиненное суждение |
|
|
подчиняющее понятие |
|
|
подчиняющее суждение |
|
|
познание |
|
|
полилемма |
|
|
полисиллогизм |
|
|
политомия |
|
|
полная аналогия |
|
|
полная индукция |
|
|
полная система аксиом |
|
|
положительное понятие |
|
|
понятие |
|
|
популярная индукция |
|
|
«порочний круг» |
|
|
последовательное мышление |
|
|
последовательность |
|
|
«после этого — значит, по причине этого» |
|
|
поспешное обобщение |
|
|
постулат |
|
|
посылка |
|
|
пояснительное суждение |
|
|
правильность мышления |
|
|
превращение суждения |
|
|
правильность мышления |
|
|
практика |
|
|
превращение суждения |
|
|
предикат суждения |
|
|
предложение |
|
|
предметная область |
|
|
представление |
|
|
преобразование суждений |
|
|
«приведение к абсурду» |
|
|
приемы, сходные с определением |
|
|
признак |
|
|
признак понятия |
|
|
причина |
|
|
причинность |
|
|
проблематическое суждение |
|
|
прогрессивный полисиллогизм |
|
|
пропозициональная функция |
|
|
просиллогизм |
|
|
простая аналогия |
|
|
простая форма суждения |
|
|
простое обращение |
|
|
простое суждение |
|
|
простой деструктивний модус дилеммы |
|
|
простой категорический силлогизм |
|
|
простой конструктивный модус дилеммы |
|
|
простой разделительный силлогизм |
|
|
простой сокращенный силлогизм |
|
|
простой условный силлогизм |
|
|
противность |
|
|
противные суждения |
|
|
противоположность |
|
|
противоположные понятия |
|
|
противоположные суждения |
|
|
противопоставление предикату |
|
|
противопоставление субъекту |
|
|
противопоставление суждений |
|
|
противоречащая противоположность |
|
|
противоречащие понятия |
|
|
противоречащие суждения |
|
|
противоречивое мышление |
|
|
противоречивость |
|
|
противоречие |
|
|
прямое доказательство |
|
|
прямое противоречие |
|
|
прямой метод опровержения суждений |
|
|
пустой класс |
|
Р
|
рабочая гипотеза |
|
|
равнозначные понятия |
|
|
разделительное доказательство |
|
|
разделительное суждение |
|
|
разделительное умозаключение |
|
|
разделительно-категорический силлогизм |
|
|
разделительный силлогизм |
|
|
различение |
|
|
различие |
|
|
распределенность терминов |
|
|
распределенный термин |
|
|
распространенная аналогия |
|
|
рассуждение |
|
|
«расчленение целого на части» |
|
|
реализм |
|
|
реальное определение |
|
|
регистрирующее общее суждение |
|
|
регистрирующее понятие |
|
|
регрессивный полисиллогизм |
|
|
рефлексивность |
|
|
решающий експеримент |
|
|
род |
|
|
родовое понятие |
|
|
родовой признак |
|
С^і
^^
б І й^)
|
самый низший вид |
|
|
сведение фигур силлогизма |
|
|
свободная переменная |
|
|
свойство |
|
|
свойство рефлексивности |
|
|
свойство симметричности |
|
|
свойство транзитивности |
|
|
свойство функциональности |
|
|
связанная переменная |
|
|
связка суждения |
|
|
семантическая логика |
|
|
силлогизм |
|
|
силлогистическое умозаключение |
|
|
символ |
|
|
символическая логика |
|
|
симметричность |
|
|
синтез |
|
|
синтетическое суждение |
|
|
система аксиом |
|
|
систематизация |
|
|
«скачок в делении» |
|
|
слабая дизъюнкция |
|
|
следствие |
|
|
«слишком узкое деление» |
|
|
«слишком узкое определение» |
|
|
«слишком широкое деление» |
|
|
«слишком широкое определение» |
|
|
сложная форма суждения |
|
|
сложное суждение |
|
|
сложносокращенный силлогизм |
|
|
сложный деструктивный модус дилеммы |
|
|
сложный конструктивный модус дилеммы |
|
|
сложный силлогизм |
|
|
случайный признак |
|
|
«смешение действий» |
|
|
«смешение нескольких вопросов в одном» |
|
|
собирательное понятие |
|
|
собственный признак |
|
|
совместимые понятия |
|
|
совместимые суждения |
|
|
содержание понятия |
|
|
содержание понятия |
|
|
соединение делений суждений по количеству и качеству |
|
|
соединенный метод сходства и различия |
|
|
соединительное доказательство |
|
|
соединительное суждение |
|
|
соединительно-разделительное суждение |
|
|
соединительно-разделительный союз «или» |
|
|
сокращенный полисиллогизм |
|
|
соподчинение |
|
|
соподчиненность |
|
|
соподчиненные понятия |
|
|
сопоставление суждений |
|
|
соразмерное деление |
|
|
соразмерность деления |
|
|
соразмерность определения |
|
|
сорит |
|
|
софизм |
|
|
софистика |
|
|
способ доказательства |
|
|
способ связывания кванторами |
|
|
способы опровержения |
|
|
способы отрицания |
|
|
сравнимые понятия |
|
|
средний термин |
|
|
строгая аналогия |
|
|
строгая дизъюнкция |
|
|
строго-разделительный союз «или» |
|
|
субконтрарность |
|
|
субконтрарные суждения |
|
|
субординация |
|
|
субординация понятий |
|
|
субординация суждений |
|
|
суждение |
|
|
суждение вероятности |
|
|
суждение включения |
|
|
суждение возможности |
|
|
суждение всеобщности |
|
|
суждение действительности |
|
|
суждение достоверности |
|
|
суждение единичности |
|
|
суждение необходимости |
|
|
суждение особенности |
|
|
суждение отношения |
|
|
суждение принадлежности |
|
|
суждение свойства |
|
|
суждение состава |
|
|
суждение существования |
|
|
суждение тождества |
|
|
суждение эквивалентности |
|
|
субъект суждения |
|
|
субъективная логика |
|
|
существенный признак |
|
Т
|
тавтология |
|
|
тавтология в определении |
|
|
тезис |
|
|
термин |
|
|
термины силлогизма |
|
|
термины суждения |
|
|
тождественно-истинное суждение |
|
|
тождественность |
|
|
тождественные понятия |
|
|
тождество |
|
|
«то же через то же» |
|
|
традиционная логика |
|
|
традуктивное умозаключение |
|
|
традукция |
|
|
«требование основания» |
|
|
третья фигура простого категорического силлогизма |
|
|
трехчленное деление |
|
|
трилемма |
|
|
трихотомия |
|
У
|
убедительность доказательства |
|
|
указание |
|
|
умозаключение |
|
|
универсалии |
|
|
универсальный класс |
|
|
условие |
|
|
условное суждение |
|
|
условное умозаключение |
|
|
условно-категорический силлогизм |
|
|
условно-разделительное суждение |
|
|
условный силлогизм |
|
|
утвердительное заключение |
|
|
утвердительное суждение |
|
|
утвердительный вывод |
|
|
утверждающе-отрицательный модус |
|
|
утверждающий модус условно-категорического силлогизма |
|
|
утверждение |
|
|
«учетверение терминов» |
|
"р?-^-^^^
|
фигура силлогизма |
|
|
форма доказательства |
|
|
формализация |
|
|
формализм |
|
|
формализованное исчисление |
|
|
формальная истинность |
|
|
формальная логика |
|
|
формально-логические законы мышления |
|
|
форма мышления |
|
|
функциональное отношение |
|
|
функциональность |
|
|
функция высказывания |
|
|
функция предложения |
|
|
функция суждения |
|
Х
|
характеристика |
|
Ч
|
частная гипотеза |
|
|
частная посылка |
|
|
частное заключение |
|
|
частное суждение |
|
|
частноотрицательное суждение |
|
|
частноутвердительное суждение |
|
|
частный вывод |
|
|
четвертая фигура простого категорического силлогизма |
|
|
чисто разделительный силлогизм |
|
|
чистое обращение |
|
|
член класса |
|
|
члены деления |
|
с^^
^^ ^ іА*
^^б^ ,^^^
^^ ^^-^
|
эвристика |
|
|
эйлеровы круги |
|
|
эквивалентная связь |
|
|
эквивалентное отношение |
|
|
экзистенциальное суждение |
|
|
эксперимент |
|
|
элемент класса |
|
|
элементарная логика |
|
|
энтимема |
|
|
эписиллогизм |
|
|
эпихейрема |
|
|
эристика |
|
* При цьому слід пам’ятати, що будь-який елемент з універсального класу U належить або до класу А, або до класу А1, тобто до доповнення до А. Звідси випливає: аЄ А а Є А1.