Розподіл по модальності - це поділ суджень за характером вираженого в них знання. У залежності від цього судження представляють знання про можливе, дійсному, необхідному.
Судження можливості (проблематичні) - судження яка відображає знання про предмети, властивості, які може бути і не існують, але існування яких не суперечить законам об'єктивної дійсності. Формула - Можливо (ймовірно) S є Р.
Судження дійсності - судження, що констатують наявність або відсутність у предмета тієї чи іншої ознаки, якості, властивості. Формула - S є Р. Думка, виражену судженням дійсності, відрізняє сувора визначеність і логічна несуперечність.
Судження необхідності - судження, що виражають необхідну закономірний зв'язок між предметами або зв'язок ознаки з даними предметами. Формула - Необхідно, що S є Р.
За допомогою логічних спілок утворюються складні судження. Залежно від типу логічного союзу, яким пов'язані частини складного судження, розрізняють з'єднувальні, розділові та умовні судження.
Сполучне (кон'юнктивні) судження - це судження, в якому затверджується одночасно наявність двох ситуацій. Найчастіше такі судження виражаються за допомогою пропозицій, з'єднаних союзом "і". Формула А і В (А L В), де символ L - читається "і". Це знак кон'юнкції.
Розділові судження - це судження в яких стверджується наявність однієї з двох ситуацій. Формула А чи В..
Якщо стверджується наявність хоча б однієї з двох ситуацій, судження називається (нестрого) розділовим або суворо диз'юнктивні. Найчастіше затвердження першого типу здійснюється за допомогою пропозицій з союзом "або", а друге - з союзом "або ..., або ...", (" або ..., або ..."), але може виражатися і за допомогою пропозицій з союзом "або", якщо ясно, що має місце твердження про наявність рівно однією з двох ситуацій. Союз "чи", за допомогою якого виражається затвердження першого типу, позначається символом '(читається "або"), - знак нестрогой диз'юнкції, а союз "або ..., або ...", за допомогою якого виражається затвердження другого типу, символом - називається знаком суворої диз'юнкції.
Союз "чи" може бути не тільки двомісним, але і більш ніж двомісним.
У деякій літературі можна зустріти вираз, коли деякі розділові судження називають сполучно-розділовими, слабкою диз'юнкцією і т.д. У всіх випадках мова йде про альтернативні поняттях, що не виключають один одного. У таких судженнях союз "або" можна замінити сполучником "і".
Умовні судження - це судження, в яких стверджується, що наявність однієї ситуації зумовлює наявність іншої. Умовні судження найчастіше виражаються пропозицією з союзом "якщо ..., то ...". Перша частина судження (до частки "то"), називається підставою, друга - наслідком.
Зв'язок між підставою і наслідком характеризується наступними важливими логічними властивостями: істинність підстави достатня для визнання істинним слідства; хибність слідства з необхідністю вказується на хибність підстави.
Умовний союз "якщо ... то ... "може позначатися стрілкою (®), або символом" Й ". Цей символ називається знаком (матеріальної) імплікації, а судження з цим символом - імплікатівним. Підстава імплікатівного судження називається інтецендентом, а наслідок - консеквентом.
У побудовах сучасної логіки виділяють ще два види складних суджень - судження еквівалентності і судження із зовнішнім запереченням, модальні судження і алетіческіе модальні судження. Обгрунтування цих видів суджень дано в підручнику Івлєва Ю.В. Логіка. - М.: Изд-во Московського університету. У побудовах сучасної логіки виділяють ще два види складних суджень - судження еквівалентності і судження із зовнішнім запереченням, модальні судження і алетіческіе модальні судження. Обгрунтування цих видів суджень дано в підручнику Івлєва Ю.В. Логіка. - М.: Изд-во Московського університету, 1992.
Будь-яке судження має кількісну та якісну характеристику. Найбільш поширеними в традиційній логіці є атрибутивні судження, які мають другу назву - категоричні судження (від грец. - Kategorikos - ясний, безумовний, не допускає інших тлумачень). Застосовується об'єднана класифікація категоричних (атрибутивних) суджень за якістю та кількістю, згідно з якою судження поділяються на общеутвердітельние, общеотріцательние, частноутвердітельние і частноотріцательние.
Общеутвердітельние судження - загальні за обсягом суб'єкта і позитивні за якістю зв'язки. Формула "Всі S суть Р". Загальновживане судження позначається буквою А (перша буква дієслова "аffirmo" - стверджую).
У цих судженнях об'єкт предиката ширше обсягу суб'єкта і є його підкоряють поняттям. У багатьох судженнях (у всіх визначеннях) суб'єкт і предикат будуть равнозначащим поняттями, їх обсяги повністю співпадають.
Общеотріцательние судження - загальні за обсягом суб'єкта і негативні за якістю зв'язки. Формула - "не одне S не є Р". Позначається латинською літерою Е - перша голосна дієслова "nego" - заперечую. У общеотріцательних судженнях обсяг суб'єкта і обсяг предиката повністю виключають один одного.
Частноутвердітельние судження - приватні за обсягом суб'єкта і позитивні за якістю зв'язки. Формула "Деякі S суть Р". Позначається латинською літерою I - друга голосна дієслова "affirmo". У цих судженнях суб'єкт і предикат - перехрещуються поняття, їх поняття частково збігаються. У деяких частноутвердітельние випадках обсяг суб'єкта обсягу предиката, тут предикат підпорядкований суб'єкту.
Частноутвердітельние судження - приватні за обсягом суб'єкта і негативні за якістю зв'язки. Формула "Деякі S не є Р". Позначається латинською літерою Про - друга голосна дієслова "nego". У частноотріцательное судженнях йдеться про частину обсягу суб'єкта, несумісної з об'ємом предиката.
Суб'єкт і предикат судження можуть бути розподілені (взаємні в повному обсязі) або не розподілені (взаємні не в повному обсязі). Іншими словами, термін буде розподілений, є думка яку він висловлює, ставитися до всього класу предметів; термін буде нераспределен, якщо він мислиться (мова йде) про частину класу будь-яких предметів. Це необхідно для встановлення правил перетворення судження і правил виводу в умовиводах.
При підготовці цієї роботи були використані матеріали з сайту http://www.studentu.ru