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)

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)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each other. The main (...) obtained results are: the model of bead lightning; an explanation of redshift of the spectra of galaxies; the derivation of the Newton law in the concept of gravitons; the calculation of nuclear forces and the structure of simplest nuclei with the help of the theory of strong gravitation; building the model of weak interactions of elementary particles; presentation of quarks as a particular type of quasiparticles; explanation of the electron spin. The book should be useful for students and researchers, as well as for those interested in physical and philosophical problems. Tables 20. Fig. 30. Ref. 155 titles. (shrink)

The modification of Frege's semantics that consists in using only one reference (Bedeutung, denotate) truth instead of two references truth and falsity is proposed. According to Frege 1) every true sentence stands for truth, 2) every false sentence stands for falsity. We modify the second statement: 2*) every false sentence doesn't stand for truth. The modification of sentential logic interpretation will consist in change of semantic rules: a) every formula A stands either for truth or falsity, b.1) the formula A (...) has value T iff the formula A stands for truth, b.2) the formula A has value F iff the formula A stands for falsity. Let’s change rules a) and b.2) on: a*) every formula A either stands or doesn't stand for truth, b.2*) the formula A has value F iff the formula A doesn't stand for truth. So, we have only one reference but still two values. The proposed approach can be extended to non-classical cases, for which the bivalence principle doesn't take place. An ordered pair of the sentences A, ~A is put in correspondence to the sentence A. Each sentence of ordered pair can either stands or doesn't stand for truthindependently from the other. Thus for each pair of sentences we have four possible variants of reference which are generate four functional values. (shrink)

Causal structure learning from time series data is a major scientific challenge. Existing algorithms assume that measurements occur sufficiently quickly; more precisely, they assume that the system and measurement timescales are approximately equal. In many scientific domains, however, measurements occur at a significantly slower rate than the underlying system changes. Moreover, the size of the mismatch between timescales is often unknown. This paper provides three distinct causal structure learning algorithms, all of which discover all dynamic graphs that could explain the (...) observed measurement data as arising from undersampling at some rate. That is, these algorithms all learn causal structure without assuming any particular relation between the measurement and system timescales; they are thus rate-agnostic. We apply these algorithms to data from simulations. The results provide insight into the challenge of undersampling. (shrink)

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)

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 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)

Sequential transformative design of research :224–235, 2015; Groleau et al. in J Mental Health 16:731–741, 2007; Robson and McCartan in Real world research: a resource for users of social research methods in applied settings, Wiley, Chichester, 2016) allows testing a group of theoretical assumptions about the connections of artificial intelligence with culture and education. In the course of research, semiotics ensures the description of self-organizing systems of cultural signs and symbols in terms of artificial intelligence as a special set of (...) algorithms. This approach helps to consider the arguments proposed by Searle :417–457, 1980) against ‘strong’ artificial intelligence. Searle :417–457, 1980) believes that artificial or machine intelligence cannot fully emulate the processes of the human mind. Machine intelligence shows own inevitable weakness. This is non-autonomous tool for computations and data operating. In fact, this tool cannot provide insight into real cognitive conditions. After Lotman and Uspensky, authors expand the meaning of artificial intelligence. The authors identify a cultural type of ‘strong’ artificial intelligence or ‘self-increase of Logos’ in terms by Lotman and Uspensky. The interpretation of human intelligence as imitation of machine intelligence makes possible such immersion of artificial intelligence in culture. The authors reveal a case of self-organizing autonomous generation, encoding, decoding, reception, storage, and transmission of social information in the field of physical training. From the empirical studies it is clear that the organization of collective activities without external control ensures the development of positive emotions and social orientations. Interest in autonomous behavior provides the formation of educational and cognitive motives. As a special set of algorithms, these motives are the most promising and favorable for personal development. (shrink)

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)

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 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.

La historia política de Rusia y España ofrece una oportunidad para comparar las medidas adoptadas durante la transición de un régimen autoritario a uno democrático, manteniendo la estabilidad política en el Estado. El Estado es un elemento central del sistema político. La estabilidad del Estado se convierte en una cuestión clave para los dirigentes del Estado, para los sujetos del poder político. La estabilidad política en una democracia requiere la preservación del tipo de organización del poder, que corresponde a los (...) sentimientos e intereses fundamentales socioeconómicos de los grupos sociales. A los factores políticos de la estabilidad pertenece la posibilidad de una participación equitativa en la vida política para todos los estratos sociales, en conformidad con el derecho democrático y las tradiciónes, así como la presencia de las instituciones políticas. El Estado debe ser social y servir al ciudadano y a la sociedad. Se ha demostrado que el Estado debe participar en la regulación de la economía y la circulación monetaria. La estabilidad política en el nivel internacional se logra por el equilibrio multipolar y por la diversidad de los Estados soberanos y equitativos. (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)

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)

Interpretation of Wittgenstein’s statement ‘whereof one cannot speak, thereof one must be silent’ and consequences of rule-following paradox is the topic of this article. The revision of Wittgensteinian approach to the relations between speech and mind, and approaches to the speech by Vygotsky and Austin allow approving the disagreement with Wittgenstein and exhibit the cases when is necessary ‘to break silence and speak’. Argument is based on the hermeneutical approach to the skeptical image of Wittgenstein studies that disclose the meaning (...) of hypothetic relevance between performative utterances and impulses generated by inner speech. Wittgenstein’s ideas are demonstrated as the contemporary version of a Pyrrhonism. Classical skepticism intensifies procedures for justification of philosophical knowledge, because philosophy tries to disprove skeptical claims. Wittgenstein studies play approximately the same role. Interpretation of the proposition ‘whereof one cannot speak, thereof one must be silent’ in a view of performative utterance allow coordinating the inner philosophical speech made by Wittgenstein, and the speech made by his commentators and critics. (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)

