Деление суджень по модальності. 
Розподіл суджень на кшталт логічних спілок

Деление суджень по модальності. Розподіл суджень по типу логічних союзов.

Деление по модальності - це суджень характером вираженого у яких знання. Залежно від імені цієї судження представляють знання про можливий, дійсному, необходимом.

Суждения можливості (проблематичні) — судження які відбивають знання про предметах, властивості, що може бути корисними і не існують, але існування яких немає суперечить законам об'єктивної дійсності. Формула — Можливо (мабуть) P. S є Р.

Суждения дійсності - судження, констатували наявність або відсутність у предмета тієї чи іншої ознаки, якості, властивості. Формула — P. S є Р. Думка, виражену судженням дійсності, відрізняє сувора визначеність і логічна непротиворечивость.

Суждения необхідності - судження, які виражають необхідну закономірну зв’язок між предметами чи зв’язок ознаки з цими предметами. Формула — Необхідно, що P. S є Р.

С допомогою логічних спілок утворюються складні судження. У залежність від типу логічного союзу, яким пов’язані частини складного судження, розрізняють з'єднувальні, розділювальні і умовні судження.

Соединительное (конъюнктивное) судження — це судження, в яких затверджується одночасно наявність двох ситуацій. Найчастіше такі судження виражаються у вигляді пропозицій, з'єднаних союзом «і». Формула, А і У (А L У), де символ L — читається «і». Це знак конъюнкции.

Разделительные судження — це судження у яких стверджується наявність однієї з двох ситуацій. Формула, А чи У. .

Если стверджується наявність по крайнього заходу одній з двох ситуацій, судження називається (нестрого) розділовим чи суворо диз’юнктивним. Найчастіше твердження першого типу здійснюється з допомогою речень із союзом «чи», а друге — з союзом «чи…, чи…», («або…, або…»), а може виражатись і у вигляді речень із союзом «чи», якщо ясно, що відбувається твердження про наявність рівно одній з двох ситуацій. Союз «чи», з якого виражається твердження першого типу, позначається символом Ъ (читається «чи»), — знак нестрогой диз’юнкції, а союз «чи…, чи…», з якого виражається твердження другого типу, символом — називається знаком суворої дизъюнкции.

Союз «чи» може бути лише двомісним, але й ніж двухместным.

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

Условные судження — це судження, у яких стверджується, що наявність однієї ситуації зумовлює наявність інший. Умовні судження частіше всього виражаються пропозицією з союзом «якщо…, то…». Перша частина судження (до частки «то»), називається підставою, друга — наслідком.

Связь між підставою і характеризується такими важливими логічними властивостями: істинність підстави достатня визнання істинним слідства; неправдивість слідства із необхідністю обгрунтовується неправдивість основания.

Условный союз «якщо… то …» може позначатися стрілкою (®), чи символом «Й». Цей символ називається знаком (матеріальної) імплікації, а судження з цим символом — импликативным. Підстава импликативного судження називається интецендентом, а слідство — консеквентом.

В побудовах сучасної логіки виділяють решта 2 виду складних суджень — судження еквівалентності і судження з зовнішнім запереченням, модальні судження і алетические модальні судження. Обгрунтування цих видів суджень дано в підручнику Івлєва Ю.В. Логіка. — М.: Вид-во Московського університету. У побудовах сучасної логіки виділяють решта 2 виду складних суджень — судження еквівалентності і судження з зовнішнім запереченням, модальні судження і алетические модальні судження. Обгрунтування цих видів суджень дано в підручнику Івлєва Ю.В. Логіка. — М.: Вид-во Московського університету, 1992.

Любое судження має кількісну і якісну характеристику. Найпоширенішими у традиційній логіці є атрибутивные судження, які мають друге назва — категоричні судження (від грецьк. — kategorikos — ясный, безусловный, що інших тлумачень). Застосовується об'єднана класифікація категоричних (атрибутивних) суджень з якості та кількості, відповідно до якої судження діляться на общеутвердительные, общеотрицательные, частноутвердительные і частноотрицательные.

Общеутвердительные судження — загальні за обсягом суб'єкта і позитивні за якістю зв’язки. Формула «Усі P. S суть Р». Загальновживана судження позначається буквою, А (першу букву дієслова «аffirmo» — утверждаю).

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

Общеотрицательные судження — загальні за обсягом суб'єкта і негативні за якістю зв’язки. Формула — «не одне P. S не є Р». Позначається латинської буквою Є - перша гласний дієслова «nego» — заперечую. У общеотрицательных судженнях обсяг суб'єкта і обсяг предиката повністю виключають друг друга.

Частноутвердительные судження — приватні за обсягом суб'єкта і позитивні за якістю зв’язки. Формула «Деякі P. S суть Р». Позначається латинської буквою I — друга гласний дієслова «affirmo». У цих судженнях суб'єкт і предикат — перехресні поняття, їх поняття частково збігаються. У деяких частноутвердительных випадках обсяг суб'єкта обсягу предиката, тут предикат підпорядкований субъекту.

Частноутвердительные судження — приватні за обсягом суб'єкта і негативні за якістю зв’язки. Формула «Деякі P. S не є Р». Позначається латинської буквою Про — друга гласний дієслова «nego». У частноотрицательных судженнях йдеться частину обсягу суб'єкта, несумісну з обсягом предиката.

Субъект і предикат судження може бути розподілені (взаємні в обсязі) або розподілені (взаємні над обсязі). Інакше кажучи, термін буде розподілено, є думка що він висловлює, ставитися до всього класу предметів; термін буде нераспределен, коли він мислиться (йдеться) про частини класу будь-яких предметів. Це необхідне встановлення правил перетворення судження і керував виведення в умозаключениях.

При підготовці цієї праці були використані матеріали із сайту internet.