Суждение и его виды

САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ

ПСИХОЛОГИИ И СОЦИАЛЬНОЙ РАБОТЫ

 

 

 

Факультет прикладной психологии ОСП

 

 

 

 

 

 

 

САМОСТОЯТЕЛЬНАЯ РАБОТА

по дисциплине:

«Логика»

на тему

«Суждение и  его виды»

 

 

 

 

 

 

 

Выполнил(а):

студент(ка) 1 г.об./курса

группы ВП-13

очно-заочной  формы обучения

Зайцева Наталья Андреевна

Проверил(а): Доцент Галушко В.Г.

 

                                                        

 

 

 

 

 

 

 

 

 

 

 

 

Санкт-Петербург

2013

 

 

 

Содержание:

 

1. Введение………………………………………..3-4

 

2. Суждение………………………………………..5

 

• Суждение как форма мышления…………....5
• Классификация простых суждений……..….5-7
• Сложные суждения и их виды…………..….8-10

3. Заключение…………………………………….11

 

4. Список литературы………………………………12

 

5. Приложение 1………………………………………13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I. Введение

 

Логика — науке о принципах правильного мышления.

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

Логические операции — такие, как определение, классификация, доказательство, опровержение и т.п. — применяются каждым человеком  в его мыслительной деятельности. Но применяются неосознанно и нередко с погрешностями, без отчетливого представления о всей глубине и сложности тех мыслительных действий, с которыми связан каждый, даже самый элементарный акт мышления.

Логическая теория своеобразна. Она высказывает об обычном — о человеческом мышлении — то, что может показаться на первый взгляд без необходимости усложненным. К тому же основное ее содержание формулируется на особом, созданном специально для своих целей искусственном языке. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся.

Формальная логика –  наука о законах и формах мышления.

 

Термин «логика» имеет  свое происхождение от греческого logos, что

означает «мысль», «слово», «разум», «закон».

 

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

 

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

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

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

 

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

Формальная логика представлена сегодня двумя науками – традиционной и математической (символической) логикой.

 

Традиционная логика – это первая ступень логики выводного знания. Она изучает общечеловеческие формы мысли (понятия, суждения), формы связи мыслей в рассуждении (умозаключения), зафиксированные в системе формально-логических законов (тождества, противоречия, исключенного третьего и достаточного основания).

 

Основоположником традиционной логики считается Аристотель

(384–322 гг. до н. э.). Ему  принадлежит заслуга разработки  основных логических категорий и законов, а также систематического и последовательного изложения логического учения

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

 

II. Суждение

Суждение – форма мышления, посредством которой что-либо утверждается или отрицается о предмете и которая обладает логическим значением истины или ложности. Данное определение характеризует простое суждение.

Состав простого суждения

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

Субъект – часть суждения, в которой выражается предмет  мысли.

Предикат – часть  суждения, в которой что-либо утверждается либо отрицается о предмете мысли.

Например, в суждении «Земля –планета Солнечной системы» субъектом является «Земля», предикатом«планета солнечной системы».

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

Кроме терминов, суждение содержит связку. Как правило, связка выражается словами «есть», «суть», «является», «быть».

 

Классификация простых суждений

Деление суждений по характеру  предиката

По характеру предиката  все суждения делятся на суждения свойства (атрибутивные суждения) и суждения отношения.

Атрибутивные  суждения – суждения, в предикате которых выражаются свойства или признаки предмета. Например, «Человек – разумное существо».

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

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

Логическая схема категорического (атрибутивного) суждения S

есть P.

 

Суждения отношения (релятивные) – суждения, в предикате которых выражаются отношения между предметами. Например, «Иван любит Марью», «Волга длиннее Оки», «Свой дурак дороже чужих умников» и т. д.

В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные, n-членные отношения. Например, в суждении «Иван брат Петра» мыслится двухчленное отношение, «Москва расположена между Брестом и Кировым» – трехчленное отношение. Соответственно этому выделяют суждения с двух-,трех-, n-местными предикатами, где в предикате R фиксируется определенное отношение, а в субъекте x1, … xn – предметы, вступающие в это отношение.

Структура суждения отношения символически записывается

так: R (x1, … xn).

