Реферат: Логика

Вариант4 (КЛМ)

Дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения (A,E,I,O). Изобразите отношения между терминами с помощью кругов Эйлера.

1.1. Никто не может быть лишен своего имуществаиначе как по решению суда;

1.2. Каждыйгражданин РФ имеет право на тайну переписки;

1.3. «Логическое противоречиенедоказуемо» (К.Гёдель);

1.4. «Унекоторых людей ветер так же легко уносит головы, как и шляпы»(Ч.М.Галифакс)

Никто (S) не может быть лишен своего имущества (P) иначе как по решению суда

Объединеннаяклассификация — (E)Общеотрицательное суждение: Ни одно S не есть P

Суждение по:Характеру связки – атрибутивное; Количеству – общее;

Качеству– отрицательное;

S +

P +

<img src="/cache/referats/11898/image001.gif" v:shapes="_x0000_s1026"> <img src="/cache/referats/11898/image002.gif" v:shapes="_x0000_s1028">


Каждый гражданин (S) РФ имеет право на тайну переписки (P)

Объединеннаяклассификация — (A)Общеутвердительное суждение: Все S есть P

Суждение по:Характеру связки – экзистенциальное; Количеству – общее;

Качеству– утвердительное;

S + P -

<img src="/cache/referats/11898/image003.gif" " v:shapes="_x0000_s1031">


Логическое противоречие (S) недоказуемо(не-P)

Объединеннаяклассификация — (A)Общеутвердительное суждение: Все S есть не-P

Суждение по:Характеру связки – атрибутивное; Количеству – единичное;

Качеству– утвердительное;

S+

<img src="/cache/referats/11898/image004.gif" " v:shapes="_x0000_s1033">

P-

<img src="/cache/referats/11898/image005.gif" v:shapes="_x0000_s1034">


У некоторых людей (S) ветер так же легко уносит головы (P), как и шляпы

Объединеннаяклассификация — (I)Частноутвердительное суждение: Некоторые S есть P

Суждение по:Характеру связки – реляционное; Количеству – частное;

Качеству– утвердительное;

S -

P -

<img src="/cache/referats/11898/image006.gif" v:shapes="_x0000_s1035 _x0000_s1037">


2.Установите вид сложного суждения, укажите егосоставные части (простые  

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

2.1. «Если черт снимет с себяшкуру, он вместе с тем потеряет и свое лицо» (Ф. Ницше);

2.2. «Лицо, задержавшее безнадзорныхживотных, и лицо, которому они переданы на

содержание и в пользование, обязаны их надлежаще содержать и при наличиивины,

отвечают за гибель и порчу животных в пределах их стоимости»(Гражданский кодекс

РФ).

2.1. Если (черт снимет с себя шкуру), то (он вместе с тем потеряет и своелицо)

Импликативное суждение, логическая форма a<span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">®

b

2.2. Если [( Лицо, задержавшее безнадзорных животных), и (лицо, которомуони переданы на содержание и в пользование)], при наличии вины, отвечают загибель и порчу животных в пределах их стоимости.

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

(S1<span Times New Roman"; mso-hansi-font-family:«Times New Roman»;mso-char-type:symbol;mso-symbol-font-family: Symbol">Ù

S2) <span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">®P, запись в логической форме (a<span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-char-type:symbol;mso-symbol-font-family:Symbol">Ùb) <span Times New Roman";mso-hansi-font-family:«Times New Roman»;mso-ansi-language: EN-US;mso-char-type:symbol;mso-symbol-font-family:Symbol">®c. Присутствует конъюнкция иимпликация.

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

противоречащие, подчиненные и определите частичную совместимость.Установите их истинность или ложность.

3.1. Все свидетели обязаны давать правдивыепоказания;

3.2. Ущерб, причиненный при перевозке груза илибагажа, возмещается перевозчиком.

Все свидетели обязаны давать правдивые показания (Аи)<img src="/cache/referats/11898/image008.jpg" align=«left» hspace=«12» v:shapes="_x0000_s1038"> Ни один свидетель не обязан давать правдивые показания (Ел) Некоторые свидетели не обязаны давать правдивые

показания(Ол)

Некоторые свидетели обязаны давать правдивые показания (Iи)Ущерб, причиненный при перевозке груза или багажа, возмещается перевозчиком (Аи) Никакой ущерб, причиненный при перевозке груза или багажа, не возмещается перевозчиком (Ел) Некоторый ущерб, причиненный при перевозке груза или багажа, не возмещается перевозчиком (Ол) Некоторый ущерб, причиненный при перевозке груза или багажа, возмещается перевозчиком (Iи)

4. Сделайтеполный разбор силлогизма (укажите заключение и посылки;   

средний,меньший наибольший термины, определите фигуру и модус). Если заключение снеобходимостью не следует, укажите, какие правила силлогизма нарушены.

4.1 Протокол судебного заседания, подписанныйпредседательствующим и секретарем, считается действительным. Данный протоколсудебного заседания не был подписан секретарем, потому он считается недействительным;

4.2.Все люди от природы стремятся к знанию. Знание-сила. Следовательно, все люди стремятся к силе.

1. Сделаем разбор силлогизма:

