Непосредственные дедуктивные умозаключения Задачи Сделать вывод путем превращения

Непосредственные дедуктивные умозаключения.
Задачи.
Сделать вывод путем превращения:
1) Все студенты нашей группы являются успевающими.
2) Ни одна сделка, направленная на ограничение правоспособности, не является действительной.
3) Некоторые приговоры суда не являются обвинительными.
4) Некоторые жители нашего города – неверующие.
Решение:
1) Все студенты нашей группы являются успевающими. Субъект суждения – студенты нашей группы, предикат суждения – успевающие. Кванторное слово – все, связка утвердительна и выражена словом «являются». Суждение является общеутвердительным А. Схема суждения имеет вид: Все S есть Р.
А: Все студенты нашей группы являются успевающими.
Е: Ни один студент нашей группы не является неуспевающим.
Схема вывода:
Все S есть Р.
Ни одно S не есть не-Р.
2) Ни одна сделка, направленная на ограничение правоспособности, не является действительной. Субъект суждения – сделка, направленная на ограничение правоспособности, предикат – действительная. Кванторное слово – ни одна, связка отрицательна и выражена словами «не является». Суждение является общеотрицательным Е. Схема суждения имеет вид: Ни одно S не есть Р.
Е: Ни одна сделка, направленная на ограничение правоспособности, не является действительной.
А: Все сделки, направленные на ограничение правоспособности, являются недействительными.
Ни одно S не есть Р.
Все S есть не-Р.
3) Некоторые приговоры суда не являются обвинительными. Субъект суждения – приговоры суда, предикат суждения – обвинительные. Кванторное слово – некоторые, связка отрицательна и выражена словами «не являются». Суждение является частноотрицательным О. Схема суждения имеет вид: Некоторые S не есть Р.
О: Некоторые приговоры суда не являются обвинительными.
I: Некоторые приговоры суда являются необвинительными.
Некоторые S не есть Р.
Некоторые S есть не-Р.
4) Некоторые жители нашего города – неверующие. Субъект суждения – жители нашего города, предикат суждения – неверующие. Кванторное слово – некоторые, связка утвердительна и выражена тире. Суждение является частноутвердительным I. Схема суждения имеет вид: Некоторые S есть Р.
I: Некоторые жители нашего города – неверующие.
О: Некоторые жители нашего города не являются верующими.
Некоторые S есть Р.
Некоторые S не есть не-Р.

Сделайте вывод (если это возможно) путем обращения.
1) Работники милиции принимают присягу.
2) Ни один не виновный не должен быть привлечен к уголовной ответственности.
3) Некоторые студенты 1 курса не сдали зачет по иностранному языку.
4) Некоторые преподаватели – ученые.
Решение:
1) Работники милиции принимают присягу. Субъект суждения – работники милиции, предикат суждения – принимают присягу. Кванторное слово отсутствует, однако, из смысла суждения ясно, что речь идет обо всем объеме субъекта, поэтому кванторное слово – все, связка утвердительна и выражена соподчинением слов. Суждение является общеутвердительным А. Схема суждения имеет вид: Все S есть Р.
А: Все работники милиции принимают присягу.
I: Некоторые люди, принимающие присягу, являются работниками милиции.
Схема вывода:
Все S есть Р.
Некоторые Р есть S.
2) Ни один невиновный не должен быть привлечен к уголовной ответственности. Субъект суждения – невиновный, предикат – должен быть привлечен к уголовной ответственности. Кванторное слово – ни одна, связка отрицательна и выражена соподчинением слов. Суждение является общеотрицательным Е. Схема суждения имеет вид: Ни одно S не есть Р.
Е: Ни один невиновный не должен быть привлечен к уголовной ответственности.
Е: Ни один из тех, кто должен быть привлечен к уголовной ответственности, не должен быть невиновным.
Ни одно S не есть Р.
Ни одно Р не есть S.
3) Некоторые студенты 1 курса не сдали зачет по иностранному языку. Субъект суждения – студенты 1 курса, предикат суждения – сдали зачет по иностранному языку. Кванторное слово – некоторые, связка отрицательна и выражена соподчинением слов. Суждение является частноотрицательным О. Схема суждения имеет вид: Некоторые S не есть Р.
Частноотрицательные суждения не обращаются.
4) Некоторые преподаватели – ученые. Субъект суждения – преподаватели, предикат суждения – ученые. Кванторное слово – некоторые, связка утвердительна и выражена тире. Суждение является частноутвердительным I. Схема суждения имеет вид: Некоторые S есть Р.
I: Некоторые преподаватели – ученые.
I: Некоторые ученые – преподаватели.
Некоторые S есть Р.
Некоторые Р есть S.

