Отношения между суждениями.

Отношение совместимости.
К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:
эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
1 Отношение подчинение. общее сужд. подчиняет частное того же уровня. ложность частного опред. ложностью общего
2 Противоположность — контрарность Не могут быть одновр. истинными, но могут быть одновр. ложными
3 Противоречие не м.б. ни

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

17.Логический квадрат.
Суждения, как и понятия, делятся на сравнимые имеют общи субъект или предикат и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые. Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение субконтрарность.
Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения. Отношения между сужд. по истинности принято схематически изображать в виде лог. квадрата.
Для суждений А и I, а также Е и О, находящихся в отношении логического подчинения, истинность общего суждения определяет истинность частного, подчиненного суждения. Но ложность общего суждения оставляет частное суждение неопределенным.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным
При ложности частного суждения общее суждение также будет ложным
Отношение несовместимости.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными контрарными являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречащими контрадикторными являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.

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

Алмаз — углерод.

Алмаз горюч.
Структура всякого умозаключения включает посылки, заключение и логическую связь между посылками и заключением. Логический переход от посылок к заключению называется выводом.
Умозаключения делятся на такие виды: дедуктивные, индуктивные, по аналогии. Умозаключения могут быть логически необходимыми, т. е. давать истинное заключение, и вероятностными правдоподобными, т. е. давать не истинное заключение, а лишь с определенной степенью вероятности следующее из данных посылок при этом в качестве посылок могут быть и ложные суждения.
Процесс получения заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий.
Понятие логического следования:
Выведение следствий из данных посылок — широко распространенная логическая операция. Логическое следствие из данных посылок есть высказывание, которое не может быть ложным, когда эти посылки истинны.
ОСНОВАНИЯ ПОСЫЛКИ — те суждения, в кот. сформ. что-то нам известное.
СЛЕДОВАНИЕ — логич. тношение, при кот. то сужд., кот. признается заключением. Вытекает из посылок. Если посылки истинны — то и следствие истинно.
Дедуктивные — от общего к частному
Индуктивные — от частного к общему
Традуктивные — по аналогии

19. Дедуктивное умозаключение: общая характеристика и виды.
В определении дедукции в логике выявляются два подхода:

1. В традиционной не в математической логике дедукцией называют умозаключение от знания большей степени общности i к новому знанию меньшей степени общности. Впервые теория дедукции в этом плане была обстоятельно разработана Аристотелем;

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

Все перепончатокрылые — насекомые.

Все пчелы — перепончатокрылые.

Все пчелы — насекомые.
Понятие правила вывода:

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

Не нашли, что искали? Воспользуйтесь поиском: