We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...) categorical if for all computable isomorphic copies of , there is an isomorphism from onto , which is . We prove that for every computable successor ordinal α, there is a computable, categorical structure, which is not relatively categorical. This generalizes the result of Goncharov that there is a computable, computably categorical structure, which is not relatively computably categorical.An additional relation R on the domain of a computable structure is intrinsically on if in all computable isomorphic copies of , the image of R is . We prove that for every computable successor ordinal α, there is an intrinsically relation on a computable structure, which not relatively intrinsically . This generalizes the result of Manasse that there is an intrinsically computably enumerable relation on a computable structure, which is not relatively intrinsically computably enumerable.The dimension of a structure is the number of computable isomorphic copies, up to isomorphisms. We prove that for every computable successor ordinal α and every n≥1, there is a computable structure with dimension n. This generalizes the result of Goncharov that there is a structure of computable dimension n for every n≥1.Finally, we prove that for every computable successor ordinal α, there is a countable structure with isomorphic copies in just the Turing degrees of sets X such that relative to X is not . In particular, for every finite n, there is a structure with isomorphic copies in exactly the non- Turing degrees. This generalizes the result obtained by Wehner, and independently by Slaman, that there is a structure with isomorphic copies in exactly the nonzero Turing degrees. (shrink)

We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.

We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the (...) literature can be expressed in our framework. (shrink)

In the article, I discuss the Heideggerian criticism of the Aristotelian concept of time. Heidegger thought that it was Aristotle who is to be blamed for so-called “ordinary” interpretation of time. Later on, Augustine developed this interpretation, while Kant and Hegel brought it to a logical end. The author observes that even if the post-Aristotelian thought and Hegel as its embodiment understood time in many respects naturalistically, we might trace both naturalistic and anti-naturalistic ways of interpretation of time in Aristotle. (...) It appears therefore that Aristotle had also laid the foundations of existential comprehension of time, having influenced thereby the formation of the European rationality in all variety of its forms and manifestations. (shrink)

The paper attempts to establish a methodological complementarity between Foucault’s and Deleuze’s accounts of the body on the basis of Nietzsche’s theory of active and reactive forces systematically elaborated in Deleuze’s Nietzsche et la philosophie. Deleuze’s reading of Nietzsche’s physics of forces opens up two prospective developments of Nietzsche’s legacy: the genealogical critique of the historical body produced by reactive forces on the one hand and the invention of a new unknown body produced by active forces on the other. The (...) paper shows how throughout their careers both Foucault and Deleuze pursue these two divergent yet mutually complementary scenarios respectively. Given the shared background of both thinkers, neither is complete without the other, especially when the question of resistance is at stake. Just as active force is necessarily presupposed by the existence of reactive force in the Nietzschean calculus, Foucault’s reactive body cannot exist without its own inverse, Deleuze’s active ‘body-without-organs’. (shrink)

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...) of definitional equivalence, and of a conservative extension. (shrink)

Personal branding has become an important concept in management literature in recent years. Yet, with more than 100 scholarly papers published on the concept to date, it has developed into a fragmented area of research with a diversity of definitions and conceptual boundaries. This paper posits that this heterogeneity of extant research impedes theoretical and empirical advancement. To strengthen the foundation for future work, we review the extant literature and offer an integrative model of personal branding. Through our systematic literature (...) review we identify the key attributes of the construct, establish its clarity by comparing it with similar concepts in its nomological network, and suggest the definitions of personal branding and personal brand based on the reviewed literature. Further, we propose a theoretical model of personal branding summarizing the findings from the reviewed papers. The proposed model outlines the trends conducive to personal branding, as well as its drivers, processes, and outcomes. Finally, we discuss ethical implications of personal branding for both scholarly work and practice. In conclusion, we outline a further research agenda for studying personal branding as a critical career and organizational behavior activity in contemporary working environment. (shrink)

The paper defends the thesis that Proclus Diadochus’ ideas are still relevant in modern culture. It appears that the ideas of Neoplatonism as a whole and these of Proclus’ in particular matter at least in some aspects of modern culture, such as the foundations of politics, the basic characteristics of philosophy and the fundamental aspects of understanding of the human existence. In the sphere of politics, one can note the ideas useful for creating of the non-totalitarian forms of ideology. In (...) contemporary philosophy the Neoplatonic studies can be interpreted as one of the bases of understanding of rational knowledge. The ideals of material harmony are essential for understanding of the human existence. (shrink)

