Висновок з двох приватних посилок

Деякі соціологи (М-) - випускники Московського

Деякі вчені (S-) -соціологія (М +)

Деякі вчені (S-) - випускники Московського

У цьому прикладі менша посилка - частноутвердітельное ви-ділячи судження ( «Деякі вчені, і тільки вчені, являють-ся соціологами») з розподіленим предикатом (середнім терми-ном силогізму). Так як середній термін в одній з посилок рас-межа, висновок з двох приватних посилок слід з необхід-мостью. Легко перевірити, що всі інші загальні правила силогізму дотримуються.

Висновок по 1-й фігурі, в якій ббльшая посилка - приватне судження.

Необхідність виведення в цьому силогізмі може бути показана на наведеному прикладі: середній термін в меншій посилці рас-межа.

3. Одна з посилок - приватне судження, висновок - загальне судження.

Некспорие юристи, і тільки юристи (Р +), - слідчі (М +) Всі учасники наради (S +) - слідчі (М-)

Всі учасники наради (S +) - юристи (Р-)

Велика посилка в цьому прикладі - частноутвердительное виокрем-ляющее судження з розподіленим предикатом - середнім терми-ном силогізму.

4. Висновок по 2-й фігурі з двох стверджувальних посилок. Наведений приклад показує, що висновок по 2-й фігурі сле-дует з необхідністю, так як середній термін в одній з посилок

Висновок по 1-й фігурі, в якій менша посилка - негативні-вування судження.

Особа, яка вчинила злочин (М +), притягується до кримінальної відповідальності (Р +) H. (S +) не вчинив злочину (М +)

H. (S +) не залучається до кримінальної відповідальності (Р +)

Висновок випливає з необхідністю, так як велика посилка - общеутвердітельное виділяє судження з розподіленим пре-дікатом. Предикат - більший термін силогізму - розподілений в посилці і в ув'язненні.

Розглянуті приклади показують, що силогізми, до складу яких входять виділяють судження, підпорядковуються не всім, а лише деяким правилам. Це обумовлено особливістю виділити-чих суджень, розподіл елейностью їх термінів. Тому, уста-навлівая логічну необхідність виведення в силогізм з виділяючи-ющим судженням, необхідно мати на увазі цю особливість. Цільових перевірок по перевіряти правильність висновку за допомогою кругових Схеми.

У деяких випадках більшою посилкою силогізму є визначення через рід і видову відмінність. Так як таке визначенні-ня підпорядковується правилу пропорційності, воно виражається в формі общеутвердітельного виділяє судження, обидва терміни которо-го розподілені. А це означає, що на силогізм, більшою посилкою якого є визначення, також не поширюються Незнач-які правила.

Такі силогізми використовуються в судовій практиці, зокрема, т-ти при кваліфікації злочинів. наприклад:

Хуліганство (Р +) - це навмисні дії, грубо порушують громадський порядок і виражають явну неповагу до суспільства (М +)

Дії Н. (S +) є навмисними, грубо порушують громадський порядок і виражають явну неповагу до суспільства (М-)

Дії Н. (S) є хуліганством (Р)

Висновок отримано з двох стверджувальних посилок по 2-й фігурі.

Умовиводи з суджень з відношеннями

Умовивід, посилки і висновок якого є суж-новами з відносинами, називається висновком з відносинами. наприклад:

Петро - брат Івана Іван - брат Сергія

Петро - брат Сергія

Посилки і висновок в наведеному прикладі - судження з відносинами, що мають логічну структуруxRy.

Логічним підставою умовиводів з суджень з ставлення-нями є властивості відносин, найважливіші з яких - 1) симетричність, 2) рефлексивність і 3) транзитивність.

1. Ставлення називаетсясімметрічним (від грецького sim-metria - «відповідність»), якщо воно має місце як між предметами х і у, так і між предметами у і х. Інакше кажучи, перестань-ка членів відношення не веде до зміни виду відносини. Сім-загсі є відносини рівності (якщо а равноЬ, то і Ь одно а), подібності (якщо з схоже сd, то і d схоже з с), одновремен-ності (якщо подія х відбулося одночасно з подією у, зна-чит, і подія у відбулося одночасно з подією х), відмінності і деякі інші.

Ставлення симетричності символічно записується:

2. Ставлення називаетсярефлексівним (від латинського ге-flexio - «відображення»), якщо кожен член відносини знаходиться в такому ж відношенні до самого себе. Такі відносини рівності (есліа = Ь, тоа = аіЬ = Ь) і одночасності (якщо подія х про-

спливло одночасно з подією у, значить, кожне з них вироб-йшло одночасно з самим собою).

Ставлення рефлексивності записується:

3. Ставлення називаетсятранзітівним (від латинського transi-tivus - «перехід»), якщо воно має місце між х і z тоді, коли воно має місце між х і у і між у і z. Інакше кажучи, ставлення є транзитивним (перехідним) тоді і тільки тоді, коли з відношення між х і у і між у і z слід таке ж відношення між х і z.

Транзитивними є відносини рівності (якщо а так само Ь і b равнос, то так само як с), одночасності (якщо подія х відбулося одночасно з подією у та подія у одночасно з подією z, значить, подія х відбулося одночасно з подією z ), відносини «більше», «менше» (а меньшеЬ, b меньшес, значить, а менше с), «пізніше», «перебувати на північ від (південніше, на схід від, за-Падни)», «бути нижче, вище» і т .п.

Ставлення транзитивності записується:

Для отримання достовірних висновків з суджень з ставлення-нями необхідно спиратися на правила, що випливають з властивостей відносин.

З властивості симетричності (xRy-> yRx) випливає правило: якщо сужденіеxRy істинно, то сужденіеyRx теж істинно. наприклад:

А подібно В В подібно А

З властивості рефлексивності (xRy- ^ xRx л yRy) випливає прави-ло: якщо сужденіеxRy істинно, то істинними будуть сужденіяxRx і yRy. наприклад:

З властивості транзитивності (xRy л yRz-> xRz) випливає правило:

якщо сужденіеxRy істинно і сужденіеyRz істинно, то судження xRz також істинно. наприклад:

К. був на місці події раніше Л. Л. був на місці події раніше М. К. був на місці події раніше М.

Таким чином, істинність висновку з суджень з ставлення-нями залежить від властивостей відносин і регулюється правилами,

що випливають із цих властивостей. В іншому випадку висновок може виявитися помилковим. Так, з міркувань «Сергєєв знайомий з Пет-ровим» і «Петров знайомий з Федоровим» годі було необхідного висновку «Сергєєв знайомий з Федоровим», так як «бути знакі-мим» не є транзитивним відношенням.

1. Що таке умовивід? На які види вони поділяються?

2. Які знання називаються вивідними?

3. Які умовиводи називаються безпосередніми?

4. У чому сутність операції перетворення, звернення, протиставлення пре-дікату?

5. Як будуються умовиводи по логічному квадрату? Яка залежність істинності чи хибності одного судження від істинності чи хибності іншого, якщо ці судження знаходяться у відносинах: протиріччя, протилежності, чистячі-ної сумісності, підпорядкування?

8. Що таке фігури і модуси силогізму? Які особливі правила мають 1-а, 2-а і 3-я фігури? Охарактеризуйте значення цих фігур в пізнанні.

9. Що являють собою умовиводи з суджень з відношеннями? Охарак-теризують основні властивості відносин.

Дедукція. ВИСНОВКИ З складного судження. Скорочення І СКЛАДНІ силогізму

Видами дедуктивних умовиводів є такжесокращен-ні, складні і складноскорочені силогізми.