Файл: Словарь терминов по логике.doc

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 04.12.2023

Просмотров: 22

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

Словарь терминов по логике


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

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

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

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

Деление понятия дихотомическое – деление понятия строго на два объема, пополам, по типу: «A и не- A».

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

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

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

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

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

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


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

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

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

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

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

Квантор – указатель на объем субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.

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

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

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



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

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

Логика Аристотеля (аристотелевская, формальная, традиционная, двузначная) – это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет свое практическое значение, как и геометрия Евклида.

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

Логика символическая (математическая, современная) – разновидность формальной логики, появившаяся в XIX в . Об этом говорит сайт https://intellect.icu . и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика – это раздел высшей математики.

Модус простого силлогизма – совокупность простых суждений (A, I, E, O) – посылок и вывода силлогизма.

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

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

Объем понятия – количество объектов, охватываемых этим понятием. По объему понятия бывают общими, единичными и нулевыми (пустыми).

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

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

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

Подчинение – 1. Логическое отношение между понятиями, объем одного из которых полностью включается в объем другого. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объему понятие является видовым, а большее – родовым). 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения.

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

Понятие – это форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания.

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

Видовые и родовые понятия находятся в отношении подчинения.

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

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

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

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

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

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

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

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

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

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

Силлогизм простой (категорический) – в котором обе посылки и вывод являются простыми суждениями (A, I, E, O).

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

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

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

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

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