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

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

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

Метаязык – язык, на основе которого производится исследование какого-то другого языка.

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

МОДАЛЬНОСТЬ СУЖДЕНИЯ - оценка с той или иной точки зрения. Она выражается с помощью таких понятий, как «необходимо», «возможно», «обязательно», «доказуемо» и т.п. Различают логическую, физическую, эпистемическую, деонтическую, аксиологическую и временную модальности.

МОДУСЫ СИЛЛОГИЗМА - разновидность силлогизма в зависимости от количественной и качественной характеристик суждений, входящих в его состав.

НАУЧНАЯ ИНДУКЦИЯ - неполная индукция, при которой общее заключение о принадлежности некоторого свойства каждому элементу данного множества делается на основе установления с помощью каких-либо специальных (научных) методов принадлежности этого свойства части элементов исследуемого множества.

Н

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, в котором вывод делается на основе только одной посылки. К таким умозаключениям относят превращение, обращение и противопоставление предикату.

НЕСОВМЕСТИМЫЕ ПОНЯТИЯ - понятия, объемы которых не имеют общих элементов (соподчиненные, противоположные, противоречивые).

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

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

Номинальное определение – объяснение значения слова, имени или термина, обозначающего это понятие.

Нечеткая логика - логика, в которой допускается промежуточные значения истинности высказываний, заключенные между традиционными "истина" и "ложь". Нечеткая логика предложена профессором Калифорнийского университета Лофти Заде в 1965г.

О

ОБОБЩЕНИЕ ПОНЯТИЯ - мыслительная операция, при которой осуществляется переход от понятия с меньшим объемом к понятию с большим объемом.

ОБРАЩЕНИЕ - вид непосредственного умозаключения, при котором происходит замена субъекта предикатом, а предиката - субъектом при сохранении качества суждения. Частноотрицательное суждение не обращается.

ОБЩЕЕ ПОНЯТИЕ - объем понятия включает более одного элемента.

ОБЩЕЕ СУЖДЕНИЕ - суждение, в котором речь идет обо всем классе предметов, мыслимых в субъекте. Структура такого суждения: «Все S есть Р» или «Ни одно S не есть Р».

ОБЩИЕ ПРАВИЛА СИЛЛОГИЗМА - правила, распространяющиеся на все фигуры силлогизма.

ОБЪЕДИНЕННАЯ КЛАССИФИКАЦИЯ СУЖДЕНИЙ ПО КОЛИЧЕСТВУ И КАЧЕСТВУ - классификация, в соответствии с которой выделяются четыре типа суждений: общеутвердительное - «Все S есть Р» (обозначается латинской буквой А); частноутвердительное - «Некоторые S есть Р» (обозначается буквой I); общеотрицательное - «Ни одно S не есть Р» (обозначается буквой Е); частноотрицательное - «Некоторые S не есть Р» (обозначается буквой О).

ОБЪЕМ - совокупность предметов, явлений, признаки которых отображаются в понятии.

ОГРАНИЧЕНИЕ ПОНЯТИЯ - мыслительная операция, при которой осуществляется переход от понятия с большим объемом к понятию с меньшим объемом.

ОПИСАНИЕ - прием, состоящий в перечислении внешних черт предмета с целью нестрогого отличия его от сходных с ним предметов.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ - логическая операция, раскрывающая содержание понятия и позволяющая отличать отображаемые им предметы от других, сходных с ним предметов.

ОПРЕДЕЛЕНИЕ ЧЕРЕЗ РОД И ВИДОВОЕ ОТЛИЧИЕ - определение, при котором сначала устанавливаются признаки, позволяющие отнести тот или иной объект к некоторому родовому понятию, а затем указываются его специфические признаки (видовые отличия).

ОПРОВЕРЖЕНИЕ - логическая операция установления ложности или необоснованности положения, выдвинутого в качестве тезиса.

ОПРОВЕРЖЕНИЕ ГИПОТЕЗЫ - может осуществляться путем выведения из нее следствий, которые не соответствуют действительности, или с помощью обнаружения фактов, противоречащих выведенным следствиям. Кроме этого, гипотеза может быть опровергнута путем доказательства утверждения, являющегося отрицанием гипотезы.

