трусики женские украина

На головну

 Розділовий силогізм - Логіка

УРАЛЬСЬКОЇ ЮРИДИЧНИЙ ІНСТИТУТ МВС РОСІЇ

Екстернат

Залікова книжка № 50

Слухач Каменська Лариса Вікторівна

прізвище, ім'я, по батькові

Потік № 1

Контрольна робота

по Логіки

найменування дисципліни

Тема: Розділовий силогізм

Реєстраційний № ___________________

План

Введення.

Поняття умовиводу.

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

Розділовий силогізм, його види.

а) чисто-розділовий силогізм;

б) розділової-категоричний силогізм, його модуси.

Умовно-розділовий силогізм.

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

складна конструктивна дилема;

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

складна деструктивна дилема.

Висновок.

Література.

Введення.

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

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

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

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

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

Поняття умовиводу

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

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

Візьмемо такі судження:

а) 1. a = b. б) 1. Камінь тоне у воді.

2. b = c. 2. Залізо - не камінь.

3. a = c. 3. Залізо не тоне.

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

Виникає питання: як же відрізнити дійсне висновок від уявного, правильного з логічної точки зору умовивід від неправильного? Звичайно, умовивід буде правильним тоді і тільки тоді, коли в ньому виконуються основні формально-логічні закони (закон тотожності, закон суперечності і закон виключеного третього). Це означає, що у висновку не може бути термінів або, кажучи більш загально, елементів, частин матерії, відмінних від тих, що містяться в посилках. Крім того, висновок не повинен бути судженням, що суперечить будь-якої з посилок. Якщо висновок побудовано з посилок, то для перевірки того, що дійсно побудовано з посилок за законами логіки, досить переконатися в тому, що судження, яке суперечить йому, знаходиться у протиріччі також з посилкою, що містить предикат або наслідок ув'язнення.

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

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

У визначенні дедукції в логіці виявляються два підходи.

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

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

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

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

Приклад:

Всі ссавці тварини годують дитинчат молоком.

Всі дельфіни - ссавець.

Всі дельфіни годують дитинчат молоком.

Тут перша посилка «Всі ссавці тварини годують дитинчат молоком» є общеутвердітельним судженням і висловлює велику ступінь узагальнення в порівнянні з висновком, також є общеутвердітельним судженням «Все дельфіни годують дитинчат молоком». Ми будуємо умовивід від ознаки, що належить класу «ссавці», до його приналежності до виду - «дельфін», тобто від загального класу до його окремого випадку, до підкласу. Окремий випадок при цьому не слід плутати з приватним судженням виду «Деякі S є P» або «Деякі S не є P».

Дедуктивні умовиводи поділяють на:

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

а) умовивід протиріччя;

б) умовивід протилежності;

в) умовивід субконтрарности;

г) умовивід підпорядкування;

2. Умовивід модальності;

3. Умовивід перетворення;

4. Умовивід обігу;

5. Умовивід протиставлення предикату.

Розглянемо умовиводи по логічному квадрату.

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

А противності Е

 підпорядкування

 підпорядкування

J подпротівності O

Ставлення противності (контрарності) має місце між судженнями общеутвердітельное (А) і общеотріцательное (Е).

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

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

Наприклад, якщо істинно судження: «Всяка причина має слідство» (А), то противне йому судження: «Жодна причина не має слідства» (Е) буде неправдою. Але якщо помилково судження: «Всі слухачі нашого курсу раніше вивчали логіку» (А), то противне йому судження «Жоден слухач нашого курсу раніше не вивчав логіку» (Е) буде невизначеним, тобто воно може виявитися як істинним, так і помилковим.

Умовиводи, засновані на цьому відношенні між судженнями, називаються висновками противності.

Ставлення подпротівності (субконтрарности) має місце між судженнями частноутвердітельное і приватно-негативними.

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

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

