We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new (...) algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. (shrink)

It is well-known that da Costa's C-systems of paraconsistent logic do not admit a Blok-Pigozzi algebraization. Still, an algebraic flavored semantics for them has been proposed in the literature, namely using the class of so-called da Costa algebras. However, the precise connection between these semantic structures and the C-systems was never established at the light of the theory of algebraizable logics. In this paper we propose to study the C-systems from an algebraic point of view, and to fill in this (...) gap by using the tools and techniques of the newly developed behavioral approach to abstract algebraic logic. As a by-product of the approach, we also rediscover the bivaluation semantics of the logics. (shrink)

Normative systems have been advocated as an effective tool to regulate interaction in multi-agent systems. The use of deontic operators and the ability to represent defeasible information are known to be two fundamental ingredients to represent and reason about normative systems. In this paper, after introducing a framework that combines standard deontic logic and non-monotonic logic programming, deontic logic programs (DLP), we tackle the fundamental problem of equivalence between normative systems using a deontic extension of David Pearce’s Equilibrium Logic and (...) its monotonic basis, the logic of Here-and-There. We also show how deontic logic programs can be used to represent and reason about normative systems, and establish a strong connection with input-output logic. (shrink)

We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, we show, by means of meaningful bridge theorems and application examples, that abstract valuations are suited to play a role similar to the one played by logical matrices in the traditional approach to algebraization.

O presente trabalho visa apresentar a recepção que Axel Honneth faz da obra de Facticidade e Validade de Jürgen Habermas. Argumenta-se que, por mais que Honneth não explicite isso em seus escritos posteriores a publicação do livro de Habermas, a obra exerce influência determinante em suas produções que culminam em O direito da liberdade. Assim, apresenta-se tanto a primeira crítica a de Honneth a Habermas, quanto os momentos posteriores de diálogo com a Facticidade e Validade. Ao final, busca-se identificar as (...) consequências da recepção e dos afastamentos de Honneth em relação a esse marco teórico e os próprios caminhos que a teoria crítica tomou em relação ao direito, bem como as possibilidades teóricas da perspectiva honnethiana sobre o tema. (shrink)