VI. Словарь основных терминов и понятий

Аналогия- умозаключение на основе сходства сравни­ваемых предметов (от одного частного явления к другому).

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

Аналогия предметов - то же, что и аналогия свойств.

Аналогия свойств - аналогия, в основе которой лежит сходство признаков-свойств сравниваемых предметов.

- аналогия на основе полного подо­бия, изоморфизма.

Антецедент - первый член условного (импликативного) суждения (логическое основание).

Антитезис - положение, противоречащее тезису.

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

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

Атрибутивное суждение - суждение о свойствах пред­метов.

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

Вероятностные умозаключения - то же самое, что и правдоподобные умозаключения

Видовой признак - признак, отличающий подкласс внутри класса.

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

Вопрос восполняющий(<<что»-вопрос) - вопрос о но­вых признаках исследуемого предмета.

Вопрос закрытый— вопрос, предполагающий выбор от­вета из прилагаемого списка.

Вопрос корректный- это вопрос, строго соответст­вующий предмету вопроса.

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

Вопрос наводящий- только подготавливает или облег­чает человеку понимание темы вопроса.

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

Вопрос простой- вопрос, заключающий в себе одно требование о недостающей информации.

Вопрос прямой - служитнепосредственно достижению поставленной цели.

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

Вопрос уточняющий- вопрос, не требующий новой информации о предмете, а предполагающий уяснение позиции опрашиваемого (<<ли»-вопрос).

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

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

Дедуктивное умозаключение- умозаключение от об­щего к частному другое название логически-необходимых умо­заключений.

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

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

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

Демонстративное умозаключение- то же, что и необ­ходимое умозаключение.

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

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

Дефиниендум- определяемая часть дефиниции.

Дефиниенс- определяющая часть дефиниции.

Дефиниция понятия- то же, что и определение поня­тия.

Дизъюнкция слабая- логический союз (функтор), оз­вучиваемый как "или". Дает истинное сложное суждение, если истинно хотя бы одно из входящих в него суждений.

Дизъюнкция строгая- разделительный союз, образую­щий сложное суждение, истинное, когда истинно только одно из исходных суждений.

Дилемма- суждение, содержащее две альтернативы (не­совместимые позиции).

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

Доказательство апагогическое- «отводящее», непря­мое доказательство (то же, что и доказательство от противного, через антитезис).

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

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

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

Закон мышления~ необходимая, повторяющая связь мыслей.

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

Закон обратного соотношения объема и содержания понятия— закон, согласно которому, чем шире содержание по­нятия, тем уже его объем, и наоборот.

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

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

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

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

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

Индукция неполная- индуктивное умозаключение от знания части элементов класса к знанию обо всем классе.

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

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

Индукция через простое перечисление- то же, что и популярная индукция.

Индукция через элиминацию- то же, что индукция ме­тодом исключения.

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

Истинность— соответствие мысли внешней, несобст­венной по отношению к ней действительности.

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

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

Квантор существования- квантор, указывающийна то,что субъект категорического суждения берется частично ("Неко­торые", "Существует").

Класс- совокупность объектов с общими характеристи­ческими признаками.

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

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

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

Консеквсит- второй член импликативного суждения (логическое следствие).

Контекстуальноеопределение - определение на основе знания отношений предмета с близкими ему объектами в неко­тором окружении (контексте).

Контрадикторность- то же, что и противоречивость.

Контрарность- то же, что и противоположность.

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

Косвенное доказательство- доказательство, основан­ное на введении антитезисов, т. е. несовместимых с тезисом по­ложений, идоказательство их ложности.

Косвенное опровержение- аналогично косвенному до­казательству; опирается на введение одного или нескольких ан­титезисов и установлении истинности одного из них.

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

Круги Эйлера- изображение объемов понятий с помо­щью кругов, предложенное математиком Л. Эйлером (1707-1783).

Логика высказываний- то же, что и пропозициональ­ная логика.

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

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

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

Логичность- соответствие логическим законам и прин­ципам;последовательность, отсутствие логических ошибок.

Ложность- истинностная характеристика суждения, не соответствующего действительности.

Меньшая посылка- посылка силлогизма, содержащая меньший термин, субъект заключения.

Меньший термин- субъект заключения простого кате­горического силлогизма.

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

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

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

Модальный оператор- слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обяза­тельно" и др.

Модусумозаключении - разновидность умозаключе­ния.

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

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

Нераспределенный термин- субъект или предикат простого категорического суждения, если он выступает не в полном объеме.

Несовместимые понятия- понятия, у которых нет об­щих элементов.

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

Нестрогая аналогия— частичная, неполная, основанная mi отношениигомоморфизма.

Неявное определение- определение, основанное на произвольных признаках, существенность которых еще не уста­новлена.

Обобщение понятия- переход к более широкому по объему понятию.

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

Обращение- преобразование простого категорического суждения без изменения его качества путем подстановки на ме­сто субъекта его старого предиката, а на место предиката - ею старого субъекта.

Общее понятие- понятие, объём которого составляет более чем один предмет.

Объем понятия- количество предметов, на которые указывает данное понятие.

Ограничение понятия- операция образования нового понятия с меньшимобъемом: переход от рода к виду.

Описание- перечисление всех признаков предмета, без учёта их существенности.

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

Определение аксиоматическоеопределение, в котором понятие вводитсяпа основе некоторых исходных положений (аксиом).

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

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

Определениеиндуктивное - уточняющее определение.

