Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Новые рефераты » Висновки з складних суджень

Реферат Висновки з складних суджень





ілову судження. Залежно від числа членів диз'юнкції (альтернатив) виділяють дилеми (2 члена), трілемми (3 члена), полілемми (більше трьох членів). Наприклад, логічна структура відомої казкової ситуації витязя на роздоріжжі (прямо поїдеш - голову складеш, направо поїдеш - коня втратиш, ліворуч поїдеш - дружину знайдеш) має форму трілемми:

(p1? q1) amp; (p2? q2) amp; (p3? q3) vp2vp3vq2vq3.


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


Чисто умовним називається умовивід, обидві посилки якого є умовними судженнями.

Приклад:

Якщо винахід створений спільною творчою працею кількох громадян (р), всі вони визнаються співавторами винаходу (q). Якщо вони визнаються співавторами винаходу (q), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (г)

Якщо винахід створений спільною творчою працею кількох громадян (р), то порядок користування правами на винахід, створений у співавторстві, визначається угодою між співавторами (г)

У наведеному прикладі обидві посилки - умовні судження, причому наслідок першої посилки є підставою другий (q), з якого, у свою чергу, випливає деякий наслідок (г). Загальна частина двох посилок (q) дозволяє зв'язати заснування першої (р) і наслідок другий (г). Тому висновок також виражається у формі умовного судження.

Схема чисто умовного умовиводу:

(р - gt; q) л (q - gt; г) р - gt; г

Висновок в чисто умовному умовиводі ґрунтується на правилі: наслідок слідства є наслідок підстави.

Умовивід, в якому висновок виходить з двох умовних посилок, відноситься до простих.


3. Привести приклади умовно-категоричного умовиводу. Розкрити специфіку модусів умовно-категоричного умовиводу


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

Це умовивід має два правильних модусу: 1) затверджує і 2) заперечує.

. У стверджуючому модусі (modus ponens) посилка, виражена категоричним судженням, стверджує істинність підстави умовної посилки, а висновок стверджує істинність слідства; міркування направлено від ствердження істинності підстави до утвердження істинності слідства.

Приклад:

Якщо позов пред'явлений недієздатною особою (р), то суд залишає позов без розгляду (q)

Позов пред'явлений недієздатною особою (р)

Суд залишає позов без розгляду (q)

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

. У отрицающем модусі (modus tollens) посилка, виражена категоричним судженням, заперечує істинність слідства умовної посилки, а висновок заперечує істинність підстави. Міркування направлено від заперечення істинності слідства до заперечення істинності підстави. Наприклад:

Якщо позов пред'явлений недієздатною особою (р), то суд залишає позов без розгляду (q)

Суд не залишив позов без розгляду (Не-q)

Невірно, що позов пред'явлений недієздатним особою (яка не-р)


. Привести приклади розділової-категоричних умовиводів. Розкрити специфіку модусів розділової-категоричного умовиводу


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

Прості судження, з яких складається розділову (диз'юнктивне) судження, називаються членами диз'юнкції. Приклад, розділову судження «Облігації можуть бути представницькими або іменними» складається з двох суджень - диз'юнктів: «Облігації можуть бути представницькими» і «Облігації можуть бути іменними», з'єднаних логічним союзом «або».

Стверджуючи один член диз'юнкції, ми з необхідністю повинні заперечувати інший і, заперечуючи один з них, - стверджувати інший. Відповідно до цього розрізняють два модуси розділової-категоричного умовиводу: (1) утверждающе-який заперечує і (2) отрицающе-який стверджує.

. У утверждающе-отрицающем модусі (modus ponendo tollens) менша посилка - категоричне судження - стверджує один член диз'юнкції, висновок - також категоричне судження - заперечує інший її член. Наприклад;

Облігації м...


Назад | сторінка 2 з 4 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Безпосереднє умовивід. Істинність суджень
  • Реферат на тему: Судження і логічна характеристика
  • Реферат на тему: Право на позов і право на пред'явлення позову
  • Реферат на тему: Складні судження
  • Реферат на тему: Екзистенційні судження