Судження, 1) те ж, що висловлювання . 2) Розумовий акт, що виражає відношення мовця до змісту висловлюваної думки за допомогою затвердження модальності сказаного і зв'язаний звичайно з психологічним станом переконаності чи віри. Відображаючи глибинну семантику мови (і "мовного мислення" взагалі), С. в цьому сенсі, на відміну від висловлювання, завжди модально і носить оціночний характер.
Якщо сказане оцінюється тільки по істінностного значення (модус твердження: "Л - істинно" або "А - хибне"), С, називається ассерторіческіе. Якщо стверджується можливість (істинності) сказаного (модус твердження: "А - можливо (істинно)" або "можливо, що А (істинно)"), С. називається проблематичним. Коли ж стверджується необхідність (істинності) сказаного (модус твердження: "А необхідно (істинно)" або "необхідно, що А (істинно)"), С. називається аподиктичні. Допустимі, звичайно, і інші оцінки сказаного, наприклад "Л - прекрасно" або "А - невдало", але такого роду С. поки не знайшли формального вираження і вивчення в якій-небудь логічної теорії. У класичній логіці єдиний спосіб оцінки сказаного зводиться до першого розглянутому вище нагоди, невимовне і ассерторіческіе твердження сказаного, як показують табл. (1) і (2), з точки зору цієї логіки - невиразні: ? А | А - істинно | | uА |
А - помилково | И Л | И
Л?????????? (1) | | ? Л И | Л
І???????? (2) | Тому в класичній логіці терміни "С." і "вислів" синонімічні і як самостійні об'єкти дослідження С. не виділяються. Предметом спеціального вивчення С. фактично стають тільки в модальної логіки .
© Літ.: Черч А., Введення в математичну логіку, пер. з англ., т. 1, М., 1960, ї04. © М. М. Новосьолов.
Виберіть першу букву в назві статті:
|