Дедуктивні умовиводи

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

Рубрика Математика
Вид контрольная работа
Язык украинский
Дата добавления 23.09.2009
Размер файла 21,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

Тема: Дедуктивні умовиводи

План

1. Загальна характеристика дедуктивного умовиводу

2. Роль формалізованої дедукції у законотворчості та законозастосуванні

3. Задачі

Умовиводом називається форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження, котре містить в собі нове знання.

Умовивід за своєю структурою складніший , ніж поняття та судження, форма мислення. Поняття і судження входять до складу умовиводу як його елементи.

Будь-який умовивід складається із засновків і висновку.

Засновки - це судження, із яких виводиться нове знання.

Висновок - судження, виведене із засновків.

Наприклад, візьмемо умовивід:

„Будь-який злочин суспільно небезпечний”

„Крадіжка є злочин”.

Отже, крадіжка суспільно небезпечна.

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

Умовивід - логічний засіб здобування нового знання. У процесі умовиводу здійснюється перехід від відомого до невідомого.

За допомогою умовиводів здобуваються знання опосередковані, або висновкові.

Знання бувають:

- безпосередні

- опосередковані (висновкові).

Безпосередніми називаються знання, здобуті за допомогою безпосереднього сприймання предметів або явищ. Наприклад, „Ця стіна біла”, „На замку, яким замикали магазин, наявні сліди злому” і т. д.

Безпосередні знання складають незначну частину всіх наших знань. Основними знаннями є знання опосередковані.

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

Висновки в умовиводі може бути або істинним, або хибним. Для того щоб висновок умовиводу був істинним, необхідно дотримуватися таких двох умов.

1. Засновки, з яких роблять висновок, мають бути істинними.

2. Умовивід має бути логічно правильним.

Недотримання однієї з цих умов призводить до того, що висновок із засновків стає хибним.

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

- безпосередні

- опосередковані.

Безпосереднім називається такий умовивід, у якому висновок робиться з однієї посилки.

Опосередкованим називається такий умовивід, у якому висновок робиться з двох і більше засновків.

За спрямованістю процесу міркування опосередковані умовиводи поділяються

-дедуктивні

-індуктивні.

У дедуктивних умовиводах висновок іде від знання більшого ступеня спільності до знання меншого ступеня спільності.

В індуктивних умовиводах висновок іде від знання окремих, одиничних предметів, до знання всіх предметів класу, до знання класу в цілому.

Дедуктивним (від латинського слова deduction - виведення) називається умовивід, у якому висновок про окремий предмет класу робиться на підставі класу в цілому. Наприклад:

„Усі договори є угоди”.

„Громадянин уклав договір”.

Отже, громадянин уклав угоду.

Тут висновок про те, що громадянин уклав угоду, зроблено на підставі загального положення про те, що „Всі договори є угоди”.

У дедуктивному умовиводі думка рухається від загального до окремого, одиночного, тому дедукцію визначають звичайно як умовивід від загального до часткового.

Дедукція є логічним засобом пізнання конкретного, одиничного на основі знання загального. Вона збагачує наше знання одиничного, дає змогу розглядати окреме з точки зору загальної закономірності, пояснити конкретне, керуючись загальним правилом.

Механізм дедуктивного умовиводу полягає в поширенні загального положення на окремий випадок, у підведенні часткового випадку під загальне правило. Поширюючи загальне положення на окремий конкретний предмет або явище, ми здобуваємо нове знання про цей предмет, знання про те, що даний предмет має ознаку, наявну для всього класу, про який ідеться у загальному положенні. Так, виходячи із загального положення науки кримінального права про те, що „Будь-який злочин є діянням суспільно небезпечним”, ми робимо висновок і стосовно будь-якого злочину, скажімо, необережного вбивства, що воно теж суспільно небезпечне. Знаючи, що дача хабара карається позбавленням волі на строк до п'яти років (загальне положення), ми можемо сказати, що і громадянин, який неодноразово давав хабара (частковий випадок), може бути покараний у межах до п'яти років.

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

Щоб дійти дедуктивного висновку, необхідно мати подвійне знання, засновки:

1)засновок, що має загальне положення, або правило, під яке підводиться частковий випадок

2)засновок, у якому ідеться про той окремий предмет або частковий випадок, який підводиться під загальне положення.

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

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

Дедукція дає висновки достовірні. У цьому одна з її переваг над іншими видами умовиводів. Якщо засновки дедуктивного умовиводу істинні і правильно пов'язані, то висновок буде неодмінно істинним.

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

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

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

-категоричний силогізм

-умовні силогізми

-розподільні силогізми.

Термін „силогізм” походить від грецького слова sullogismos - здобуття висновку чи виведення наслідку.

