Основные логические понятия

АКСИОМА (гр. axioma -значимое, достойное уважения, бесспорное) - истинное суждение, которое при дедуктивном построении какой -либо теории принимается без доказательств в качестве исходного положения и которое входит в основу доказательства всех других положений данной теории.

АЛОГИЗМ - нелогичность, отрицание роли логики в по знании, логический разрыв речи, нарушение логической последовательности, связанности, обоснованности.

АЛЬТЕРНАТИВА (лат. alter - чередоваться) - каждая из двух или нескольких исключающих друг друга возможностей, выбор между этими возможностями есть или P ₁ , или Р ₂ .

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

АНАЛОГИЯ (гр. analogia - соответствие, сходство)- подобие, сходство предметов в каких-либо свойствах, признаках или отношениях, при чем таких предметов, которые в целом различии.

АРГУМЕНТ (лат. argumentum - логический довод, основание, доказательство) - мысль, истинность которой проверена и доказана практикой и которая поэтому может быть приведена в обоснование истинности или ложности другого положения.

ВЕРИФИКАЦИЯ (лат. verus - истинный+facio - делаю) - принцип установления осмысленности, то есть возможность данного высказывания (утверждения) оказаться истинным или ложным.

ВЕРСИЯ (лат. versio -оборот, видоизменение) -одно из нескольких возможных, отличных друг от друга объяснений или толкований одного и того же факта, явления, события.

ВЫВЕДЕНИЕ - мысленное действие, в результате которого новое знание получается логически, то есть без обращения непосредственно к опыту или из предшествующего опыта.

ВЫВОДНОЕ ЗНАНИЕ - знание, полученное из ранее установленных и проверенных истин в результате применения законов и правил логики к имеющимся истинным мыслям.

ГИПОТЕЗА (гр. hypothesis - основание, предположение) - вероятное предположение о причине каких-либо явлений, достоверность которого не может быть проверена и доказана в настоящее время, но которое может приблизительно объяснить данные явления.

ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД - способ научного исследования, заключающийся в том, что вначале высказывается несколько гипотез о причинах изучаемых фактов, а затем дедуктивным путем из гипотез выводите следствие.

ДЕДУКЦИЯ (лат. deductio - выведение) - такая форма мышления, когда новая мысль выводится логическим путем из предшествующих мыслей, причем этот процесс анализа идет от общего к частному.

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

ДИЗЪЮНКЦИЯ (лат. disjunctio -разобщение, разделение различие) - операция, выражающаяся в соединении двух и более высказываний с помощью логического союза "или" в новое, сложное суждение.

ДИЛЕММА (гр. di - дважды+lemma - предположение или двойственное предположение) - суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего.

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

ИМПЛИКАЦИЯ (лат. implicite - тесно связывают) - логическая операция, связывающая два высказывания в сложное высказывание с по мощью логической связки "если... то...".

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

КЛАССИФИКАЦИЯ (лат. classis - разряд +facio -делаю) - распределение предметов на классы согласно наиболее существенным признакам, при сущим предметам данного рода.

КОНТРАРНЫЕ ОТНОШЕНИЯ (лат. contrarius - противоположный)- отношения между противными, или противоположными, суждениями, которые вместе не могут быть истинными, но оба вместе могут быть ложными

КОНЪЮНКТИВНЫЕ (СОЕДИНИТЕЛЬНЫЕ) СУЖДЕНИЯ (лат. conjungo- соединяю) - сложное суждение, в котором несколько суждений объединяются союзом "и".

КРУГ В ДОКАЗАТЕЛЬСТВЕ - логическая ошибка в доказательстве, состоящая в том, что истинность какого-либо доказываемого положения обосновывается посредством того же самого положения, которое еще должно быть доказано.

ЛОГИКА (гр. logos - слово, мысль, речь, разум) - знание о законах и формах мышления.

ЛОГИЧЕСКИЙ КВАДРАТ - наглядная схема, облегчающая за поминание характера отношений между не которыми видами суждений.

МОДАЛЬНОСТЬ СУЖДЕНИЯ (лат. modus -мера, накопление) - характеристика суждения в зависимости от характера устанавливаемой им достоверности, то есть от того, утверждается ли в нем возможность, действительность или необходимость чего-либо в чем- либо.

МОДУС (лат. modus - мера, образ, способ) -логический термин, обозначающий свойство предмета, присущее ему непостоянно, а лишь в некоторых состояниях.

МЫШЛЕНИЕ - активный процесс отражения объективного мира в человеческом мозгу в форме суждений, понятий, умозаключений.

НЕПОЛНАЯ ИНДУКЦИЯ - вид индуктивного умозаключения, в результате которого получается какой - либо общий вывод о всем классе предметов на основании знания лишь некоторых однородных предметов данного класса.

ОБОСНОВАННОСТЬ - такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана.

ОБЪЕМ ПОНЯТИЯ (англ concept extension) -отображение в нашем сознании множества предметов, каждый из которых имеет признаки, зафиксированные в исследуемом понятии.

ОПРОВЕРЖЕНИЕ (лат. refutatio ) - доказательств о ложности или несостоятельности какого-либо тезиса.

ОСНОВАНИЕ - часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.

ПОНЯТИЕ - целостная совокупность суждений, в которых что-либо утверждается об отличительных признаках исследуемого объекта.

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

ПРЕДИКАТ (лат. praedicatum -сказанное) -то, что высказывается (утверждается или отрицается) в суждении о субъекте.

ПРИЗНАК -все то, в чем предметы, явления сходны друг с другом или в чем они отличаются друг от друга.

ПРОБЛЕМА (гр. problema - задача, задание)-теоретический или практический вопрос, который необходимо изучить и разрешить.

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

СИНТЕЗ (гр. synthesis - соединение, сочетание) - мысленное соединение частей предмета, расчлененного в процессе анализа, установление взаимодействия и связей частей и по знание этого предмета как единого целого.

СОРИТ (гр. sorit - куча) - вид сложного силлогизма, в котором приводится только последнее заключение, проводимое через ряд посылок, остальные же промежуточные заключения не высказываются, а только подразумеваются.

СОФИЗМ (sophisma - измышление, хитрость) - логическая уловка, умышленно ошибочное рассуждение, которое выдается за истинное.

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

ТАВТОЛОГИЯ (гр. tauto - то же самое + logos - слово) - выражение, повторяющее виной словесной форме ранее сказанное.

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

ТЕРМИН (лат. terminus - предел, конец, граница) - слово или словосочетание, являющееся точным названием строго определенного понятия.

ТРАДУКЦИЯ (лат. traductio - перемещение)-умозаключение, в котором посылки и заключение являются суждениями одинаковой общности, то есть когда вывод идет от знаний определенной степени общности к новому знанию, но той же степени общности.

ТРИХОТОМИЯ (гр. tricha - на три части +tome - сечение) - деление объема понятия на три части.

УМОЗАКЛЮЧЕНИЕ - форма мышления или логическое действие, в результате которого из одного или нескольких неизвестных суждений получается новое суждение, в котором содержится новое знание.

ФАКТ (лат. factum - сделанное, совершившееся) - действительное, реально существующее, невымышленное событие или явление.