This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity. All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic (...) is presented as associated with the last understanding of universality. The author concludes that two senses of universality should be sharply discriminated and defends the first-order thesis. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to (...) universal logic: logical pluralism, non-classical logics and cognitive science. (shrink)

The aim of this paper is to describe the history of logical investigations at the University of Poznań. The organisational structures within the discipline as well as the outstanding logicians and their achievements are presented. Connections with the Lviv–Warsaw School are indicated.

While universalistic assumptions have been undermined by experiences of cultural difference, the notion of culture has been universalized. But it seems that the notion of culture, the way it has prevailed in public discourse as well as in social and cultural studies, has to be seen as the main stumbling block to intercultural dialogue. The article argues for an interactional concept of culture, or interpretation, as also of research and representation. Emphasis has to be put on modes of linkage between (...) social action and discourses and on social reflexivity. While attempting to avoid the logic of identity, epistemologically, identity has to be understood as a social project. Thus universalism, which `as such' is underdetermined and shows only contextually, has to be seen not as something achieved and secured, but as an objective. Universalism has to prove itself within difference, it cannot be imposed by one side. (shrink)

. How, why and what for we should combine logics is perfectly well explained in a number of works concerning this issue. But the interesting question seems to be the nature and the structure of the general universe of possible combinations of logical systems. Adopting the point of view of universal logic in the paper the categorical constructions are introduced which along with the coproducts underlying the fibring of logics describe the inner structure of the category of logical systems. (...) It is shown that categorically the universe of universal logic turns out to be a topos and a paraconsistent complement topos. (shrink)

After observing that the truth conditions of connectives of non–classical logics are generally defined in terms of formulas of first–order logic, we introduce ‘protologics’, a class of logics whose connectives are defined by arbitrary first–order formulas. Then, we introduce atomic and molecular logics, which are two subclasses of protologics that generalize our gaggle logics and which behave particularly well from a theoretical point of view. We also study and introduce a notion of equi-expressivity between two logics based on different (...) classes of models. We prove that, according to that notion, every pure predicate logic with \ variables and constants is as expressive as a predicate atomic logic, some sort of atomic logic. Then, we prove that the class of protologics is equally expressive as the class of molecular logics. That formally supports our claim that atomic and molecular logics are somehow ‘universal’. Finally, we identify a subclass of molecular logics that we call predicate molecular logics and which constitutes its representative core: every molecular logic is as expressive as a predicate molecular logic. (shrink)

Mathematical logic was first introduced to China in early 1920s. Although, the process of introduction was facilitated by the lectures of Bertrand Russel at Peking University in 1921 and continued by China’s most passionate adherents of Russell’s philosophy, the establishment of mathematical logic as an academic discipline occurred only in late 1920s, in the framework of a recently reorganised Qinghua University in Peking. The main aim of this paper is to shed some light on the process of establishment (...) of mathematical logic at the department of philosophy at Qinghua University, between the years 1926 and 1945. In its main line of discussion, the article highlights the curricular developments at the department, connecting them with concrete theoretical endeavours by the leading members of the department. Furthermore, in its later parts, the article summarises the main advances made in the context of studies of modern logic at Qinghua University, from the expositions on the quintessential work Principia Mathematica, to the subsequent integration of criticisms coming from circles of logicians at Harvard University and ground-breaking contributions of Kurt Gödel in the mid-1930s. (shrink)

Excerpt from Outlines of Logic, Psychology and Ethics The following pages do not lay claim to originality of thought, or even of language. But they cover the whole ground of the Mental and Moral Philosophy Course for the London University Pass B.A., and, in manuscript form, have been found useful by students preparing for that examination. In later years the questions on each branch of the course appear to have been set from a constantly enlarging circle of text-books; and (...) the student who confines himself to one or two authorities, however excellent these may be, is sure to meet with many questions for which he is totally unprepared; while, if he extends the range of his reading, he is very likely to concentrate his attention on what is superfluous and, for his immediate purpose, without value. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

This chapter contains sections titled: Introduction Mixed Inferences and Mixed Compounds Alethic Pluralism as Functionalism More than One Logic? Conclusion.

Volume 41, Issue 1, February 2020, Page 96-97.

Peirce's Law of Triviality: The Implementation of the Trivium of Logic, Rhetoric and Grammar. Basic Categories for Linguistics and Literature Studies from a Universal Semiotic Theory This article focuses on the aspects that refer to linguistics in the works of Charles S. Peirce. His pragmatic philosophy implemented many other sciences and among them is the traditional trivium of logic, grammar, and rhetoric, which Peirce divided into different kinds of logic, grammar, and rhetoric. While the impact of the (...) work of Peirce on theses sciences is weak, the integration of the sciences in his philosophy is interesting as a step in the history of science and his work is an example for ecclecticism and historism of science in the 19th century and the universalism of science deducted from a philosophy that uses the sign as an unitarian principle. Triple constructions are a very common feature in the writings of Peirce, and the trivium is an example of an academic construction Peirce implemented. (shrink)

This paper considers the nature of the changes that took place in logic teaching at the University of Oxford from the beginning of the sixteenth century, when students attended university lectures on Aristotle’s texts as well as studying short works dealing with specifically medieval developments, to the beginning of the eighteenth century when teaching was centred in the colleges, the medieval developments had largely disappeared, and manuals summarizing Aristotelian logic were used. The paper also considers the reasons for (...) these changes, including changes in English society, and the effect of humanism and the more scholarly Aristotelianism that it produced. (shrink)

Volume 28, Issue 1, January 2020, Page 207-209.

The rediscovery of Aristotle’s works on syllogisms in the Latin world, especially the Sophistici Elenchi and then the Prior Analytics, gave rise to sophisticated views on the nature of syllogistic form and syllogistic matter in the thirteenth century. It led to debates on the ontology of the syllogism as studied in the Prior Analytics, i.e. the syllogism made of letters and the four logical constants a/e/i/o, with deep consequences on the definition of logic as a universal method for all (...) sciences and as a science itself. (shrink)

A universally free logic is a system of quantification theory, with or without identity, whose theses remain logically true if the domain of quantification is empty and some of the singular terms present in the language do not denote existing objects. In the West, logics satisfying and ones satisfying were developed starting in the 1950s. But Stanisław Jaśkowski preceded all this work by some twenty years: his paper “On the Rules of Supposition in Formal Logic” of 1934 can (...) be regarded as containing, at least implicitly, the first universally free logic. The system proposed there is an inclusive logic as it is, and a straightforward extension of it is also free. (shrink)

One of the central questions of Jacques Derrida's later writings concerns the sources of religion. At times he gives explicit priority to the universal dimension of religion. In other places, however, he considers the primacy of faith in its concrete, historical context. This paper will clarify Derrida's relationship to universality and historicity by first comparing his notion of "messianicity without messianism" to that of Walter Benjamin's "weak Messianism." After drawing out these differences, I will focus on Derrida's later writings. (...) I will show that much of the ambiguity of Derrida's thinking on religion can be resolved by turning to his work on khōra, the Greek word for "space" or "matter." The rhetoric of khōra can allow us to think through a twofold logic, one that includes the universal/historical distinction and exceeds its alternatives. (shrink)

Moral education is a core component of ideological and political courses in primary and secondary schools and universities in China, and also an important part of contemporary Chinese Marxist educational theory and practice. In Chinese senior high schools, the main curriculum and platform for moral education is ideological and political courses. The Ideological and Political Curriculum Standards for General Senior High Schools (2017 Edition, 2020 Revised) issued by the Ministry of Education of the People’s Republic of China explicitly includes a (...) course on logical thinking in the ideological and political curriculum in general senior high schools, strengthening the importance of logic in moral education there. In this paper, the authors explain the necessity of intensifying logic training for contemporary Chinese teenagers, introduce and interpret the relevant contents in the Ideological and Political Curriculum Standards for General Senior High Schools (2017 Edition, 2020 Revised), and put forward some theoretical suggestions on how to conduct teaching on the subject of logic. (shrink)

ABSTRACT A new notion of model is presented which makes the Barcan formula and its converse hold in arbitrary frames without requiring constant, increasing or decreasing domains. Soundness and completeness of first order K is established for this class of new models. The failure of reasoning by substitution known as ? opacity ? is explained. An existenc predicate makes it possible to distinguish between actual and possible elements. The connections with the restricted Barcan formula are considered.

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

Van Heijenoort's main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (...) (Sect. 1); then I describe his way of arguing for the second view (Sect. 2); and finally I come down in favor of the first view (Sect. 3). There, I specify the version of universalism for which I am prepared to argue (Sect. 3, introduction). Choosing ZFC to play the part of universal, logical (in a nowadays forgotten sense) system, I show, through an example, how the usual model theory can be naturally given its proper place, from the universalist point of view, in the logical framework of ZFC; I outline another, not rival but complementary, semantics for admissible extensions of ZFC in the very same logical framework; I propose a way to get universalism out of the predicaments in which universalists themselves believed it to be (Sect. 3.1). Thus, if universalists of the classical period did not, in fact, construct these semantics, it was not that their universalism forbade them, in principle, to do so. The historical defeat of universalism was not technical in character. Neither was it philosophical. Indeed, it was hardly more than the victory of technicism over the very possibility of a philosophical dispute (Sect. 3.2). (shrink)

In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T 0-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T 0-closure spaces. By this theorem we obtain the following characterization of the (...) consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

A textbook for undergraduate, introductory logic and critical thinking courses, Principles of Logic and Reasoning: Including LSAT, GRE, and Writing Skills by Christine A. James meets a specific set of student needs. The text is engaging and readable, but also includes detailed terms, definitions, section headings, and short exercises that build a specific set of foundational logic and argumentation skills. Each key term is carefully indexed in the back of the text so that students can review easily. (...) The text includes chapters that show how logic and reasoning can be used in planning major research papers, and how logic and argumentation connects with legal reasoning and preparing for graduate level examinations that have analytic reasoning sections such as the GRE and LSAT. Often logic textbooks do not include sections on issues like these that show the relevance of logic for the average college student. This textbook is unique because it leaves students with a clear understanding that they can and will use logic to their advantage beyond their first logic course. Another advantage of this text for students is the low cost, some logic textbooks are triple the cost of this textbook. -/- For faculty members, this text has advantages as well. Each section has an exercise that is clear, concise, and adaptable to online course platforms and frequently used lecture tools like PowerPoint and Prezi. With seven chapters, the book is suited for courses that are taught in sessions of varying weeks. Many schools now offer classes in formats of 8 weeks, 10 weeks, or 16 weeks. This text is arranged with a number of chapters that can be covered in any weekly format, with sections that can be included or not included at the discretion of the instructor. Written by a faculty member at a regional state university with an emphasis on accessible undergraduate teaching, the text is written in a relaxed, conversational style so that students from diverse backgrounds will feel comfortable with the examples used. The book welcomes students to continue studying Logic in other more advanced courses. Topics covered include essential approaches to critical thinking, informal logic, fallacies, categorical logic, Venn diagrams, formal symbolic logic, first order rules of inference and replacement, as well as logic in writing and preparing for graduate school and law school. (shrink)

Throughout my investigation into abductive cognition, which is also associated with the endeavor to naturalize logic of its special consequence relation, I stressed the relevance of the following key elements: ‘optimization of eco-cognitive situatedness’, ‘maximization of changeability’ of both input and output of the general form of an inferential abductive problem and high ‘information-sensitiveness’. These elements will be summarized and further deepened in this article. In addition, I will demonstrate how, in contrast to traditional demonstrative logical ideal systems, which (...) are typified by what I refer to as the ‘maximization of memorylessness’, a naturalized logic of abduction demonstrates the necessity of recording the ‘past life’ of abductive inferential praxes. Lastly, I will analyze the significance and nature of the maximization of eco-cognitive openness, which characterizes abduction in science and describes how the many above-mentioned elements are relevant to the aims of new eco-cognitive epistemology. (shrink)

Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the (...) field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings. (shrink)

In this article, I examine the ramified-type theory set out in the first edition of Russell and Whitehead's Principia Mathematica. My starting point is the ‘no loss of generality’ problem: Russell, in the Introduction (Russell, B. and Whitehead, A. N. 1910. Principia Mathematica, Volume I, 1st ed., Cambridge: Cambridge University Press, pp. 53–54), says that one can account for all propositional functions using predicative variables only, that is, dismissing non-predicative variables. That claim is not self-evident at all, hence a problem. (...) The purpose of this article is to clarify Russell's claim and to solve the ‘no loss of generality’ problem. I first remark that the hierarchy of propositional functions calls for a fine-grained conception of ramified types as propositional forms (‘ramif-types’). Then, comparing different important interpretations of Principia’s theory of types, I consider the question as to whether Principia allows for non-predicative propositional functions and variables thereof. I explain how the distinction between the formal system of the theory, on the one hand, and its realizations in different epistemic universes, on the other hand, makes it possible to give us a more satisfactory answer to that question than those given by previous commentators, and, as a consequence, to solve the ‘no loss of generality’ problem. The solution consists in a substitutional semantics for non-predicative variables and non-predicative complex terms, based on an epistemic understanding of the order component of ramified types. The rest of the article then develops that epistemic understanding, adding an original epistemic model theory to the formal system of types. This shows that the universality sought by Russell for logic does not preclude semantical considerations, contrary to what van Heijenoort and Hintikka have claimed. (shrink)

The rediscovery of Aristotle’s works on syllogisms in the Latin world, especially the Sophistici Elenchi and then the Prior Analytics, gave rise to sophisticated views on the nature of syllogistic form and syllogistic matter in the thirteenth century. It led to debates on the ontology of the syllogism as studied in the Prior Analytics, i.e. the syllogism made of letters and the four logical constants a/e/i/o, with deep consequences on the definition of logic as a universal method for all (...) sciences and as a science itself. (shrink)

Pál Makó was a prominent 18th century Hungarian mathematician and physicist. The paper shows the cultural-historical background of his work as well as the scientific-historical precedents of his life-work. The influence of the milieu of the University of Nagyszombat on his thinking is taken into account as well. Further, the paper sheds light on Makó´s interpretation of Leibniz and Ch. Wolff in his philosophical books and on his adaptation of advanced mathematics as the zenith of his career. Attention is paid (...) also to the methodology of his text-books and scientific and philosophical-historical lessons of his manuscripts. (shrink)

Between 1906 and 1911, as a response to Betrand’s Russell’s review of La Science et l’Hypothèse, Henri Poincaré launched an attack on the movement to formalise the foundations of mathematics reducing it to logic. The main point is the following: the universality of logic is based on the idea that their truth is independent of any context including epistemic and cultural contexts. From the free context notion of truth and proof it follows that, given an axiomatic system, (...) nothing new can follow. One of the main strategies of Poincaré’s solution to this dilemma is based on the notions of understanding and of grasping the architecture of the propositions of mathematics. According to this view mathematic rigour does not reduce to “derive blindly” without gaps from axioms,mathematical rigour is, according to Poincaré, closely linked to the ability to grasp the architecture of mathematics and contribute to an extension of the meaning embedded in structures that constitute the architecture of mathematical propositions. The focus of my paper relates precisely to the notion of architecture and to the notion of understanding. According to my reconstruction, Poincaré’s suggestions could be seen as pointing out that understanding is linked to reason not only within a structure but reasoning about the structure. (shrink)

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special (...) attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

In the present paper, I assume that the notion of “truth” in philosophy would not have been clarified and tackled properly, if philosophers did not take into account earlier Arabic Medieval research contributions and build upon previous research findings. In the first place, I embark on the scrutiny of the rich aspect (or nature) of the Arabic Lexicon in terms of the “truth” meaning. In the second place, I take on the assumption that Arabic linguistic traditions imply different kinds of (...) truths, depending on various spheres of human thoughts and actions based on the logical approach to “truth” (from Al-Kindi up to Averroes via Al-Farabi and Avicenna) and the term “al-haqiqha” as transliterated from Arabic, remain central. In conclusion, I take on an approach to “truth” that gives worth to logical perspectives at the very heart of Medieval Arab traditions in the light of what I would label as the “Omni-cultural Universality of Logic and Science”. (shrink)

A.V. Smirnov’s theory of the Logic-of-sense is based on the difference between two lo­gics: the logic of substance and the logic of process. Their difference can be examined us­ing the theory of preconceptual experience based on the notion of scheme. A.V. Smirnov has formulated the natural setting of consciousness: existence of the outside world and the Self, their uniqueness and their permanency. As the result of analysis of the natural setting of consciousness the authors singled out two (...) main schemes: the experience scheme and the universality scheme. The schemes are discussed using a thought experi­ment: the treatment of pneumonia by doctors who understand their own actions using different logics. It is demonstrated that each scheme is valid in both logics. Still, the psychological and objective-practical content of the schemes changes. Experience in process logic is the process which is naturally given to consciousness. Perception of the course of an ailment by a doctor is an example. This perception can be empiri­cally wrong but it cannot be confused with another process, such as remembrance of the manifestations of the disease known to the doctor from literature. Experience in the substance logic, by contrast, is just one of the properties of the disease known from the literature: “it is possible to perceive it by senses in a given situation”. Experi­ence that is conceived substantially is often denoted as qualia. The universality scheme in process logic is often realized as a universality of the process: the course of the dis­ease is not changing if the observer is changed, though the experience of the course can be different. Universality scheme in the substance logic is realized as universality of the result of the observation: “I see the same thing that any other doctor would see”. It follows that the universality scheme understood substantially is a generalization of the results of observations of different observers. Realizations of both schemes can be empirically correct but both have their limitations. (shrink)

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets.We discuss here the corresponding situation for fuzzy set theory. Our emphasis will be on various approaches toward (more or less naively formed) universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

This book affirms the experience of likeness at the heart of many, if not all, disciplines of knowledge and seeks to formalize that basic experience into a science of its own, "homeotics.".

This chapter has two aims. The first aim is to present an overview of Bolzano's universe from the point of view of his metaphysics and its relationship to logic, relying fundamentally on Bolzano's Wissenschaftslehre. The author's preferred reading of Bolzano is one according to which he is a 'platonistic nominalist': a platonist about propositions and a nominalist about properties. Bolzano's nominalistic tendencies are particularly conspicuous in his mereological analyses, which play a major role in every aspect of his philosophy. (...) The author's second aim is to answer the open question of whether in Bolzano there is any 'ontology of truth'. This chapter argues for a negative answer. Bolzano does not make room for any special object which plays the role of the counterpart of a truth-bearer, or at least his propositions do not connect semantically in a direct way to anything that would count as such a special object. (shrink)

본질적으로 사람이 놓이는 곳, 위치하는 장소에는 반드시 재현 체계가 갖추어져 있다. 거기에는 자기 지식(Local Knowledge), 욕망 그리고 멘탈리티가 내재한다. 그로부터 사람들은 자기 나름의 방향성을 확보하며 존재한다. 이렇듯 로컬 지식이나 이성이 존재하지만 사람들은 주목하지 않는다. 그것은 으레 감성에 묻어 있으므로 그렇겠거니와, 오랜 동일성 가치의 시야에 가리기 때문일 것이다. 한편 시대적 흐름 속에 근대적 물질성 추구의 이성, 합리주의는 우리에게 단조로운 ‘길’을 가게 한다. 그런데 그 길엔 다양성의 가치나 이성에 대하여 인식할 공간이 없다. 그와 달리 자신뿐만 아니라 타자의 욕망을 억누르지 않는 공유의 이성으로, (...) 개인이나 개체 그리고 지방의 역능이나 가능성을 살리는 ‘카오스적 일자’의 길을 갈 때, 그것들이 가진 가치이자 성질로서 로컬리티는 유기적 균형 상태로 존재할 것이다. 이 같은 의미에서 세계, 국가(행정부), 자본 등 곳곳에 놓인 중심 권력은 그 힘을 최소화하여 로컬리티 곧 자기 역동성과 자기 가치를 충분히 발휘할 수 있는 여건을 마련하게 하는 것이 바람직하다. 그때 이 세상엔 기층적 가치에 대한 포섭이나 그에 따른 충돌 없이 로컬리티 고유의 여러 가능성이 빛을 발하게 될 것이다. (shrink)