GRADLACT: Stupňované logiky konání
Cíle projektu
Výroková dynamická logika, PDL, je známým nástrojem logické analýzy diskurzu o konání. Protože je ale založena na klasické logice, nemůže adekvátně formalizovat diskurz zahrnující stupňované, vágní a nepřesné pojmy. V tomto projektu vyvineme a prostudujeme verze PDL vhodné na tento účel, tzv. stupňované dynamické logiky. Prozkoumáme klíčové vlastnosti stupňovaných dynamických logik a vyvineme jejich varianty vhodné na formalizaci různých filozoficky relevantních druhů diskurzu. Konkrétně vyvineme stupňované dynamické logiky vhodné na formalizaci diskurzu o kolektivním konání a o normativních a pravděpodobnostních aspektech konání za přítomnosti stupňovaných, vágních a nepřesných pojmů. Projekt tak přispěje k propracování formálních metod využitelných v teorii konání a v aplikované etice.
Klíčová slova
actiondynamic logicgraded predicateslogiclogic of actionmany-valued logic
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
SGA0202200004
Hlavní účastníci
Ústav informatiky AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
22-16111S
Alternativní jazyk
Název projektu anglicky
GRADLACT: Graded Logics of Action
Anotace anglicky
Propositional Dynamic Logic, PDL, is a well-known tool used in the logical analysis of discourse about action. Being based on classical logic, it cannot provide adequate formalization of discourse involving graded, vague and imprecise concepts. This project will develop and study versions of PDL more suitable for this task, so-called graded dynamic logics. We will determine the basic properties of the most natural kinds of graded dynamic logic and we will develop versions of graded PDL aiming at formalizing various philosophically relevant kinds of discourse; in particular, we will develop graded dynamic logics suitable for formalizing reasoning about collective agency and deontic aspects of action in situations involving graded notions, and for analyzing reasoning about probabilistic aspects of action. The project will thus contribute to an elaboration of formal methods applicable in the theory of action and applied ethics.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - vedlejší obor
10101 - Pure mathematics
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory
(dle převodníku)AA - Filosofie a náboženství
BA - Obecná matematika
Termíny řešení
Zahájení řešení
1. 1. 2022
Ukončení řešení
31. 12. 2024
Poslední stav řešení
—
Poslední uvolnění podpory
29. 2. 2024
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP25-GA0-GA-R
Datum dodání záznamu
12. 3. 2025
Finance
Celkové uznané náklady
3 172 tis. Kč
Výše podpory ze státního rozpočtu
2 878 tis. Kč
Ostatní veřejné zdroje financování
294 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
3 172 tis. Kč
Statní podpora
2 878 tis. Kč
90%
Poskytovatel
Grantová agentura České republiky
OECD FORD
Philosophy, History and Philosophy of science and technology
Doba řešení
01. 01. 2022 - 31. 12. 2024