Глоссарий

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

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

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

Аргументативное рассуждение – тип рассуждения, направляемого вопросом «Истинно ли суждение р?»

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

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

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

Введение конъюнкции -дедуктивное правило, позволяющее перейти от признания отдельных суждений к признанию их конъюнкции:

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

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

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

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

Вычислительное рассуждение – тип рассуждения, направляемого вопросами вида «Кто?» «Что?» «Когда?» «Где?» «Сколько?»

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

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

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

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

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

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

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

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

Единичное имя - представляет в мышлении отдельные (единичные) предметы.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логический анализ сложных суждений представляет собой «перевод» этих суждений на логический язык, т.е. представление их как формул этого языка.

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

«Логический квадрат» - диаграмма, служащая для графической иллюстрации логических отношений между категорическими суждениями.

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

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

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

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

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

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

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

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

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

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

Модус поненс - правило дедуктивной логики:

Модус толленс – дедуктивное правило:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Редуктивное умозаключение –индуктивный вывод, основанный на правиле , где выражение PbX означает «Х более правдоподобно, чем ранее, но при условии истинности Х→Y и Y».

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

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

Семиотика– общая теория знаковых систем

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

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

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

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

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

Средний термин (terminus medius)- общее для обеих посылок силлогизма понятие

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

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

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

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

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

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

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

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

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

Удаление конъюнкции -дедуктивное правило: или .

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

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

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

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

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

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

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

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

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