орма думки, в якій щось стверджується або заперечується щодо предметів і явищ, їх властивостей і відносин і яка сама має властивість істинності. З точки зору Канта, судження - це форма з'єднання уявлень в свідомості, для Гегеля - це форма співвідношення понять. З точки зору формальної логіки структура судження утворений; "трьома компонентами: суб'єктом (S), предикатом (Р) і логічної зв'язкою між ними. За якістю судження поділяються на позитивні і негативні, за кількістю - на одиничні. приватні і загальні; за характером зв'язку між суб'єктом і предикатом - на категоричні, умовні і розділові: за модальності - на судження необхідності (аподиктичні), дійсності (ассерторіческіе), можливості (проблематичні). В результаті об'єднання ділення суджень за якістю та кількістю виходять чотири основні види суджень: общеутвердітельние (А), частноутвердітельние (I), общеотріцательние (Е), частноотріцательние (О). Їх загальноприйняті позначення відповідають двом першим гласним буквах латинських слів affirmo - стверджую і nego - заперечую. Судження, в яких виражаються відносини двох предметів за величиною, послідовності, положенню в просторі та часі і т.д., називаються судженнями відносин. Є чотири види відносин між основними судженнями: противності (контрарние), суперечливості (контрадікторние), подпротівності (субконтрарность), підпорядкування. Контрарні відносини існують між судженнями, які не можуть бути разом істинними (якщо одне істинно, то інше помилково), але обидва разом можуть бути помилковими. Контрадикторні відносини існують між судженнями, які разом не можуть бути ні істинними, ні хибними (з двох суджень, що знаходяться в контрадікторних відносинах, одне і тільки одне істинно, інше неодмінно хибне). Судження, що знаходять у відносинах субконтрарності. не можуть бути одночасно хибними, але можуть бути одночасно істинними. Відносини, які існують між загальним і приватним судженнями відповідної якості, називаються відносинами підпорядкування. З істинності загального судження слід істинність підлеглого йому приватного судження: з істинності приватного судження не слід істинність відповідного йому загального судження; з хибності загального судження не слід ні істинність, ні хибність підпорядкованого йому приватного судження. Умовивід - форма мислення, яка забезпечує одержання з одного або кількох суджень нового судження. Вихідні судження називаються посилками, нове судження - висновком. Для того щоб з одного або кількох суджень був можливий висновок нового судження, між ними повинен існувати логічний зв'язок, яку і відображає умовивід. Істинність висновків в умовиводах залежить від істинності посилок і правильності застосування законів мислення. Тільки дотримання обох цих умов може привести до правильного висновку. Умовивід ймовірності - це умовивід, у висновку якого міститься ймовірне знання, умовивід достовірності у виводі містить достовірне (аподиктичні або ассерторіческіе) знання, умовивід модальності зас...