What follows is a two-part review of Günther Witzany’s two-part book, The Logos of the Bios. The first part of the review is written by Sergey Chebanov, and it approaches the text as a source of ideas on biosemiotics and biohermeneutics. The second part is written by Anton Markoš, and it estimates the biological pithiness of the book and the correctness of the reflection of the included data of modern biology.

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 study, conducted in March 2022, involved the analysis of the content in several social media chats and groups; the participants of those chats live in the same place and therefore have a common experience of the space. The study was based on the hypothesis of a direct connection between the mental map (a system of individual ideas about space), the cultural reputation of topoi, and urban trauma, embodied in the unease infrastructure. The problem of assessing the significance of a (...) place was solved by means of folklore toponymies – the mechanism of renaming, which indicates the degree of awareness about a specific place and defines its location on the mental map as well as ascribes a certain status to it. These statuses demonstrate the degree of significance of a place for a certain subject and form a kind of hierarchy, a system of topographical preferences. Thanks to online communication, people can not only transmit information much faster than the traditional forms of folklore dissemination allow, but also broadcast personal attitudes, conveying them as a bundle of meanings (for example, while inventing new toponyms). Therefore, one of the objectives of the study was to identify established folklore toponyms in online communication: they serve as markers of attitudes, reputation, and significance; we also try to catalogue attempts to “rename” different places. Another task was to find the symptoms of such anxiety in online communication. (shrink)

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.

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 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)

Russia’s October 1917 revolution had an international vector along with its domestic one. The idea of transforming not only a single country but the entire world into a dictatorship of the proletar...

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 idea that a human being may select at will outcomes of certain quantum events, and that this is free will, has been put forward long ago. But how can such a possibility to control quantum randomness be recombined with the necessity to obey the known statistical distributions of the laws of nature? Antoine Suarez proposes a Quantum Homeostasis Hypothesis (QHH), where this may happen during sleep or dreams. Divine providence may also be placed exactly here without violating the free (...) will of a human being, and in accordance with the necessity to follow the statistical laws of nature. God may instruct one during sleep and dreams. Apart from the Bible, this is attested to by sources in many ancient civilizations. This essay addresses this aspect of QHH in an attempt to answer the question whether data may show that our “acts of will” during dreams differ from such during a fully conscious state of mind. (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)

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)

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.

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)

Kant’s transcendental philosophy of Kant is the metaphysics of possible experience related to the solution of the [semantic] problem set in his famous letter to M. Hertz (02.21.1772): “What is the ground of the relation of that in us which we call 'representation' to the object?” There are two possible ways to solve it: empiricism and apriorism, – and Kant chooses the second of them, thus making his “Copernican Revolution”. In the Preface to the 2nd ed. Critique Kant correlates his (...) Copernican turn/revolution with "altered method of our way of thinking [in metaphysics]" [BXVIII] and considers it as an analogue of the hypothetico-deductive scientific method of Copernicus – Galileo – Newton. The analysis of structure of the Copernican Revolution shows that it is possible to pick out two vectors: the empirical (from the thing-in-itself to representations) and the noumenal ones (from the transcendental unity of apperception [or transcendental object] to objects of experience). The introduction of an a priori vector (resp. a priori forms) means that Kant's conception is not empirical, but Kant’s keeping empirical vector says that it is compatible with empirical realism [A370–1]. Thus, Kantian transcendentalism is a synthesis of realism (basic level) and transcendental idealism (as a meta-level superstructure above it), whose task is to find out and analyze the transcendental conditions [possibility] of our knowledge of objects. (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)

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)

In physics, free will is debated mainly in regard to the observer-dependent effects. To eliminate them from quantum mechanics, superdeterminism postulates that the universe is a computation, and consciousness is an automaton. As a result, free will is impossible. Quantum no-go theorems tell us that the only natural phenomenon that might be able to account for every bit of freedom in the universe is quantum randomness. With randomness in Nature, the universe could not have been predetermined completely in the sense (...) that it should be impossible in principle to compute from the big bang or at any later moment whether live and conscious observers might or might not appear there. After all, superdeterminism comes to be either self-inconsistent by assuming randomness, at least, at the initial conditions of the big bang, or untestable and mysterious by pushing every bit of freedom in back to the prerequisites of the universe “designed” in the big bang. (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)

Today, scientific discussions on the specifics of the development of civil society in Russia do not stop. The institutional approach allows us to look at this problem through the prism of formal and informal institutions existing in society. Researchers and practitioners should not focus only on the rule of law, official prescriptions and orders, setting the framework for interactions between authorities and citizens, promoting private initiatives, and realizing the rights and freedoms of the population. If they do not correspond to (...) the prevailing norms, stereotypes, ways of thinking and actions for centuries, then the most useful, at first glance, innovations in the political and social sphere may not take root. This does not mean, however, that informal institutions remain unchanged under any circumstances. They also evolve. This process can be targeted. It is important to understand all the actors involved in the development of civil society in our country. (shrink)