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

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

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

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

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

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

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

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

Аргумент – основание логического доказательства, тезиса.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дефиниция – логическая операция определения.

Дискурсивный – обоснованный предыдущими рассуждениями.

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

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

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

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

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

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

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

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

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

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

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

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

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

Классическое определение истины – дано Аристотелем. Согласно его определению истина – это совпадение мысли о предмете (принцип соответствия) с самим предметом.

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

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

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

1) ложное основание или основное заблуждение, когда доказываемый тезис пытаются вывести из таких посылок, которые сами еще не доказаны;

2) предвосхищение основания, когда доказываемый тезис пытаются вывести из таких посылок, которые сами еще не доказаны;

3) порочный круг в доказательстве, когда тезис выводится из посылок, которые в свою очередь выводятся из тезиса;

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

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

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

Логическое следование – отношение, существующее между посылками и обоснованное выводимыми из них заключениями. Понятие логического следования обычно характеризуется через связи с другими логическими понятиями, и прежде всего через понятия логического закона. Из высказывания А логически следует высказывание В, когда импликация «Если А, то В» является частным случаем закона логики.

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

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

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

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

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

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

Метаязык – язык, на основе которого производится исследование какого-то другого языка.

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

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

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

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

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

Общеутвердительное суждение – суждение, имеющее вид: «ВсеS есть P».

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

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

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

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

Опровержение – доказательство ложности тезиса.

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

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

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

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

Парадигма – пример, образец.

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

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

Полисемия – многозначность слова.

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

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

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

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

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

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

Риторика –учение об ораторском искусстве, теория красноречия.

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

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

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

Смысл – содержание знакового выражения; мысль, содержащаяся в слове.

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

Сокращенный силлогизм (энтимема) – силлогизм в котором пропущена одна или несколько посылок.

Софизм – логическая уловка с целью умышленного выведения из правильных посылок ложного вывода.

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

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

Тезаурус – словарь для поиска какого-либо слова по его признакам.

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

Термин - слово или словосочетание.

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

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

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

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

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

Формализованный язык – искусственный язык формально-логических исчислений, язык знаков, формул, символов.

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

[1]Законы Мерфи https://www.bakililar.az/misc/merphy/merphy9.html