Курс лекций Рекомендовано редакционно-издательским советом Орелгту в качестве учебного пособия Орел 2005

Вид материалаКурс лекций

Содержание


6.5.5 Противопоставление субъекту
Пример. «Ни один злой человек не может быть вполне справедливым». Это общеотрицательное суждение (Е
S), не есть человек, который может быть вполне справедливым (Р
6.5.6 Умозаключения по «логическому квадрату»
Формы выводов по «логическому квадрату»
А: Все существа, являющиеся людьми (S
Р). 2. Отношение подчинения: А
Р). 3. Отношение контрадикторности: А
Р). Предположим, что суждение ложно
О: Некоторые существа, являющиеся людьми (S
Подобный материал:
1   ...   24   25   26   27   28   29   30   31   ...   47

6.5.5 Противопоставление субъекту



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

Такой вывод можно осуществить, последовательно применяя обращение исходного суждения, а затем - превращение полученного результата, либо сразу следуя правилам для противопоставления субъекту:

1) для общеутвердительного суждения:

Все S есть Р.

Некоторые Р не есть не-S.

2) для общеотрицательного суждения:

Ни одно S не есть Р.

Все Р есть не-S.

3) для частноутвердительного суждения:

Некоторые S есть Р.

Некоторые Р не есть не-S.

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

Пример. «Ни один злой человек не может быть вполне справедливым». Это общеотрицательное суждение (Е). Приводя его к логической форме («Ни одно S не есть Р»), делаем вывод в соответствии с формой противопоставления субъекту для общеотрицательного суждения:

Ни один человек, являющийся злым ( S),

не есть человек, который может быть вполне справедливым (Р).

Все люди, которые могут быть вполне справедливыми (Р),

есть люди, не являющиеся злыми (не-S).


6.5.6 Умозаключения по «логическому квадрату»



Умозаключения по «логическому квадрату» делаются из простых категорических суждений на основе отношений между ними, зафиксированных в «логическом квадрате».

Формы выводов по «логическому квадрату»:

1) отношение контрарности (противоположности) между общеутвердительным (А) и общеотрицательным (Е) суждениями характеризуется тем, что эти суждения не могут быть вместе истинными, следовательно:

А Е

ЕА

2) отношение субконтрарности (частичной совместимости) между частноутвердительным (I) и частоотрицательным (О) суждениями характеризуется тем, что эти суждения не могут быть вместе ложными, то есть:

IO

O I

3) отношение подчинения между общеутвердительным (А) и частноутвердительным (I) суждениями, а также между общеотрицательным (Е) и частноотрицательным (О) суждениями: истинность подчиняющего суждения обусловливает истинность подчиненного, а ложность подчиненного обусловливает ложность подчиняющего:

А ЕОI

I ОЕА

4) отношение контрадикторности между общеутвердительным (А) и частноотрицательным (О) суждениями, а также между общеотрицательным (Е) и частноутвердительным (I) суждениями характеризуется тем, что суждения не могут быть одновременно истинными и не могут быть одновременно ложными:

А ЕАЕ О IOI

OI O IAE A А

Пример. По «логическому квадрату» сделаем выводы из общеутвердительного суждения «Любой человек мечтает быть счастливым». Предположим, что оно истинно. Тогда мы можем сделать выводы на основе отношений контрарности, подчинения и контрадикторности.

1. Отношение контрарности:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

Е: Неверно, что ни одно существо, являющееся человеком (S),

не есть существо, мечтающее быть счастливым ( Р).

2. Отношение подчинения:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

I: Некоторые существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми ( Р).

3. Отношение контрадикторности:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

О: Неверно, что некоторые существа, являющиеся людьми (S),

не есть существа, мечтающие быть счастливыми ( Р).

Предположим, что суждение ложно. Тогда мы можем сделать вывод на основе отношения контрадикторности:

А: Неверно, что все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

О: Некоторые существа, являющиеся людьми (S),

не есть существа, мечтающие быть счастливыми (Р).