Контрольная работа по "Логика"

СОДЕРЖАНИЕ

 

Задание 1…………………………………………………………………………..3

Задание 2…………………………………………………………………………..5

Задание 3…………………………………………………………………………..7

Список использованной литературы…………………………………………….8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задание 1. Определите отношения между следующими понятиями, изобразите с помощью кругов Эйлера: Треугольник, остроугольный треугольник, равносторонний треугольник, равнобедренный треугольник, прямоугольный треугольник.

 

Решение

 

Связь между двумя понятиями  по содержанию может быть весьма далекой. Эта связь может выражаться только в том, что оба понятия отражают какие-то предметы или свойства предметов (например, «безответственность» и «нитка»; «романс» и «кирпич»). Такого рода далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми, остальные понятия называются сравнимыми [2; 28].

Сравнимые понятия делятся  по объему на совместимые (объемы этих понятий совпадают полностью  или частично) и несовместимые (объемы которых не имеют общих элементов) [3; 111].

Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида).

Отношения между понятиями  изображают с помощью круговых схем (кругов Эйлера), где каждый круг обозначает объем понятия. Если понятие единичное, то оно также изображается кругом [4; 95].

Равнозначными, или тождественными, называются понятия, которые различаются  по своему содержанию, во объемы которых  совпадают, т.е. в них мыслится или  один и тот же класс, состоящий  из одного элемента, или один и тот  же класс предметов, состоящий более чем из одного элемента [1; 49].

В нашем случае отношения между следующими понятиями можно представить в виде кругов Эйлера следующим образом (рисунок 1).

 

Рисунок 1 – Отношения между понятиями, изображенные с помощью кругов Эйлера

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задание 2 Определите вид суждения (атрибутивное, реляционное, экзистенциальное), его термины (S, P):

А) Некоторые сотрудники являются необязательными людьми.

Б) Некоторые растения не являются лекарственными.

 

Решение

 

Суждение — это мысль, в которой утверждается или отрицается определенная связь либо между объектами, либо между объектом и признаками. Как правило, в языке (грамматике) суждение выражается при помощи повествовательных предложений. В логике выделяют атрибутивные, реляционные и экзистенциальные простые суждения. Нас интересуют атрибутивные суждения [4; 108].

В атрибутивных суждениях (от лат. attribuo — придаю, наделяю) фиксируется  связь между предметом и его  признаками, а под атрибутом обычно понимается какое-либо свойство предмета. Во всяком атрибутивном суждении можно выделить субъект, предикат и связку. Субъект суждения (S) — то, о чем говорится в суждении, т.е. это понятие о предмете суждения. Предикат суждения (P) — то, что говорится о субъекте суждения, т.е. это понятие о признаке предмета. Связка суждения — то, что связывает субъект и предикат в единое суждение; она обычно выражается словами «есть» или «не есть». Если субъект суждения обозначить буквой S, предикат — буквой P, то структуру атрибутивного суждения можно выразить так:

S – есть/не есть ‑ Р [6; 94-96]

В логике принято делить атрибутивные суждения по а) качеству и б) количеству.

По качеству суждения делятся на: утвердительные (говорящие о наличии  признака) и отрицательные (говорящие  об отсутствии признака) [6;18].

Количество суждения — характеристика объема субъекта суждения. По количеству атрибутивные суждения делятся на единичные («один»), частные («некоторые») и общие («все»). В традиционной силлогистике а) единичные суждения рассматриваются как общие, поскольку и те и другие высказываются обо всем объеме субъекта; б) термин «некоторые» в частных суждениях понимается так: «по крайней мере некоторые, а может быть и все» (но не так: «только некоторые»!).

Атрибутивные суждения, у которых точно определено их качество и количество называются категорическими. В логике выделяют четыре типа атрибутивных (категорически) суждений:

1. общие и утвердительные  — общеутвердительные (A);

2. частные и утвердительные  — частноутвердительные (I);

3. общие и отрицательные  — общеотрицательные (E);

4. частные и отрицательные  — частноотрицательные (O);

(Их обозначения происходят  от гласных букв их латинских  названий AffIrmo и nEgO) [5; 108]

Существует каноническая форма категорических суждений (к  ним приводятся разговорные выражения):

А(SP): Все S есть (суть) Р — ∀(x)(S(x) ⊃ P(x));

I(SP): Некоторые S есть  Р — ∃(x)(S(x) ⋀ P(x));

Е(SP): Ни одно S не есть Р  — ∀(x)(S(x) ⊃ P(x));

О(SP): Некоторые S не есть Р — ∃(x)(S(x) ⋀ P(x)) [5; 110].

В нашем случае:

А) Некоторые сотрудники являются необязательными людьми - I(SP): Некоторые S есть Р — ∃(x)(S(x) ⋀ P(x));

Б) Некоторые растения не являются лекарственными - О(SP): Некоторые S не есть Р — ∃(x)(S(x) ⋀ P(x)).

 

 

Задание 3 Выразите в виде формулы структуру следующего сложного суждения: Женщина, красивая, еще молодая, прекрасно одетая, с приятной улыбкой, степенная, склонилась над водой и от нечего делать выводит концом шелкового зонтика какие-то буквы на прибрежном песке.

 

Решение

 

Если связать между  собой ряд простых суждений, то полученные в результате этого новые суждения будут уже сложными (сложенными). В логике сложные суждения подразделяются на виды: соединительные, разделительные, условные и эквивалентные [4; 77].

Соединительные суждения иначе называются конъюнктивными (от лат. conjuncto - объединение). Соединение простых суждений друг с другом осуществляется здесь посредством союза "и". Однако в этом же смысле используются и другие выражения, например, "а", "но", "а также", "как и", "хотя", "однако", "несмотря на", "одновременно" и др. Записывается соединение двух суждений как p Щ q, что и называется логической операцией "конъюнкция".

Пример:

Все люди рождаются свободными и равными в своем достоинстве  и правах (Всеобщая декларация прав человека).

Нетрудно видеть, что  в приведенном сложном суждении конъюнктивно объединены четыре простых суждения:

Все люди рождаются свободными в своем достоинстве (p);

Все люди рождаются свободными в своих правах (q);

Все люди рождаются равными  в своем достоинстве (r);

Все люди рождаются равными  в своих правах (t).

В нашем случае:

(а  ^ b  ^ с  ^ d  ^ е ) ^  (f ^ g )

 

Список использованной литературы

 

1. Логика / Под ред. В.Ф. Беркова. - Минск, 1994.
2. Логика / Под ред. Г.А. Левина. - Минск, 1974.
3. Логика. Логические основы общения. / В.Ф. Берков, Я.С. Яскевич, В.И. Бартон и др. - М.: Наука, 1994.
4. Логика: логические основы общения. Хрестоматия. - М., 1994.
5. Логика: наука и искусство. / В.С. Меськов, О.Ю. Карпинская, О.В. Ляшенко, Я.В. Шрамко. - М.: Высшая школа, 1993.
6. Логика: наука и искусство. Под редакцией Меськова B.C., Карпинской О.Ю. Ляшенко О.В. - М., Высшая школа. 1993.
7. Логический словарь ДЕФОРТ. - М., 1994.