Norms, counter-norms, and ontological proof (CROSBI ID 725882)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Kovač, Srećko
engleski
Norms, counter-norms, and ontological proof
One of the topics Berislav Žarnić was focused on in his last papers was the discussion and formalization of von Wright’s view according to which normative possibility (permission) is not interdefinable with obligation (Pφ non-equivalent with ¬O¬φ). To formalize this “conceptual” independecy of permission, Žarnić uses a two-sets approach: N is the set of obligations (theory), and N is the relatively independent, non-dual, counter-set of the negated permissions (counter- theory). In his approach, Žarnić was partly inspired by the controversies on Gödel’s ontological proof, where the secondorder property of “positivity” (P) has a key role. We adjust this approach to the setting of Gödel’s ontotheology by introducing the concept of “nonpositivity” (P) as conceptually independent from “positivity”. To make our normative behavior (for example, our acting according to imperatives) meaningful, we add a conceptually independent counter-theory of non-positivity (including, for example, “modal collapse”, Barcan formula and its converse) instead of revising Gödel’s system GO. Non- positivity basically behaves as Žarnić’s “weak ideal” (closure under conjuncts and implicants). The theory of positivity and the counter-theory of non-positivity can together form a paraconsistent” system, in accordance with Žarnić’s proposed convention that, in case of normative inconsistency, what a norm recipient should do is to change his/her logic.
obligation norm set ; counter-set ; B. Žarnić ; perfections ; positivity ; counter-positivity
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
21-22.
2022.
objavljeno
Podaci o matičnoj publikaciji
Formal Methods and Science in Philosophy IV: Abstracts
Kovač, Srećko ; Swietorzecka, Kordula
Zagreb: Institut za filozofiju
Podaci o skupu
Formal Methods and Science in Philosophy IV
predavanje
21.04.2022-23.04.2022
Dubrovnik, Hrvatska