Словарь терминов. Modus ponendo- tollens (модус понендо толленс) - модус разделительно-категорического силлогизма, вывод от утверждения одной части альтернативы к отрицанию
Modus ponendo- tollens (модус понендо толленс) - модус разделительно-категорического силлогизма, вывод от утверждения одной части альтернативы к отрицанию другой ее части.
Modus ponens (модус поненс) - модус условно-категорического умозаключения, вывод от утверждения основания к утверждению следствия.
Modus tollendo-ponens (модус толлендо поненс) - модус разделительно-категорического силлогизма, вывод от отрицания одной части альтернативы к утверждению другой ее части.
Modus tollens (модус толленс) - модус условно-категорического силлогизма, вывод от отрицания следствия к отрицанию основания.
Абстрактное понятие - понятие, в котором отражен признак, взятый отдельно от предмета.
Аксиологическая модальность - модальность суждения, в котором выражается отношение говорящего к объекту высказывания.
Аксиоматическое определение - определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
Алетическая модальность - заключенная в суждении информация об условиях его истинности.
Аналогия - умозаключение на основе сходства сравниваемых предметов.
Аналогия отношений - аналогия, в основе которой лежит сходство признаков отношений сравниваемых предметов.
Аналогия предметов - то же, что и аналогия свойств.
Аналогия свойств - аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.
Антитезис - положение, несовместимое с тезисом.
Апагогическое доказательство - то же, что и доказательство от противного.
Аргумент - истинное суждение, используемое для обоснования другого суждения (тезиса).
Аргументация - операция обоснования суждений, решений, оценок.
Атрибутивное суждение - суждение о свойствах предметов.
Безотносительные понятия - это такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета.
Большая посылка - посылка силлогизма, содержащая больший термин, предикат заключения.
Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения.
Версия - одно из нескольких возможных, отличных друг от друга объяснений какого-либо явления, события; разновидность гипотезы.
Видовой признак - признак, отличающий подкласс внутри класса.
Вопрос - это мысль, в которой выражено требование уточнить или получить новую информацию на основе уже имеющейся.
Вопрос не по существу - вопрос, не имеющий отношения к обсуждаемому предмету.
Восполняющий вопрос - вопрос о новых признаках исследуемого предмета.
Генетическое определение - определение, указывающее на происхождение, способа образования соответствующего предмета.
Гипотеза — это форма развития знаний, представляющая собою обоснованное предположение о свойствах предметов
Дедуктивное умозаключение - умозаключение от общего к частного; другое название необходимых умозаключений.
Деление по видоизменению признака - деление, как правило, более чем на две части, каждой из которых присущ признак, взятый за основание, но в особом его проявлении.
Деление понятий - операция, с помощью которой устанавливается объем понятия, путем перечисления его частей, (подклассов).
Демонстративное умозаключение - то же, что и необходимое умозаключение.
Деонтическая модальность - выраженное в суждении побуждение к действию.
Дефиниендум - определяемая часть дефиниции.
Дефиниенс - определяющая часть дефиниции.
Дефиниция понятия - то же, что и определение понятия.
Дизъюнкция - логический союз "или", дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.
Дилемма - суждение, содержащее две альтернативы (несовместимые позиции).
Дихотомическое деление - деление на две части, в одну из которых входят предметы, обладающие признаком, в другую - не обладающие признаком, взятым в качестве основания.
Довод - то же, что и аргумент.
Доказательство - логическое обоснование истинности суждения.
Доказательство от противного - доказательство, при котором истинность тезиса обосновывается с помощью противоречащего ему суждения (антитезиса).
Доказательство по случаям - то же, что и разделительное доказательство.
Единичное понятие - понятие, объем которого составляет один предмет.
Единичное суждение - суждение об одном предмете.
Естественная классификация - классификация на основе существенных признаков самих классифицируемых предметов.
Естественный язык - звуковой язык, созданный тем или иным народом.
Заключение (вывод) умозаключения - суждение, вытекающее из посылок.
Демонстрация - логическая связь аргументов и тезиса в доказательстве или опровержении.
Закон исключенного третьего - закон, согласно которому из двух противоречащих суждений одно обязательно истинно, а второе ложно.
Закон мышления - необходимая, повторяющая связь мыслей.
Закон непротиворечия - закон, по которому не могут быть одновременно истинными несовместимые, исключающие друг друга мысли (суждения).
Закон обратного отношения между объемом и содержанием понятия - закон, согласно которому, чем больше содержание понятия, тем меньше его объем, и наоборот.
Закон тождества - закон, согласно которому всякая мысль в рассуждении должна быть тождественной сама себе, неизменной сколько бы раз она не воспроизводилась.
Закрытый вопрос - вопрос, требующий уточнения, выбора содержащейся в нем альтернативы; вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов.
Импликация - логический союз "если…, то…", образующий из двух суждений новое, истинное во всех случаях, кроме одного: оно ложно, когда первый член импликации истинное суждение, а второй - ложное.
Индуктивное определение - определение, согласно которому из исходных объектов по определенным правилам могут быть построены многие другие объекты теории.
Индуктивное умозаключение - умозаключение от частного к общему, от отдельных предметов к совокупностям предметов, от классов к более широким классам.
Индукция методом исключения - индуктивное умозаключение на основе подтверждающих обстоятельств, и исключения обстоятельств, при которых причинная связь отсутствует.
Индукция через отбор - вывод о признаке класса, на основе отобранного образца (подмножества, подкласса).
Индукция через простое перечисление - то же, что и популярная индукция.
Индукция через элиминацию - то же, что индукция методом исключения.
Истина - соответствие знаний действительности.
Категорическое суждение - суждение, взятое в простейшей форме: субъект, предикат, связка и квантор.
Квантор - логический оператор, указывающий на количественную характеристику субъекта категорического суждения по отношению к предикату.
Классификация - распределение предметов некоторого рода на непересекающиеся классы, при котором каждый класс получает определенное место.
Конъюнкция - логический союз "и", образующий сложное суждение, истинное, когда истинны все (каждое) входящие в него суждения.
Косвенное доказательство - доказательство, основанное на введении антитезисов, т. е. несовместимых с тезисом положений, и доказательство их ложности.
Косвенное опровержение - аналогично косвенному доказательству; опирается на введение одного или нескольких антитезисов и установлении истинности одного из них.
Критика - операция разрушения имеющегося процесса аргументации. Объяснительная гипотеза - предположение о причинах, законах вещей. Описательная гипотеза - предположение о присущих предмету свойствах.
Круги Эйлера - изображение объемов понятий с помощью кругов, предложенное математиком Л. Эйлером (1707-1783).
Логика формальная - наука о законах и формах правильного мышления.
Логические союзы - операции ("и", "или", "если…, то…" и т. д.), с помощью которых из нескольких простых образуются сложные суждения.
Логический закон обозначает требование к логически совершенному мышлению, имеющее формальный характер, т. е. не зависящее от конкретного содержания мыслей.
Логичность - соответствие логическим законам и принципам; последовательность, отсутствие логических ошибок.
Ложность - истинностная характеристика суждения, не соответствующего действительности.
Меньшая посылка - посылка силлогизма, содержащая меньший термин, субъект заключения.
Меньший термин - субъект заключения простого категорического силлогизма.
Метод остатков - метод установления связи части причины и части следствия на основе знания отношений других частей причины и следствия.
Метод различия - метод установления связи причины и следствия на основе выяснения повторяющегося и неповторяющегося в причине при наступлении следствия.
Метод сопутствующих изменений - метод установления связи причины и следствия на основании выявления коррелирующих изменений в причине и следствии (прямых и обратных).
Метод сходства - метод установления связи причины и следствия на основе выявления совпадений в причинном комплексе при наличии следствия.
Модус умозаключения - разновидность умозаключения.
Модальность суждения - явная или неявная информация об условиях истинности, обоснованности, нормативности суждения.
Мышление - обобщенное, опосредованное, абстрактное, основанное на языке отражение действительности. Мышление — активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах и т. п., имеющий опосредованный, обобщенный характер, связанный с решением нетривиальных задач; высший продукт особым образом организованной материи — человеческого мозга.
Необходимое умозаключение - умозаключение, в котором из истинности посылок с необходимостью выводится истинность заключения.
Неполная индукция - индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.
Непосредственное умозаключение - преобразование одного суждения.
Нераспределенный термин - субъект или предикат простого категорического суждения, если он выступает не в полном объеме.
Несобирательное понятие - понятие, приложимое к отдельному предмету, вещи.
Несовместимые понятия - понятия, у которых нет общих элементов.
Несравнимые понятия - понятия, у которых нет ни одного общего признака в содержании, далекие друг от друга.
Несравнимые суждения - суждения, состоящие из разных понятий, или разных более простых суждений.
Нестрогая аналогия - частичная, неполная, основанная на отношении гомоморфизма.
Обобщение понятия - переход к более широкому по объему понятию, к роду.
Обращение - преобразование простого категорического суждения путем изменения его качества; на месте предиката появляется понятие, отрицающее предикат посылки.
Общее понятие - понятие о некоторой совокупности, классе (множестве) предметов.
Общеотрицательное суждение - суждение, в котором отрицается наличие признака у всех элементов некоторого класса.
Общеутвердительное суждение - суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.
Объединенный метод сходства и различия - метод установления причинных связей на основе одновременной фиксации как совпадений, так и несовпадений частей причины и наступления или не наступления следствия.
Объем понятия - предмет или совокупность предметов, мыслимых в понятии.
Ограничение понятий - операция образования нового понятия с меньшим объемом: переход от рода к виду.
Опровержение - операция по обоснованию ложности некоторого положения.
Основание - то же, что и аргумент.
Основание деления - признак, взятый в качестве критерия выделения частей делимого понятия, разбиения его на виды.
Ответ - связанное с вопросом суждение, уменьшающее или снимающее неопределенность, заключенную в вопросе.
Открытый вопрос - вопрос, требующий указания новой информации о признаках предметов. Это вопрос, на который существует бесчисленное множество ответов.
Относительное понятие - понятие, отображающее предметы в их связях с другими предметами, содержит указание на признаки-отношения.
Отрицательное понятие - понятие, в содержании которого указывается на отсутствие у предмета определенных свойств.
Отрицательное суждение - суждение, указывающее на отсутствие признаков, заключенных в предикате, у предметов, мыслимых в субъекте.
Пересечение понятий - отношение, характеризующее понятия с частично совпадающими объемами.
Пересечение суждений - отношение между суждениями, которые могут быть при определенных условиях одновременно истинными, но могут иметь и взаимно противоположные значения.
Подчинение понятий - отношение между понятиями, когда объем одного полностью входит в объем другого в качестве части.
Познание - процесс формирования истинных знаний о мире.
Полная индукция - индуктивное умозаключение, основанное на знании каждого элемента класса и формирующее это знание в виде общего суждения.
Популярная индукция - индукция на основе обобщения всех ставших доступными случаев.
Положительное понятие - понятие, в содержании которого указаны только те признаки, которые присущи предмету.
Понятие - форма мышления, отражающая существенные признаки предметов.
Посылки умозаключения - суждения, из которых в умозаключении выводится новое суждение (заключение).
Правдоподобное умозаключение - умозаключение, в котором нет необходимой логической связи между посылками и заключением.
Правильный модус - разновидность необходимого умозаключения, которая гарантирует истинность заключения при истинности посылок.
Превращение - преобразование простого категорического суждения в новое суждение противоположного качества.
Предикат суждения - часть суждения, указывающая на признак, утверждаемый или отрицаемый относительно субъекта суждения.
Предложение - языковое выражение, обозначающее суждение, вопрос или побуждение.
Простое суждение - суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.
Предпосылка вопроса - связанное с вопросом исходное наличное знание.
Признак - все то, в чем предметы сходны или отличаются друг от друга
Простая деструктивная дилемма - модус условно-разделительного умозаключения, вывод от отрицания двух следствий к отрицанию одного основания.
Простая конструктивная дилемма - модус условно-разделительного умозаключения, вывод от утверждения двух разных оснований к одному следствию.
Простой категорический силлогизм - умозаключение, состоящее из трех категорических суждений, включающих только три понятия.
Простой вопрос - вопрос, заключающий в себе одно требование о недостающей информации.
Противоположные понятия - несовместимые понятия, которые могут оба быть неприменимыми к одному и тому же предмету.
Противоречащие понятия - понятия, отрицающие друг друга, одно из которых обязательно применимо к любому объекту.
Прямое доказательство - доказательство, в котором истинность тезиса выводится из аргументов и их логических следствий, без привлечения антитезисов.
Прямое опровержение - опровержение, в котором ложность тезиса выводится из аргументов и следствий из них, без привлечения антитезисов.
Рабочая гипотеза - выдвигаемое на первых шагах исследования предположение, условное допущение, позволяющее группировать результаты наблюдений и экспериментов, дающее им первоначальное объяснение.
Равнообъемные понятия - то же, что и тождественные понятия.
Разделительно-категорическое умозаключение - умозаключение, в котором вывод основывается на утверждении или отрицании частей разделительной посылки, а в заключении стоит суждение, являющееся утверждением или отрицанием другой части этой посылки.
Распределенность терминов категорического суждения - количественная характеристика субъекта категорического суждения по отношению к предикату, и наоборот.
Распределенный термин - субъект или предикат, взятый по отношению к другому термину в полном объеме.
Реальное определение - определение, указывающее признаки самих определяемых предметов.
Родовой признак - признак, присущий всем видам некоторой области.
Слово - основная значащая единица языка, служащая для закрепления образов сознания, мышления, прежде всего понятий.
Связка суждения - элемент простого суждения, соединяющий субъект и предикат; может быть утвердительной и отрицательной.
Сложная деструктивная дилемма - модус дилеммы, в котором вывод делается от двух отрицания следствий к отрицанию двух оснований.
Сложная конструктивная дилемма - модус дилеммы, в котором вывод делается от утверждения двух оснований утверждению двух следствий.
Сложное суждение - суждение, образованное из нескольких простых с помощью логических союзов (конъюнкции, дизъюнкции и т. д.).
Сложно-сокращенный силлогизм - сложный силлогизм, в котором пропущены посылки.
Собирательные понятия - понятия, в которых группа однородных предметов мыслится как единое целое.
Совместимые понятия - понятия, у которых есть общие элементы в объемах.
Соотносительные понятия - это такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование второго. Например, "теща - зять", "правый-левый", "истец-ответчик".
Соподчиненные понятия - отношения между понятиями, при котором их объемы составляют непересекающиеся части некоторого третьего понятия.
Сорит - сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.
Сравнимые понятия - понятия, у которых есть ближайший общий род. Например, "поезд" и "самолет" - сравнимые понятия: ближайший общий род "транспортное средство". В противном случае понятия называются несравнимыми, как, например, "самолет" и "помидор".
Строгая дизъюнкция - разделительный союз, образующий сложное суждение, истинное, когда истинно только одно из исходных суждений.
Субъект суждения - понятие, обозначающее предмет, о котором нечто утверждается или отрицается в простом категорическом суждении.
Суждение - это мысль, в которой утверждается или отрицается: а) свойство предмета (действие предмета, наличие некоторой ситуации); б) отношение между предметами или в) существование предмета.
Суждение с отношением - суждение, в котором утверждается или отрицается наличие отношения между какими-либо предметами.
Суждение существования - то же, что и экзистенциальное суждение.
Существенный признак - признак, выражающий ту или иную сторону сущности, основного содержания предмета.
Таблица истинности - таблица, с помощью которой определяются условия истинности сложного суждения на основе истинности простых.
Термин - слово или словосочетание, обозначающее понятие, стоящее на месте субъекта или предиката категорического суждения; любое определенное понятие.
Умозаключение - форма мышления, в которой осуществляется переход от имеющегося знания к новому. В структуре умозаключения выделяют (1) посылки - суждения, содержащие имеющееся (исходное) знание и (2) заключение (следствие) - суждение, содержащее новое знание, полученное из посылок.
Умозаключение из суждений с отношениями - умозаключение, в котором посылки и заключение являются суждениями с отношениями, а вывод основывается на свойствах отношений.
Умозаключение по "логическому квадрату" - переход от одного категорического суждения к другому на основе знания их отношений по истинности согласно логическому квадрату.
Условное умозаключение - необходимое умозаключение, в котором все посылки и заключение являются условными (импликативными) суждениями. Фигура простого категорического силлогизма - виды модусов силлогизма,
Условно-разделительное умозаключение - умозаключение с несколькими условными и одной разделительной посылками. Например, "Если вы будете говорить правду, люди проклянут вас, а если будете лгать, вас проклянут боги. Но вы можете только говорить правду или лгать. Значит, вас проклянут люди или боги".
Форма мышления - способ связи мыслей, их частей; строение мысли.
Частноотрицательное суждение - суждение, в котором что-либо отрицается о части, подмножестве некоторого класса.
Частноутвердительное суждение - суждение, в котором нечто утверждается о части, подмножестве некоторого класса.
Экзистенциальное суждение - суждение, в котором утверждается или отрицается существование чего-либо.
Энтимема - простой силлогизм, в котором пропущено одно из трех суждений.
Эпистемическая модальность - информация о характере обоснованности суждения с точки зрения существующего знания.
Явное определение - определение, в котором используются существенные признаки определяемых предметов.
Язык - система чувственно воспринимаемых предметов - знаков, используемая для фиксации, накопления и переработки информации.
Языки логики - искусственные языки, используемые в современной логике (язык логики предикатов, язык логики высказываний).
|