The writings in which an author expresses his thought may actually be the product of certain cultural practices of his age. The article considers how such practices are manifested in the writings of Isidore of Seville, particularly with respect to the meaning of the metaphor of taste. Isidore borrows this metaphor from texts that explain the process of understanding Scripture and applies it to the achievement of wisdom. On the one hand, the metaphor stresses the transformative aspect of understanding (rather (...) than the informative, scientia). It focuses on the special experience of the reader who senses the sweetness of the text, and not on the application of the text to one’s life. On the other hand, reading and writing were imagined in terms related to food. The text was food that had to be prepared, to ‘read’ meant to ‘taste’, to ‘meditate’ on it meant to ‘ruminate’. Against this background, the writings of Isidore seem to appeal to the memory of the reader and his ability to meditate upon the text and, finally, to experience the taste of wisdom. Only the outermost level of texts was intended to inform the reader. (shrink)

We study connections between four types of modal operators – necessity, possibility, un-necessity and impossibility – over intuitionitstic logic in terms of compositions of these modal operators with intuitionistic negation. We investigate which basic compositions, i.e. compositions of the form ¬δ, δ¬ or ¬δ¬, yield modal operators of the same type over intuitionistic logic as over classical logic. We say that such compositions behave classically. We study which modal properties correspond to each basic compositions behaving classically over intuitionistic logic and (...) also prove that KC constitutes the smallest superintuitionistic logic over which all basic compositions behave classically. (shrink)

The authors present the results of studying migration processes as one of the factors that determine the transformation of the regional social space. Applying migration indicators to assessing prospective spatial changes presupposes a multivariate analysis of developing complex heterogeneous systems. The version of applying problem-oriented visualization tools presented by the authors significantly expands the possibilities of such an analysis. Assessment, systematization and subsequent classification of migration characteristics are considered within the framework of a multi-stage graphical digital analysis procedure. The problems (...) of migration dynamics characterize a number of problems of the incipient deformation of social space. The main provisions and results of the study are presented as exemplified by the five largest urban areas of the Chelyabinsk region. The key contradictions generated by the processes of regional migration are presented for various urban areas of one of the leading industrial regions of the Urals. These are contradictions: dynamics of population inflow — outflow; the ratio of the balance of migration and migration flows, etc. The results of the study make it possible to proceed to more complex models of spatial reconstruction and sustainable development of territories. Considering such models lays the groundwork for passing on to a controlled transformation in the spatial development of territories and reducing the signs of social space deformation. (shrink)

High‐precision tumor targeting with conventional therapeutics is based on the concept of the ideal drug as a “magic bullet”; this became possible after techniques were developed for production of monoclonal antibodies (mAbs). Innovative DNA technologies have revolutionized this area and enhanced clinical efficiency of mAbs. The experience of applying small‐size recombinant antibodies (monovalent binding fragments and their derivatives) to cancer targeting showed that even high‐affinity monovalent interactions provide fast blood clearance but only modest retention time on the target antigen. Conversion (...) of recombinant antibodies into multivalent format increases their functional affinity, decreases dissociation rates for cell‐surface and optimizes biodistribution. In addition, it allows the creation of bispecific antibody molecules that can target two different antigens simultaneously and do not exist in nature. Different multimerization strategies used now in antibody engineering make it possible to optimize biodistribution and tumor targeting of recombinant antibody constructs for cancer diagnostics and therapy. BioEssays 30:904–918, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

ISBN 978-5-86007-556-6. (in Russian). -/- In the book we can find the analysis of some closely related problems – of the origin and essence of life, the universal world process and the global evolution. Examination of fractal nature of carriers through the distribution of terrestrial and space objects on the steps of scale staircase, depending on the masses and sizes, shows an appropriate relationship with the masses and sizes of live organisms. One of the conclusions is the complementarity of living (...) and nonliving carriers in universe, and the main difference between a living from nonliving matter is an independent source of ordering inherent in living forms and managing all of its reactions. Tables 9. Fig. 11. Ref. 60 titles. (shrink)

