Логіка

Варіант 4 (КЛМ).

1. Дайте об'єднану класифікацію суджень, приведіть їх схеми і взяті з логіки позначення (A, E, I, O). Вдайте відносини між термінами з допомогою кіл Эйлера. 1.1. Ніхто може бути позбавлений свого майна інакше як у рішенню суду; 1.2. Кожен громадянин РФ має право таємницю листування; 1.3. «Логічне протиріччя недовідно «(К.Гёдель); 1.4. «В окремих людей вітер як і легко забирає голови, як і капелюхи «(Ч.М.Галифакс).

. Ніхто (P.S) може бути позбавлений свого майна (P) інакше як у рішенню суду Об'єднана класифікація — (E) Общеотрицательное судження: Жодна P. S не є P Судження по: Характеру зв’язки — атрибутивне; Кількості - общее;

Якості - отрицательное;

. Кожен громадянин (P.S) РФ має право таємницю листування (P) Об'єднана класифікація — (A) Общеутвердительное судження: Усі P. S є P Судження по: Характеру зв’язки — екзистенціальне; Кількості - общее;

Якості - утвердительное;

. Логічне протиріччя (P.S) недоказуемо (не-P) Об'єднана класифікація — (A) Общеутвердительное судження: Усі P. S є не-P Судження по: Характеру зв’язки — атрибутивне; Кількості - единичное;

Якості - утвердительное;

. В окремих людей (P.S) вітер як і легко забирає голови (P), як і капелюхи Об'єднана класифікація — (I) Частноутвердительное судження: Деякі P. S є P Судження по: Характеру зв’язки — реляционное; Кількості - частное;

Якості - утвердительное;

2.Установите вид складного судження, зазначте його складові части.

(прості судження), запишіть судження з допомогою символів, використовуючи логічні зв’язки. Якщо складне судження комбіноване — приведіть його повну логічний схему. 2.1. «Якщо чорт зніме із себе шкуру, він водночас втратить і свій обличчя «(Ф. Ніцше); 2.2. «Обличчя, задержавшее бездоглядних тварин, і трагічне обличчя, якому вони передані утримання й у користування, зобов’язані їх належним чином утримувати й за наявності провини, визначають загибель і псування тварин за межах їхніх вартості «(Цивільний кодекс РФ).

2.1. Якщо (чорт зніме із себе шкуру), то (він водночас втратить і свій лицо).

