Глоссарий

Алетическая модальность– оценка положения вещей (ситуаций, событий), выражаемая понятиями «необходимо», «возможно», «случайно», «невозможно».

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

Аппрейзоры– речевые акты для выражения оценок и предпочтений.

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

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

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

Верификация – частичное эмпирическое обоснование гипотезы.

Вероятность– характеристика степени возможности наступления некоторого события, соотнесенного с определенными условиями его свершения.

Версия – предположение относительно того или иного события или факта; предварительное их описание или объяснение; то же, что и гипотеза.

Видовое понятие – понятие, объем которого входит как (правильная) часть в объем другого (родовогопо отношению к нему) понятия.

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

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

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

Гипотеза – положение, выдвигаемое в качестве предварительного описания или объяснения некоторого явления или события.

Дедуктивный вывод– умозаключение, построенное в соответствии с правилами дедуктивной логики.

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

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

Дефиниендум – выражение, которое подлежит определению (сокр. Dfd).

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

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

Дизъюнкция– логический союз, близкий по смыслу союзу естественного языка «или».

Дихотомическое деление– мысленное распределение элементов объема общего понятия на два непересекающихся множества, полностью исчерпывающих объем делимого понятия.

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

Доказывание – мыслительный процесс, результатом которого оказывается полное обоснование высказываемого суждения; форма аргументативного рассуждения, которое направляется вопросом «Если предположить, что суждение Х истинно, то из каких других уже известных истинных суждений Y,…, Z оно может быть выведено с помощью дедуктивных правил?».

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

Достаточное условие:обстоятельство (ситуация, признак)Хявляется достаточным условием обстоятельстваY, если всегда, когда имеетсяХ, имеется иY, т.е. для каждого случая истинно суждение «Если Х, тоY».

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

Довод– то же, что иаргумент.

Единичное имя– представляет в мышлении (замещает) отдельный (единичный) предмет, является его обозначением.

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

Единичное суждение – суждение, в котором его субъект представлен единичным именем (понятием).

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

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

Закон обратного отношения между объемами и содержаниями понятий: всегда, когда объем одного понятия составляет часть объема другого, содержание второго понятия составляет часть содержания первого.

Закон противоречия: из двух противоречащих суждений одно обязательно ложно, т.е. Неверно, что Х и не-Х.

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

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

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

Знаки-символы– большинство слов и словосочетаний естественного языка, связь которых с представляемыми объектами устанавливается либо стихийно (при формировании языка и практическом усвоении его отдельным человеком), либо по соглашению (дефинитивно).

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

Идентификационное рассуждение– мыслительный поиск решения задачи по идентификации искомой личности.

Импликация– логический союз, близкий по смыслу условному союзу «если, то».

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

Индивидуализирующая дефиниция– в качестве смысла эта дефиниция приписывает единичному имени содержание единичного понятия (определенной дескрипции).

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

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

Истина – в ее классическом понимании представляет собой отношение соответствия (отражения) высказывания или теории выделяемому и описываемому ими фрагменту реальности.

Категорическое суждение – простое суждение, в котором предикат утверждается или отрицается относительно субъекта – без формулирования какого – либо условия.

Квалификационное рассуждение– мыслительный поиск, направляемый вопросом «Принадлежит ли предмета множеству (таксону) однотипных предметовТ определенной классификации?»

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

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

Конъюнкция– логический союз, близкий по смыслу союзам естественного языка «и», «а также».

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

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

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

Логический квадрат– схема в виде прямоугольника (квадрата), служащая для графической иллюстрации логических отношений между категорическими суждениями.

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

Логические отношения– отношения между суждениями по их логической форме (в отвлечении от их конкретного содержания).

Логическое подчинение – а) разновидность отношения совместимости между объёмами двух понятий; б) разновидность отношения между двумя сравнимыми категорическими суждениями (их формулами).

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

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

Метаязык – язык, средствами которого описываются и исследуются свойства (синтаксис, семантика или прагматика) другого языка, называемого объектным языком.

Методология – учение о методах познания и деятельности.

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

Множественное суждение – простое суждение, в котором имеются кванторные слова «все» («каждый», «всякий») или «некоторые» («существует», «иные», «многие»).

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

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

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

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

Мышление – процесс решения задачи, поиск ответа на ее вопрос в ситуации, когда найти готовый ответ на этот вопрос не представляется возможным.

Необходимоеусловие: обстоятельствоХявляется необходимым условием обстоятельстваY, если всегда, когда отсутствуетХ, отсутствует иY, т.е. для каждого случая истинно суждение «Если неверно, чтоХ, то неверно, чтоY».

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