The model of congestion games is widely used to analyze games related to traffic and communication. A central property of these games is that they are potential games and hence posses a pure Nash equilibrium. In reality, it is often the case that some players cooperatively decide on their joint action in order to maximize the coalition’s total utility. This is modeled by Coalitional Congestion Games. Typical settings include truck drivers who work for the same shipping company, or routers that (...) belong to the same ISP. The formation of coalitions will typically imply that the resulting coalitional congestion game will no longer posses a pure Nash equilibrium. In this paper, we provide conditions under which such games are potential games and posses a pure Nash equilibrium. (shrink)

The article deals with the problem of coining terms and nomenclature signs with proper names illustrated by the example of the English language legal terminology. The article begins with the discussion of the problems of intersection of two linguistic areas and differentiation between terms and nomenclature signs. It is observed that linguistic units with proper names possess a cultural specificity in the legal English as compared to the Russian terminological system of law. Linguistic and extra-linguistic factors influencing language units’ formation (...) with the help of proper names in legal English, their structural and semantic specificity are revealed. The latter is considered from the point of view of the two-level semantics of language signs. The authors come to the following conclusions: structural variability of the units under consideration especially strongly manifest in formation of legal nomenclature; systemic linguistic oppositions of terms and nomenclature signs with proper names determine the semantics of these units; the basis of the meaning of a term and a nomenclature sign is a notion, its essential components being included into the definitions; differential semes of the meanings are assigned to the proper name elements of terms; all semes of nomenclature signs with proper names constitute an inseparable whole and are not assigned to any specific elements of these units; the meanings of nomenclature signs with proper names specify those of the terms in the hierarchical structure of the terminological system and in particular legal situations. (shrink)

The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.

The article defends the thesis that interpreting Plato’s natural philosophy it is useful to take the terms horatos and aoratos in two distinct meanings: “observable” and “unobservable”, and “visible” and “invisible”. This approach helps to perceive new sides of Plato’s ideas, implicitly present in the “Timaeus”, which allows interpreting it in both anthropomorphic and anti-anthropomorphic senses.

At the present time, there are several interpretations and modes of Kant’s transcendental philosophy (TP). Which of these interpretations and modes of transcendentalism most adequately express the spirit of TP, i.e. can claim the title of the transcendental ones? For the explication of the ‘idea of transcendental philosophy’ [KrV, A1], here I distinguish two transcendental shifts: methodological and metaphysical ones, which in their totality predetermine the essence and set the specificity of Kant’s transcendental idealism. The methodological transcendental shift that Kant (...) postulates in his definitions of TP in the Critique of Pure Reason [KrV, A11; B25] represents a shift from studying of objects to the analysis and justification of our mode of cognition of objects. This shift sets a fairly wide range of a la Kantian a priori doctrines and predetermines the transcendental turn (Re–Transcendentalising) of modern philosophy. The metaphysical transcendental shift that can be correlated with “the altered method of our way of thinking [in metaphysics]” [KrV, BXVIII], is associated with the splitting of the “thing” into the actual object (or Kantian thing-in-itself) and object of experience (or Kantian appearance), and involves a transition from the study of thing-in-itself to the analysis of the appearance. More precisely, this shift finds its expression in the transcendental triad “object (thing-in-itself; Ding an sich) – appearance (Erscheinung) – representation (Vorstellung)”, which determines the ‘idea’ (essence) of transcendental idealism/metaphysics. (shrink)

The article focuses the possibility of elaboration of a cross-disciplinary methodological approach to formation of the semiotics of power. Four possible forms of relation of semiotic research to the problem of power are revealed upon the basis of Drechsler’s typology. The approaches of Mandoki and Siefkes to formation of the methodological basis of the semiotics of power are analyzed and compared. The author designates the perspective directions of a further research and formulates methodological prerequisites for realization of the specified directions.

