9. Классификация суждений

По качеству

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

По объёму

Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений

Основание — это (предыдущее) суждение, которое содержит условие.

Следствие — это (последующее) суждение, которое содержит следствие.

По отношению между подлежащим и сказуемым

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.

Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Общая классификация:

общеутвердительные (A) — одновременно общие и утвердительные («Все S+ суть P-»)

частноутвердительное (I) — частное и утвердительное («Некоторые S- суть P-») Прим: «Некоторые люди имеют черный цвет кожи»

общеотрицательное (E) — общее и отрицательные («Ни один S+ не суть P+») Прим: «Ни один человек не всеведущ»

частноотрицательное (O) — частное и отрицательное («Некоторые S- не суть P+») Прим: «Некоторые люди не имеют черного цвета кожи»

Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

10.

11.

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

13. Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования.

Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.

Пример дедуктивного умозаключения:

Все люди смертны.

Сократ — человек.

Следовательно, Сократ смертен.

14. СИЛЛОГИСТИКА

(от греч. syllogisticos — рассчитываю, считаю) — логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем.

К числу указанных высказываний относят высказывания следующих логических форм: «Всякий S есть Р» — общеутвердительное высказывание, «Всякий (ни один) S не есть Р» — общеотрицательное, «Некоторый S есть Р» — частноутвердительное, «Некоторый S не есть Р» — частноотрицательное, «а есть Р» — единич-ноутвердительное и «а не есть Р» — единичноотрицательное. В каждом таком высказывании имеется два термина: субъект — термин, обозначающий те предметы, о которых нечто утверждается или отрицается, и предикат — термин, обозначающий то, что утверждается или отрицается об этих предметах.

В С. устанавливаются логические законы и оправдывается принятие правил выведения одних высказываний из других — умозаключений. Так, в традиционной (школьной) С. законами будут следующие выражения: «Всякий S есть S» — закон тождества, «Неверно, что всякий S есть Р и всякий S не есть Р».

Что касается умозаключений, то они распадаются на умозаключения по логическому квадрату, непосредственные и опосредованные умозаключения. В умозаключения выделяют посылки, т.е. те высказывания, из которых нечто выводится, и заключения — то, что выводится. С помощью логического квадрата фиксируются такие отношения между категорическими атрибутивными высказываниями, как отношение подчинения, контрарности, субконтрарности и противоречия. К числу непосредственных умозаключений относятся операции обращения (conversio), превращения (obversio) и различные виды противопоставления (contrapocisio).

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

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

15. Индукция (лат. inductio — наведение) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.[1]

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

Полная индукция

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

Неполная индукция

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

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

Доказательство - логическая операция полного обоснования истинности какого-либо положения с помощью других положений, истинность которых уже установлена. В структуру доказательства входят три элемента: 1) Тезис Т - доказываемое положение. 2) Аргументы - вспомогательные положения, с помощью которых обосновывается тезис. 3) Демонстрация - логическая связь между аргументами и тезисов. В качестве аргументов используются: 1) установленные общие положения (т.е. различного рода принципы, нормы права, законы, общие правовые, уставные положения и т.д.). 2) удостоверенные суждения о фактах (данные наблюдений, экспертиз, документы, статистические обобщения и т.д.) 3) суждения, принимаемые в качестве очевидных: аксиомы, постулаты, определения, высказывания, многократно проверенные практикой.

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

17. Доказательства различаются прежде всего по их цели, по отношению доказывающего к выдвинутому тезису. Можно подтвердить истинность тезиса и доказать его ложность. Подтверждение тезиса часто называют доказательством, а опровержение синонима не имеет. Следовательно, существуют два рода доказательства: подтверждение и опровержение тезиса.

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

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

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

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

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

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

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

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

18. 1) Закон тождества - это логический закон, согласно которому мысль (будь то понятие, суждение или умозаключение), введенная однажды в рассуждение, должна оставаться неизменной, однозначно понимаемой на протяжении всего последующего рассуждения, каким бы продолжительным оно ни являлось. То есть, сколько бы раз ни повторялась одна и та же (!) мысль, она должна пониматься одним и тем же способом.

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

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

2) Закон непротиворечия (противоречия, как он назывался в старых учебниках) - это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет", "Этот цветок роза" и "Этот цветок ромашка" и т.п. С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным.

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

Логика различает два типа несовместимости мыслей:

а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет", где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.

б) содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей. Такая несовместимость устанавливается не логикой, а конкретными науками о соответствующих предметах и явлениях. За ошибки в определении такой (предметной) несовместимости формальная логика не несет никакой ответственности.

