Сидорова Логика2011
.pdf151
СЛОВАРЬ ТЕРМИНОВ
АЛОГИЗМ – ход мысли, нарушающий какие-то законы или правила логики.
АНТИТЕЗИС – утверждение, противоречащее тезису.
АРГУМЕНТ К АВТОРИТЕТУ – ссылка на мнение или действия лица, хорошо зарекомендовавшего себя в данной области своими суждениями или поступками.
ВИД – понятие, подчиненное роду, полностью входящее в его объем.
ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ (ДЕДУКЦИЯ) – умозаключение, в ко-
тором связь посылок и заключения представляет собой закон логики, в силу чего заключение с логической необходимостью вытекает из принятых посылок.
ДЕЛЕНИЕ – операция распределения на группы тех предметов, которые мыслятся в делимом понятии.
ДИЗЪЮНКЦИЯ – логическая связка «или» и образуемое с помощью этой связки сложное высказывание, являющееся истинным, когда хотя бы одно из входящих в него высказываний истинно.
ДИСКУССИЯ – спор, направленный на достижение истины и использующий только корректные приемы ведения спора.
ДОКАЗАТЕЛЬСТВО – процедура установления обоснованности некоторого утверждения путем приведения других утверждений, обоснованность которых уже известна и из которых с необходимостью вытекает первое.
ЕСТЕСТВЕННАЯ КЛАССИФИКАЦИЯ – классификация по важным, существенным для рассматриваемых объектов признакам.
ИМПЛИКАЦИЯ – логическая связка, представляющая в языке логики условную связь («если, то»), а также сложное высказывание, образованное с помощью этой связки и являющееся ложным, когда основание импликативного высказывания истинно, а его следствие ложно.
ИМЯ – выражение языка, обозначающее отдельный предмет или совокупность (класс, множество) сходных между собою предметов.
ИНДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ (ИНДУКЦИЯ) – умозаключение, в ко-
тором связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания.
ИСКУССТВЕННАЯ КЛАССИФИКАЦИЯ – классификация, опирающаяся на второстепенные, случайные признаки.
КАТЕГОРИЧЕСКОЕ ВЫСКАЗЫВАНИЕ – простое высказывание, образованное из двух понятий с помощью логических постоянных: «все ...
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