Seen from the point of view of evaluation conditions, a usual way to obtain a connexive logic is to take a well-known negation, for example, Boolean negation or de Morgan negation, and then assign special properties to the conditional to validate Aristotle’s and Boethius’ Theses. Nonetheless, another theoretical possibility is to have the extensional or the material conditional and then assign special properties to the negation to validate the theses. In this paper we examine that possibility, not sufficiently explored in (...) the connexive literature yet.We offer a characterization of connexive negation disentangled from the cancellation account of negation, a previous attempt to define connexivity on top of a distinctive negation. We also discuss an ancient view on connexive logics, according to which a valid implication is one where the negation of the consequent is incompatible with the antecedent, and discuss the role of our idea of connexive negation for this kind of view. (shrink)

This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such (...) that classical logic is simulated where proofs and refutations are conclusive. (shrink)

Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics. Every category has its internal logic, and if this logic is sufficiently rich, a given category provides semantics for a certain formal theory and, vice versa, for each formal theory one can construct a category, providing a semantics for it. There exists a pair of adjoint functors, Lang and Syn, between a category and a category of theories. These functors describe, in a formal (...) way, mutual dependencies between the syntactical structure of a formal theory and the internal logic of its semantics. Bell’s program to regard the world of topoi as the univers de discoursof mathematics and as a tool of its local interpretation, is extended to a collection of categories and all functors between them, called “categorical field”. This informal idea serves to study the interaction between syntax and semantics of mathematical theories, in an analogy to functors Lang and Syn. With the help of these concepts, the role of Gödel-like limitations in the categorical field is briefly discussed. Some suggestions are made concerning the syntax-semantics interaction as far as physical theories are concerned. (shrink)

I offer here a critical assessment of Beall and Ficara’s most recent take on Hegelian contradictions. By interpreting differently some key passages of Hegel’s work, I favor, unlike them, a no-gaps approach which leads to a different logic.

It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes, which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier is, at least in general and within the conceptual framework of category theory, (...) not appropriately defined. For this purpose, I first analyze the standard notion of a subobject classifier, show its connection with the representability of the functor Sub via the Yoneda lemma, recall some other properties of the internal structure of a topos and, based on these, I critically comment on the notion of a complement-classifier. (shrink)