Определение неявное- определение косвенного харак­тера, не содержащее указаний на существенные признаки опре­деляемых предметов.

Определение явное- определение, в котором содержит­ся прямое указание на существенные признаки определяемых предметов.

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

Определение остенсивное- определение значения сло­ва через непосредственное указание на сам предмет.

Определение реальное- определение понятия, через указания на признаки предмета, отображаемого данным поняти­ем ,

Опровержение— операция по обоснованию ложности некоторого положения.

Основание деления- признак, на основе которого про­изводится деление объёма понятия.

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

Отличительный признак- признак, присущий только данному предмету или классу предметов.

Отношение тождества(эквивалентность понятий) - от­ношение между понятиями, объемы которых в точности совпа­дают.

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

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

Пересечение понятий- отношение, характеризующее понятия с частично совпадающимиобъемами.

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

Подкласс- часть класса.

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

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

Полисиллогизм- сложный силлогизм.

Полная индукция- индуктивное умозаключение, осно­ванное на знании каждого элемента класса и формирующее этознание в виде общего суждения.

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

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

Понятие единичное- понятие, объем которого состав­ляет один предмет.

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

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

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

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

Понятиясовместимые - понятия, у которых есть общие элементы в объемах.

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

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

Понятия безотносительные- это такие понятия, в ко­торых мыслятся как самостоятельные, вне зависимости от дру­гих МОМН'1 ИЙ.

Понятия соотносительные- понятия, которые сущест­вуюттолько в связке друг с другом. Например, "правое - левое¹', "начальник - подчинённый", "учитель — ученик".

Понятия регистрирующие- общие понятия, предпола­гающие закрытый (фиксируемый определённым числом) объём.

Понятия нерегистриругощие- понятия с открытым объёмом.

Понятия равнообъемные- то же, что и тождественные понятия.

Посылки умозаключения- суждения, из которых в умозаключении выводится новое суждение (заключение).

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

Превращение- преобразование простого категориче­ского суждения в новое суждение противоположного качества,

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

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

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

Признак- все то, на основе чего мы отличаем предметы друг от друга.

Признак существенный- признак, без которого данный предмет не мыслим.

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

Просиллогизм- простой силлогизм, предшествующий другому силлогизмув сложном силлогизме.

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

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

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

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

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

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

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

Разделительное доказательство- вид косвенного дока­зательства, в котором истинность тезиса выводится из ложности всех антитезисов.

Распределенность терминов категорического суждения- соотношение объёмов субъектов и предикатов суждения.

Распределенный термин- субъект или предикат, взя­тый поотношению к другому термину в полном объеме.

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

Рефлексивность- свойство двуместных отношений, при котором предмет находится в этом отношениик самому се­бе (равенство).

Родовой признак- признак, присущий всем группам данного класса предметов.

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

Селективная индукция- тоже, что и индукция через отбор.

Симметричность- свойство двуместных отношений. при котором это отношение сохраняется,если предметы поме­нять местами.

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

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

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

Содержание понятия- отраженные в понятии признаки предметов.

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

Сорит- сложно-сокращенный силлогизм, с регулярно пропускаемой большей или меньшей посылкой.

Сравнимые понятия- понятия, у которых есть ближайшийобщий род. Например, "собака" и "кошка" - сравнимые понятия: ближайший общий род "животные". Ещё сравнимыми понятия­ми называют такие понятия, в содержании которых присутству­ет, по крайней мере, один общий признак.

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

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

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

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

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

Суждение единичное- суждение об одном предмете.

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

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

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

Суждение общеутвердительное- суждение, в котором утверждается наличие признака у каждого элемента некоторого класса.

Суждение простое- суждение, представляющее собой одно утверждение или отрицание; состоит из одного субъекта и одного предиката.

Суждение с отношением(реляционное) - суждение, в котором утверждается или отрицается наличие отношения меж­ду какими-либо предметами.

Суждение сложное- суждение, в котором несколько субъектов и предикатов.

Суждения совместимые- суждения, которые могут быть одновременно истинными.

Суждение существования- то же, что и экзистенциаль­ное суждение.

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

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

Суждение экзистенциальное- суждение, в котором ут­верждается или отрицается существование чего-либо.

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

Тезис- положение, которое обосновывается (как истин­ное для доказательства, как ложное для опровержения).

Термин- слово, соднозначно закреплённым за ним со­держанием.

Транзитивность- свойство двуместных отношений, при котором, если отношение имеет место между первым и вторым предметом, а также вторым и третьим, то оно имеет место меж­ду первым и третьим.

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

Умозаключение непосредственное - умозаключение па основе одной посылки.

Умозаключение опосредованное- умозаключение на основе нескольких посылок.

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

Фигура простого категорического силлогизма- виды силлогизма, различаемые согласно положению среднего терми­на в посылках.

Форма мышления (логическая)- способ связи элемен­тов содержания мысли.

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

Эквивалентность суждений - отношение между сужде­ниями, имеющими одинаковые значения истинности для всех условий.

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

Энтимема- простой силлогизм, в котором пропущено одно из трех составляющих его суждений.

Энумеративная индукция- то же, что и индукция че­рез простое перечисление.

Эписиллогизм- простой силлогизм, следующий за дру­гим простым в составе сложного силлогизма.

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

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

Язык - система чувственно воспринимаемых знаков, ис­пользуемая для фиксации, накопления и переработки информации.

Язык естественный- обычный звуковой язык, стихий­но созданный тем или иным народом.

Языки логики- искусственные языки, используемые в современной логике (язык логики высказываний, например).