1. Дела меж элементарными суждениями сообразно «логическому квадрату»: дела противоречия, повиновения, противоположности и подпротивоположности.
2. Распределенность определений в обычных суждениях.
Упражнения
1. Воспользовавшись логическим квадратом, установите логическое смысл:
1. 1. А, I, О, ежели Е подлинно.
1. 2. А, Е, I, ежели О подлинно.
1. 3. А, Е, О, ежели I неправильно.
2. Определите распределенность определений в последующих суждениях:
2. 1. Некие выпускники вузов работают в банках.
2. 2. Ни один разряд спорта не является легковесным.
2. 3. Все хим составляющие владеют атомным весом.
2. 4. Некие постройки не являются современными.
2. 5. Любой человек в душе малыш.
2. 6. Все диалоги Платона плод философских раздумий.
2. 7. Некие авто являются дизельными.
Выдержка
1. Дела меж элементарными суждениями сообразно «логическому квадрату»: дела противоречия, повиновения, противоположности и подпротивоположности.
«Логичный квадрат» - это методика, выражающая истинностные дела меж элементарными суждениями, имеющими один и тот же субъект и предикат. Вершины символизируют обыкновенные категорические суждения: А(общеутвердительные), Е(общеотрицательные), I(частноутвердительные), О(частноотрицательные). Стороны и диагонали рассматриваются как логические дела меж элементарными суждениями: возражение, повиновение, антагонистичность, подпротивоположность(частичная сопоставимость).
Известие противоречия владеет пространство меж общеутвердительными и частноотрицательными суждениями(А О), а еще меж общеотрицательными и частноутвердительными суждениями(E I). Из 2-ух противоречивых суждений одно нужно подлинно, а иное нужно неправильно. Следственно, из истинности 1-го нужно следует ошибочность иного, из ложности 1-го нужно следует истинность иного. К примеру, ежели подлинно мнение «все люди смертны»(А), то неправильно мнение «некоторые люди не смертны»(О); ежели неправильно мнение «ни одно млекопитющее не может плавать»(Е), то подлинно мнение «некоторые млекопитающие могут плавать»(I)и т. д.
Известие повиновения владеет пространство меж общеутвердительными и частноутвердительными суждениями(А I), а еще меж общеотрицательными и частноотрицательными суждениями(Е О). При этом А и Е являются покоряющими суждениями, а I и О подчиненными. Из истинности покоряющего суждения нужно следует истинность подвластного; из ложности подвластного суждения нужно следует ошибочность покоряющего; ежели покоряющее мнение неправильно, то подчиненное может существовать как неправильным, этак и настоящим; ежели подчиненное мнение подлинно, то покоряющее может существовать как настоящим, этак и неправильным. К примеру, ежели подлинно мнение «все студенты юридических факультетов учат логику»(А), то подлинно мнение «некоторые студенты юридических факультетов учат логику»(I); ежели неправильно мнение «некоторые романы Толстого не следует читать»(О), то неправильно мнение «все романы Толстого не следует читать»(Е); ежели неправильно мнение «ни один человек не был на Луне»(Е), то мнение «некоторые люди не были на Луне»(О)может существовать как настоящим, этак и неправильным; ежели подлинно мнение «некоторые студенты обожают экзамены»(I), то мнение «все студенты обожают экзамены»(А)может существовать как настоящим, этак и неправильным, и т. д.
Известие противоположности владеет пространство меж общеутвердительными и общеотрицательными суждениями(А Е). 2 противоположных суждения не имеют все шансы существовать сразу настоящими, однако имеют все шансы существовать сразу неправильными. Следственно, ежели одно из данных суждений подлинно, то иное нужно неправильно, ежели одно из их неправильно, то иное может существовать как настоящим, этак и неправильным. К примеру, ежели подлинно мнение «все яблони плодоносящие деревья»(А), то неправильно мнение «ни одна яблоня не является плодовым деревом»; ежели неправильно мнение «ни один человек из этого дома не знает высшей математики»(Е), то мнение «все люди из этого дома знают высшую математику»(А)может существовать как настоящим, этак и неправильным, и т. д.
Известие подпротивоположности(частичной сопоставимости)владеет пространство меж частноутвердительными и частноотрицательными суждениями(I О). Такие суждения не имеют все шансы существовать сразу неправильными, однако имеют все шансы существовать сразу настоящими. Следственно, ежели одно из данных суждений неправильно, то иное нужно подлинно, ежели одно из их подлинно, то иное может существовать как настоящим, этак и неправильным. К примеру, ежели неправильно мнение «некоторые члены нашей семьи не являются верующими»(О), то подлинно мнение «некоторые члены нашей семьи являются верующими»(I); ежели подлинно мнение «некоторые люди подмечают Хеллоуин»(I), то мнение «некоторые люди не подмечают Хеллоуин»(О)может существовать как настоящим, этак и неправильным.
2. Распределенность определений в обычных суждениях.
Термин считается распределенным, ежели его размер вполне врубается в размер иного термина либо вполне исключается из него. Термин считается нераспределенным, ежели его размер только отчасти врубается в размер иного термина либо отчасти исключается из него.
В общеутвердительном суждении субъект распределен(вполне вступает в размер предиката), а предикат не распределен(отчасти вступает в размер субъекта). Все S имеется Р-.
В общеотрицательном суждении субъект и предикат распределены, этак как их объемы вполне исключаются друг из друга. Ни один S не имеется Р.
В частноутвердительном суждении субъект и предикат не распределены, этак как их объемы только отчасти включены друг в друга. Некие S- имеется Р-.
В частноотрицательном суждении субъект не распределен, а предикат распределен, этак как дробь размера субъекта исключается из только размера предиката. Некие S- не имеется Р.
Литература
СПИСОК ЛИТЕРАТУРЫ
1. Афанасьева О. Н. Логика: учебное вспомоществование. М. , 2002.
2. Гетманова А. Д. Логика. М. , 1986.
3. Кириллов В. И. , Старченко А. А. Логика. М. , 1982.
4. Малыхина Г. И. Логика. Мн. , 2002.
1. Отношения между простыми суждениями по «логическому квадрату»: отношения противоречия, подчинения, противоположности и подпротивоположности.
«Логический квад