Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
ЛОГИКА заочка.doc
Скачиваний:
118
Добавлен:
04.03.2016
Размер:
586.24 Кб
Скачать
  1. Тема 4. Суждение. Общая характеристика, классификация и отношения

  2. Между суждениями

Суждение– это основная форма мысли, мышления. Познавая мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами. Эти связи и отношения отражаются в суждениях, представ­ляющих собойсвязь понятий.

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

Суждение состоит из 3 частей:

Субъект(subjektum) – отражает предмет суждения

Предикат(praedikatum) – отражает признак предмета

Связка между S и P– элемент суждения, соединяющий оба термина суж­дения, утверждая или отрицая принадлежность предмету некоторого признака. В языке связка выражается словами «есть», «является» и т.п.

Суждения бывают простыеисложные.

Простые – которые не включают в себя другие суждения.

Кстати: Иногда простые суждения называютатомами (атомар­ными), а сложные суждения –молекулами (молеку­лярными).

Виды суждений:

1Атрибутивные(от лат. atributum – предназначенное, наделенное)

Выражают принадлежность (не принадлежность) того или иного свой­ства предмету. Также называются категорическими

(от лат. categorikos – ясный, безусловный, не допускающий иных толкований).

Логическая схема суждения: S – P(S1, S2, S3, – P), (S – P1, P2, P3)

2Реляционные(от лат. relativus – относительный)

Выражают различные отношения между предметами, понятиями о предметах и пр.

Логическая схема суждения: x R y (x, y– члены отношения)

3Экзистенциальные(от лат. existentia – существование)

В них выражается сам факт существования или не существования предмета суждения.

Большинство суждений – категорические. Среди них существует разделение по количеству: на единичные, общие и частные; по качеству: на утвердительные и отрицательные.

Например:Все S есть P

Некоторые S есть P

По крайней мере некоторые S есть P

Слова «все», «некоторые» и другие подобные слова, которые характе­ризуют суждение со стороны его количества, называются кванторнымислова­ми (от лат. quantum – сколько). Операция введения таких слов в суждение назы­ваетсяквантификацией, а операторы –кванторами.

Различают:

квантор общности: (все, каждый, всегда….)

квантор существования: (некоторый, иногда, бывает, существует…)

Объединенная классификация суждений:

Общеутвердительные: «Все S есть P»

Общеотрицательные: «Ни один S не есть P»

Частноутвердительные: «Некоторые S есть P»

Частноотрицательные: «Некоторые S не есть P»

Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo– утверждаю; а отрицательные – словаnego– отрицаю.

С помощью кругов Эйлера это выглядит так:

АОбщеутвердительные:

«Все бамбуки есть злаки»

«Все квадраты – равносторонние прямоугольники»

Е Общеотрицательные:

«Ни один герой не является трусом»

IЧастноутвердительные:

«Некоторые математики были астрономами»

«Некоторые орудия – ракетные»

ОЧастноотрицательные:

«Некоторые водные животные не есть позвоночные»

«Некоторые языки не имеют форм склонения»

Распределенность того или иного термина в суждениях.

Термин считается распределенным, если взят в полном объеме. Иначе –нераспределен.

Суждения

S

P

A

+

A

+

+

I

I

+

E

+

+

O

+

O

+

В общем случае руководствуются правилом:

1 Субъект S считается распределенным в общих суждениях (общеутверди­тельных и общеотрицательных) и нераспределен в частных суждениях (частноутвер­дительных и частноотрицательных)

2 Предикат Р распределен во всех отрицательных и в тех частноутверди­тельных суждениях, в которых Р подчинен S. Предикат нераспределен в обще­утвер­дительном (за исключением дефиниции) и в тех суждениях, в которых S и Р перекрещивающиеся понятия.

Операции с суждениями

Установление точного логического смысла суждений

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

Например: “В еловых лесах живет мало певчих птиц”. Для логического анализа такая форма не совсем удобна. Преобразовав предложение в: “Все еловые леса принадлежат к лесам с малочисленным населением певчих птиц”, мы придаем суждению форму, которая, не меняя его логического смысла, делает более явным положение S, Р и связки.

Обращение

Преобразование, при котором Р становится S, а S – Р, но логическое содержание остается тем же самым.

Например: “Все пешеходы – участники дорожного движения”. При обра­щении получаем: “Некоторые участники дорожного движения – пешеходы”.

Обращение делает для нас более отчетливым количество S и Р, а также отношение между их объемами в суждении. В самом деле:

S – пешеходы

Р – участники дорожного движения

Превращение

Если в операции обращения мы «работаем» с Р, то в операции превращения мы «переключаем внимание» на S. При превращении рассматривается отношение субъекта не просто к Р исходного суждения, но к понятию, противоречащему Р.

До превращения: S – Р. После превращения: S – не-Р

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

Основывается на том, что каждое понятие может мыслиться не только в своем собственном положительном содержании, но и по отношению к противо­речащему ему понятию. Противопоставление предикату есть высказывание не о предикате суждения, а о понятии, противоречащем понятию предиката.

