§ 3. Алетичні висловлювання
Алетичні висловлювання — це модальні висловлювання, до складу яких входять такі модальності, як “необхідно”, “можливо”, “випадково” та їх модифікації. Дослідження алетичних висловлювань провадиться в межах алетичної логіки.
Необхідність
Виділяють три види необхідності: логічну необхідність, фактичну (онтологічну) необхідність, нормативну необхідність (таке розрізнення здійснюють в залежності від того, на яку підставу спирається твердження про необхідність).
Логічна необхідність пов’язана із логічними законами. Логічно необхідним є те, шо випливає із логічних законів. Заперечення логічно необхідного є несумісним із законами логіки. Істинність висловлювання, в якому зафіксоване логічно необхідне, встановлюється незалежно від досвіду, виключно на логічних засадах. Логічно необхідне висловлювання повинно бути завжди істинним, тобто істинним у всіх можливих світах. Отже, логічна необхідність є сильнішим видом істини, ніж фактична істинність, істинність в дійсному світі.
Фізична необхідність пов’язана із законами природи. Заперечення фізично необхідного призводить до порушення природних законів.
Нормативна необхідність пов’язана із законами суспільства. Заперечення нормативно необхідного призводить до протиріччя із нормами, законами, правилами, шо існують в суспільстві.
Поняття “логічної необхідності” є вужчим ніж поняття “фізичної необхідності”: не все те, шо є фізично необхідним буде логічно необхідним. Однак, логічно необхідне буде також і фізично необхідним (тобто закони логіки — це одночасно і закони природи, але не навпаки). Наприклад, висловлювання-наслідок логічного закону тотожності “якщо планета обертається, то вона обертається” є одночасно також істиною фізики. Однак, наявність у планет еліптичних орбіт є законом фізики, а не логіки.
Фізична необхідність не зводиться до логічної необхідності, а нормативна необхідність не зводиться до фізичної необхідності.
Неможливо принципи механіки звести до законів логіки, а принципи, наприклад, етики або права — до законів біології.Зазначимо, що алетична логіка вивчає переважно логічну та фактичну- необхідність. Нормативна необхідність є предметом дослідження деонтичної логіки.
,Можливість
Логічно можливим є те, шо не суперечить законам логіки. До логічно можливих належать висловлювання, шо є сумісними із законами логіки. Наприклад, ми знаємо, шо двигун із коефіцієнтом корисної дії IOOfc є фактично неможливим, але висловлювання "двигун з коефіцієнтом корисної дії IOOfc" не суперечить законам логіки, а отже, є логічно можливим.
Поняття “ логічна можливість” є ширшим ніж поняття "фізична (онтологічна) можливість”: фактично можливе є можливим і логічно, але не навпаки. Дійсно, колові орбіти планет є логічно можливими, але вони неможливі фізично.
Випадковість
Випадковим вважають те, шо може були і шо може не бути. Випадковість і можливість не є рівнозначними. Інколи випадковість називають “двосторонньою можливістю”, тобто однаковою можливістю деякого висловлювання і його заперечення.
Логічно можливим є таке висловлювання, якому не притаманна внутрішня суперечність. Якшо ж внутрішня суперечність відсутня не.тише у деякого висловлювання, хте й у заперечення цього висловлювання, то таке висловлювання називають випадковим.