Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Судження



План:


Введення

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

В формальної і математичній логіці судженням відповідають висловлювання.


1. Прості і складні судження

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

Складні судження - судження, складовими частинами яких є прості судження або їх поєднання. Складне судження може розглядатися як утворення з кількох вихідних суджень, з'єднаних в рамках даного складного судження логічними союзами (зв'язками). Від того, за допомогою якого союзу зв'язуються прості судження, залежить логічна особливість складного судження.


1.1. Склад простого судження

Просте (атрибутивне) судження - це судження про належність предметів властивостей ( атрибутів), а також судження про відсутність у предметів будь-яких властивостей. У атрибутивної судженні можуть бути виділені терміни судження - суб'єкт, предикат, зв'язка, квантор.

  • Суб'єкт судження - це думка про якийсь предмет, поняття про предмет судження (логічний підмет).
  • Предикат судження - думка про відому частини змісту предмета, що розглядається в судженні (логічний присудок).
  • Логічна зв'язка - думка про відношення між предметом і виділеної частиною його змісту (іноді тільки мається на увазі).
  • Квантор - вказує, чи судження до всього обсягом поняття, що виражає суб'єкт, або тільки до його частини: "деякі", "все" і т. п.

1.2. Склад складного судження

Складні судження складаються з низки простих ("Людина не прагне до того, у що не вірить, і будь ентузіазм, не підкріплені реальними досягненнями, поступово згасає"), кожне з яких в математичній логіці позначається латинськими літерами (A, B, C, D ... a, b, c, d ...). Залежно від способу утворення розрізняють кон'юнктивні, диз'юнктивні, імплікаціонние, еквівалентні і негативні судження.

Диз'юнктивні судження утворюються з допомогою розділових ( диз'юнктивних) логічних зв'язок (аналогічних союзу "або"). Подібно простим розділовим судженням, вони бувають:

  • несуворими (нестрога диз'юнкція), члени якої допускають співіснування ("чи то ..., чи то ..."). Записується як a \ lor b ;
  • строгими (строга диз'юнкція), члени якої виключають один одного (або одне, або інше). Записується як a \ dot \ lor b .

Імплікаціонние судження утворюються з допомогою імплікації, (еквівалентно союзу "якщо ..., то"). Записується як a \ to b або a b . У природній мові союз "якщо ..., то" іноді є синонімом союзу "а" ("Погода змінилася і, якщо вчора було похмуро, то сьогодні не однієї хмари") і, в такому випадку, означає кон'юнкцію.

Кон'юнктивні судження утворюються з допомогою логічних зв'язок поєднання або кон'юнкції (еквівалентно комою або спілкам "і", "а", "але", "так", "хоча", "який", "зате" та іншим). Записується як a \ land b .

Еквівалентні судження вказують на тотожність частин судження один одному (проводять між ними знак рівності). Крім визначень, що пояснюють будь-якої термін, можуть бути представлені судженнями, з'єднаними спілками "якщо тільки", "необхідно", "досить" (наприклад: "Щоб число ділилося на 3, достатньо, щоб сума цифр, його складових, ділилася на 3 "). Записується як a \ equiv b, a \ leftrightarrow b, a b (У різних математиків по-різному, хоча математичний знак тотожності все-таки \ Equiv ).

Негативні думки будуються за допомогою зв'язок заперечення "не". Записуються або як a ~ b, або як ab (при внутрішньому запереченні типу "машина не розкіш"), а також за допомогою риси над усім судженням при зовнішньому запереченні (спростування): "не вірно, що ..." (ab).


2. Класифікація простих суджень

2.1. За якістю

  • Стверджувальні - S є P. Приклад: "Люди упереджені до самих себе".
  • Негативні - S не є P. Приклад: "Люди не піддаються лестощів".

2.2. За обсягом

  • Загальні - судження, які справедливі щодо всього обсягу поняття (Усі S суть P). Приклад: "Всі рослини живуть".
  • Приватні - судження, які справедливі стосовно частини обсягу поняття (Деякі S суть P). Приклад: "Деякі рослини суть хвойні".

2.3. По відношенню

  • Категоричні - судження, в яких присудок затверджується щодо суб'єкта без обмежень у часі, в просторі або обставин; безумовне судження (S є P). Приклад: "Всі люди смертні".
  • Умовні - судження, в яких присудок обмежує ставлення яких-небудь умовою (Якщо А є В, то С є D). Приклад: "Якщо дощ піде, то грунт буде мокра". Для умовних суджень
    • Підстава - це (попереднє) судження, яке містить умову.
    • Слідство - це (наступну) судження, яке містить слідство.

2.4. По відношенню між підметом і присудком

Логічний квадрат, що описує відносини між категоричними судженнями

Суб'єкт і предикат судження можуть бути розподілені (індекс "+") або не розподілені (індекс "-").

  • Розподілено - коли в судженні підмет (S) або присудок (P) береться в повному обсязі.
  • Не розподілено - коли в судженні підмет (S) або присудок (P) береться не в повному обсязі.

Судження А (загально-ствердні судження) Розподіляє своє підмет (S), але не розподіляє свій присудок (P)

Обсяг подлежащегосказуемого (Р)

  • Прим.: "Всі риби суть хребетні"

Обсяги підлягає і присудка збігаються

  • Прим.: "Всі квадрати суть паралелограми з рівними сторонами і рівними кутами"


Судження Е (загально-негативні судження) Розподіляє як підмет (S), так і присудок (P)

У цьому судженні ми заперечуємо будь збіг між підметом і присудком

  • Прим.: "Жодна комаха не є хребетна"


Судження I (приватно-ствердні судження) Ні підлягають (S), ні присудки (P) не розподілені

Частина класу підлягає входить до класу присудка.

  • Прим.: "Деякі книги корисні"
  • Прим.: "Деякі тварини суть Хребетні"


Судження О (приватно-негативні судження) Розподіляє своє присудок (Р), але не розподіляє свій підмет (S) У цих судженнях ми звертаємо увагу на те, що є неспівпадаючі між ними (заштрихована область)

  • Прим.: "Деякі тварини не суть хребетні (S)"
  • Прим.: "Деякі змії не мають отруйних зубів (S)"


таблиця розподілу підлягає і присудка

Підмет (S) Присудок (P)
о-у А розподілено нерозподілений
о-о Е розподілено розподілено
ч-у I нерозподілений нерозподілений
ч-о Про нерозподілений розподілено

Загальна класифікація:

  • общеутвердітельние (A) - одночасно загальні і позитивні ("Всі S + суть P -")
  • частноутвердітельное (I) - приватне і стверджувальне ("Деякі S - суть P -") Прим: "Деякі люди мають чорний колір шкіри"
  • общеотріцательное (E) - загальне і негативні ("Жоден S + не суть P +") Прим: "Жодна людина не всеведущ"
  • частноотріцательное (O) - приватне і негативне ("Деякі S - не суть P +") Прим: "Деякі люди не мають чорного кольору шкіри"

2.5. Інші

  • Розділові -

1) S є або А, або В, або С

2) або А, або В, або С є Р коли в судженні залишається місце невизначеності

  • Умовно-розділові судження -

