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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Гипотеза — это форма развития знаний, представляющая собою обоснованное предположение о свойствах предметов

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Истина - соответствие знаний действительности.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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