В настоящее время  наиболее разработанной является теория двухчленных (бинарных) отношений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

по качеству и количеству

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

 

1. Общеутвердительные – суждения, являющиеся одновременно общими и утвердительными. Например, «Все крокодилы суть пресмыкающиеся животные».

 

2. Частноутвердительные – суждения, частные и утвердительные одновременно. Например, «Некоторые юристы являются прокурорами».

 

3. Общеотрицательные – общие и отрицательные одновременно. Например, «Ни одна планета не светит собственным светом».

 

4. Частноотрицательные – частные и отрицательные одновременно. Например, «Некоторые утверждения не являются истинными».

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сложные суждения и их виды.

 

Сложное суждение – суждение, образованное из простых по средством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.

 

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

 

1) логическим значением  простых суждений, входящих в  сложное;

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

 

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

Например, «Если квадрат  гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения».

 

Конъюнктивное суждение – суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения. Образуется посредством логического союза конъюнкции, выражающегося грамматическими союзами «и», «да», «но», «однако». Например, «Светит, да не греет».

Символически обозначается следующим образом: p ∧ q , где p, q – переменные, обозначающие простые суждения, ∧ – символическое выражение логического союза конъюнкции.

 

Дизъюнктивные суждения

Имеется два вида дизъюнктивных  суждений: строгая (исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.

Строгая (исключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинно только одно из входящих в него суждений.

Например, «Данное число  либо кратно, либо не кратно пяти». Логический союз дизъюнкция выражается посредством  грамматического союза «либо…либо». Символически записывается p ∨􀀅 q .

 

Нестрогая (неисключающая) дизъюнкция – сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинным является, по крайней мере, одно (но может быть и больше) из простых суждений, входящих в сложное.

Например, «Писатели могут  быть или поэтами, или прозаиками (или тем и другим одновременно)».

 

Нестрогая дизъюнкция выражается посредством грамматического союза  «или…или» в разделительно-соединительном значении. Символически записывается p ∨ q .

 

Импликативные (условные) суждения

Импликация – сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент) истинно, а последующее (консеквент) ложно.

 В естественном  языке импликация выражается  союзом «если..., то» в смысле  «наверно, что р и не-q». 

Например, «Если число делится на 9, то оно делится и на 3». Символически импликация записывается p → q (если р, то q).

Анализ свойств импликации показывает, что истинность антецедента  является достаточным словием истинности консеквента, но не наоборот.

 

Достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление.

В то же время истинность консеквента является необходимым условием истинности антецедента, но недостаточным.

Необходимым для явления  считается такое условие, без которого оно (явление) не имеет место.

 

Суждения эквивалентности

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

 Логический союз  эквивалентности выражается грамматическими союзами «тогда и только тогда, когда», «если и только если».

Например, «Если и только если треугольник равносторонний, то он и равноугольный». Символически записывается p ↔ q (если и только если р, то q).

Эквивалентное суждение со связанными по содержанию членами  выражает одновременно условие достаточное  и необходимое: (p → q)∧ (q → p).

Равносильность выражений ( p ↔ q ) и (p → q)∧ (q → p) может быть доказана с помощью таблицы истинности.

 

Заключение

 

История логики насчитывает  более 2,5 тысяч лет. Еще в древности  было замечено важнейшее свойство мышления человека – оно подчиняется некой  принудительной силе, каким-то не зависящим  от воли и желания человека законам; его результаты во многом предопределены предшествующим знанием и могут быть получены без непосредственного обращения к опыту. Именно эта сторона мышления: формы мыслей и рассуждений, обеспечивающие получение новых истин на основе уже установленных, обоснованность этих форм, а также критериев правильности получаемого знания, и составляет предмет формальной логики.

 

Современный уровень  развития формальной логики характеризуется  ее теснейшей связью с математическими  исследованиями и математизацией науки вообще. На этом основании закладывается фундамент неклассических разделов формальной логики:

• многозначных,
• модальной,
• вероятностной,
• интуиционистской и других логик.

 

Сегодня развитие формальной логики идет в двух основных направлениях:

1) разработка новых систем неклассической логики: логики императивов, оценок, вопросов, теории логического следования, исследование свойств этих систем и отношений между ними, создание их общей теории;