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

- суб'єкт х діяв без продуманого плану і не досяг бажаного результату.

2. Розрізняють родові та індивідні дії. Родова дія - це загальна й абстрактна сутність, позначена дієсловами "робити", "діяти", "палити", "різати", "відчиняти", "зачиняти" тощо. Індивідна дія - ім'я індивіда, який здійснює дію р, унаслідок чого певна абстрактна дія набуває реалізаційного значення стосовно певного суб'єкта (діяча). Наприклад: "Богдан відчинив двері", "Ігор посадив дерево", "Оксана приготувала обід".

Семантика містить:

- категорії, що визначають специфіку побудови семантичної системи: "індивід", "клас", "властивість", "відношення", "висловлювання";

- терміни, що позначають акціональні модальності: "бажає", "має намір", "діє", "не діє", "протидіє", "утримується від дій";

- терміни, що позначають сферу акціональних дій: "суб'єкт

дії", "об'єкт дії", "дія", "недія", "мета дій", "метод досягнення мети", "ситуація", "умови дії";

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

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

Синтаксис вміщує: алфавіт, правила побудови акціональних формул, правила виведення одних формул з інших, правила інтерпретації.

Алфавіт - символи для позначення:

- акціональних змінних для позначення родових дій (діянь) р, Ч, г;

- недії (утримання від дії) -і р, -і qt -. г

- суб'єктів дій (діячів), що реалізують родові дії х, у, г;

- пропозиційних зв'язок л V _І_ -> = -,;

- кванторів загальності й існування V 3.

На підставі алфавіту складають прості та складні акціональні формули:

х(р) (чит.: "х здійснив дію р");

-" х(р) (чит.: х не здійснив дію р; х утримався від дії р); х(р -і- -і Р) (чит.: х або здійснив дію р, або не здійснив дію р); х(р л q) (чит.: х одночасно здійснив дії р і г/); *(Р v q) (чит.: х здійснив дію р або q); х(р J. q) (чит.: х здійснив одну з альтернативних дій, тобто або р, або q);

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