
3Nelson’s logicLogic Journal of the IGPL. forthcoming.Besides the betterknown Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of threepotent involutive res…Read more

24What is a logical theory? On theories containing assertions and denialsSynthese 124. forthcoming.The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion …Read more

10Correction to: Sequent Systems for Negative ModalitiesLogica Universalis 13 (1): 135135. 2019.In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.

9Wittgenstein & ParaconsistênciaPrincipia: An International Journal of Epistemology 14 (1): 135173. 2010.In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet nontrivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of cont…Read more

17Sequent Systems for Negative ModalitiesLogica Universalis 11 (3): 345382. 2017.Nonclassical negations may fail to be contradictoryforming operators in more than one way, and they often fail also to respect fundamental metalogical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential nonclassical negations that live inside very natural systems of normal modal logics over complete distr…Read more

Categories of the political (political philosophy of Claude Lefort)Filozofski Vestnik 21 (2): 83126. 2000.

35Nearly every normal modal logic is paranormalLogique Et Analyse 48 (189192): 279300. 2005.An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negationinconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negationincomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negationinconsistent yet nonovercomplete; paracomplet…Read more

32Wittgenstein & ParaconsistênciaPrincipia: An International Journal of Epistemology 14 (1): 13573. 2010.In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet nontrivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of cont…Read more

7Doi:10.5007/18081711.2010v14n1p135Principia: An International Journal of Epistemology 14 (1): 13573. 2010.In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet nontrivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of cont…Read more

46Limits for Paraconsistent CalculiNotre Dame Journal of Formal Logic 40 (3): 375390. 1999.This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 year…Read more

57Possibletranslations semantics for some weak classicallybased paraconsistent logicsJournal of Applied NonClassical Logics 18 (1): 728. 2008.In many reallife applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditiona…Read more

31Negative modalities, consistency and determinednessElectronic Notes in Theoretical Computer Science 300 2145. 2014.We study a modal language for negative operators—an intuitionisticlike negation and its paraconsistent dual—added to (bounded) distributive lattices. For each nonclassical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative modality, as well as of the associated connectives that express consistency and determinedness at the objec…Read more

75Logics of essence and accidentBulletin of the Section of Logic 34 (1): 4356. 2005.We say that things happen accidentally when they do indeed happen, but only by chance. In the opposite situation, an essential happening is inescapable, its inevitability being the sine qua non for its very occurrence. This paper will investigate modal logics on a language tailored to talk about essential and accidental statements. Completeness of some among the weakest and the strongest such systems is attained. The weak expressibility of the classical propositional language enriched with the n…Read more

117What is a Nontruthfunctional Logic?Studia Logica 92 (2): 215240. 2009.What is the fundamental insight behind truthfunctionality ? When is a logic interpretable by way of a truthfunctional semantics? To address such questions in a satisfactory way, a formal definition of truthfunctionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely wellknown. A clear distinction can be drawn between logics characterizable th…Read more

176Formal inconsistency and evolutionary databasesLogic and Logical Philosophy 8 (2): 115152. 2000.This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their firstorder extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems a…Read more

Universidade Federal do Rio Grande do NorteRegular Faculty
Areas of Specialization
Logic and Philosophy of Logic 
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Computing and Information 