Материально-техническое и информационное обеспечение дисциплины

Аналогия

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

Аналогия строгая

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

Аналогия нестрогая

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

Аргументация

– обоснование истинности некоторого суждения.

Аргументы

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

Верификации принцип

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

Дедукция

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

Деление понятия

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

Демонстрация

– способ логической связи тезиса и аргументов в аргументативном процессе обоснования тезиса

Дизъюнкция

– разделительная логическая связка, с помощью которой образуется сложное суждение из простых, соответствует союзу «или». Обозначается: символом - нестрогая дизъюнкция;- строгая дизъюнкция. Нестрогая дизъюнкция, в которой члены не исключают друг друга, истинна тогда, когда истинно хотя бы одно простое суждение. Строгая дизъюнкция, в которой члены исключают друг друга, истинна тогда, когда истинно только одно простое суждение.

Доказательство

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

Закон логический

– необходимая связь между мыслями и элементами этих мыслей со стороны их формы.

Законы основные

– закон тождества; закон противоречия; закон исключенного третьего; закон достаточного основания – выражают фундаментальные черты правильного мышления: определенность, непротиворечивость, последовательность, доказательность. В мышлении они функционируют в качестве принципов правильного рассуждения.

Заключение

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

Импликация

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

Категорические суждения

– простые суждения, которые различаются по количественным и качественным характеристикам: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные, соответственно обозначаемые в логике буквами A, E, J, O.

Качество суждения

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

Количество суждения

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

Коньюнкция

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

Логика

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

Логический квадрат

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

Обобщение

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

Объём понятия

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

Определение понятия

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

Опровержение

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

Отношения между понятиями

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

Отношения между суждениями

– по истинностным значениям суждений. Выделяют отношения: совместимость (эквивалентность, подчинение, частичная совместимость) и несовместимость (противоречие, противоположность). Отношения между простыми суждениями вида A, E, J, O выявляются с помощью логического квадрата; а между сложными суждениями – построением истинностных таблиц.

Отрицание

– логическая операция, с помощью которой из исходного суждения образуется новое суждение, противоположное исходному. Соответствует союзу «неверно, что…», «не», обозначается символом «».

Понятие

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

Посылка

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

Превращение

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

Противопоставление предикату

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

Предикат

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

Противоречие

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

Правильность мысли

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

Разделительное (дизъюнктивное) суждение

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

Разделительно-категорическое Умозаключение

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

Связка

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

Силлогизм

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

Совместимость

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

Суждение

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

Субъект суждения

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

Суждение простое

– если в его структуре один субъект и один предикат.

Суждение сложное

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

Таблица истинности

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

Тезис

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

Умозаключение

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

Условное умозаключение

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

Условное умозаключение

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

Фигура силлогизм

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

Форма логическая

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

Формализация

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

Эквиваленция

– логическая связка, с помощью которой образуется сложное условное суждение. Соответствует союзу «если…, то», обозначается символом «».

Энтимема

– сокращенное умозаключение, в котором не формируются в явной форме (опускаются, но подразумеваются) некоторые из посылок или заключение.