Abstract. ‘One universe, one logic ’ takes the world as it is and leads to adjointness as the global logic of anything. The alternative approach to find a unification of known logics requires assumptions and is therefore consistent with the same conclusion for a universal logic has to be universally applicable. The universal characteristic of adjointness is that it has a natural construction from the concept of the arrow. The application to the test sentence, ‘John said that Mary believed he did not love her’, demonstrates adjointness as the logic of the post-modern world. 1 Unity of Applicable Logic There is one ultimate logic: it is a simple ontological but pragmatic argument of ‘one universe, one logic’. If more, how can we know unless there is a logic to compare them? If logic is a family of varying strength, what logic compares the variance? Only some ultimate logic. How do we even know this? It must still be the same logic that tells us this. And that logic must tell us about itself − − tell us that it has some recursive self-closure. The same pragmatic cogency leads us into the world of physics and beyond into the humanities. The world must fit together according to this same ultimate logic. It is therefore an applicable logic. Universal logic means universally applicable logic. This study arises from the investigation of fundamentals in two large applied areas: one is schema design in interoperable databases, the other is in legal reasoning; both studies relate logic to real-world facts. Until we are able to identify the ultimate logic of the universe, it is not surprising that goals like unified field theory within a ”theory of everything ” are so elusive. Applicable logic is needed in new ways in biology, medicine, economics, legal science, natural computing, modern physics, etc. This means it has to be a logic which can manage the advances made in the twentieth century, many of

Mathematical Fuzzy Logic (MFL) is the subdiscipline of mathematical logic devoted to the study of formal systems of fuzzy logic. It has been a fairly active research field for more than two decades, since scholars undertook the task of providing solid formal foundations for deductive systems arising from Fuzzy Set Theory by realizing that these systems could be seen as a special kind of many-valued logics. This approach turned out to be very fruitful when Petr Hájek collected the results of the first systematic study of fuzzy logics in his monograph Metamathematics of Fuzzy Logic (Kluwer, 1998), a true landmark of the field. This book, together with other influential works by prominent researchers, was the start of an ambitious scientific agenda aiming to the study of all aspects of fuzzy logics, including algebraic semantics, proof systems, game-theoretic semantics, functional representation, first-order and higher-order logics, decidability and complexity issues, model theory, philosophical issues and applications. Moreover, it was made clear

Abstract not found