Сделать вывод если это возможно путем противопоставления предикату. Проверьте правильность с помощью превращения и обращения.
1) Всякий закон является нормативно-правовым актом.
2) Ряд стран, формально получивших политическую независимость, не являются фактически самостоятельными.
3) Некоторые сделки являются односторонними.
4) Ни один приговор суда не должен быть необоснованным.
Решение:
1) Всякий закон является нормативно-правовым актом. Субъект суждения – закон, предикат суждения – нормативно-правовой акт. Кванторное слово – всякий, связка утвердительна и выражена словом «является». Суждение является общеутвердительным А. Схема суждения имеет вид: Все S есть Р.
А: Всякий закон является нормативно-правовым актом.
Е: Ни один не нормативно-правовой акт не является законом.
Все S есть Р.
Ни одно не-Р не есть S.
Проверим операцию противопоставления предикату с помощью последовательно примененных операций превращения и обращения:
Превращение:
А: Всякий закон является нормативно-правовым актом.
Е: Ни один закон не является не нормативно-правовым актом.
Обращение:
Е: Ни один закон не является не нормативно-правовым актом.
Е: Ни один не нормативно-правовой акт не является законом.
2) Ряд стран, формально получивших политическую независимость, не являются фактически самостоятельными. Субъект суждения – страны, формально получившие политическую независимость, предикат суждения –фактически самостоятельные. Кванторное слово – ряд = некоторые, связка отрицательна и выражена словами «не являются». Суждение является частноотрицательным О. Схема суждения имеет вид: Некоторые S не есть Р.
O: Некоторые страны, формально получившие политическую независимость, не являются фактически самостоятельными.
I: Некоторые страны, которые являются фактически несамостоятельными, являются странами, формально получившими политическую независимость.
Некоторые S не есть Р.
Некоторые не-Р есть S.
Проверим операцию противопоставления предикату с помощью последовательно примененных операций превращения и обращения:
Превращение:
O: Некоторые страны, формально получившие политическую независимость, не являются фактически самостоятельными.
I: Некоторые страны, формально получившие политическую независимость, являются фактически несамостоятельными.
Обращение:
I: Некоторые страны, формально получившие политическую независимость, являются фактически несамостоятельными.
I: Некоторые страны, которые являются фактически несамостоятельными, являются странами, формально получившими политическую независимость.
3) Некоторые сделки являются односторонними. Субъект суждения – сделки, предикат суждения – односторонние. Кванторное слово – некоторые, связка утвердительна и выражена словом «являются». Суждение является частноутвердительным I. Схема суждения имеет вид: Некоторые S есть Р.
Для частноутвердительных суждений I провести вывод путем противопоставления предикату невозможно, так как после превращения исходного частноутвердительного суждения получается частноотрицательное суждение, для которого нельзя применить операцию обращения.
4) Ни один приговор суда не должен быть необоснованным. Субъект суждения – приговор суда, предикат – должен быть необоснованным. Кванторное слово – ни один, связка отрицательна и выражена соподчинением слов. Суждение является общеотрицательным Е. Схема суждения имеет вид: Ни одно S не есть Р.
Е: Ни один приговор суда не должен быть необоснованным.
I: Некоторые обоснованные решения суда должны бы приговорами суда.
Ни одно S не есть Р.
Некоторые не-Р есть S.
Превращение:
Е: Ни один приговор суда не должен быть необоснованным.
А: Все приговоры суда должны быть обоснованными.
Обращение:
А: Все приговоры суда должны быть обоснованными.
I: Некоторые обоснованные решения суда должны быть приговорами суда.