ОСНОВНЫЕ МЫСЛИ - мысли, служащие для подкрепления центральной идеи.

ОТРИЦАТЕЛЬНОЕ СУЖДЕНИЕ - суждение, имеющее отрицательную связку («не есть», «не суть» и т.п.) между субъектом и предикатом.

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

Общеутвердительное суждение – суждение, имеющее вид: «ВсеS есть P».

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

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

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

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

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

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

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

П

ПАРАДОКС - в узком смысле - два противоположных утверждения, каждое из которых является (или кажется) достаточно обоснованным.

ПАРАЛОГИЗМ - неумышленная, непреднамеренная логическая ошибка.

ПЕРЕСЕКАЮЩИЕСЯ ПОНЯТИЯ - понятия, объемы которых частично совпадают: элементы объема одного из них являются элементами объема другого, а элементы объема второго понятия являются элементами первого, но в то же время в объемах каждого из этих понятий есть и такие элементы, которые являются элементами одного и только одного из них.

ПОДТВЕРЖДАЮЩИЕ МАТЕРИАЛЫ - способы подкрепления основных мыслей. Чаще всего в этом качестве используются цитаты, примеры, аналогии и статистика.

ПОДЧИНЕННЫЕ ПОНЯТИЯ - понятия, объемы которых полностью включаются в объем другого понятия.

ПОЛИСИЛЛОГИЗМ - сложный силлогизм, состоящий из двух или более простых категорических силлогизмов, связанных между собой таким образом, что заключение каждого предыдущего силлогизма становится посылкой другого силлогизма.

ПОЛНАЯ ИНДУКЦИЯ умозаключение, в котором общий вывод о свойствах элементов некоторого класса делается на основании изучения каждого элемента данного класса.

ПОНЯТИЕ - форма мысли, отображающая предметы и явления в их наиболее общих и существенных признаках.

ПОПУЛЯРНАЯ (ПЕРЕЧИСЛИТЕЛЬНАЯ) ИНДУКЦИЯ - неполная индукция, при которой общее заключение о принадлежности некоторого свойства всем элементам данного множества делается на том основании, что этот признак (свойство) обнаруживается у ряда совершенно произвольно взятых элементов множества.

ПРЕВРАЩЕНИЕ - вид непосредственного умозаключения, при котором изменяется качество посылки при одновременной замене предиката на противоречащий ему термин. Количественная характеристика суждения не меняется.

ПРЕДИКАТ СУЖДЕНИЯ - понятие о признаке или состоянии, наличие которого отображается в суждении.

ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ - умозаключение, в котором из двух категорических суждений выводится третье категорическое суждение.

ПРОТИВОПОЛОЖНЫЕ ПОНЯТИЯ - понятия, входящие в объем некоторого родового понятия и объемы которых исключают друг друга, поскольку выражают различные проявления одного и того же свойства.

ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ - вид непосредственного умозаключения, в котором субъектом заключения является термин, противоречащий предикату, а предикатом - субъект посылки. Причем, посылка и заключение отличаются друг от друга качественной характеристикой. Частноутвердительное суждение не противопоставляется предикату.

ПРОТИВОРЕЧИВЫЕ ПОНЯТИЯ - понятия, являющиеся видами некоторого рода, признаки которых взаимоисключают друг друга, а сумма их объемов исчерпывает объем родового понятия.

ПРЯМОЕ ДОКАЗАТЕЛЬСТВО - доказательство, при котором истинность тезиса или его обоснованность непосредственно следует из истинности аргументов, т.е. в этом случае тезис является логическим следствием аргументов.

ПРЯМОЕ ОПРОВЕРЖЕНИЕ - опровержение, при котором изначально допускают, что выдвинутый тезис истинен. Затем выводят из него следствия и доказывают ложность тезиса путем сравнения этих следствий с известными истинными положениями.

ПУСТОЕ (НУЛЕВОЕ, МНИМОЕ) ПОНЯТИЕ - не содержит в своем объеме никаких элементов.

Парадигма - пример, образец.

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

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

Полисемия – многозначность слова.

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

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

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

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

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

Дата добавления: 2015-06-30; просмотров: 127; Нарушение авторских прав

Мы поможем в написании ваших работ!