The interdisciplinary notion picture of the world makes research works devoted to this area of studies challenging from the point of view of finding interconnections between linguistic and extra-linguistic factors in the process of structuring categories of words, including those functioning in terminological systems and subsystems. Legal pictures of the world are specific cultural phenomena that may differ in various countries due to the nationally specific features of law and legal culture development. One of the most complicated problems of representing (...) specific knowledge through linguistic, terminological, signifiers is the problem of linguistic categorization of concepts. The article considers the problem of forming legal categories based on word-building suffixes from the point of view of the development of the legal language ‘picture of the world’ [reflection of the world] closely associated with its conceptual picture. The conclusion is drawn that commonly used derivational suffixes transform their meanings in accordance with the legal taxonomies, forming the conceptual legal picture of the world. The results of theoretical studies in terminological conceptualization may be used in teaching legal English vocabulary in the form of systematic presentation of term-building patterns expressing certain conceptual categories. (shrink)

This article aims to shed light on certain aspects of Iamblichus’ theory of time that have not been sufficiently examined to date in the scholarly literature. As of today, there are a mere handful of scholarly works tackling Iamblichus’ solutions to the paradoxes of time in particular, and his contribution to the developments of the Neoplatonic theory of the subject more generally. This article attempts to redress the lack of literature on this topic by examining Iamblichus’ response to Aristotle’s and (...) Pseudo-Archytas’ theories of time. It begins with a brief survey of the philosophical developments that led to and were formative for Iamblichus’ philosophical explorations of the area in question. Then it moves on to provide a detailed account of Iamblichus’ own unique and puzzling theory of time. The author applies the method of comparative analysis, scrutinizing Iamblichus’ solution to the paradoxes of time against the backdrop of Aristotle’s and Pseudo-Archytas’ theories. The author identifies firm scholarly grounds for doing so from within the tradition of Iamblichus studies initiated by the ground-breaking research of Shmuel Sambursky and Salomon Pines and continued, inter alia, in the subtly nuanced analysis of Richard Sorabji and John Dillon. The author concludes that Iamblichus successfully resolved the paradoxes of time and that his conception lent itself to a more effective highlighting of the ordering function of time. (shrink)

The paper discusses the Strawsonian concept of descriptive metaphysics and its various implementations in conceptions of I. Kant, R.G. Collingwood and P.F. Strawson, their similarities and differences. Particular attention is paid to the analysis of Kant's transcendental philosophy (resp. transcendental idealism), or its metaphysics of appearance as a pioneer version of descriptive metaphysics and its comparison with the version of descriptive metaphysics of P. Strawson himself.

Wide-ranging and astutely argued, Talmud /and/ Philosophy examines the intersections, partitions, and mutual illuminations and problematizations of western philosophy and the Talmud. Among its devoted students or "learners," the Talmud - both as text and mode of thought - is a constantly unfolding truth about humans in their relationship to God in the world. Among many philosophers, the Talmud has been at best an idealized and remote object, and at worse, if noticed at all, an object for curiosity. The contributors (...) to this volume collectively turn on and probe a new mode of inquiry by approaching the very question of partitions, conjunctions and disjunctions between the Talmud and philosophy as the guiding question of their inquiry. Rather than using the Talmud and its modes of argumentation to develop existing philosophical themes, the essays probe the question of how the Talmud as an intellectual discipline sheds new light on the unfolding of philosophy in the history of thought. (shrink)

The Open Past challenges a view of time that has dominated philosophical thought for the past two centuries. In that view, time originates from a relationship to the future, and the past can be only a fictitious beginning, the necessary phantom of a starting point, a chronological period of "before." This view of the past has permeated the study of the Talmud as well, resulting in the application of modern philosophical categories such as the "thinking subject," subjectivity, and temporality to (...) the thinking displayed in the texts of the Talmud.The book seeks to reclaim the originary power and authority the past exerts in the Talmud. Central to the task of reclaiming a radical role for the past are medieval notions of the virtual and their contrasting modern appropriations, the thinking subject among them. These serve as both a bridging point and a demarcation between the practices of thinking and remembering displayed in the conversations held by the characters in the Talmud by contrast to other rhetorical or philosophical schools and disciplines of thought. (shrink)

The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural (...) extensions of display calculi is provided. (shrink)

