15. Словарь терминов

Логика — наука о законах и опера­циях правильного мышления.

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

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

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

Интуитивная логика — интуитивные представления о правильности рассуж­дений, сложившиеся стихийно, в процес­се повседневной практики мышления.

Традиционная логика — первый этап в развитии (формальной) логики, начавшийся в IV в. до н. э. и завершив­шийся в конце XIX — начале ХХ в., ког­да сформировалась современная (мате­матическая, символическая) логика.

Современная (математическая, сим­волическая) логика — имя, обозначаю­щее нынешний этап в развитии логики, начавшийся в конце XIX — начале XX в. и связанный с проникновением в логику математических методов и последующим отделением ее от философии.

Язык — знаковая система, исполь­зуемая для целей коммуникации и поз­нания.

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

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

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

Описание — высказывание, главной функцией которого является сообщение о реальном положении вещей и которое является истинным или ложным.

Норма (нормативное, или деонтичес­кое, высказывание) — высказывание, ус­танавливающее норму поведения, обязы­вающее, разрешающее или запрещающее что-то сделать под угрозой наказания.

Оценка (оценочное высказыва­ние) — высказывание, устанавлива­ющее абсолютную или сравнительную ценность некоторого объекта.

Экспрессив — высказывание, выра­жающее какие-то чувства.

Декларация — высказывание, меня­ющее существовавшее до его произнесе­ния положение вещей.

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

Содержательные выражения язы­ка — выражения языка, имеющие зна­чение, даже взятые сами по себе (поня­тия, высказывания).

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

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

Понятие — общее имя с относи­тельно ясным и устойчивым содержани­ем, используемое в обычном языке или в языке науки.

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

Объем понятия — совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание понятия.

Равнозначность — отношение меж­ду понятиями, объемы которых полно­стью совпадают.

Пересечение — отношение между понятиями, объемы которых частично совпадают.

Подчинение — отношение между по­нятиями, объем одного из которых пол­ностью входит в объем другого.

Исключение — отношение между понятиями, объемы которых полностью исключают друг друга.

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

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

Противоречащие понятия — поня­тия, объемы которых исключают друг друга, полностью исчерпывая объем ро­дового понятия.

Противоположные понятия — поня­тия, объемы которых исключают друг друга, не исчерпывая объем родового понятия.

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

Явное определение — определение, имеющее форму равенства, совпадения содержания определяемого и определя­ющего понятий.

Неявное определение — опреде­ление, не имеющее формы равенства, совпадения содержания определяемого и определяющего понятий.

Деление — операция распределения на группы тех предметов, которые мыс­лятся в делимом понятии.

Классификация — многоступенча­тое, разветвленное деление.

Естественная классификация —

Классификация по важным, существен­ным для рассматриваемых объектов при­знакам.

Искусственная классификация —

Классификация, опирающаяся на второ­степенные, случайные признаки.

Высказывание — грамматически правильное предложение, взятое вмес­те с выражаемым им смыслом (содер­жанием) и являющееся истинным или ложным.

Простое высказывание — высказы­вание, не содержащее других высказы­ваний в качестве своих частей.

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

Отрицание — логическая связка «неверно, что» («не»), превращающая истинное высказывание в ложное, и на­оборот.

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

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

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

Эквивалентность — логическая связка «если и только если» и сложное высказывание, образованное с помощью этой связки и являющееся истинным, когда истинностные значения входящих в него высказываний совпадают.

Категорическое высказывание — простое высказывание, образованное из двух понятий с помощью логических пос­тоянных: «все... есть ...», «некоторые... есть...», «все... не есть...» и «некоторые... не есть ...».

Силлогистика — теория логических связей категорических высказываний.

Модальные понятия — понятия, конкретизирующие качественный ха­рактер связи, установленной в выска­зывании.

Логические модальные понятия —

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

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

Нормативные понятия — понятия «обязательно», «разрешено», «запре­щено» и «(нормативно) безразлично», с помощью которых формулируются нормы.

Логика оценок — раздел модальной логики, исследующий логическую струк­туру и логические связи оценочных вы­сказываний.

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

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

Тезис — утверждение, которое нуж­но доказать.

Основание (аргументы) — положе­ния, с помощью которых доказывается тезис.

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

