Сидорова Логика2011

151

СЛОВАРЬ ТЕРМИНОВ

АЛОГИЗМ – ход мысли, нарушающий какие-то законы или правила логики.

АНТИТЕЗИС – утверждение, противоречащее тезису.

АРГУМЕНТ К АВТОРИТЕТУ – ссылка на мнение или действия лица, хорошо зарекомендовавшего себя в данной области своими суждениями или поступками.

ВИД – понятие, подчиненное роду, полностью входящее в его объем.

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ (ДЕДУКЦИЯ) – умозаключение, в ко-

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

ДЕЛЕНИЕ – операция распределения на группы тех предметов, которые мыслятся в делимом понятии.

ДИЗЪЮНКЦИЯ – логическая связка «или» и образуемое с помощью этой связки сложное высказывание, являющееся истинным, когда хотя бы одно из входящих в него высказываний истинно.

ДИСКУССИЯ – спор, направленный на достижение истины и использующий только корректные приемы ведения спора.

ДОКАЗАТЕЛЬСТВО – процедура установления обоснованности некоторого утверждения путем приведения других утверждений, обоснованность которых уже известна и из которых с необходимостью вытекает первое.

ЕСТЕСТВЕННАЯ КЛАССИФИКАЦИЯ – классификация по важным, существенным для рассматриваемых объектов признакам.

ИМПЛИКАЦИЯ – логическая связка, представляющая в языке логики условную связь («если, то»), а также сложное высказывание, образованное с помощью этой связки и являющееся ложным, когда основание импликативного высказывания истинно, а его следствие ложно.

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

ИНДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ (ИНДУКЦИЯ) – умозаключение, в ко-

тором связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания.

ИСКУССТВЕННАЯ КЛАССИФИКАЦИЯ – классификация, опирающаяся на второстепенные, случайные признаки.

КАТЕГОРИЧЕСКОЕ ВЫСКАЗЫВАНИЕ – простое высказывание, образованное из двух понятий с помощью логических постоянных: «все ...

152

есть...», «некоторые ... есть ...», «все ... не есть...» и «некоторые ... не есть...».

КЛАССИФИКАЦИЯ – многоступенчатое, разветвленное деление. КОНЪЮНКЦИЯ – логическая связка «и» и образуемое с помощью этой

связки сложное высказывание, являющееся истинным, только если оба входящих в него высказывания истинны.

КОРРЕКТНАЯ АРГУМЕНТАЦИЯ – аргументация, в ходе которой не нарушаются сложившиеся в конкретной области требования к ней.

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО – доказательство, устанавливающее справедливость тезиса тем, что вскрывается ошибочность противоположного ему допущения, антитезиса.

ЛОГИКА – наука о законах и операциях правильного мышления. ЛОГИЧЕСКАЯ ПРАГМАТИКА – раздел логики, изучающий отношения

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

ЛОГИЧЕСКАЯ СЕМАНТИКА – раздел логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию.

ЛОГИЧЕСКИЙ СИНТАКСИС – раздел логики, исследующий структурные свойства знаковых логических систем, правила образования и преобразования последовательностей их знаков, отвлекаясь от интерпретации знаков.

НЕКОРРЕКТНАЯ АРГУМЕНТАЦИЯ – аргументация, в процессе которой не соблюдаются требования к процедурам обоснования, процессам коммуникации, моральным качествам аргументирующего.

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

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

ОПРЕДЕЛЕНИЕ – логическая операция, раскрывающая содержание понятия.

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

ОСНОВАНИЕ (АРГУМЕНТЫ) – положения, с помощью которых доказывается тезис.

ОТРИЦАНИЕ – логическая связка «неверно, что» («не»), превращающая истинное высказывание в ложное, и наоборот.

153

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

ПАРАЛОГИЗМ – логическая ошибка, допущенная неумышленно. ПЕРЕСЕЧЕНИЕ – отношение между понятиями, объемы которых час-

тично совпадают.

ПОДМЕНА ТЕЗИСА – неосознанное или умышленное замещение тезиса в ходе доказательства каким-то другим утверждением.