Грамматическая форма:

Всякий протокол судебногозаседания подписанный председательствующим и секретарем  (M) есть действителен (P)

Данныйпротокол судебного заседания (S)не есть подписанный секретарем (M)

Данный протокол судебногозаседания (S) не естьдействителен

Характеристики силлогизма:

1-ое Суждение, большая посылкасодержит большой термин P

2-ое Суждение, меньшая посылкасодержит меньший термин S

3-е   Суждение, умозаключение: состоит изсубъекта меньшей посылки и предиката

   большей и не содержит среднего термина M

Большая посылка — общеутвердительное суждение (А)

Меньшая посылка — частноотрицательное суждение (O)

Заключение — частноотрицательноесуждение (O)

Умозаключение построено поправилам первой фигуры силлогизма

<img src="/cache/referats/11898/image009.gif" v:shapes="_x0000_s1042">            M__________P

S__________M

            МодусАOO

Данный силлогизм не верен.

Заключение не следует снеобходимостью, так как допущены следующие нарушения в построении силлогизма:

Модус АOO отсутствует в 1-й фигуре в списке правильных модусов. Нарушено правило 1-ой фигуры силлогизма: большая посылка должна быть общей, а меньшая – утвердительной.

2. Сделаем разбор силлогизма:

1-ое Суждение, большая посылка

Все люди (P) от природы стремятся кзнанию(M).

2-ое Суждение, меньшая посылка

Знание(M) – сила(S).

3-е Заключение

Следовательно,все люди (P) стремятсяк силе(S).

S-меньший термин; P-больший термин; M-средний термин;

Большая посылка — общеутвердительноесуждение (А), меньшая также общеутвердительная (А), заключение – тожеобщеутвердительное (А).

            Умозаключениепостроено по правилам четвертой фигуры силлогизма

<img src="/cache/referats/11898/image010.gif" v:shapes="_x0000_s1041">P__________M

M__________S

            Заключениес необходимостью не следует:

1.<span Times New Roman"">     

представлен общеутвердительным суждением”

2.<span Times New Roman"">     

S-M-P.

Модус АААотсутствует в 4-ой фигуре.

5. Определите вид и модусумозаключения из сложных суждений, постройте   

схему. Если заключение с необходимостью не следует, укажите, какиеправила нарушены.

5.1.Если будете говорить правду, то люди проклянут вас. Если будете лгать, то васпроклянут боги. Но вы не можете говорить только правду или лгать. Значит, васпроклянут боги или люди.

5.2.«Вам не кажется, что эту планету (Торманс-прим. С.М.Маркова) уже невозможно поднять из пепла? Что болезнь зашла слишкомдалеко, отравив людей испорченной наследственностью– дисгенетикой? Что люди Торманса уже не способны верить ни вочто и заботятся лишь об элементарных удовольствиях, ради которых они готовы навсе? Если на планете, бродят одичалые толпы, если пустыни наступают, съедаяплодородные почвы, если израсходованы минеральные богатства, если деградация вовсем и особенно в душах людей, то чем, какой силой они поднимутся»?Следовательно:...

(Ефремов И. «Часбыка»)

Данный пример является Сложной конструктивной дилеммой, в ней условная посылка содержит два основания и два следствия. Разделительная посылка утверждает два основания, заключение — оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

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

Если будетелгать (c), то васпроклянут боги (d).

Но вы неможете говорить только правду (a)или лгать (c).

____________________________________________________

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

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

(a <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">®

b) Ù<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US"> <span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US;mso-bidi-font-weight: bold">(c <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">®<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»;mso-ansi-language:EN-US;mso-bidi-font-weight: bold"> d), a <span Arial",«sans-serif»;mso-ansi-language:EN-US;mso-bidi-font-weight: bold">Vc

         _____________________<span Arial",«sans-serif»; mso-bidi-font-family:«Times New Roman»;mso-bidi-font-weight:bold">

b<span Arial",«sans-serif»; mso-ansi-language:EN-US;mso-bidi-font-weight:bold">V

dДанный пример является Условно-категорическим умозаключением, размышления строятся по логической форме:

Если у людейпланеты Торманс будет сила* (a),то они планету восстановят (b).

Но у людейпланеты Торманс нет силы (a)

____________________________________________________________________

Следовательно:Планету не восстановят (b)

В данномрассуждении слово “сила” подразумевает: здоровье людей, минеральные богатства,плодородные почвы планеты Торманс.

Логическаясхема умозаключения:

a <span Times New Roman";mso-hansi-font-family: «Times New Roman»;mso-ansi-language:EN-US;mso-char-type:symbol;mso-symbol-font-family: Symbol">®

b, <span Times New Roman";mso-hansi-font-family:«Times New Roman»; mso-char-type:symbol;mso-symbol-font-family:Symbol">ù  a

________

ù<span Times New Roman"">       

b

Построенное по такой логическойсхеме умозаключение считается неправильным, т.е. недостоверным.Это “ослабленный” отрицающий модус условно-категорического умозаключения.

Возможно что люди могутвосстановят планету Торманс за счет других средств не учтенных в данномрассуждении.

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

еще рефераты
Еще работы по разное