ою, бо в ній судження має одне з двох значень істинності: воно або істинно, або хибно. У тризначних логіках - різновиду багатозначних логік - судження може бути або істинним, або хибним, або невизначеним. p align="justify"> Наприклад, судження На Марсі є життя в даний час не є ні істинним, ні помилковим, а невизначеним. Багато судження про майбутні одиничних події є невизначеними. Про це писав ще Аристотель, наводячи приклад такого невизначеного судження: Завтра необхідно буде морська битва 1.
У простому атрибутивном судженні є суб'єкт, предикат, зв'язка і кванторное слово. У судженні Деякі птахи є хижими суб'єктом є поняття птах , предикатом - поняття хижак , кванторного словом - деякі , зв'язка виражена словом є . У судженні Криголами існують суб'єктом є поняття криголам , а предикатом - поняття існування предмету; він виражений словами те, що існує .
Суб'єкт атрибутивного судження - це поняття про предмет судження. Суб'єкт судження позначається буквою S (від латинського слова subjectum). Предикатом атрибутивного судження називається поняття про ознаку предмета, про який йдеться в судженні. Предикат позначається літерою Р (від лат. Praedicatum). Зв'язка може бути виражена одним словом (є, суть, є), або групою слів, або тире, або простим узгодженням слів ( Всі метелики суть комахи , Рим є столицею Італії , Деякі книги не відносяться до букіністичних span> ).
Перед суб'єктом судження іноді варто кванторное слово: всі , або жоден , або деякі та ін кванторного слово вказує, відноситься Чи судження до всього обсягу поняття, що виражає суб'єкт, або до його частини. Прості судження, про які йшла мова, називаються ассерторіческіе.
. Безглузді судження
Під обгрунтуванням суджень у загальному випадку розуміється обгрунтування їх істинності, тобто справедливості приписування судженню семантичної оц...