ИСПОЛЬЗУЕМАЯ ТЕРМИНОЛОГИЯ

 

ТЕРМИН – это слово или словосочетание для обозначения конкретных и абстрактных объектов (в логике - предметов).

Под ПРЕДМЕТОМ в логике понимается все то, о чем можно что-либо утверждать или отрицать.

ЛОГИКА – наука о законах им формах мышления, направленного на познание мира.

ФОРМАЛЬНАЯ ЛОГИКА – наука о структурной (логической) форме мышления и законах выводного знания.

ЛОГИЧЕСКАЯ ФОРМА МЫШЛЕНИЯ – определенный способ связи элементов мысли между собой.

ЛОГИЧЕСКАЯ ПРАВИЛЬНОСТЬ – это оценка познавательных действий человека (т.е. в какой форме, насколько последовательно человек может рассуждать).

ИСТИННОСТЬ – оценка содержания мысли, ее «совпадения» с объектом познания, точность отражения в мысли объекта познания.

ТРАДИЦИОННАЯ ЛОГИКА – наука о законах и принципах выводимого знания, наряду с классической и неклассической логикой, один из основных разделов логики. Традиционной логике свойственна нестрогая и неполная формализация. Основными вопросами традиционной логики являются вопросы исследования умозаключений, суждений, понятий, определений.

КЛАССИЧЕСКАЯ ЛОГИКА – одно из направлений современной математической логики, в котором каждому высказыванию приписывается значение истинности или лжи. В отличие от традиционной логики, основывающейся на этом же принципе, классическая логика связана с применением метода формализации.

ФОРМАЛИЗАЦИЯ – метод исследования, связанный с использованием искусственного языка, соответствующего тому, что системы логических рассуждений трансформируются в формализованные исчисления, состоящие из формул.

НЕКЛАССИЧЕСКАЯ ЛОГИКА (МОДАЛЬНАЯ) – связана с применением методов логики для анализа рассуждений, включающих в себя модусы суждений, их модальности.

МОДУС – разновидность.

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

ПРИЗНАКАМИ называют мысли о свойствах предметов и явлений.

СУЩЕСТВЕННЫЕ ПРИЗНАКИ – устойчивые, необходимые, общие для ряда предметов или явлений признаки, выделяющие их из числа других им подобных.

РОДОВОЕ ПОНЯТИЕ – понятие, которое выражает существенные признаки класса предметов, являющегося родом каких-нибудь видов.

ВИДОВОЕ ПОНЯТИЕ - понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода.

НЕСУЩЕСТВЕННЫЕ ПРИЗНАКИ: приобретая или теряя их, предмет или явление остается самим собой.

ВЫСКАЗЫВАНИЕ – отдельное предложение естественного или искусственного языка, которое рассматривается только в связи с определением его истинности.

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

РАСПРЕДЕЛЕНИЕ ТЕРМИНОВ В СУЖДЕНИИ – отношение между объемами терминов (субъектов и предикатов) в суждении.

КВАНТОР – логический оператор логики предикатов, выражающий отношения всеобщности или единичности.

КОНЪЮНКЦИЯ – логический оператор, соответствующий союзу «и».

ДИЗЪЮНКЦИЯ – логический оператор, предназначенный для экспликации грамматического союза «или».

ИМПЛИКАЦИЯ – логический оператор, выражающий причинно-следственные отношения.

ОТРИЦАНИЕ – логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется ложное высказывание.

ПЕРЕМЕННАЯ – буква или символ, на место которого может быть поставлено любое значение из выбранной области интерпретации.

КОНСТАНТА – в логике постоянное выражение, значение которого не меняется.

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

ЗАКЛЮЧЕНИЕ – новое знание, полученное путем логических рассуждений из предшествующих посылок.

ВЫВОД – логический переход от посылок к заключению.

ЛОГИЧЕСКОЕ СЛЕДСТВИЕ – суждение, получаемое в результате вывода из посылок по логическим правилам.

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

ДЕДУКЦИЯ – последовательность мыслей или суждений, каждый компонент которой логически вытекает из предыдущих мыслей или суждений.

ИНДУКЦИЯ – последовательность мыслей от частного знания к общему, т.е. мысль наводится на какое-либо общее правило, присущее всем единичным предметам какого-либо класса.

АНАЛОГИЯ – подобие, сходство предметов в каких-либо свойствах или признаках, на основании которого делается суждение об их тождественности.

ДОКАЗАТЕЛЬСТВО – в широком смысле логическое действие, в процессе которого устанавливается истинность какой-либо мысли.

ТЕЗИС – мысль или положение, которое требуется доказать.

АРГУМЕНТ – основание логического доказательства тезиса.

ДЕМОНСТРАЦИЯ – логическое рассуждение, в процессе которого из аргументов выводится истинность или ложность тезиса.

АНТИТЕЗИС – суждение, противопоставляемое тезису в процессе спора или полемики.

ОПРОВЕРЖЕНИЕ – доказательство ложности тезиса.

ЛОГИЧЕСКИЕ ОШИБКИ – ошибки в умозаключениях, рассуждениях, определениях понятий, доказательствах и опровержениях.

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

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

ПАРАДИГМА – пример, образец.

 

 

[1] Этот прием широко применяется в тех случаях, когда хотят сделать понятие о предмете, явлении или событии более ясным, наглядным.

[2] Утверждение мы понимаем как утверждение истинности основания, а не как утвердительную посылку саму по себе.

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