- •Федеральное агентство железнодорожного транспорта
- •Оглавление
- •Введение
- •Лекция 1. Предмет и значение логики
- •Лекция 2. Понятие как форма мышления
- •Типы совместимости
- •Лекция 3. Логические операции над понятиями
- •Правила определения
- •3. Определение должно быть полным, ясным, отчетливым, свободным от двусмысленностей.
- •4. Определение не должно быть сложным и непонятным, или оно должно быть коммуникабельным.
- •5. Определение не должно быть только отрицательным.
- •Правила деления
- •2. Деление должно быть соразмерным, то есть объем делимого понятия должен равняться сумме объемов членов деления.
- •Лекция 4. Суждение как форма мышления
- •Свойства суждения
- •4. 2. Логическая структура суждения
- •Лекция 5. Умозаключение как форма мышления
- •Правила фигур
- •1. В силлогизме должно быть только три термина.
- •3. Термин, не распределенный в посылке, не может быть распределен в выводе.
- •Лекция 7. Условные и разделительные умозаключения
- •I вероятностный модус
- •II вероятностный модус
- •Лекция 8. Индуктивные умозаключения
- •Лекция 9. Традуктивные умозаключения
- •Другие виды аналогий
- •Правила аналогии
- •Лекция 10. Основные законы формальной логики
- •Лекция 11. Логические основы аргументации
- •Требования к структурным компонентам доказательства
- •Виды доказательств
- •Правила, относящиеся к тезису
- •1. Тезис должен быть четко и ясно сформулирован.
- •2. Тезис должен оставаться неизменным в процессе рассуждения, ведущего к доказательству.
- •Правила, относящиеся к аргументам
- •Правила и ошибки демонстрации
- •Особенности дискуссии
- •Особенности полемики
- •Понятийно-терминологический словарь курса (глоссарий)
- •Литература Основная
- •620034, Екатеринбург, ул. Колмогорова, 66,
Понятийно-терминологический словарь курса (глоссарий)
Абстрагирование – процесс отвлечения от свойств и отношений изучаемых предметов с целью более детального исследования интересующих исследователя особенностей изучаемого предмета.
Анализ – мысленное расчленение предмета на составные части.
Аргументация – способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и оппонентов.
Деление понятия – логическая операция, раскрывающая объем понятия.
Дилемма – условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением, содержащим две альтернативы.
Доказательство – это логический прием, обосновывающий истинность какого-либо суждения с помощью других суждений, истинность которых уже доказана.
Доказательство косвенное – доказательство, при котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса.
Доказательство прямое – это доказательство, при котором истинность выдвинутого тезиса непосредственно обосновывается аргументами.
Закон мышления (логический закон) – это внутренняя, существенная, необходимая связь между мыслями.
Истинность мысли – адекватное отражение действительности познающим субъектом.
Категорический силлогизм – вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых субъект и предикат связаны средним термином.
Логика формальная – наука о формах, законах и операциях правильного мышления.
Логические термины – термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания.
Модусы фигур категорического силлогизма – разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
Обобщение – переход от ряда фактов, ситуаций, событий к их отождествлению в каких-либо свойствах с последующим образованием множеств, соответствующих этим свойствам.
Обобщение понятия – логическая операция перехода от понятия с меньшим объемом, но с большим содержанием, к понятию с большим объемом, но с меньшим содержанием.
Объем понятия – совокупность предметов, обладающих признаками, составляющими содержание данного понятия.
Ограничение понятия – логическая операция перехода с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но с большим содержанием.
Определение понятия – логическая операция установления значения того или иного значения или термина.
Определение номинальное – определение, посредством которого формулируется значение некоторого термина.
Определение реальное – определение, с помощью которого предмет выделяется среди других смежных с ним предметов по некоторому отличительному признаку.
Опровержение – это логический прием, при помощи которого устанавливается ложность или недоказанность выдвинутого положения.
Основания доказательства – это истинные суждения, с помощью которых обосновывается тезис доказательства.
Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения.
Паралогизм – непреднамеренная ошибка, допущенная человеком в мышлении.
Понятие – форма мысли, отражающая предметы в их существенных и общих признаках.
Понятие абстрактное – понятие, в котором мыслятся свойства предметов или отношений между ними.
Понятие безотносительное – понятие, описывающее предметы, существующие раздельно.
Понятие единичное – понятие, объем которого включает только один предмет.
Понятие конкретное – понятие, в котором обобщаются конкретные предметы и явления действительности.
Понятие нерегистрирующее – общее понятие, относящееся к неопределенному числу предметов.
Понятие общее – понятие, объем которого включает два или более однородных предметов (явлений, событий).
Понятие отрицательное – понятие, в котором признаки, составляющие содержание понятия, отрицаются.
Понятие положительное – понятие, в котором отражаются присущие предмету признаки.
Понятие пустое – понятие, объем которого не включает ни одного предмета.
Понятие регистрирующее – понятие, в котором число мыслимых в нем предметов поддается реальному учету, регистрации.
Понятие соотносительное – понятие, отражающее предметы, существующие только взамосвязанно и одновременно друг с другом.
Понятия несовместимые – понятия, объемы которых не совпадают.
Понятия совместимые – понятия, объемы которых полностью или частично совпадают.
Посылки силлогизма – суждения силлогизма, из которых делается вывод.
Правильность мысли – соответствие ее связей законам и правилам логики.
Предикат суждения – это понятие о признаке предмета, рассматриваемом в суждении.
Полисиллогизм (сложный силлогизм) – это два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой для другого.
Силлогизм – умозаключение, в котором из двух данных суждений (посылок) выводится третье суждение (заключение).
Синтез – мысленное соединение составных частей предмета.
Содержание понятия – совокупность существенных признаков, отраженных в понятии.
Софизм – преднамеренная ошибка в мышлении с целью запутать своего противника и выдать ложное суждение за истинное.
Сравнение – логические прием, при помощи которого устанавливается сходство или различие предметов действительности.
Субъект суждения – это понятие о предмете суждения.
Суждение – форма мышления, в которой что-либо утверждается или отрицается о предмете, его признаках или свойствах.
Суждение атрибутивное – суждение, отражающее связи предметов и их признаков.
Суждение дизъюнктивное (разделительное) – сложное суждение, образованное посредством связи двух или нескольких простых суждений логическим союзом «или».
Суждение импликативное (условное) – суждение, образованное посредством связи нескольких простых суждений с помощью союза «если…то…».
Суждение конъюнктивное (соединительное) – сложное суждение, образованное посредством связи двух или нескольких простых суждений логическим союзом «и».
Суждение об отношении – суждение, в котором говорится, что определенные отношения имеют место (или не имеют места) между элементами предметов.
Суждение сложное – суждение, состоящее более чем из одного простого суждения.
Суждение существования – суждение, в котором в качестве утверждаемого или отрицаемого признака выступает существование предмета в действительности.
Суждение эквивалентности (тождества) – сложное суждение, образованное посредством связи простых суждений союзом «если только, если», «тогда и только тогда».
Тезис доказательства – это суждение, истинность которого требуется доказать.
Термин нераспределенный – термин суждения, объем которого частично включается в объем другого термина или частично исключается из него.
Термин распределенный – термин суждения, объем которого полностью входит в объем другого термина или полностью исключается из него.
Термины силлогизма – понятия, входящие в состав силлогизма.
Умозаключение – форма мышления, в которой из одного или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом.
Умозаключение дедуктивное (дедукция) – умозаключение, в котором из общего правила делается вывод для частного случая.
Умозаключение индуктивное (индукция) – умозаключение, в котором из нескольких частных случаев выводится общее правило.
Умозаключение непосредственное – умозаключение, в котором вывод делается из одной посылки.
Умозаключение опосредованное – умозаключение, в котором вывод делается из нескольких посылок.
Умозаключение по аналогии – умозаключение, в котором на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках.
Умозаключение разделительное – это дедуктивное умозаключение, в котором одна или несколько посылок – разделительные (дизъюнктивные) суждения.
Умозаключение разделительно-категорическое – такое умозаключение, одна из посылок которого – разделительное суждение, другая – простое категорическое суждение.
Умозаключение условное – такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями.
Умозаключение условно-категорическое – это такое дедуктивное умозаключение, в котором одна из посылок – условное суждение, а другая – простое категорическое суждение.
Умозаключение условно-разделительное – это такое дедуктивное умозаключение, в котором одна посылка состоит из двух или большего числа условных суждений, а другая является разделительным суждением.
Фигуры категорического силлогизма – формы силлогизма, различаемые по положению среднего термина в посылках.
Форма логическая (форма мысли) – способ связи составных частей какого-либо определенного содержания конкретной мысли, выраженный специфическим для логики языком символов.
Форма доказательства (демонстрация) – это способ логической связи между тезисом и основаниями доказательства.
Формализация – процесс записи с помощью символов логики высказываний некоторого выражения естественного языка.
Энтимема (сокращенный категорический силлогизм) – это силлогизм, в котором пропущена одна из посылок или заключение.
Эпихейрема – это такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорический силлогизмы (энтимемы).