ПОДЧИНЕНИЕ – отношение между понятиями, объем одного из которых полностью входит в объем другого.

ПОЛЕМИКА – спор, направленный на победу над противоположной стороной и использующий только корректные приемы.

ПОНЯТИЕ – общее имя с относительно ясным и устойчивым содержанием, используемое в обычном языке или в языке науки.

ПРАВДОПОДОБНОЕ РАССУЖДЕНИЕ – индуктивное рассуждение, дающее из истинных посылок только вероятные, или правдоподобные, заключения.

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

ПРИЧИННАЯ СВЯЗЬ – физически необходимая связь между явлениями, при которой за одним из них всякий раз следует другое.

ПРОСТОЕ ВЫСКАЗЫВАНИЕ – высказывание, не содержащее других высказываний в качестве своих частей.

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

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

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

РАВНОЗНАЧНОСТЬ – отношение между понятиями, объемы которых полностью совпадают.

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

СИЛЛОГИСТИКА – теория логических связей категорических высказываний.

СЛОЖНОЕ ВЫСКАЗЫВАНИЕ – высказывание, полученное с помощью логических связок из более простых высказываний.

СОВРЕМЕННАЯ (МАТЕМАТИЧЕСКАЯ, СИМВОЛИЧЕСКАЯ) ЛОГИКА – имя,

обозначающее нынешний этап в развитии логики, начавшийся в конце

154

XIX – начале XX в. и связанный с проникновением в логику математических методов и последующим отделением ее от философии.

СОДЕРЖАНИЕ ПОНЯТИЯ – совокупность тех свойств, которые присущи всем предметам, обозначаемым понятием, и только этим предметам.

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

СОФИСТИКА – спор, имеющий своей целью достижение победы над противоположной стороной с использованием как корректных, так и некорректных приемов.

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

ТЕЗИС – утверждение, которое нужно доказать.

ТЕОРЕТИЧЕСКИЕ СПОСОБЫ УБЕЖДЕНИЯ – способы убеждения, опи-

рающиеся на рассуждение.

ТЕОРИЯ АРГУМЕНТАЦИИ – научная теория, изучающая многообразные приемы воздействия на убеждения людей.

ТРАДИЦИОННАЯ ЛОГИКА – первый этап в развитии (формальной) логики, начавшийся в IV в. до н.э. и завершившийся в конце XIX – начале XX в., когда сформировалась современная (математическая, символическая) логика.

УБЕЖДЕНИЕ – вера, имеющая под собой определенные основания. УМОЗАКЛЮЧЕНИЕ – рассуждение, в ходе которого из одного или не-

скольких высказываний (посылок) выводится новое высказывание (заключение, или следствие).

УМОЗАКЛЮЧЕНИЕ ПО АНАЛОГИИ – индуктивное умозаключение, в котором на основе сходства двух объектов в некоторых свойствах делается вывод об их сходстве в других свойствах.

ЭКВИВАЛЕНТНОСТЬ – логическая связка «если и только если» и сложное высказывание, образованное с помощью этой связки и являющееся истинным, когда истинностные значения входящих в него высказываний совпадают.

ЭКЛЕКТИКА – спор, имеющий своей целью достижение истины, но использующий для этого и некорректные приемы.

ЭМПИРИЧЕСКИЕ СПОСОБЫ УБЕЖДЕНИЯ – способы убеждения, опи-

рающиеся на опыт.

ЯЗЫК – знаковая система, используемая для целей коммуникации и познания.

155

Учебное издание

И. М. Сидорова

ЛОГИКА

Зав. РИО М. А. Салкова Редактор М. А. Салкова Компьютерная верстка Н. В. Мирзоян

Подписано в печать 18.10.2011.

Формат 60 84 1/16. Уч.-изд. л. 9,75. Тираж 200. Заказ 86.

156

Рыбинская государственная авиационная технологическая академия имени П. А. Соловьева (РГАТА имени П. А. Соловьева)

Адрес редакции: 152934, г. Рыбинск, ул. Пушкина, 53 Отпечатано в множительной лаборатории РГАТА 152934, г. Рыбинск, ул. Пушкина, 53

157