The article deals with diversity of language signs in legal terminology. The aim of the article is to show the influence of both linguistic and extra-linguistic factors on the specificity of various linguistic units in the legal terminology. Though all terminological systems possess some similar features, there may be certain traits characteristic only for some of them. As specific systems of signs, legal terminologies show some peculiarities that are discussed in the article from the point of view of oppositions to (...) highlight the semiotic specifics of language units used by lawyers and also the organization of the terminological system under consideration. The oppositions under consideration emerge due to both linguistic and extra-linguistic factors. Extra-linguistic factors determine such oppositions as terminology of law: terminology of jurisprudence, modern terminology: historical terminology, terms: nomenclature signs. Linguistic factors stipulate the opposition of primary and derived terms. A combination of linguistic and extra-linguistic factors determines the following oppositions: native terms: borrowed terms, terms of the basic terminological system: terms attracted from other spheres of knowledge. Within these types of oppositions a number of more specific ones were elicited. The interaction of synchronic and diachronic approaches the article is based on allowed the authors to focus on the permanent semantic properties of the language signs pertaining to tribal customary and modern law, and on those emerging in the course of the evolution of law. (shrink)

The purpose of the study is a comprehensive analysis of the factors of housing construction affecting the development of rural areas, identifying their relationships, as well as the specifics of the implementation of the program of preferential rural mortgages in the regions and the damage of its impact on the village. The scientific novelty of the work carried out consists in confirming the hypothesis of the insignificance of the impact of the preferential rural mortgage program in the improvement of housing (...) in remote rural areas and the acceleration of the process of deurbanization. As a result, using the example of the subjects of the Russian Federation and specifically the Stavropol Territory, it is demonstrated that factors of housing construction and home improvement affect the development of only large rural settlements located near administrative centers. (shrink)

The main aim of this study was to analyze the patterns of changes in Approximate Number Sense precision from grade 1 to grade 9 in a sample of Russian schoolchildren. To fulfill this aim, the data from a longitudinal study of two cohorts of children were used. The first cohort was assessed at grades 1–5, and the second cohort was assessed at grades 5–9. ANS precision was assessed by accuracy and reaction time in a non-symbolic comparison test. The patterns of (...) change were estimated via mixed-effect growth models. The results revealed that in the first cohort, the average accuracy increased from grade 1 to grade 5 following a non-linear pattern and that the rate of growth slowed after grade 3. The non-linear pattern of changes in the second cohort indicated that accuracy started to increase from grade 7 to grade 9, while there were no changes from grade 5 to grade 7. However, the RT in the non-symbolic comparison test decreased evenly from grade 1 to grade 7, and the rate of processing non-symbolic information tended to stabilize from grade 7 to grade 9. Moreover, the changes in the rate of processing non-symbolic information were not explained by the changes in general processing speed. The results also demonstrated that accuracy and RT were positively correlated across all grades. These results indicate that accuracy and the rate of non-symbolic processing reflect two different processes, namely, the maturation and development of a non-symbolic representation system. (shrink)

International criminal tribunals established by the UN Security Council in the 1990s have been widely acclaimed as active participants in the modern system of dynamic criminal justice. One of their best known achievements is the prosecution of rape and sexual assaults. The International Criminal Tribunal for the Former Yugoslavia (ICTY) and the International Criminal Tribunal for Rwanda (ICTR) set an example for other tribunals to follow. By interpreting a variety of international laws, the community of international legal professionals has been (...) able to shift the prevailing understanding of rape and sexual violence away from that of an “unfortunate byproducts of war.” Not only has the epistemic community of legal professionals been able to end impunity for these crimes, but case-law of international tribunals has become a basis for subsequent trials at quasi-international tribunals. Decisions of the tribunals have been instrumental in drafting the Statute of the International Criminal Court and can be regarded as an example of the formation of new international norms by means of judicial decisions. (shrink)

