Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem

As is stated in its title, in this paper consistency is understood as the absence of the negation of any implicative theorem. Then, a series of logics adequate to this concept of consistency is defined within the context of the ternary relational semantics with a set of designated points, negation being modelled with the Routley operator. Soundness and completeness theorems are provided for each one of these logics. In some cases, strong (i.e., in respect of deducibility) soundness and completeness theorems are also proven. All logics in this paper are included in Lewis’ S4. They are all paraconsistent, but none of them is relevant

Spoiled for choice?

The transition from a theory that turned out trivial to a consistent replacement need not proceed in terms of inconsistencies, which are negation gluts. Logics that tolerate gluts or gaps (or both) with respect to any logical symbol may serve as the lower limit for adaptive logics that assign a minimally abnormal consequence set to a given premise set. The same obtains for logics that tolerate a combination of kinds of gluts and gaps. This result runs counter to the obsession with inconsistency that classical logicians and paraconsistent logicians share.\\ All such basic logics will be systematically reviewed, some variants will be outlined, and the claim will be argued for. While those logics tolerate gluts and gaps with respect to logical symbols, ambiguity logic tolerates ambiguities in non-logical symbols. Moreover, forms of tolerance may be combined, with zero logic as an extreme.\\ In the baffling plethora of corrective adaptive logics (roads from trivial theories to consistent replacements), adaptive zero logic turns out theoretically interesting as well as practically useful. On the one hand all meaning becomes contingent, depending on the premise set. On the other hand, precisely adaptive zero logic provides one with an excellent analyzing instrument. For example, it enables one to figure out which corrective adaptive logics lead, for a specific trivial theory, to a suitable and interesting minimally abnormal consequence set

Devising the set of abnormalities for a given defeasible rule

Devising adaptive logics usually starts with a set of abnormalities and a deductive logic. Where the adaptive logic is ampliative, the deductive logic is the lower limit logic, the rules of which are unconditionally valid. Where the adaptive logic is corrective, the deductive logic is the upper limit logic, the rules of which are valid in case the premises do not require any abnormalities to be true. In some cases, the idea for devising an adaptive logic does not relate to a set of abnormalities, but to one or more defeasible rules, and perhaps also to one of the deductive logics. Defeasible rules are not universally valid, but are valid in ‘normal situations’ or for unproblematic parts of premise set. Where the idea is such, the set of abnormalities has to be delineated in view of the rules. The way in which this task may be tackled is by no means obvious and is the main topic studied in the present paper. The outcome is an extremely simple and transparent recipe. It is shown that, except for very special cases, the recipe leads to an adequate result

The Logical and Philosophical Foundations for the Possibility of True Contradictions

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions

The logical and philosophical foundations for the possibility of true contradictions

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions

NEW PERSPECTIVES ON INQUISITIVE SEMANTICS

Inquisitive semantics offers a unified analysis of declarative and interrogative sentences by construing information exchange as a process of raising and resolving issues. In this dissertation, I apply and extend inquisitive semantics in various new ways. On the one hand, I build upon the theoretical insight of inquisitive semantics and explore the prospect of incorporating other types of content into our conception of information exchange. On the other hand, the logical framework underlying inquisitive semantics is also of great interest in itself as it enjoys certain unique properties and is thus worth further investigation. In the first paper, I provide an account of live possibilities and model the dynamics of bringing a possibility to salience using inquisitive semantics. This account gives rise to a new dynamic analysis of conditionals, which is capable of capturing what I call the Extended Sobel Inference. In the second paper, drawing on the fact that disjunction in inquisitive semantics is understood as introducing a set of alternative answers to a question, I propose a Questions-Under-Discussion-based account of informational redundancy to tackle various Hurford sentences. In the third paper, I explore the prospect of cashing out the theoretical intuition behind inquisitive semantics using a non-bivalent framework. I develop a new logic which invalidates the Law of Excluded Middle just like inquisitive logic, but unlike inquisitive logic, it employs a negation that vindicates Double Negation Elimination

19th Brazilian Logic Conference: Book of Abstracts

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches

Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem

As is stated in its title, in this paper consistency is understood as the absence of the negation of any implicative theorem. Then, a series of logics adequate to this concept of consistency is defined within the context of the ternary relational semantics with a set of designated points, negation being modelled with the Routley operator. Soundness and completeness theorems are provided for each one of these logics. In some cases, strong (i.e., in respect of deducibility) soundness and completeness theorems are also proven. All logics in this paper are included in Lewis’ S4. They are all paraconsistent, but none of them is relevant

Multispace & Multistructure. Neutrosophic Transdisciplinarity (100 Collected Papers of Sciences), Vol. IV

The fourth volume, in my book series of “Collected Papers”, includes 100 published and unpublished articles, notes, (preliminary) drafts containing just ideas to be further investigated, scientific souvenirs, scientific blogs, project proposals, small experiments, solved and unsolved problems and conjectures, updated or alternative versions of previous papers, short or long humanistic essays, letters to the editors - all collected in the previous three decades (1980-2010) – but most of them are from the last decade (2000-2010), some of them being lost and found, yet others are extended, diversified, improved versions. This is an eclectic tome of 800 pages with papers in various fields of sciences, alphabetically listed, such as: astronomy, biology, calculus, chemistry, computer programming codification, economics and business and politics, education and administration, game theory, geometry, graph theory, information fusion, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, psychology, quantum physics, scientific research methods, and statistics. It was my preoccupation and collaboration as author, co-author, translator, or cotranslator, and editor with many scientists from around the world for long time. Many topics from this book are incipient and need to be expanded in future explorations