Неправдоподобноесуждение – суждение, которое противоречит твердо установленным фактам, законам природы и логическим законам.

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

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

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

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

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

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

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

Объяснение– вид рассуждения, направляемого поиском ответа на вопрос «Какова причина явления, описываемого суждением р?».

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

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

Отношение контрадикторности имеет место между двумя сравнимыми суждениями, когда они несовместимы как по истине, так и по лжи.

Отношение контрарностимежду суждениями имеет место тогда, когда эти суждения не могут быть оба (одновременно) истинны.

Отношение логического подчинениясужденияYсуждениюХимеет место тогда, когда при истинностиХистинно и Y, а при ложностиYложно иХ.

Отношение субконтрарностимежду суждениями имеет место тогда, когда они не могут быть оба (одновременно) ложными.

Отрицание внутреннее входит в состав простых отрицательных и суждений (их формул) в виде выражения «не есть» («не суть», «не является»).

Отрицание внешнеевыражается словами «неверно, что» или частицей «не», предваряющие отрицаемое суждение.

Отчетная дефиниция– отвечает на вопрос, какой смысл и значение приписывается языковому выражению в сложившейся ранее языковой практике.

Паралогизмы – непреднамеренные, «естественные» логические ошибки.

Параметр – символ, замещающий простое суждение или общее понятие при переводе его на логический язык (p, g ,r, s и т.д., или P, Q, R, S и т.д.).

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

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

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

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

Понимание – операция мышления, связанная с усвоением нового содержания посредством включения его в систему устоявшихся понятий и смыслов.

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

Прагматический аспект языка – внелингвистические факторы, учитываемые при установлении значений слов или словосочетаний; воздействие языковых выражений на психику, сознание людей, их поведение.

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

Предикат суждения – понятие, посредством которого предметы, мыслимые в субъекте, каким-либо образом характеризуются в этом суждении.

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

Признак– характеристика предметов, которая указывает на наличие или отсутствие у них тех или иных свойств или отношений.

Признак индивидуальной идентичности – какой-либо факторJ, отражающий уникальное свойство единичного объектаа.

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

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

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

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

Принцип непротиворечивости – требование, согласно которому, утверждая (принимая) некоторое суждение, не следует отвергать (отрицать) того же самого.

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

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

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

Предметная (реальная) дефиниция – характеризует и выделяет однозначным образом (специфицирует) сами предметы, которые представляет в мышлении определяемое языковое выражение.

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

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

Софизмы – преднамеренные, сознательно допущенные и в этом смысле «искусственные» нарушения логических правил и законов.

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

Семантический аспектязыка– отношения знаков к объектам внеязыковой действительности, т.е. к тому, что они в данном языке представляют (обозначают).

Семиотика – общая теория знаковых систем. Содержит три раздела: синтактику, семантику и прагматику. Синтактика характеризует отношения между знаками как формальными (материальными) объектами. Семантика описывает отношения между знаками и действительностью, т.е. тем, что они обозначают. Прагматика описывает отношения между знаками и теми, кто эти знаки создает и использует в целях познания и коммуникации.

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

Сложное суждение– суждение, в котором содержится одно или несколько других суждений.

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

Современная логика– нынешний этап в развитии формальной логики, начавшийся во второй половинеXIXв. – началеXXв.

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

Софизмы – преднамеренные, сознательно допущенные и в этом смысле «искусственные» нарушения логических правил и законов.

Сравнимые категорические суждения– суждения, у которых одинаковые субъекты и предикаты.

Средний термин– общее для обеих посылок силлогизма понятие.

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

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

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

Сущность предмета (или явления) – совокупность скрытых от непосредственного восприятия свойств и отношений его с другими предметами, на основе которых можно объяснить наблюдаемые свойства и отношения.

Таксон – вид или тип предметов (явлений, состояний, деяний) некоторой их классификации.

Телеологическое объяснение – объяснение, основу которого составляет подведение объясняемого поступка или деяния под общепринятые способы (алгоритмы, технологии) поведения в типовых ситуациях достижения определенных целей.

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

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

Фигуры силлогизма– конструкции, изображающие возможные варианты расположения среднего термина в посылках силлогизма.

Часть объема понятия – вид предметов, выделяемых в объеме родового понятия; его выделение означает выявление определенных различий внутри множества мыслимых в данном понятии предметов.

Экспрессивы – речевые акты для выражения настроения, эмоционального отношения к чему-либо.

Элемент объемапонятия – любой отдельно взятый предмет, входящий в объем этого понятия.

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

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

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

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

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