Розділ 5. ПРАКТИЧНА ЛОГІКА

х{р) -> k (акціональна формула, яка виражає каузальну дію; чит.: якщо х здійснив дію р, то вона стала причиною k);

(х) -> у(р) (чит.: суб'єкт х примусив суб'єкта у здійснити дію р);

x(S) -" ((-і х(р) л у(р))) (чит.: суб'єкт д: у ситуації S сам утримався від дії р і змусив суб'єкта у здійснити дію р).

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

V (х, у, ... п) (р) - для всіх індивідів, що належать до класу людей, притаманна властивість діяти;

З {х, у,... п) (рг) - існують індивіди, які діють дуже раціонально, де г - символ, що позначає раціональність {ratio);

З (х, у,... п) (р/7) - існують індивіди, які здійснюють протиправні дії, де р/7 - символ, що позначає протиправну дію.

Після побудови простих і складних акціональних формул визначають аксіоми акціональної логіки:

А. х(р) -> х(р) - якщо суб'єкт х здійснив дію р, то він здійснив дію р;

а Х(р) -> -і х(р) - якщо суб'єкт х утримався від дії р, то він утримався від дії р,*

дз __, х(р) = х(р) - неправильно, що якщо і лише якщо суб'єкт х утримався від здійснення дії р, то він здійснив дію р;

Ал х(р л (7) = х(р) л - якщо і тільки якщо суб'єкт х здійснив складну (кон'юнктивну) дію, то вона складається з дії р і дії q.

Логічна оцінка висловлювань з акціональними модальностями: родові дії (купив, продав, відчинив, вступив, написав і под.) набувають значення реалізації стосовно дій певного суб'єкта х. Наприклад: "Суб'єкт х реалізував свій намір вступити до університету", "Суб'єкт у не реалізував свій намір кинути курити".

Якщо певний намір практично реалізовано, тобто насправді отримано результат на підставі певних дій, то висловлювання з акціональними модальностями набуває істиннісного значення: "Суб'єкт х вступив до університету" (і), "Суб'єкт у не кинув курити" (і).

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

5.3. Норми як регулятиви практичних дій

Quod non vetat lex, hoc veta pudor -

Чого не забороняє закон, те забороняє сором.

Сенека

Закон ніколи не повинен вимагати неможливого.