Закон непротиворечия распространяется на оба типа несовместимости, хотя и с оговоркой в отношении предметной несовместимости. Закон требуют, чтобы там, где противоречивость самого предмета выражается в форме формальных противоречий (так называемая антиномия-проблема) - "Вещь есть Р и не-Р одновременно" - была снята конкретным исследованием и выражена в формально-непротиворечивой форме. В противном случае логика не несет ответственности за ошибки в последующих рассуждениях и выводах относительно, таким образом, фиксируемых объектов.

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

Как видно, этот закон распространяется только на один вид несовместимости - формальной. Он ничего не говорит о содержательной (предметной) несовместимости. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными.

Закон исходит из общетеоретического допущения, что всякий предмет, вещь могут либо обладать (хотя бы в какой-то степени), либо не обладать некоторым (произвольным) признаком: быть или не быть человеком, цветком, розой, ромашкой и так далее. Поэтому с этим законом нужно быть осторожным в ситуациях, где дают о себе знать переходные состояния вещей, когда каких-либо их признаков еще нет, но сказать, что они не проявляются никак тоже уже неверно. Границами этого закона являются ситуации, для которых строго установлено соответствующими исследованиями, имеет или не имеет место тот или иной признак у той или иной вещи.

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

4) Последним из так называемых основных законов традиционной формальной логики является закон достаточного основания. Этот закон является не менее, если не более своеобразным, по сравнению с тремя предыдущими. Не случайно в качестве формально-логического закона он стал применяться только благодаря Лейбницу, то есть только с ХVIII века. В то время как три предыдущих были отчетливо сформулированы еще Аристотелем, то есть в IV веке до н.э.

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

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

Но совсем иначе выясняется истинность (ложность) положений типа: "Вчера в это время на улице светило солнце", "Завтра в это же время будет солнечно" и т.п. Причем, если для выяснения истинность первой из них - "Вчера..." можно обратиться к своей собственной памяти, памяти других людей, в частности к сотрудникам гидрометеослужбы, что уже является опосредованным способом установления истины, то в отношении истинности второй мысли - "Завтра..." - этого сделать невозможно. Здесь может идти речь только о предположении, прогнозе. Предположение же или прогноз могут носить только вероятностный характер.

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

Только соблюдение всех основных законов логики одновременно может гарантировать правильность наших рассуждений.

19. Высказывание - это форма мышления, выраженная повествовательным предложением, в которой что-либо утверждается или отрицается об объектах, их свойствах или отношениях.

Высказывание может принимать только одно из двух логических значений – истинно (1) или ложь (2).

Истина – есть адекватное отражение действительности.

20. Отрицание логического высказывания — логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.

Конъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны.

Дизъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.

Импликация двух логических высказываний A и B — логическое высказывание, ложное только тогда, когда B ложно, а A истинно.

Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.

Кванторное логическое высказывание с квантором всеобщности () — логическое высказывание, истинное только тогда, когда для каждого объекта x из заданной совокупности высказывание A(x) истинно.

Кванторное логическое высказывание с квантором существования () — логическое высказывание, истинное только тогда, когда в заданной совокупности существует объект x, такой, что высказывание A(x) истинно.

Таблица истинности — это таблица, описывающая логическую функцию.

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» ( либо , либо ).

21.1) Высказывания называются эквивалентными, если соответствующие значения каждого из них совпадают в таблице истинности.

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

X=X

Закон противоречия говорит о том, что никакое предложение не может быть истинно одновременно со своим отрицанием. "это яблоко спелое" и "это яблоко неспелое".

Закон исключенного третьего говорит о том, что для каждого высказывания имеются лишь две возможности: это высказывание либо истинно, либо ложно. Третьего не дано. "Сегодня я либо получу 5, либо не получу". Истинно либо суждение, либо его отрицание.

Закон двойного отрицания заключается в том, что отрицать отрицание какого-нибудь высказывания - то же, что утверждать это высказывание. " Неверно, что 2*2<>4".

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

Законы коммутативности и ассоциативности говорят о том, что конъюнкция и дизъюнкция аналогичны одноименным знакам умножения и сложения чисел. Законы коммутативности

Законы ассоциативности

Законы дистрибутивности говорят о том, что логическое сложение и умножение равноправны по отношению к дистрибутивности: не только конъюнкция дистрибутивна относительно дизъюнкции, но и дизъюнкция дистрибутивна относительно конъюнкции.

Законы де Моргана показывают как отрицаются высказывания.

Эти законы можно выразить в следующих кратких словесных формулировках:

отрицание логического произведения эквивалентно логической сумме отрицаний множителей;

отрицание логической суммы эквивалентно логическому произведению отрицаний слагаемых.

Законы поглощения констант утверждают, что ложь не влияет на значение логического выражения при дизъюнкции, а истина - при конъюнкции.

Законы поглощения показывают как упрощать логические выражения при повторе операнда.