ОСНОВНЫЕ ЛОГИЧЕСКИЕ ПОНЯТИЯ
АКСИОМА (гр. axioma —значимое, достойное уважения, бесспорное) — истинное суждение, которое при дедуктивном построении какой - либо теории принимается без доказательства в качестве исходного положения и которое входит в основу доказательства всех других положений данной теории.
АЛГОРИТМ — точное и легко понимаемое описание (пред писание, правило, рецепт) механически выполняемого шаг за шагом единообразного решения любой задачи из какого-либо класса задач данного типа.
АЛОГИЗМ — нелогичность, отрицание роли логики в по знании, логический разрыв речи, нарушение логической последовательности, связанности, обоснованности.
АЛЬТЕРНАТИВА (лат. alter —чередоваться) — каждая из двух или нескольких исключающих друг друга возможностей, выбор между этими возможностями есть или P1, или Р2.
АМФИБОЛИЯ (гр. amphibolia — двусмысленность, двойственность) —логическая ошибка, заключающаяся в том, что грамматическое выражение допускает его двоякое толкование.
АНАЛИЗ (гр. analysis — разложение, расчленение, разбор)—логический прием, метод исследования, состоящий в том, что изучаемый предмет мысленно расчленяется на составные элементы, каждый из которых исследуется в отдельности как часть расчлененного целого.
АНАЛОГИЯ (гр. analogia — соответствие, сходство)— подобие, сходство предметов в каких-либо свойствах, признаках или отношениях, при чем таких предметов, которые в целом различии.
АНТИНОМИЯ (лат. anti — против +nomos — закон, противоречие в законе)—противоположность между двумя суждениями, взаимоисключающими друг друга, но в то же время производящими впечатление, что оба они могут быть с одинаковой силой логически доказаны в качестве правильных.
АПОРИЯ (гр. aporia — безвыходность, безвыходное положение, затруднение) — кажущееся трудноразрешимым, непреодолимым логическое затруднение.
АРГУМЕНТ (лат. argumentum — логический довод, основание, доказательство) — мысль, истинность которой проверена и доказана практикой и которая поэтому может быть приведена в обоснование истинности или ложности другого положения.
ВЕРИФИКАЦИЯ (лат. verus — истинный + facio — делаю) — принцип установления осмысленности, то есть возможность данного высказывания (утверждения) оказаться истинным или ложным.
ВЕРСИЯ (лат. versio —оборот, видоизменение) — одно из нескольких возможных, отличных друг от друга объяснений или толкований одного и того же факта, явления, события.
ВЫВЕДЕНИЕ — мысленное действие, в результате которого новое знание получается логически, то есть без обращения непосредственно к опыту или из предшествующего опыта.
ВЫВОДНОЕ ЗНАНИЕ — знание, полученное из ранее установленных и проверенных истин в результате применения законов и правил логики к имеющимся истинным мыслям.
ГИПОТЕЗА (гр. hypothesis — основание, предположение) — вероятное предположение о причине каких-либо явлений, достоверность которого не может быть проверена и доказана в настоящее время, но которое может приблизительно объяснить данные явления.
ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — способ научного исследования, заключающийся в том, что вначале высказывается несколько гипотез о причинах изучаемых фактов, а затем дедуктивным путем из гипотез выводите следствие.
ДЕДУКЦИЯ (лат. deductio — выведение) — такая форма мышления, когда новая мысль выводится логическим путем из предшествующих мыслей, причем этот процесс анализа идет от общего к частному.
ДЕМОНСТРАЦИЯ (лат. demonstratio — показывание) — логическое рассуждение, в процессе которого из аргументов (доводов) выводится истинность или ложность тезиса.
ДИЗЪЮНКЦИЯ (лат. disjunctio — разобщение, разделение различие) — операция, выражающаяся 8 соединении двух и более высказываний с помощью логического союза “или” в новое, сложное суждение.
ДИЛЕММА (гр. di — дважды +lemma — предположение или двойственное предположение) — суждение, в котором предмету приписываются два противоречащих признака, исключающих возможность третьего.
ДИХОТОМИЧЕСКОЕ СУЖДЕНИЕ (гр. dicha и tome — разделяю на две части) —суждение, в котором выражается результат деления класса предметов на две части. Одна из этих частей характеризуется наличием известного признака, а другая — его отсутствием.
ДОКАЗАТЕЛЬСТВО — логическое действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей.
ИМПЛИКАЦИЯ (лат. implicite — тесно связывают) — логическая операция, связывающая два высказывания в сложное высказывание с по мощью логической связки “если... то...”.
ИНДУКЦИЯ (лат. inductio — наведение) — форма мышления, посредством которой мысль наводится на какое-либо общее правило, при этом процесс анализа идет от частного к общему.
КАЗУИСТИКА (лат. casus — случай, случайность) — ловкость, изворотливость в спорте, в “доказательстве” ложных или сомнительных положений.
КЛАССИФИКАЦИЯ (лат. classis — разряд +facio — делаю) — распределение предметов на классы согласно наиболее существенным признакам, при сущим предметам данного рода.
КОНТРАДИКЦИЯ (лат. contra — против + dictio — высказывание)—логически противоречивое высказывание, нарушающее формально - логический , закон противоречия.
КОНТРАДИКТОРНЫЕ ОТНОШЕНИЯ (лат. contradictorius — противоречащий) — отношения между противоречивыми суждения, которые вместо не могут быть ни истинными, ни ложными, из двух контрадикторных суждений одно — истинно, другое — ложно.
КОНТРАРНЫЕ ОТНОШЕНИЯ (лат. contrarius — противоположный) — отношения между противными, или противоположными, суждениями, которые вместе не могут быть истинными, но оба вместе могут быть ложными
КОНЪЮНКТИВНЫЕ (СОЕДИНИТЕЛЬНЫЕ) СУЖДЕНИЯ (лат. conjungo— соединяю) — сложное суждение, в котором несколько суждений объединяются союзом “и”.
КРУГ В ДОКАЗАТЕЛЬСТВЕ — логическая ошибка в доказательстве, состоящая в том, что истинность какого-либо доказываемого положения обосновывается посредством того же самого положения, которое еще должно быть доказано.
ЛОГИКА (гр. logos — слово, мысль, речь, разум) — знание о законах и формах мышления.
ЛОГИЧЕСКИЙ КВАДРАТ — наглядная схема, облегчающая за поминание характера отношений между не которыми видами суждений.
МЕТОДЫ ИССЛЕДОВАНИЯ ПРИЧИННЫХ СВЯЗЕЙ - простейшие логические методы установления причинных связей между явлениями и вытекающими из причин следствиями.
МОДАЛЬНОСТЬ СУЖДЕНИЯ (лат. modus — мера, накопление) — характеристика суждения в зависимости от характера устанавливаемой им достоверности, то есть от того, утверждается ли в нем возможность, действительность или необходимость чего-либо в чем- либо.
МОДУС (лат. modus — мера, образ, способ) —логический термин, обозначающий свойство предмета, присущее ему не постоянно, а лишь в некоторых состояниях.
МЫШЛЕНИЕ — активный процесс отражения объективного мира в человеческом мозгу в форме суждений, понятий, умозаключений.
НЕПОЛНАЯ ИНДУКЦИЯ — вид индуктивного умозаключения, в результате которого получается какой - либо общий вывод о всем классе предметов на основании знания лишь некоторых однородных предметов данного класса.
ОБОСНОВАННОСТЬ — такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана.
ОБЪЕМ ПОНЯТИЯ (англ concept extension) — отображение в нашем сознании множества предметов, каждый из которых имеет признаки, зафиксированные в исследуемом понятии.
ОМОНИМИЯ (гр homos — одинаковый + omona — имя) — логическая ошибка, которая происходит вследствие того, что одно итожено звуку слово в одном и том же рассуждении употребляется для обозначения различных понятий.
ОПРОВЕРЖЕНИЕ (лат. refutatio) — доказательство ложности или несостоятельности какого-либо тезиса.
ОСНОВАНИЕ — часть условного суждения, в которой отображается условие, от которого зависит истинность следствия.
ПОНЯТИЕ — целостная совокупность суждений, в которых что-либо утверждается об отличительных признаках исследуемого объекта.
ПОСТУЛАТ (лат postulatum — требуемое) — исходное положение, утверждение, принимаемое без строгого доказательства в рамках какой- либо дедуктивно построенной теории, но веское и обоснованное.
ПОСЫЛКА — суждение, которое служит основанием для заключения (вывода) и является необходимой частью любого умозаключения.
ПРЕДИКАТ (лат. praedicatum — сказанное) —то, что высказывается (утверждается или отрицается) в суждении о субъекте.
ПРИЗНАК — все то, в чем предметы, явления сходны друг с другом или в чем они отличаются друг от друга.
ПРОБЛЕМА (гр. problema — задача, задание)—теоретический или практический вопрос, который необходимо изучить и разрешить.
СИЛЛОГИЗМ (syllogismos — сосчитывание) — умозаключение, в котором из двух категорических суждений, связанных общим средним термином, получается третье суждение, называемое выводом, при этом средний термин в заключение не входит.
СИНТЕЗ (гр. synthesis — соединение, сочетание) — мысленное соединение частей предмета, расчлененного в процессе анализа, установление взаимодействия и связей частей и по знание этого предмета как единого целого.
СОРИТ (гр. sorit — куча) — вид сложного силлогизма, в котором приводится только последнее заключение, проводимое через ряд посылок, остальные же промежуточные заключения не высказываются, а только подразумеваются.
СОФИЗМ (sophisma — измышление, хитрость) — логическая уловка, умышленно ошибочное рассуждение, которое выдается за истинное.
СУЖДЕНИЕ — форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений и которая обладает свойством выражать истину, либо ложь.
ТАВТОЛОГИЯ (гр. tauto — то же самое + logos — слово) —выражение, повторяющее в иной словесной форме ранее сказанное.
ТЕЗИС (гр. thesis — положение, утверждение) — мысль или положение, истинность которого еще требуется доказать.
ТЕРМИН (лат. terminus — предел, конец, граница) — слово или словосочетание, являющееся точным названием строго определенного понятия.
ТРАДУКЦИЯ (лат. traductio — перемещение)—умозаключение, в котором посылки и заключение являются суждениями одинаковой общности, то есть когда вывод идет от знаний определенной степени общности к новому знанию, но той же степени общности.
ТРИХОТОМИЯ (гр. tricha — на три части + tome — сечение) — деление объема понятия на три части.
УМОЗАКЛЮЧЕНИЕ — форма мышления или логическое действие, в результате которого из одного или нескольких неизвестных суждений получается новое суждение, в котором содержится новое знание.
ФАКТ (лат. factum — сделанное, совершившееся) — действительное, реально существующее, невымышленное событие или явление.
ЭНТИМЕМА — сокращенный силлогизм, в котором выпущена одна из подразумевающихся частей.