Категоричним силогізмом називається такий дедуктивний умовивід, у якому обидва засновки є категоричними судженнями. Наприклад:

Будь-який злочин є діянням суспільно небезпечним.

Хабар є злочин.

Отже, хабар є діяння суспільно небезпечне.

Категоричний силогізм складається із трьох суджень: двох засновків і висновку. Засновки і висновок у свою чергу складаються із понять. Ці поняття називаються термінами силогізму. У категоричному силогізмі розрізняють три терміна: менший, більший і середній.

Термін, який займає місце суб'єкта у висновку, називається меншим терміном. У нашому прикладі менший термін - поняття „хабар”.

Термін, який займає місце предиката у висновку, називається більшим терміном. У наведеному силогізмі більший термін - поняття „діяння суспільно небезпечне”. Більший і менший терміни називаються крайніми термінами.

Середнім терміном називається поняття, яке входить до обох засновків і відсутнє у висновку. У наведеному прикладі - це „злочин”.

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

Умовним силогізмом називається силогізм, у якому один або обидва засновки є умовними судженнями. Розрізняють два види умовних силогізмів: умовно-категоричний силогізм і чисто умовний силогізм.

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

„Якщо право відношення відноситься до цивільного права, то суперечка підлягає судовому розгляду”.

„Це право відношення відноситься до цивільного права”.

Отже, суперечка у цьому випадку має бути розв'язана у судовому порядку.

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

Суто умовний силогізм - це такий силогізм, у котрому засновки є судженнями умовними. Наприклад:

„Якщо дане тіло нагріти, то воно розшириться”.

„Якщо тіло розшириться, то його не можна буде протягнути крізь отвір”.

Отже, якщо дане тіло розшириться, то його не можна буде протягнути крізь цей отвір.

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

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

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

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

Логічною основою висновків розподільно-категоричного силогізму є така аксіома: якщо думки знаходяться в розподільному (альтернативному) відношенні, то стверджуючи одну думку, ми заперечуємо другу, і, навпаки, заперечуючи одну - стверджуємо другу.

Для того, щоб висновок у розподільно-категоричному силогізмі був достовірним. Необхідно дотримуватися такого правила:

1.У більшому засновку мають бути перелічені всі можливі предикати, всі випадки, всі факти

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

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

За кількістю наслідків, що встановлюються вбільшому засновку умовно-розподільному силогізму, існують дилеми, трилеми, полілеми. У практиці мислення найчастіше користуються дилемами.

Дилема - це умовно-розподільний силогізм із двома альтернативами. Розрізняють два види дилеми:

-конструктивну

-деструктивну.

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

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

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

Логічні закони у сфері юридичного пізнання набувають форми правових норм. Це є однією з важливих умов, які забезпечують логічність судового дослідження, логічну сторону пізнання істини під час розслідування і розгляду судових справ.

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

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

Докази, з яких роблять висновки у справі, повинні мати чітку систему фактів без якихось внутрішніх суперечностей. Наявність суперечностей у доказах руйнує їх, робить непридатними для обґрунтування висновків. Тому кримінальна справа може бути правильно розв'язана, у ній може бути встановлена об'єктивна істина лише за тієї неодмінної умови, що у наслідок дослідження всіх обставин справи та перевірки усіх доказів, суперечності між ними будуть усунені. Якщо ж суперечності в доказах у справі залишаються, то висновок слідства й суду щодо питання про подію злочину і про винність обвинувачуваного не може вважатися істинним.

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

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

Важливе значення у судовому дослідженні має дотримання закону виключеного третього. Суд не може зробити висновки у справі, винести вирок або ухвалу без чіткої категоричної відповіді на запитання про те, чи мала місце дія, у здійсненні якої обвинувачується підсудний у здійсненні цього злочину чи не винний і т. д.

Велике значення у судовому пізнанні надається закону достатньої підстави. Вимога чіткого обґрунтування будь-якої процесуальної дії, висновків слідства й суду у судовій практиці - це не просто й не тільки логічна вимога. Закріплена юридичним законом, вона перетворюється у юридичну вимогу, як неодмінне пізнання об'єктивної істини у судовій справі і дотримання законності.

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

Справжнє правосуддя не терпить голослівності. Кожен факт, який має значення для справи, кожна обставина розглядуваного злочину мають бути доведені і лише за умови їх доказу можуть бути взяті за основу судового вироку або ухвали. Обвинувальний вирок може бути винесений тільки за повного доведення події злочину і винності підсудного.

