Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz’s Formal Ontology of Situations

Abstract

The aim of this article is to present a method of creating deontic logics as axiomatic theories built on first-order predicate logic with identity. In the article, these theories are constructed as theories of legal events or as theories of acts. Legal events are understood as sequences (strings) of elementary situations in Wolniewicz′s sense. On the other hand, acts are understood as two-element legal events: the first element of a sequence is a choice situation (a situation that will be changed by an act), and the second element of this sequence is a chosen situation (a situation that arises as a result of that act). In this approach, legal rules (i.e., orders, bans, permits) are treated as sets of legal events. The article presents four deontic systems for legal events: AEP, AEPF, AEPOF, AEPOFI. In the first system, all legal events are permitted; in the second, they are permitted or forbidden; in the third, they are permitted, ordered or forbidden; and in the fourth, they are permitted, ordered, forbidden or irrelevant. Then, we present a deontic logic for acts (AAPOF), in which every act is permitted, ordered or forbidden. The theorems of this logic reflect deontic relations between acts as well as between acts and their parts. The direct inspiration to develop the approach presented in the article was the book Ontology of Situations by Boguslaw Wolniewicz, and indirectly, Wittgenstein’s Tractatus Logico-Philosophicus.

Deductive Systems in Traditional and Modern Logic

“…The paper [13] by A. Malec studies the classical first-order predicate logic. This logic is a sufficient and desirable basis for deontic theories which are free-from paradoxes inherent in propositional deontic logics that are adequate to the domain of law.…”