НЕПОСРЕДСТВЕННЫЕУМОЗАКЛЮЧЕНИЯ

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

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

Обращение – такоепреобразованиепосылки, прикоторомнеменяетсяеёкачество, субъектом (S) заключениястановитсяпредикат (Р) посылкиинаоборот.

I. ^{(A) Все S естьР}      , выделяющеесуждениеобращаетсяпо

(I) НекоторыеРесть S

(A)Все S, итолько S, естьР формуле     .

(A) ВсеРесть S

II. (E)Ниодин S неестьР .

(E) Ниодин Рнеесть S

III. (I) Некоторые S есть P , выделяющеесуждениеобращаетсяпо(I) НекоторыеРесть S

(I) Некоторые S, и только S, есть P формуле          .

(A) ВсеРесть S

IV. Частноотрицательноесуждение (О) ввидунекорректностиданнойлогическойоперациинеобращается.

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

I. (A)Все S естьР .

(E) Ниодно S неявляетсяне−Р

II. (E) Ниодно S неявляетсяР .

(A)Все S естьне−Р

III. (I) Некоторые S есть P .

(O) Некоторые S неявляютсяне P−

IV. (O) Некоторые S неявляются P .

(I) Некоторые S естьне P−

Противопоставлениепредикатуестьтакоепреобразованиепосылки, прикоторомменяетсяеёкачество, асубъектомзаключения (S) становитсяпредикат, противоречащийпредикатупосылки.

I. (A)Все S естьР .

(E) Ниодноне−Рнеявляется S

II. (E) Ниодно S неявляется P .

(I) Некоторыене−P есть S

III. Частноутвердительноесуждение (I) ввидунекорректностиданнойлогическойоперации, непротивопоставляется.

IV. (O) Некоторые S неявляется P _.

(I) Некоторыене−P есть S

Умозаключениепологическомуквадратустроятсяисходяизследованияистинности/ложностиодногосужденияизистинности/ложностидругоговзависимостиотсвойствотношений (контрарность (А→ Е; Е→ А; А→(Е∨ Е); Е→(А∨А, контрадикторность (А→ О; А→О; Е→ I; Е→I), субкотрарность ( I→O; O→I; I→(O∨ O); O→(I∨ I)), подчинение (A→I; E→O; I→(A∨ A); O→(E∨ E); I→ A; O→ E; A→(I∨ I); E→(O∨ O)).

Упражнение 1

Выберитеправильныйответ:

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

а)обращение

б)превращение

в)противопоставлениепредикату

г)умозаключениепологическомуквадрату.

Упражнение 2

Выберитеправильныйответ:

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

а)обращение

б)превращение

в)противопоставлениепредикату

г)умозаключениепологическомуквадрату.

Упражнение 3

Выберитеправильныйответ:

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

а)обращение

б)превращение

в)противопоставлениепредикату

г)умозаключениепологическомуквадрату.

Упражнение 4

Выберитеправильныйответ:

Вывод, строящийсяисходяизследованияистинности/ложностиодногосужденияизистинности/ложностидругоговзависимостиотсвойствотношений, называется:

а)обращение

б)превращение

в)противопоставлениепредикату

г)умозаключениепологическомуквадрату.

Упражнение 5

Проведитеоперациюобращениясоследующимисуждениями. Запишитеформулы.

5.1. Некоторыедевушкисудовольствиемучаствуютвконкурсахкрасоты.

5.2. Ничтоневечноподлуной (В. Шекспир).

5.3. Ниодинудар, кромесолнечного, недолженоставатьсябезответа (М. Али).

5.4. Всебилетыужераскуплены.

5.5. Некоторыешколыимеютсвоюсобственнуюпрограммуобучения.

5.6. Всемлекопитающиераздельнополы.

5.7. Ниодназвезданеотклоняетсяотсвоегопути (М. Себастьян).

5.8. Некоторыелюдиплохоориентируютсянаместности.

5.9. Всестарыедуплистыедеревьябыливырубленыприрасчисткелеса.

5.10. Некоторыеклавишинаклавиатуренеработают.

Упражнение 6

Проведитеоперациюпревращенияссуждениямиизупражнения5. Запишитеформулы.

Упражнение 7

Проведитеоперациюпротивопоставленияпредикатуссуждениямиизупражнения5. Запишитеформулы.

Упражнение 8

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

Упражнение 9

Установитепосылкиивыводвследующихумозаключениях.

9.1. Развсестудентыюридическихфакультетовизучают «Логику», то, следовательно, средиизучающих «Логику» естьстудентыюридическихфакультетов.

9.2. Таккаквсепоганки – ядовитыегрибы, тозначитниодиннеядовитыйгрибнеявляетсяпоганкой.

9.3. Всякаяложьестьумышленноеискажениеистины. Значитникогдаложьнеявляетсянеумышленнымискажениемистины.

9.4. Некоторыечленыпредложениянеявляютсяглавными. Следовательно, некоторыечленыпредложенияявляютсянеглавными.

9.5. Некоторыесудьиявляютсяженщинами, азначитнекоторыеженщиныявляютсясудьями.

9.6. Всеметаллыэлектропроводны. Следовательно, ниоднонеэлектропроводноетелонеявляетсянеметаллом.

9.7. Срединеимеющихалибиестьподозреваемые, потомучтонекоторыеподозреваемыенеимеюталиби.

9.8. Ниодналиственницанеявляетсялиственнымдеревом, потомучтолиственница – хвойноедерево.

9.9. Некоторыезлакидостигаютвысоты 38 м, таккакбамбук – злак, достигающийвысоты 38 м.

9.10. Вселюдигрешны, следовательно, ниоднобезгрешноесуществонеявляетсячеловеком.

Упражнение 10

Подберитекатегорическоесуждение, преобразуйтеегопутёмобращения, ПРЕВРАЩЕНИЯ, противопоставленияпредикату. Сделайтеполнуюисимволическуюзапись.