Импликативное судження, логічна форма a (b 2.2. Якщо [(Обличчя, задержавшее бездоглядних тварин), і (обличчя, якому їх передали утримання й у користування)], за наявності провини, визначають загибель і псування тварин за межах їхніх стоимости.

Складне комбіноване судження, логічна схема даного высказывания.

(S1(S2) (P, запис у логічній формі (a (b) (з. Є і і импликация.

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

Встановіть їх істинність чи неправдивість. 3.1. Усі свідки зобов’язані давати правдиві свідчення; 3.2. Збитки, заподіяний під час перевезення вантажу чи багажу, відшкодовується перевозчиком.

. Усі свідки зобов’язані давати правдиві свідчення (Аи).

. Жоден свідок зобов’язаний давати правдиві свідчення (Ел).

. Деякі свідки не зобов’язані давати правдиві свідчення (Ол).

. Деякі свідки зобов’язані давати правдиві свідчення (Iи).

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

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

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

. Певний збитки, заподіяний під час перевезення вантажу чи багажу, відшкодовується перевізником (Iи).

4. Зробіть повний розбір силогізму (зазначте висновок і посилки; середній, менший найбільший терміни, визначте постать модус). Якщо укладання договору з необхідністю годі було, зазначте, які правила силогізму порушено. 4.1 Протокол засідання, підписаний головуючим і секретарем, вважаються дійсними. Цей протокол засідання ні підписано секретарем, тому, він вважається недійсним; 4.2. Усі люди від природи прагнуть знання. Знання — сила. Отже, все люди прагнуть силе.

1. Зробимо розбір силогізму: Граматична форма: Кожен протокол засідання підписаний головуючим і секретарем (M) є дійсний (P) Цей протокол засідання (P.S) не є підписаний секретарем (M) Цей протокол засідання (P.S) не є действителен Характеристики силогізму: 1-ое Судження, велика посилка містить великий термін P 2-ое Судження, менша посилка містить менший термін P. S 3-тє Судження, умовивід: складається з суб'єкта меншою посилки і предиката більшої і містить середнього терміна M.

Большая посилка — общеутвердительное судження (А) Менша посилка — частноотрицательное судження (O) Укладання — частноотрицательное судження (O).

Умозаключение побудовано за правилами першої постаті силлогизма.

M__________P.

S__________M.

Модус АOO.

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

1. Модус АOO немає у 1-ї фігурі у списку правильних модусов.

2. Порушено правило 1-ой постаті силогізму: велика посилка мусить бути загальної, а менша — утвердительной.

2. Зробимо розбір силогізму: 1-ое Судження, велика посылка.

Усі люди (P) від природи прагнуть знанию (M). 2-ое Судження, менша посылка.

Знання (M) — сила (S). 3-тє Заключение.

Отже, все люди (P) прагнуть силе (S).

S-меньший термін; P-больший термін; M-средний термін; Велика посилка — общеутвердительное судження (А), менша також общеутвердительная (А), висновок — теж общеутвердительное (А).

Умовивід побудовано за правилами четвертої постаті силлогизма.

P__________M.

M__________S.

Укладання із необхідністю не следует:

1. Порушено особливі правила 4-ой постаті - «Логічний висновок може бути представлений общеутвердительным суждением».

2. У першому та другому судженні слово «Сила» використовують у різних значеннях. Відбувається учетверение середнього терміна. У силогізмі ж, має бути три і лише три терміна S-M-P.

Модус ААА немає у 4-ой фигуре.

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

схему. Якщо укладання договору з необхідністю годі було, зазначте, які правила порушено. 5.1. Якщо розмовлятимете правду, то люди проклянуть вас. Якщо будете брехати, то вас проклянуть боги. Отже ви не можете казати лише правду чи брехати. Отже, вас проклянуть боги чи люди. 5.2. «Вам не здається, що цей планету (Торманс — прим. С.М.Маркова) вже неможливо підняти з попелу? Що хвороба зайшла задалеко, отруївши людей зіпсованою спадковістю — дисгенетикой? Що люди Торманса вже неспроможні вірити ні в як і піклуються лише про елементарних задоволеннях, заради що вони готові попри всі? Коли планеті, бродять здичавілі натовпу, якщо пустелі наступають, з'їдаючи родючі грунту, якщо витрачені мінеральні багатства, якщо деградація усього суспільства й особливо у душах людей, те що, яку силу вони піднімуться »? Отже: …

(Єфремов І. «Час бика »).

1. Цей приклад є Складною конструктивної дилемою, у ній умовна посилка містить два основи, а два слідства. Розділова посилка стверджує два підстави, висновок — обидва можливих следствия.

Міркування спрямоване від затвердження істинності підстав до утвердження істинності следствий.

Якщо розмовлятимете правду (a), то люди проклянуть вас (b).

Якщо будете брехати (з), то вас проклянуть боги (d).

Отже ви не можете казати лише правду (a) чи брехати ©.

____________________________________________________.

Отже, вас проклянуть боги (d) чи люди (b).

Логічний схема складної конструктивної дилеммы:

(a (b) ((з (d), a V c.

_____________________ b V d.

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

Якщо в людей планети Торманс буде сила* (a), всі вони планету восстановят.

(b).

Але в людей планети Торманс немає сили (a).

____________________________________________________________________.

Отже: Планету не відновлять (b).

У цьому міркуванні слово «сила» передбачає: здоров’я людей, мінеральні багатства, родючі грунту планети Торманс.

Логічний схема умовиводи: a (b, (a.

________.

. b.

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

———————————;

P.S +.

P +.

P.S ;

P;

S+.

P.S + P ;

P ;