Терминологический словарь

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

Абстрактные понятия – это понятия, которые отражают свойства и отношения между предметами.

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

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

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

Аналогия отношений – в этом умозаключении речь идёт об отношениях между предметами.

Аналогия свойств – здесь сравниваются два предмета (два класса предметов), а переносимыми признаками являются свойства этих предметов (классов).

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

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

Аргументация– это приведение доводов с целью изменения позиции или убеждений другой стороны.

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

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

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

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

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

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

Выполнимые (фактические) формулы – формулы, которые могут принимать как значение «истина», так и значение «ложь».

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

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

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

Дебаты – это обмен мнениями по какому-то конкретному вопросу, нерешенной проблеме: типичный пример – парламентские дебаты.

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

Деление дихотомическое – деление, при котором объём делимого понятия распределяется на два противоречащих друг другу класса.

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

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

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

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

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

Дизъюнктивная нормальная форма формулы логики высказываний имеет вид В1, В2,…Вm, где В1, В2,…Вm – элементарные конъюнкции и m ≥ 1.

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

Диспут – публичный спор по научным и общественно-значимым проблемам.

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

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

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

Единичные понятия – это понятия, объём которых содержит только один элемент.

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

Закон достаточного основания – всякая истинная мысль должна иметь достаточное основание.

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

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

Закон тождества – всякая мысль в процессе рассуждения должна быть тождественна самой себе.

Закрытый вопрос – вопрос, на который существует конечное, чаще всего достаточно ограниченное количество ответов.

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

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

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

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

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

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

Интуиционизм – одно из направлений в математике, которое в интуиции видит основание математики и формальной логики.

Исчисление высказываний – раздел математической логики, изучающий логические операции с простыми высказываниями, которые объединяются в сложные высказывания с помощью пропозициональных связок, сходных с принятыми в обычной речи союзами: «и» (в математической логике представлен символом &), «или» (v), «если…, то…» (→), «если … и только если…», «тогда и только тогда, когда» (↔), а также с отрицанием, обозначаемым частицей «не» ().

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

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

Квантор указывает на количество суждения и выражается словами: некоторые, все, ни один, ни одна, ни одно.

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

Конкретные понятия – это понятия, которые отражают предметы.

Конъюнктивная нормальная форма формулы логики высказываний (КНФ) имеет видВ1&B2&…&Bm, где В1, В2,…, Вm – элементарные дизъюнкции и m ≥ 1.

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

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

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

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

Логический квадрат – диаграмма, служащая для мнемонического запоминания некоторых логических отношений между суждениями A, E, I, O.

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

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

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

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

Неполный ответ – ответ, в котором содержится информация лишь относительно отдельных элементов или составных частей вопроса.

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

Неправильный ответ – ложное высказывание.

Несовместимые понятия – это понятия, объёмы которых не имеют общих элементов.

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

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

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

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

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

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

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

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

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

Объем– это множество предметов мысли, объединенных в понятии.

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

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

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

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

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

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

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

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

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

Ответ – это высказывание, содержащее информацию, затребованную в вопросе.

Открытый вопрос – вопрос, на который существует бесчисленное множество ответов.

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

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

Перекрещивающиеся (находящиеся в отношении пересечения) понятия – это понятия, объёмы которых частично совпадают.

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

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

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

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

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

Полныйответ – ответ, включающий информацию по всем элементам и составляющим частям вопроса.

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

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

Правильный ответ – это истинное высказывание.

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

Предикат (P) – то, что сказывается о субъекте или логическое сказуемое.

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

Проблема неразвитая – нестандартная задача, для решения которой нет алгоритма.

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

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

Простой вопрос – вопрос, который выражен простым предложением.

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

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

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

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

Прямая аргументация направлена непосредственно на реципиента (субъект, воспринимающий адресованное ему сообщение).

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

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

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

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

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

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

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

Распределённым называется термин, взятый в полном объёме.

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

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

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

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

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

Слабый ответ – высказывание, которое содержит неопределённую информацию.

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

Сложный вопрос – вопрос, который выражается с помощью различных сложносочинённых предложений. Например: «Кто и когда должен давать подписку о невыезде?», или «Вы предпочитаете поехать на море или провести лето в деревне?».

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

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

Совершенной дизъюнктивной нормальной формой (СДНФ) некоторой формулы называется её ДНФ, которая удовлетворяет следующим условиям:

а) в ней нет двух одинаковых дизъюнктивных членов, и ни в одном дизъюнктивном члене нет двух одинаковых конъюнктов;

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

в) в каждом дизъюнктивном члене содержатся все переменные данной формулы.

Совершенной конъюнктивной нормальной формой (СКНФ) некоторой формулы называется такая её КНФ, которая удовлетворяет следующим условиям:

d) в ней нет двух одинаковых конъюнктивных членов, и ни в одном конъюнктивном члене нет двух одинаковых дизъюнктов;

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

f) в каждом конъюнктивном члене содержатся все переменные данной формулы.

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

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

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

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

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

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

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

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

Субъект (S) – предмет мысли или логическое подлежащее.

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

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

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

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

Тезис доказательства – это положение, истинность которого следует доказать.

Теоретические термины – объекты, которые не являются наблюдаемыми.

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

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

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

тождественно-ложные формулы – формулы, которые принимают только значение «ложь».

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

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

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

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

Фигура– это разновидность силлогизма в зависимости от местоположения среднего термина.

Частное суждение – суждение, в котором речь идёт о части предметов, мыслимых в субъекте.

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

Члены деления – это понятия, которые образуются в результате деления.

Элементарной дизъюнкцией называется формула, которая имеет вид А1vА2v…vАn, где n ≥1, а Аi (i ≤ n ) есть или переменная, или отрицание переменной.

Элементарной конъюнкцией называется формула, которая имеет вид А1, А2,…, Аn, где n ≥ 1, Аi (I ≤ n) – либо переменная, либо отрицание переменной.

Эмпирические термины обозначают наблюдаемые объекты.

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

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

Приложение. Извлечение из рабочей программы дисциплины