Антитезис — утверждение, противо­речащее тезису.

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

Подмена тезиса — неосознанное или умышленное замещение тезиса в ходе доказательства каким-то другим утверж­дением.

Содержательная ошибка — попыт­ка обосновать тезис с помощью ложных аргументов.

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

Алогизм — ход мысли, нарушающий какие-то законы или правила логики.

Паралогизм — логическая ошибка, допущенная неумышленно.

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

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

Принцип однозначности — тре­бование, чтобы понятие, используе­мое в процессе рассуждения, являлось именем одного и того же предмета или класса предметов на протяжении всего рассуждения.

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

Неясное понятие — понятие с недо­статочно определенным содержанием.

Неточное понятие — понятие с раз­мытым, не имеющим четких границ объ­емом.

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

Гипостазирование — опредмечива­ние абстрактных сущностей (свойств или

Отношений предметов), приписывание им существования в форме предметов, вещей, лиц.

Роль понятия — употребление по­нятия в одном из нескольких возможных оттенков его смысла.

Обычная роль понятия — употреб­ление понятия для обозначения произ­вольного объекта своего объема.

Материальная роль понятия — употребление понятия для обозначения самого себя, т. е. использование его в ка­честве своего собственного имени.

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

Групповая роль понятия — упот­ребление понятия для обозначения все­го соответствующего класса объектов, взятого как целое.

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

Индуктивное умозаключение (ин­дукция) — умозаключение, в котором связь посылок и заключения опирается не на закон логики, а на некоторые фак­тические или психологические основа­ния.

Правдоподобное рассуждение —

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

Неполная индукция — умозаключе­ние, результатом которого является об­щий вывод о всем классе предметов на основании знания лишь части предметов этого класса.

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

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

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

Иллюстрация — факт или частный случай, призванный укрепить убежден­ность слушающего в правильности уже из­вестного и принятого общего положения.

Образец — ссылка на поведение лица или группы лиц, которому надле­жит следовать.

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

Причинная связь — физически не­обходимая связь между явлениями, при которой за одним из них всякий раз сле­дует другое.

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

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

Обоснование утверждения — про­цедура приведения тех убедительных или достаточных оснований (аргумен­тов), в силу которых данное утверждение должно быть принято.

Теория аргументации — научная теория, изучающая многообразные при­емы воздействия на убеждения людей.

Убеждение — вера, имеющая под собой определенные основания.

Универсальный способ убежде­ния — способ убеждения, эффективный в любой аудитории.

Контекстуальный способ убежде­ния — способ убеждения, эффективный лишь в некоторых аудиториях.

Эмпирические способы убежде­ния — способы убеждения, опирающи­еся на опыт.

Теоретические способы убежде­ния — способы убеждения, опирающи­еся на рассуждение.

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

Косвенное подтверждение — под­тверждение в опыте логических след­ствий обосновываемого положения.

Условие совместимости — требо­вание, чтобы обосновываемое утверж­дение соответствовало имеющимся в рассматриваемой области законам, принципам, теориям и т. п.

Проверка на приложения — ис­следование выдвинутого положения на приложимость его к более широкому, чем исходный, классу исследуемых объ­ектов.

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

Аргумент к интуиции — ссылка на непосредственную, интуитивную очевид­ность выдвигаемого положения.

Аргумент к вере — ссылка на собс­твенную глубокую веру в то, что выдви­гаемое положение должно быть приня­то.

Аргумент к авторитету — ссылка на мнение или действия лица, хорошо заре­комендовавшего себя в данной области своими суждениями или поступками.

Корректная аргументация — аргу­ментация, в ходе которой не нарушают­ся сложившиеся в конкретной области требования к ней.

Некорректная аргументация — аргу­ментация, в процессе которой не соблю­даются требования к процедурам обосно­вания, процессам коммуникации, мораль­ным качествам аргументирующего.

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

Дискуссия — спор, направленный на достижение истины и использующий толь­ко корректные приемы ведения спора.

Полемика — спор, направленный на победу над противоположной сторо­ной и использующий только корректные приемы.

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

Софистика — спор, имеющий своей целью достижение победы над противо­положной стороной с использованием как корректных, так и некорректных приемов.

< Предыдущая