Противопоставление предикату является соединением превращения с обращением. Чтобы произвести противопоставление, сначала производится превращение, а затем превращенное суждение обращается.

Сопоставление суждений по логическому квадрату

АЕ

IО

План семинарских занятий по теме: Суждение

1. В чем различие между простыми и сложными суждениями?

2. Каков состав и каковы виды атрибутивных суждений?

3. В каких атрибутивных суждениях, какие термины распределены, а какие

не распределены?

4. Виды соединительных суждений.

5. Виды разделительных суждений.

6. Основные виды отношений между суждениями.

7. Как устанавливать отношения между категорическими сужде­ниями

посредством логического квадрата?

Упражнения и задачи:

1.Постарайтесь прочесть все спрятанные предложения

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

нннаплитккплитвплитетыстоиттсковородкаскорикаакастрюляпляюссмосмосмолокомммос

2. Укажите, какие из перечисленных высказываний являются описательными, а какие — оценочными:

а) Если металл нагревается, он плавится.

6) Неправда, что философские споры неразрешимы.

в) Сухая и теплая погода гораздо лучше сырой и холодной.

г) Плохо, когда человек клянется и тут же нарушает свою клятву.

д) Этот город когда-то был намного меньше Парижа.

е) Принцип «Не убей!» обычно не распространяется на воен­ные действия и на смертную казнь.

3. Укажите, какие из следующих высказываний относятся к бессмысленным:

а) Александр Македонский мало чему научился у своего учителя, Аристоте

ля.

6) «Крекс, фекс, пекс» — вот наш ответ.

в) Самая высокая горная вершина была заметно ниже окру­жающих ее вер

шин.

г) Гоголь писал «Мертвые души» в Риме.

д) Если паровоз, то идет снег или дует сильный ветер.

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

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

б) Тот, кто ясно мыслит, ясно говорит.

в) Он — образованный человек и неправда, что у него неваж­ная память.

г) Здесь холодно, и было бы хорошо, если бы ты закрыл окно.

д) Геометрия Евклида непротиворечива, но геометрия Лоба­чевского также непротиворечива.

е) Если свет имеет волновую природу, то, когда он представ­ляется в виде потока частиц (корпускул), допускается ошибка.

ж) Если данное число делится на 6, то оно делится на 2 и делится на 3.

ТЕСТ.

  1. Определите, выражает ли данное предложение суждение?

«Прощай, свободная стихия!»

  1. нет; 2) да.

2. Определите, выражает ли данное предложение суждение?

«Что яростной толпе сраженный гладиатор?»

  1. да. 2) нет;

3. Определите вид суждения:

«Некоторые страны имеют однопартийную систему».

1) экзистенциальное.2) реляционное; 3) атрибутивное;

4. Определите вид суждения:

«Севернее островов Новой Земли находятся острова, носящие название Земля Франца Иосифа».

1) экзистенциальное; 2) реляционное; 3) атрибутивное.

5. Определите вид суждения:

«Ничего не существует беспричинно»

1) экзистенциальное; 2) реляционное; 3) атрибутивное.

6. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:

« В здоровом теле здоровый дух».

1) суждение Е. Ни одно Sне суть Р.

2) суждение А. Все Sсуть Р.

3) суждение I. НекоторыеSсуть Р.

4) суждение О. Некоторые Sне суть Р.

7. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:

«Не все выдающиеся музыканты имели абсолютный слух»

1) суждение I. НекоторыеSсуть Р.

2) суждение А. Все Sсуть Р.

3)суждение Е. Ни одно Sне суть Р.

4) суждение О. Некоторые Sне суть Р.

8. Определите вид суждения по объединенной классификации и его символическое обозначение по логическому квадрату:

« 70% всего мирового грузооборота перевозится морским путем».

1) суждение I. НекоторыеSсуть Р.

2) суждение А. Все Sсуть Р.

3) суждение О. Некоторые Sне суть Р.

4) суждение Е. Ни одно Sне суть Р.

9. Какое отношение в логическом квадрате отражает данное положение:

« Два суждения могут быть одновременно истинными, но не могут быть одновременно ложными»

1) подчинения; 2) противоречия; 3) частичной совместимости; 4) противоположности.

10. Какое отношение в логическом квадрате отражает данное положение:

« Из истинности общих суждений следует истинность частных, но из истинности частных суждений истинность общих не обязательна».

1) противоположности; 2) подчинения; 3) противоречия; 4) частичной совместимости.

11. Какое отношение в логическом квадрате отражает данное положение:

«Оба суждения не могут быть одновременно истинными, но могут быть ложными».

1) подчинения; 2) противоречия; 3) противоположности; 4) частичной совместимости.

12. Какое отношение в логическом квадрате отражает данное положение:

« Из двух суждений одно должно быть истинным, а другое – ложным».

1) противоречия; 2) противоположности; 3) подчинения; 4) частичной совместимости.