Наприклад, при істинності судження «Деякі люди вивчали логіку» (J), буде істинно і подпротівное йому судження: «Деякі люди не вивчали логіку» (О). Але при істинності судження «Деякі атоми подільні» (J) подпротівное йому судження: «Деякі атоми неподільні» буде хибним.

Умовиводи даного виду називають висновками подпротівності.

Відношення підпорядкування існує між судженнями А і J (общеутвердітельное і частноутвердітельное), а також між Е і О (общеотріцательное і частноотріцательное). При цьому А по відношенню J і Е по відношенню до Про називатимуться подчиняющими, а J по відношенню до А і О стосовно Е - підлеглими судженнями.

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

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

При хибності підпорядкованого судження: «Деякі злочини не підлягають покаранню» (О) буде тим більше ложно судження: «Жоден злочин не підлягає покаранню» (Е). Але при хибності підпорядковуючого судження: «Нив одному сучасній державі немає виборчого цензу» (Е) буде істинним підлегле судження: «У деяких сучасних державах немає виборчого цензу» (О).

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

Відносини протиріччя (контрадікторності) існують між судженнями А і О (общеутвердітельное і частноотріцательное) і між судженнями Е і J (общеотріцательное і частноутвердітельное). У відношенні суперечності перебувають також одинично-ствердні і одинично-негативні судження («Дане S є Р» і «Дане S не є Р»). Ставлення протиріччя полягає в тому, що з двох суперечливих суджень одне обов'язково істинне, а інше - помилково. Два суперечливих судження не можуть бути ні одночасно істинними, ні одночасно хибними.

«Дане S є Р» і ? «Дане S не є Р» л

«Дане S є Р» л ? «Дане S не є Р» і

«Дане S не є Р» і ? «Дане S є Р» л

«Дане S не є Р» л ? «Дане S є Р» і

Умовиводи, засновані на відношенні протиріччя називаються запереченням судження.

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

Так, заперечуючи істинне судження: «Всяка агресія злочинна» (А), ми отримаємо нове помилкове судження: «Деякі агресії не злочинні» (О). Заперечуючи помилкове судження «Жодне явище об'єктивної дійсності не змінюється (Е), ми отримаємо істинне судження« Деякі явища об'єктивної дійсності схильні до змін »(J).

Зауважимо, що судження типу А і Е (общеутвердітельние і общеотріцательние) не є запереченням одне одного, так як можуть зустрітися випадки, коли вони обидва опиняться помилковими, Виключенням, як уже було сказано, є одинично-ствердні і одинично-негативні судження, які, хоча і відносяться по об'єднаній класифікації (за якістю та кількістю) до общеутвердітельним і общеотріцательним, є запереченням одне одного. Заперечуючи одиничне судження «Іванов - злочинець», ми отримаємо нове: «Іванов не є злочинцем», яке несумісне з першим. Якщо перше судження істинно, то друге хибне, і навпаки.

Розділовий силогізм

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

Схема диз'юнктивного, або розділового, судження, що утворює першу посилку диз'юнктивного силогізму, має такий вигляд: S є або А, або В, або С.

Кожне з суджень, що входить у даний розділову судження (S є А, S є В, S є С), називається альтернативою. У даному роздільному судженні містяться три альтернативи.

Існують суто розділові й розділової-категоричні умовиводи.

В чисто-разделительном умовиводі обидві (або всі) посилки є розділовими судженнями.

У традиційній логіці прийнято таку його структура:

S є А, або В, або С.

А є або А1, або А2.

S є або А1, або А2, або В, або С.

Тут з судження «S є А» утворюються ще дві альтернативи, які складають два члени нової диз'юнкції.

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

1. S є А, або В, або С;

S не є ні А, ні В.

Отже, S є С.

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

Наприклад:

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

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

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

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

2. S є або А, або В, або С;

S є А.

Отже, S не є ні В, ні С.

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

Наприклад:

Іменник може стояти в називному, родовому, давальному, знахідному, орудному, місцевому відмінках.

Іменник стоїть у називному відмінку.