Якщо А є В, то С є D або Е є F

якщо є А, тобто а, або b, або з Прим: "Якщо хто бажає отримати вищу освіту, то він повинен вчитися або в університеті, або в інституті, або в академії"


  • Судження тотожності - поняття суб'єкта і предиката мають один і той же об'єм. Приклад: "Всякий рівносторонній трикутник є рівнокутні трикутник".
  • Судження підпорядкування - поняття з менш широким обсягом підпорядковується поняттю з більш широким обсягом. Приклад: "Собака є домашня тварина".
  • Судження відносини - саме простору, часу, відносини. Приклад: "Будинок знаходиться на вулиці".


  • Екзистенціальні судження або судження існування - це такі судження, які приписують тільки лише існування.
  • Аналітичні судження - судження, в яких ми щодо суб'єкта висловлюємо щось таке, що в ньому вже міститься.
  • Синтетичні судження - судження, що розширюють пізнання. У них не розкривається зміст підмета, а приєднується щось нове.

3. Модальність суджень

Модальні поняття, або модальності - поняття, що виражають контекстну рамку судження: час судження, місце судження, знання про судженні, ставлення мовця до судження.

Залежно від модальності виділяються такі основні види суджень:

  • Судження можливості - "S, імовірно, є Р" (можливість). Приклад: "Можливо падіння метеорита на Землю".
  • Ассерторіческіе - "S є P" (дійсність). Приклад: "Київ стоїть на Дніпрі".
  • Аподиктичні - "S необхідно повинно бути P" (необхідність). Приклад: "Дві прямі лінії не можуть замикати простору".

Література

  • Г. Челпанов. "Підручник логіки". 9-е видання. Москва 1998 р.
  • А. Д. Гетманова Логіка / / Изд. Книжковий будинок "Університет". 1998. - 480с.

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Протилежні судження
Критика здатності судження
© Усі права захищені
написати до нас
Рейтинг@Mail.ru