Необґрунтований вирок вважається не законним. Суд в ухвалі має викласти не тільки свої висновки, а й пояснити, чому, на якій підставі він дійшов до того, а не іншого висновку. За суперечності наявних у справі доказів суд не може довільно прийняти одні й відкинути інші, він має обґрунтувати, чому одні докази приймаються ним як достовірні, а інші відкидаються як не правильні. Виносячи виправдувальну ухвалу, суд має вказати, чому висунуте підсудному обвинувачення визнане неспроможним, чому відкинуто докази, на яких воно ґрунтувалося, чим заперечуються положення обвинувального висновку. Суд може відкинути обвинувачення і виправдати обвинувачуваного тільки назвавши підстави, через які він не визнає докази, на яких обвинувачення ґрунтується.

Велике значення вимозі обґрунтованості надається під час обвинувачення, віддачі під суд, під час касаційного перегляду присудів і ухвал тощо. Лише за наявності достатніх підстав для розгляду справи у суді, суд виносить ухвалу про віддання обвинувачуваного під суд.

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

Вимога обґрунтування є однією з основних вимог при оцінці слідством і судом висновку експерта. Висновки експерта мають бути обґрунтованими і переконливими. Експерт у своєму висновку не просто висловлює своє судження, а має обґрунтувати його, послатися на конкретні факти, положення науки, за допомогою яких ним зроблено цей висновок. Висновок експерта має значення для слідства і суду тоді лише, коли він науково обґрунтований.

Використана література:

1. Жеребкін В.Є. Логіка: Підручник для юридичних вузів і факультетів. - 2-ге вид., стереотип. - Х.: Основа. К.: Знання, 1998

2. Тофтул М.Г. Логіка: Посібник для студентів вищих навчальних закладів. - К.: Видавничий центр „Академія”, 2002

3. Хоменко І.В., Алексюк І.А. Основи логіки. - К., 1996


Подобные документы

  • Поняття та особливості алгоритмів обчислювальних процедур. Операторні та предикатні алгоритми, їх характеристика, порядок та принципи формування, етапи розв'язання. Алгоритмічні проблеми для L. Логіка висловлень та предикатів в представленні знань.

    курс лекций [96,3 K], добавлен 25.03.2011

  • Лінійні, квадратичні та кубічні В-сплайни. Отримання форми запису сплайнів, виведення формул для розрахунків інтерполяційних задач. Застосування кубічних В-сплайнів в математичній теорії і обчислювальних задачах. Практичність вивчення кубічних В-сплайнів.

    контрольная работа [678,5 K], добавлен 20.11.2010

  • Побудова графіків реалізацій вхідного та вихідного процесів, розрахунок функцій розподілу, математичного сподівання, кореляційної функції. Поняття та принципи вивчення одномірної функції розподілу відгуку, порядок конструювання математичної моделі.

    контрольная работа [316,2 K], добавлен 08.11.2014

  • Поняття та методика визначення геометричного місця точки на площині. Правила та головні етапи процесу застосування даного математичного параметру до розв’язання задач на побудову. Вивчення прикладів задач на відшукання геометричного місця точки.

    курсовая работа [1,4 M], добавлен 12.06.2011

  • Визначення і характеристики випадкового процесу. Марковські ймовірнісні процеси з дискретними станами. Стаціонарна нерегулярна діяльність і ергодична властивість по математичному очікуванню стаціонарного мимовільного процесу і його кореляційна функція.

    курсовая работа [26,9 K], добавлен 17.01.2011

  • Вивчення існування періодичних рішень диференціальних систем і рівнянь за допомогою властивостей симетричності (парність, непарність). Основні теорії вектор-функцій, що відбивають. Побудова множини систем, парна частина загального рішення яких постійна.

    курсовая работа [87,8 K], добавлен 20.01.2011

  • Множина як визначена сукупність елементів чи об’єктів. Списковий спосіб подання множини. Множина, кількість елементів якої скінченна (скінченна множина). Виведення декартового добутку з кожної заданої комбінації. Алгоритм рішення та реалізація програми.

    задача [112,0 K], добавлен 23.06.2010

  • Визначення поняття інверсії на площині, її властивості. Виведення формул аналітичного задання інверсії на площині. Побудова образу точок, прямих і кіл, властивості кутів і відстаней між точками при інверсії. Ортогональні і інваріантні окружності інверсії.

    курсовая работа [1,2 M], добавлен 27.09.2013

  • Період від виникнення рахування до формального означення чисел і арифметичних операцій над ними за допомогою аксіом. Перші достовірні відомості про арифметичні знання, виявлені в історичних пам'ятках Вавилона і Стародавнього Єгипту. Натуральні числа.

    презентация [1,7 M], добавлен 23.04.2014

  • Виведення рівняння коливань струни. Постановка початкових і кінцевих умов. Розв’язання задачі про коливання нескінченної і напівнескінченної струни. Метод та фізичний зміст формули Даламбера. Розповсюдження хвиль відхилення. Метод Фур'є, стоячі хвилі.

    курсовая работа [1,3 M], добавлен 04.04.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.