Отже іменник не варто не в родовому, ні в давальному, ні в знахідному, ні в орудному, ні в місцевому відмінках.

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

1. в разделительном судженні повинні бути приведені всі можливі альтернативи. Іншими словами, поділ суб'єкта судження повинно бути повним, вичерпним;

2. необхідно враховувати точне значення союзу «або», яке може бути і чисто-розділовим і сполучно-розділовим, так як при чисто-разделительном значенні союзу «або» все альтернативи виключають одна одну, а при сполучно-разделительном значенні союзу «або» альтернативи не виключають одна одну.

Умовно-розділовий силогізм

Існують також умовно-розділові (лемматіческіе) силогізми.

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

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

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

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

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

Якщо А є В, то С є D, якщо Е є F, то С є D.

А є В або Е є F.

З є D.

Наведемо приклад простої конструктивної дилеми:

Якщо число ділиться на 6, то воно ділиться і на 3; якщо число ділиться на 9, то воно ділиться і на 3.

Дане число ділиться на 6 або на 9.

Дане число ділиться на 3.

II. Складна конструктивна дилема.

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

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

Наприклад:

У романі А.С. Пушкіна «Євгеній Онєгін» після виклику Ленського на дуель перед Онєгіним постала дилема:

Якщо відмовитися від дуелі, то його визнають боягузом; якщо він уб'є Ленського на дуелі, то його визнають вбивцею.

Онєгін міг відмовитися від дуелі або піти на неї.

Його визнають боягузом або вбивцею.

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

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

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

Наприклад:

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

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

Отже ця людина не хворий на грип.

IV. Складна деструктивна дилема

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

Якщо А є В, то С є D, якщо Е є F, то К є М.

С не є D або К не є М.

А не їсти В або Е не є F.

Наприклад:

Якби я був багатий, то купив би автомобіль.

Якби.

Листопад не купив диплом і не вчуся в академії.

Отже, я не багатий і не маю великих зв'язків.

Висновок

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

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

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

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

Література:

Гетманова А.Д. Підручник з логіки. 2-е изд.-М .: «ВЛАДОС», 1995.

Романов В.В. Логіка. Курс лекцій. Єкатеринбург: Изд-во Єкатеринбурзькій вищої школи МВС Росії, 1995.

Формальна логіка. Під ред. Чупахіна

Авіація і космонавтика
Автоматизація та управління
Архітектура
Астрологія
Астрономія
Банківська справа
Безпека життєдіяльності
Біографії
Біологія
Біологія і хімія
Біржова справа
Ботаніка та сільське господарство
Валютні відносини
Ветеринарія
Військова кафедра
Географія
Геодезія
Геологія
Діловодство
Гроші та кредит
Природознавство
Журналістика
Зарубіжна література
Зоологія
Видавнича справа та поліграфія
Інвестиції
Інформатика
Історія
Історія техніки
Комунікації і зв'язок
Косметологія
Короткий зміст творів
Криміналістика
Кримінологія
Криптологія
Кулінарія
Культура і мистецтво
Культурологія
Логіка
Логістика
Маркетинг
Математика
Медицина, здоров'я
Медичні науки
Менеджмент
Металургія
Музика
Наука і техніка
Нарисна геометрія
Фільми онлайн
Педагогіка
Підприємництво
Промисловість, виробництво
Психологія
Психологія, педагогіка
Радіоелектроніка
Реклама
Релігія і міфологія
Риторика
Різне
Сексологія
Соціологія
Статистика
Страхування
Будівельні науки
Будівництво
Схемотехніка
Теорія організації
Теплотехніка
Технологія
Товарознавство
Транспорт
Туризм
Управління
Керуючі науки
Фізика
Фізкультура і спорт
Філософія
Фінансові науки
Фінанси
Фотографія
Хімія
Цифрові пристрої
Екологія
Економіка
Економіко-математичне моделювання
Економічна географія
Економічна теорія
Етика

8ref.com

© 8ref.com - українські реферати


енциклопедія  бефстроганов  рагу  оселедець  солянка