Вопрос – логическая форма, которая направлена на получение ответа в виде некоторого суждения. Структура вопроса включает в себя две части. 1. Предпосылка (основная, или базисная, часть) вопроса – информация, выраженная каким-либо суждением. 2. Искомая часть вопроса – указание на недостаточность этой информации и необходимость ее дополнения каким-то ответом. Например, в вопросе: Когда была создана теория относительности? предпосылкой является суждение: Была создана теория относительности; а искомая часть выражена вопросительным словом когда. В логически корректном вопросе искомая часть является истинным суждением, например: С какой скоростью Земля вращается вокруг Солнца? В логически некорректном вопросе искомая часть – ложное суждение, например: Когда был создан первый автомобиль, способный передвигаться со скоростью света?
Гипотеза – предположение, как правило, научного характера, выдвигаемое с целью объяснения чего-либо (объектов, явлений, событий), которое впоследствии подтверждается или опровергается.
Дедукция (или дедуктивное умозаключение) – вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идет от большего к меньшему, знание сужается, и поэтому ее выводы достоверны. Например:
Деление понятия – логическая операция, которая раскрывает объем понятия на основе какого-либо признака (основание деления). Например: Учебные заведения бывают начальными, средними и высшими; Учебные заведения бывают отечественными и зарубежными; Учебные заведения бывают престижными и не престижными и т.п.
Деление понятия дихотомическое – деление понятия строго на два объема, пополам, по типу А и не-А. Например: Люди бывают спортсменами и не спортсменами.
Дизъюнкция (или дизъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи союза «или»; дизъюнкция бывает нестрогой, когда ее элементы (входящие в нее простые суждения) друг друга не исключают (например: Петров изучает английский, или он изучает немецкий) и строгой, когда ее элементы друг друга исключают (например: Петров родился в 1969 году, или он родился в 1971 году).
Дилемма – разновидность условно-разделительного силлогизма, в первой посылке которого из одного или двух оснований вытекает два или одно следствие, вторая посылка является дизъюнкцией оснований или следствий, а вывод представляет собой утверждение следствия или дизъюнкции следствий (конструктивная дилемма простая и сложная соответственно) или же отрицание основания или дизъюнкции оснований (деструктивная дилемма простая и сложная соответственно). Например:
Если государь разумен, то общество процветает, а если он тиран, то общество бедствует.
Государь может быть разумным или тираном.
Общество может процветать или бедствовать.
(Сложная конструктивная дилемма.)
Доказательство – совокупность приемов подтверждения или опровержения чего-либо; оно состоит из трех частей:
а) тезис – что доказывается;
б) аргументы или основания – чем доказывается;
в) демонстрация – как доказывается или способ связи аргументов с тезисом.
По цели доказательства делятся на подтверждение и опровержение, а по способу демонстрации – на прямые и косвенные.
Закон достаточного основания – один из основных законов логики, по которому любая мысль или тезис, для того чтобы иметь силу, должна быть доказана или обоснована какими-либо аргументами или основаниями; причем эти основания должны быть достаточными для доказательства исходной мысли или тезиса, то есть тезис должен вытекать из оснований с достоверностью.
Закон исключенного третьего – один из основных законов логики, по которому два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными.
Законы мышления (или законы логики) – объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.
Закон противоречия – один из основных законов логики, по которому два противоположных суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными, но могут быть одновременно ложными.
Закон тождества – один из основных законов логики, по которому любая мысль должна быть равна' самой себе, то есть должна быть ясной, точной и определенной (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т.п.).
Импликация (или импликативное суждение) – вид сложного суждения, образованного из простых суждений при помощи условного союза «если... то», например: Если вещество является металлом, то оно электропроводно. Первая часть импликации – это основание, а вторая часть – следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание (например, из того, что вещество – металл, обязательно вытекает его электропроводность, но из того, что вещество электропроводно, не вытекает, что оно является металлом).
Индукция (или индуктивное умозаключение) – вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идет от меньшего к большему, знание расширяется, и поэтому ее выводы чаще всего вероятностны. Например:
Квадрат логический – схематичное изображение отношений между простыми сравнимыми суждениями (А, I, E, О); вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними.
Квантор – указатель на объем субъекта простого суждения (в роли квантора могут быть слова все, некоторые, ни один и т.п.,).
Контрадикторность (или противоречие) – 1. Логическое отношение между понятиями, одно из которых является отрицанием другого, и между которыми не может быть третьего, среднего варианта, например высокий человек и невысокий человек, правда и неправда и т.п. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот, например: Все люди изучали логику и Некоторые люди не изучали логику. Это отношение между простыми суждениями видов А и О, Е и I.
Контрарность (или противоположность) – 1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант, например высокий человек и низкий человек (третий вариант – человек среднего роста), горячая вода и холодная вода (третий вариант – теплая вода) и т.п. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант, например: Все люди изучали логику и Все люди не изучали логику (третий вариант – Некоторые люди изучали логику, а некоторые не изучали). Это отношение между простыми суждениями видов А и Е.
Конъюнкция (или конъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и», например: Сверкнула молния, и загремел гром.
Круг в определении (или тавтология) – вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается, например: Фильтрование – это процесс разделения какого-либо вещества с помощью специального приспособления – фильтра; Революция – это крупное историческое событие, которое приводит к революционным преобразованиям в обществе.
Логика (или формальная логика) – наука о формах и законах правильного мышления, которая появилась приблизительно в V в. до н.э. в Древней Греции и до сих пор сохраняет свое практическое значение.
Модус простого силлогизма – совокупность простых суждений (А, I, Е, О) – посылок и вывода силлогизма. Например, силлогизм:
Все живые организмы питаются влагой.
Все растения – это живые организмы.
Все растения питаются влагой.
имеет модус ААА, так как все его суждения (посылки и вывод) являются простыми суждениями вида А.
Обобщение понятия – логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких-либо признаков. Например, если из содержания понятия квадрат исключить признак «иметь прямые углы и равные стороны», то это понятие превратится в более широкое по объему понятие – геометрическая фигура, которое будет родовым по отношению к видовому понятию квадрат.
Объем понятия – количество объектов, охватываемых этим понятием. Например, понятие человек охватывает собой огромное количество объектов (то есть всех людей), в объем же понятия первый президент Америки входит только один объект (то есть только один человек), а в объем понятия марсианский житель не входит ни одного объекта. Таким образом, по объему понятия бывают общими, единичными и нулевыми, или пустыми.
Ограничение понятия – логическая операция перехода от родового понятия к видовому с помощью добавления к его содержанию каких-либо признаков. Например, если к содержанию понятия физический прибор добавить признак «измерять температуру», то это понятие превратится в более узкое по объему понятие – термометр, которое будет видовым по отношению к родовому понятию физический прибор.
Определение понятия – логическая операция, которая раскрывает содержание понятия. Наиболее распространенный способ определения заключается в том, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид), например: Сутки – это часть времени, в течение которого Земля делает полный оборот вокруг своей оси (первая часть определения является подведением определяемого понятия сутки под родовое понятие часть времени, а вторая часть указывает на его видовое отличие от других частей или отрезков времени).
Парадокс – в широком смысле, нечто необычное, нестандартное, удивительное; в логике парадокс – это такая ситуация (необычная и удивительная), когда два противоречащих суждения не только являются одновременно истинными, но еще и вытекают друг из друга.
В отличие от софизма, парадокс это не мыслительная уловка или подвох, который всегда можно разоблачить, а неразрешимое затруднение, мыслительный тупик, «камень преткновения» в логике: за всю ее историю так и не было найдено удовлетворительных и общепризнанных способов преодоления или разрешения парадоксов. Наиболее известным является парадокс лжеца, который заключается в том, что человек говорит: «Я лжец». Анализ этого простого на первый взгляд высказывания приводит к удивительному результату. Любое высказывание, в том числе данное, может быть истинным или ложным. 1. Допустим, что оно истинно, то есть человек сказал правду, но в этом случае он действительно лжец и, произнеся эту фразу, он солгал (получается, что если он сказал правду, то он солгал). 2. Допустим, что высказывание ложно, то есть человек солгал, но в этом случае он не лжец, а правдолюб и, произнеся эту фразу, он сказал правду (получается, что если он солгал, то он сказал правду).
Пересечение – логическое отношение между понятиями, объемы которых совпадают или соприкасаются только в некоторых своих элементах. Например, понятия студент и спортсмен находятся в отношении пересечения, потому что есть такие студенты, которые являются спортсменами, и такие, которые ими не являются; а также есть такие спортсмены, которые являются студентами, и такие, которые ими не являются. На схемах Эйлера это отношение изображается пересекающимися кругами:
Подчинение – 1.Логическое отношение между понятиями, объем одного из которых полностью включается в объем другого. Например, понятия карась и рыба находятся в отношении подчинения, так как любой карась является рыбой, но не всякая рыба является карасем. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объему понятие является видовым, а большее – родовым):
2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения, например: Все растения – это живые организмы и Все цветы (некоторые растения) – это живые организмы. Это отношение между простыми суждениями видов А и I, E и О.
Понятие – форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания, например: человек, птица, небесное тело, знаменитый русский писатель, мужество, красота и т.п.
Понятие видовое – понятие, которое по объему является меньшим по отношению к какому-либо другому понятию – родовому. Например, понятие школа является видовым по отношению к родовому для него понятию учебное заведение (школа – это обязательно учебное заведение, но учебное заведение – это не обязательно школа). Видовые и родовые понятия находятся в отношении подчинения.
Понятие неопределенное – понятие, которое имеет неясное содержание (невозможно точно указать важные отличительные признаки обозначаемого им объекта) и нерезкий объем (невозможно точно установить, включается любой объект в объем этого понятия или не включается в него). Например, понятие хороший шахматист является неопределенным, так как у него неясное содержание (невозможно точно указать признаки хорошего шахматиста, так как представления об этих признаках у разных людей различны) и нерезкий объем (относительно любого человека невозможно точно сказать, является он хорошим шахматистом или нет). Также неопределенными являются понятия умный человек, скучная книга, интересный фильм, престижное учебное заведение, богач, негодяй, старик, толстяк и т.п.
Понятие определенное – понятие, которое имеет ясное содержание (возможно точно указать важные отличительные признаки обозначаемого им объекта) и резкий объем (возможно точно установить, включается любой объект в объем этого понятия или не включается в него). Например, понятие гроссмейстер является определенным, так как у него ясное содержание (возможно точно указать отличительный признак гроссмейстера – «официально обладать соответствующим шахматным титулом») и резкий объем (относительно любого человека можно точно сказать, является он гроссмейстером или нет). Также определенными являются понятия кандидат экономических наук, книга в 500 страниц, цветной кинофильм, высшее учебное заведение и т.п.
Понятие родовое – понятие, которое по объему является большим по отношению к какому-либо другому понятию – видовому. Например, понятие наука является родовым по отношению к видовому для него понятию астрономия (наука – это не обязательно астрономия, но астрономия – это обязательно наука). Родовые и видовые понятия находятся в отношении подчинения.
Посылка – элемент умозаключения, исходное суждение, которое вместе с другими исходными суждениями (посылками) является основанием для выведения нового суждения (заключения). Например:
Предикат – элемент простого атрибутивного суждения, обозначающий какой-либо признак или свойство его субъекта, или то, что говорится о субъекте. Например, в суждении Все учебники – это книги понятие учебники является субъектом, а понятие книги – предикатом (в данном суждении об учебниках говорится то, что они книги, или неотъемлемое свойство любого учебника заключается в том, чтобы быть книгой). Предикат обозначается заглавной латинской буквой Р.
Противоположность – см. Контрарность.
Противоречие – см. контрадикторность.
Равнозначность – 1. Логическое отношение между понятиями, объемы которых полностью совпадают, например понятия квадрат и равносторонний прямоугольник находятся в отношении равнозначности, потому что любой квадрат является равносторонним прямоугольником, а любой равносторонний прямоугольник является квадратом. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объемы двух понятий:
2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают. Например, суждения Москва является древним городом и Столица России является древним городом находятся в отношении равнозначности.
Распределенность терминов в простом суждении – указатель на количество объектов, охватываемых объемами субъекта и предиката в простом суждении. (Субъект и предикат называются терминами простого суждения.) Термин считается распределенным (развернутым, исчерпанным, взятым в полном объеме), если в суждении речь идет обо всех объектах, входящих в объем этого термина и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом:
Термин считается нераспределенным (неразвернутым, неисчерпанным, взятым не в полном объеме), если в суждении речь идет не обо всех объектах, входящих в этот термин и обозначается знаком «–», а на круговых схемах Эйлера изображается
Например, в суждении Все сосны (S) являются деревьями (Р) субъект распределен, а предикат нераспределен, так как в этом суждении речь идет обо всех соснах, но не обо всех деревьях.
Силлогизм – дедуктивное умозаключение. Существует несколько видов силлогизмов, которые различаются суждениями, входящими в них в качестве посылок.
1. В простом (категорическом) силлогизме обе посылки и вывод являются простыми суждениями (А, I, E, О), например:
Все небесные тела движутся.
Все планеты – это небесные тела.
Все планеты движутся.
4. В условно-категорическом силлогизме первая посылка является условным суждением (импликацией), а вторая посылка является категорическим суждением (простым), например:
Если вещество является металлом, то оно электропроводно.
Железо – это металл.
Железо электропроводно.
5. В чисто условном силлогизме обе посылки и вывод являются условными суждениями (импликациями), например:
Если вещество является металлом, то оно электропроводно.
Если вещество электропроводно, то его можно использовать в электроприборах.
Если вещество является металлом, то его можно использовать в электроприборах.
Сложение понятий – логическая операция объединения двух (и большего количества) понятий, в результате которой образуется новое понятие, включающее в свой объем все объекты, входящие в объемы исходных понятий. Например, при сложении понятий студент и спортсмен образуется новое понятие, в объем которого входят как все студенты, так и все спортсмены (объем нового понятия или результат сложения на круговых схемах Эйлера изображается штриховкой):
Содержание понятия – наиболее важные признаки того объекта, который обозначается этим понятием, например, содержание понятия человек состоит только из одного важного признака – наличие разума, а содержание понятия негр включает в себя два важных признака – 1) наличие разума, 2) цвет кожи; для раскрытия содержания понятия негритянский спортсмен надо указать три важных признака и т.п. Таким образом, по содержанию понятие человек меньше (один признак), чем понятие негр (два признака), а по объему, наоборот, понятие человек шире, чем понятие негр, так как охватывает собой большее количество объектов (людей). Между объемом и содержанием понятия существует обратное отношение: чем больше объем понятия, тем меньше его содержание, и наоборот.
Соподчинение – логическое отношение между понятиями, объемы которых никак не соприкасаются, не имеют общих элементов. Например, понятия береза и сосна находятся в отношении соподчинения, потому что ни одна сосна не является березой и ни одна береза не является сосной. Однако объемы понятий береза и сосна входят в объем более широкого (родового по отношению к ним) понятия дерево, подчиняются ему. На круговых схемах Эйлера отношение соподчинения изображается двумя не соприкасающимися кругами:
Если понятия обозначают часть и целое, например минута и час, страница книги и книга, колесо автомобиля и автомобиль, то они находятся в отношении соподчинения (минута – это не час, час – это не минута, но и то, и другое – единица времени и т.д.). Если понятия обозначают объекты, слишком далекие друг от друга, чтобы их можно было сравнить, например кирпич и пингвин, то они также могут рассматриваться как соподчиненные: кирпич – это не пингвин, пингвин – это не кирпич, но и то, и другое – форма материи или еще шире – форма бытия, или же просто – нечто существующее.
Софизм – внешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов. Например, софизмом является следующее рассуждение: 3 и 4 – это два разных числа, 3 и 4 – это семь, следовательно, семь – это два разных числа. В этом рассуждении смешиваются Две различные вещи: простое перечисление чисел и математическая операция сложения, то есть нарушается логический закон тождества.
Субъект – элемент простого атрибутивного суждения, обозначающий предмет (объект) суждения или то, о чем идет речь в суждении. Например, в суждении Все планеты являются небесными телами речь идет о планетах, поэтому понятие планеты является его субъектом (а понятие небесные тела – предикатом). Субъект суждения обозначается заглавной латинской буквой S.
Суждение – это форма мышления, в которой что-либо утверждается или отрицается (то же, что и высказывание). Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным (сложное суждение состоит из простых суждений, соединенных каким-либо союзом). Примеры суждений: Все города – это населенные пункты; Некоторые люди являются спортсменами; Ни один кит не является рыбой; Сверкнула молния, и загремел гром; Если вещество металл, то оно элек-тропроводно и т.п.
Суждение атрибутивное (от лат. attributum – признак) – простое суждение, в котором предикат является каким-либо атрибутом (свойством, признаком) субъекта, например: Все тигры – это хищники (в этом суждении предикат является атрибутом или неотъемлемым свойством субъекта: быть хищником – это неотъемлемый или обязательный признак тигра, без которого он не является самим собой). По крупному счету, любое простое суждение можно рассматривать как атрибутивное.
Суждение общеотрицательное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и отрицательной связкой: Все S не есть Р, например: Все киты не являются рыбами. Общеотрицательные суждения обозначаются заглавной латинской буквой Е.
Суждение общеутвердительное – вид простого атрибутивного суждения, которое характеризуется общим объемом субъекта и утвердительной связкой: Все S есть Р, например: Все комары являются насекомыми. Общеутвердительные суждения обозначаются заглавной латинской буквой А.
Суждение частноотрицательное – вид простого атрибутивного суждения, которое характеризуется частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р, например: Некоторые животные не являются хищниками. Частноотрицательные суждения обозначаются заглавной латинской буквой О.
Суждение частноутвердительное – вид простого атрибутивного суждения, которое характеризуется частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: Некоторые люди являются спортсменами. Частноутвердительные суждения обозначаются заглавной латинской буквой I.
Теоретический уровень научного познания – второй этап научного познания, на котором путем выдвижения гипотез и их последующего подтверждения и превращения в теории или опровержения и замены новыми гипотезами происходит объяснение фактов, накопленных на первом, эмпирическом уровне, или этапе научного познания.
Умножение понятий – логическая операция объединения двух (и большего количества понятий), в результате которой образуется новое понятие, включающее в свой объем только те объекты, которые являются общими для объемов исходных понятий. Например, при умножении понятий студент и спортсмен образуется новое понятие, в объем которого входят только те студенты, которые являются спортсменами, или, что то же самое, только те спортсмены, которые являются студентами (объем нового понятия или результат умножения на круговых схемах Эйлера изображается штриховкой):
Умозаключение – форма мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод), например:
Умозаключения бывают непосредственными, в которых вывод делается из одной посылки, например:
Все школы – это учебные заведения.
Некоторые учебные заведения – это школы.
или
Верно, что все планеты являются небесными телами.
Неверно, что все планеты не являются небесными телами.
и опосредованными, в которых вывод делается из нескольких посылок, например:
Все выпускники юридических факультетов МГУ имеют высшее юридическое образование.
Петров – выпускник юридического факультета МГУ.
Петров имеет высшее юридическое образование.
или
Фальсификации принцип – один из критериев науки, наряду с принципом верификации, позволяющий отличить научное знание от псевдонаучного или ненаучного. В силу принципа фальсификации только то знание является научным, которое можно опровергнуть. Наука, в отличие от псевдонауки, постоянно развивается: старые гипотезы и теории сменяются "новыми (опровергаются ими), поэтому в науке важна не только подтверждаемость гипотез и теорий, но и их опровержимость.
Формализация – логическая операция, в которой отбрасывается содержание какого-либо высказывания или целого рассуждения и устанавливается способ его организации (то есть форма), выражаемый с помощью условных обозначений конъюнкции, нестрогой и строгой дизъюнкции, импликации, эквиваленции и отрицания. Например, результатом формализации рассуждения: Он учится в 10 или в 11 классе; известно, что он учится в 10 классе; следовательно, он не учится в 11 классе является символическая запись, или формула: [(а Ú b)Ù а ]Ø b. Логические формулы, выражающие собой результаты формализации соответствующих рассуждений, делятся на три вида.
Форма мышления – способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но все это многообразие укладывается всего в несколько форм. Например, различные по содержанию высказывания: 1. Все планеты – это небесные тела; 2. Все школы – это учебные заведения; 3. Все квадраты – это геометрические фигуры имеют одну и ту же форму: Все А – это В. Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой.
Эмпирический уровень научного познания – первый этап научного познания, представляющий собой накопление фактов, которые подлежат объяснению на втором, теоретическом уровне, или этапе научного познания.
Эристика – искусство ведения дискуссии, а также раздел логики, посвященный изучению условий, закономерностей, методов и приемов дискуссии.