Nammalvar, a Tamil poet who lived in IX-X centuries, is revered as one of the great mystics of India. His four poetic works are equated with the sacred hymns and are part of the ritual worship in the temples of South India. Artistic images of Nammalvar formed the basis of the philosophy of Vishishta-Advaita several centuries later. The poem “Thiruviruttam” is considered as his early work, where he combines the canons of ancient Tamil poetry and his devoted love for Vishnu-Tirumal. (...) The study presents a religious and philosophical interpretation of the poem. The secret of the poem is its dualism: external beauty and sacred meaning. There is a spiritual meaning in symbols of Tamil poetry. Nammalvar takes canons of his predecessors, poets of the Sangam era. However, he fills one with new content. The author compares ancient Tamil poetry and the work of Nammalvar. The plot describes the love between God and the soul. The poet reveals several types of bhakti or devoted love. The description of bhakti subsequently formed the basis for the classification of souls in the philosophy of vishishta-advaita. Bhakti leads to the transition to Vaikuntha or the heaven city. Sri Vaishnavism teachers turned the description of relationship soul-Vishnu into a spiritual practice. The artistic images of Nammalvar are compared with Hindu concepts such as transcendence, darshan, divine grace and moksha. In South India “Thiruviruttam” is considered the Tamil Rig Veda. Poem is performed at home, in the temple, during festive processes. It helps to find the roots of Vaishnavism and understand its poetic origin. (shrink)

The specificity of eukaryotic DNA organization into loops fixed to the nuclear matrix/chromosomal scaffold has been studied for more than fifteen years. The results and conclusions of different authors remain, however, controversial. Recently, we have elaborated a new approach to the study of chromosomal DNA loops. Instead of characterizing loop basements (nuclear matrix DNA), we have concentrated our efforts on the characterization of individual loops after their excision by DNA topoisomerase II‐mediated DNA cleavage at matrix attachment sites. In this review (...) the results of applying this mapping approach are compared with the results and conclusions from studies of nuclear matrix DNA. An attempt is also made to reconsider all data about the specificity of DNA interactions with the nuclear matrix and to suggest a model of spatial organization of the eukaryotic genome which resolves apparent contradictions between these data. (shrink)

The philosophical definition of violence today is “incomplete” and leaves a “gap” between the phenomenon and the concept. This is due to the fact that the concept of “violence” was/is strangely included in the general philosophical categorial line. In domestic and Western discourse, the problem field of violence contains, above all, political and ethical meanings. The problem is intuitively resolved in its appeal to the concept of “power”, which turns out to be philosophically lost in modern philosophy. Only exceptionally do (...) we find “traces” of this concept in philosophical works. Among them are the works of Aristotle, which need to be freed from modern, distorting interpretations. Thus, in the translations of Aristotle, the Greek δύναμις, used for the traditional transferring the category of possibility, lost its meaning of force ; in its turn, “force” lost relation to “violence” and “necessity”. Violence is understood as a kind of necessity, which is associated with the suppression of one’s “own decision”, freedom, something that “prevents desire” and contrary to “common thinking,” as well as the absence of “good”. Violence is presented not only in an ontological sense, but also existentially, as the opposite of “good” and of one’s own “desire”. Force remains in the shadow of “necessity” as “possibility”, “potential energy” and “movement”, and violence loses the opposition that has arisen in an ontological mode. (shrink)

Nearly fifty years after the incorporation of the International Society for Knowledge Organization and the introduction of its formal scientific journal Knowledge Organization, a comprehensive encyclopedia of the domain appeared. The practice of domain analysis for knowledge organization, twenty years after its introduction as a core methodology, has created the largest corpus of theoretical knowledge in the domain analysis of knowledge organization itself. A substantial body of research data, therefore, is available in the corpus of articles and conference papers reporting (...) on the epistemological and ontological pillars of the science of knowledge organization. This paper is a report on the evolution of a formal taxonomy of knowledge organization, which is a product of an exhaustive meta-analysis of the KO domain. Our team compiled the corpus of twenty-nine formal published analyses together with key formative historical documents. We then analyzed the corpus thematically, bibliographically, and using co-word analysis to extract key concepts and the underlying faceted conceptual infrastructure. The taxonomy itself is faceted and is linked where possible to published definitions in the KO literature and as well as to the online ISKO Encyclopedia of Knowledge Organization. A dynamic project, the taxonomy will be maintained as linked open data and will grow as emergent research contributes new concepts or generates new facets. (shrink)

We present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing and Odintsov & Wansing, as well as the modal logic KN4 with strong implication introduced in Goble. In particular, we provide a Hilbert-style axiom system for the logic $BK^{\square - } $ and characterize the logic BK as an axiomatic extension of the system $BK^{FS} $. For KN4 we provide both an FDE-style axiom system (...) and a decidable sequent calculus for which a contraction elimination and a cut elimination result are shown. (shrink)