Визначення атлетичної пропозиційної логіки

Термін «алетична логіка» походить від грецького слова - «aletheia», шо означає «істина». Звідси її інша назва - «логіка істини».

Алетичною пропозиційною логікою називають розділ модальної логіки, де досліджуються властивості алетичних висловлювань та їхні відношення у структурі міркувань.

Ал етичні висловлювання - це модальні висловлювання, до складу яких входять алетичні модальності.

Алетичною модальністю називається виражена в описовому висловлюванні за допомогою модальних понять «необхідно», «мож­ливо», «випадково» інформація про фактичну або логічну детерміно­ваність описового висловлювання.

У методологічному плані алетичні модальності поділяються на онто­логічні й логічні.

Онтологічні модальності (їх ще називають фактичними або фізич­ними) пов’язані з об’єктивною детермінованістю описових висловлю­вань, коли їхня істинність або хибність визначається станом справ у дійсності; міру зв 'язків та відношень тут характеризує сам предмет.

Логічна модальність пов’язана з аналітичною детермінованістю описових висловлювань, коли істинність або хибність визначається че­рез логічні закони.

За онтологічною модальністю модальні висловлювання поділяють­ся на:

1) висловлювання можливості;

2) висловлювання дійсності;

3) висловлювання необхідності.

Висловлюванням можливості або проблематичним висловлю­ванням (від грец. problema - перепона) називається таке алетичне ви­словлювання, в якому виражена реально існуюча, але не реалізо­вана можливість. Наприклад, «Можливо, сьогодні піде дощ», «Тут, можливо, допущена помилка», «Можливо, позаземні цивілізації існу­ють», «Можливо, я неправильно все зрозумів».

Висловлюванням дійсності або асерторичним висловлюванням (від лат. asserto - стверджую) називається вид алетичного висловлю­вання, в якому дещо фіксується як уже існуюче в дійсності. На­приклад, «Дійсно, йде дощ», «Друга світова війна закінчилась у 1945 році», «Дніпро впадає у Чорне море».

Висловлюванням необхідності або аподиктичним висловлюван­ням (від грец. apodeiktikos - доказовий, переконливий) називається таке алетичне висловлювання, яке виражає неминучість існування яко­гось предмета, явища або зв’язку між ними. Наприклад, «Людина ста­ріє», «Рослина гине без води», «Після зими неодмінно приходить весна».

За логічною модальністю модальні висловлювання поділяються на:

1) імовірнісні та

2) достовірні.

Імовірнісним називається такий вид алетичного висловлювання, в якому яка-небудь ознака стверджується чи заперечується відносно

предмета думки лише передбачувано. Наприклад, «На Марсі, імо­вірно, існує життя», «Імовірно, він відправив цей лист у минулу субо­ту», «Тут, імовірно, була симуляція крадіжки».

Потрібно розрізняти імовірнісні висловлювання та висловлю­вання можливості. Наприклад, порівняємо два модальні висловлю­вання: «Можлива побудова мосту через річку» та «Імовірно в цьому місці побудувати міст через Дністер». Перше модальне висловлювання є висловлюванням можливості, оскільки у ньому виражене знання про те, що в дійсності можливо розв’язати таке завдання, як побудова мосту через річку. Друге модальне висловлювання - імовірнісне, оскільки у ньому зафіксоване знання про те, що дана дія може конкретно реалізу­ватися. Висловлювання можливості виголошується у результаті глиб­шого вивчення предмета. Виражене у ньому знання є завершеним. А імовірнісне висловлювання виражає знання передбачливе, незавершене. Передбачуване твердження про належність певної ознаки деякому предмету означає, що цей предмет може й не мати цієї ознаки.

Достовірним називається висловлювання, в якому фіксується знання, що містить цілковиту визначеність про належність ознаки предмету. Наприклад, «Достовірно, що діагоналі квадрата при пере­тині утворюють прямі кути», (Достовірно, що молекули складних речовин завжди побудовані з різних атомів», (Достовірно, що україн­ська мова належить до індоєвропейських мов».

2.