Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations . However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations of functions. On the other hand, in some situations one can speak in some precise sense about an implicit functional dependence defined by a relation. It turns out that it is (...) possible to model linear logic with implicit functions rather than general relations, an adequate language for such a semantics being differential calculus. This results in a non-degenerate model enjoying quite strong completeness properties. (shrink)

The category of coherent phase spaces introduced by the author is a refinement of the symplectic “category” of A. Weinstein. This category is *-autonomous and thus provides a denotational model for Multiplicative Linear Logic. Coherent phase spaces are symplectic manifolds equipped with a certain extra structure of “coherence”. They may be thought of as “infinitesimal” analogues of familiar coherent spaces of Linear Logic. The role of cliques is played by Lagrangian submanifolds of ambient spaces. Physically, a symplectic manifold is the (...) phase space of a classical dynamical system, and a Lagrangian submanifold is a phase of a short-wave oscillation. Typically, Lagrangian submanifolds represent such objects as short-wave approximations of wave functions in asymptotic quantization and wave fronts in geometrical optics. The coherent phase space semantics was motivated to a large extent by methods of geometric and asymptotic quantization and suggests some interesting intuitions on Linear Logic. In particular Lagrangian submanifold-cliques of types A and A can be interpreted as semiclassical limits of eigenstates of respectively position and momentum observables. These observables being canonically conjugate cannot be measured simultaneously, which corresponds to the idea that a formula A and its negation A cannot both simultaneously have proofs . We show that the coherent phase space semantics of Linear Logic enjoys several completeness properties in general much stronger than the usual full completeness with respect to the class of dinatural transformations. These properties of completeness in conjunction with a quite natural -physical meaning make the coherent phase space semantics an interesting object of investigation. (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 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)

Abstract This article traces a historical shift, and in particular its erasure from memory on the intellectual map of the West, in concepts of subjectivity across practices of rabbinic thinking in late antiquity, medieval interpretations of the Talmud, and modern talmudic scholarship. I first introduce a comparative perspective that relies on a mutual hermeneutics of philosophical and talmudic traditions. I consequently engage with Alain de Libera's archaeological analysis of the birth of the thinking subject in medieval philosophy and theology. In (...) this light, I analyze the role of the notion of the thinking subject in construing the Talmud from Maimonides to contemporary Talmud criticism. Finally, I explore the implications of de Libera's program of a philosophical archaeology of the thinking subject for mapping the complex relationship of mutual presupposition and exclusion between philosophical, rhetorical, and talmudic traditions of thinking in antiquity, as manifested in the larger scope of these traditions. (shrink)

The formalism of general probabilistic theories provides a universal paradigm that is suitable for describing various physical systems including classical and quantum ones as particular cases. Contrary to the usual no-restriction hypothesis, the set of accessible meters within a given theory can be limited for different reasons, and this raises a question of what restrictions on meters are operationally relevant. We argue that all operational restrictions must be closed under simulation, where the simulation scheme involves mixing and classical post-processing of (...) meters. We distinguish three classes of such operational restrictions: restrictions on meters originating from restrictions on effects; restrictions on meters that do not restrict the set of effects in any way; and all other restrictions. We fully characterize the first class of restrictions and discuss its connection to convex effect subalgebras. We show that the restrictions belonging to the second class can impose severe physical limitations despite the fact that all effects are accessible, which takes place, e.g., in the unambiguous discrimination of pure quantum states via effectively dichotomic meters. We further demonstrate that there are physically meaningful restrictions that fall into the third class. The presented study of operational restrictions provides a better understanding on how accessible measurements modify general probabilistic theories and quantum theory in particular. (shrink)

Статтю присвячено розгляду телеіндустрії під філософським кутом зору. Зокрема, здійснено аналіз критичних теорій щодо економічних основ телеіндустрії, її функціонування як медіа та особливості означування у соціокультурному просторі. Розглянуто концепції масової культури Макса Горкгаймера і Теодора Адорно, дослідження інструментального характеру мас-медіа Гербертом Маркузе, суспільства спектаклю Гі Дебора, телематичного екрану Жана Бодріяра, неотрайбалізму Мішеля Маффесолі. Телеіндустрія постає як один з найбільш характерних проявів масової культури, а з іншого боку – як центральний елемент сучасної культурної індустрії. Розглянуто телесеріали як один з найбільш впливових (...) елементів телеіндустрії, який здійснює вагомий вплив на формування цінностей та світогляду сучасної людини. Свого часу телебачення швидко набуло соціальної домінантності і частково витіснило інші види впливу масової культури на людину. Телебачення дедалі більшою мірою адаптується до новітніх засобів масової комунікації, зокрема вторгається у царину мережі Інтернет. Телеіндустрія формує не лише смаки, а й домінантний у суспільстві дискурс, через який непомітно і владно формує життєві принципи і стратегію поведінки споживача телевізійного «продукту». (shrink)

The article discusses the importance of strength training in the training process and its impact on the technical skills of athletes. The use of strength exercises during training sessions and rational planning of strength training in the training process are considered. Practical and methodological recommendations are given on the use of various strength physical exercises to improve the technique of basic competitive movements. Examples of the use of various physical loads during certain exercises in order to improve the technical readiness (...) of athletes are shown. (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 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)

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)

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

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)

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)

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)

Recent years have witnessed an explosion of the single-cell biochemical toolbox including chromosome conformation capture -based methods that provide novel insights into chromatin spatial organization in individual cells. The observations made with these techniques revealed that topologically associating domains emerge from cell population averages and do not exist as static structures in individual cells. Stochastic nature of the genome folding is likely to be biologically relevant and may reflect the ability of chromatin fibers to adopt a number of alternative configurations, (...) some of which could be transiently stabilized and serve regulatory purposes. Single-cell Hi-C approaches provide an opportunity to analyze chromatin folding in rare cell types such as stem cells, tumor progenitors, oocytes, and totipotent cells, contributing to a deeper understanding of basic mechanisms in development and disease. Here, we review key findings of single-cell Hi-C and discuss possible biological reasons and consequences of the inferred dynamic chromatin spatial organization. Single-cell Hi-C expands the molecular biology toolbox for studies of chromatin structure in individual cells. This technique allows one to analyze cell-to-cell variability in TAD and loop structure, and to capture chromosome conformation in rare cell types such as oocytes, totipotent cells, and tumor progenitors. (shrink)

The structure of G. V. Florovsky’s concept of neopatristic synthesis is analyzed and reassessed here in light of the current state of philosophy and theology. As a result, the concept receives a ne...

From descriptive interpretation of "understanding" to abstract-gnosiological understanding of mentality. The historical deconstruction of the existential understanding introduced as ontologic property of constantly becoming stable "Being-in-the-World" allows us to interpret this concept as mentality. Through theprism of existential philosophy in general and its interpreters such as Jacque Le Goff it allows us to make a conclusion that mentality is one of complete formations of public consciousness. But in the course of such interpretation of mentality it is important to avoid the (...) methodological situation in which Plato deadlocked, when he had decided to find out, what was beautiful itself. For the way out from this situation he had to introduce independently existing ideas and special space of ideas which define all the things and even gods. We, unfortunately, do not have such an opportunity which the history gave to Plato. Somehow to define structural and historical conditions for breaking out of mentality we shall be limited to the instruction that it is more complex, compound, but in the same time integrally complete formation historically actualized, unlike traditionally allocated kinds and forms of consciousness. Another important question is whether the concept "mentality" is acceptable for analysis of the current modern processes or it can only be used for the reconstruction of the completed formations. The mentality cannot be analyzed from inside. And we are inclined to consider that to operate the concept "mentality" in relation to a modern representative of civilization is inappropriate. (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)

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)

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

Cultural heritage, which serves as a substratum of national identity, forms the right of the state to its own sovereignty. The substantiated proof of the possibility of independence from other cultures and nations has relatively recently entered the conceptual field of the philosophy of culture. In January 2023, significant changes made to the Foundations of the state Cultural Policy took into account the concept of cultural sovereignty and, to the necessary extent, justified its high importance for the development of the (...) state and society. The fundamental role of culture in the creation and development of the state has been repeatedly recognized as one of the priorities. It should be noted that even later this priority was not a Russian regulatory novel. The purpose of the study is to consider a range of concepts and legal novels reflecting the sphere of cultural heritage. The long-term work of an extensive circle of philosophers and culturologists has been crowned with the recognition of the value of culture in the system of state regulation of various spheres of human activity. As a result of the research, the conclusion is made about the relevance and timeliness of the implementation of the most important philosophical concepts in strategic planning documents and the high potential practical significance of the actualization of cultural heritage in order to achieve the results of the state cultural policy. In conclusion, it is noted that heritage as a cultural phenomenon has direct access to its semantic and value core. The preservation of cultural identity through the consistent building of cultural sovereignty is one of the most important priorities of modern state policy. (shrink)

The article examines the system-methodological and conceptual foundations of the psychological activity theory that arose in the Soviet Union under the influence of the ideology of Marxism-Leninism. The author demonstrates the process of incorporation of Marxism-Leninism dogmas into the canonical form of the activity theory as a scientific knowledge that does not need any scientific confirmation. The pseudoscientific discourse that arose at the same time served to strengthen the position of the ideologists of the bureaucratic system, who found “objective confirmations” (...) of the truth of Marx’s teachings in the data of psychological science. The scientific community, subjected to ideological transformation, tried to defend itself from the destructive influence of ideology, giving rise to special forms of relations in the scientific and psychological environment, which led to the struggle and confrontation of scientific schools and groups. As a result of ideological expansion, psychological knowledge has become to some extent a tool for the bureaucratic system to overpower scientific dissent. That was clearly manifested in the discussion on the results of the Zagorsk experiment, in which an incorrect, partially falsified, attempt was made to prove the development of the human psyche of children born deaf and blind. The influence of ideology can also be traced in the confrontation of scientific schools in physics, genetics, biology and physiology. The article discusses prospects and new trends in the development of the activity theory after exclusion of the ideological concepts of Soviet socialism from its systemconceptual foundations. We observe the formation of new psychological concepts that reflect non-classical and post-non-classical forms of scientific rationality. Attempts are made to create and study the models of the psyche developed within the framework of the theory of organized complexity and the concepts of autopoietic self-organization and evolution. (shrink)

The purpose of the study is to characterize the reproductive capabilities of human capital at the regional level. The article presents the results of a study concerning the state of factors determining the reproduction of human capital in the conditions of digitalization. The analysis of each of the indicators characterizing the reproductive capabilities of the human capital of the region is carried out. Special attention is paid to the quantitative and qualitative characteristics of the factors of reproduction of human capital, (...) as well as the role of the state in solving social problems of the region. (shrink)

Basil the Great’s theory of time is a fascinating testimony to the metaphysics and philosophy of nature of the fourth century AD. In his treatises Basil sought to tackle such foundational issues of philosophy as God’s being, its hypostatic instantiations, and God’s creative acts. In order to properly address these issues he had to scrutinize the notion of time, thus turning the discussion of time into one of the key philosophical threads of his treatises. Basil’s works unequivocally exhibited his careful (...) approach to and respect for philosophical tradition, along with his innovative brilliance. Moreover, Basil’s oeuvre clearly indicates that he was well acquainted with the then current philosophical literature on the subject. This article aims to shed light on various aspects of Basil’s theory and its conceptual underpinnings. It endeavors to demonstrate that Basil’s theory, at its highest point, cannot be understood apart from its protological and eschatological premises. It also argues that Basil was not merely an eclectic thinker, in that he used various concepts inherited from the late antique philosophical tradition to arrive at a uniquely Christian theological and eschatological synthesis. It concludes with an affirmation of Basil’s theory of time as a valuable extension to our understanding of the topic. (shrink)

In the course of a close analysis of Kant’s essay in which he gives his original answer to the question, “What is Enlightenment?” I examine the causes and consequences of the theses about Enlightenment which makes a plea for emancipation from the shackles of guardianship, above all by getting rid of one’s own cowardice. In search of an answer to the question, “What is the real reason of self-incurred immaturity?” I consider the bifurcation: Is it all about unjust social institutions (...) established in the interests of the ruling social estates, as the best European brains contended throughout the Enlightenment era, thus anticipating and justifying revolutionary upheavals, or is it within ourselves who have refused to use our reason independently and regularly? — something which Kant unequivocally considers to be everyone’s special kind of guilt. Following Kant, I look for an answer to the question, “Which limits impede Enlightenment, and which limits, far from obstructing it, are bound to promote it?” and reveal the hidden paradox of the Kantian solution: maturity has to be preceded by the granting of freedoms; and the granting of freedoms in turn calls for a mature public. I also ask the question, “Whose yoke is heavier, one’s own or the guardian’s?” and offer my version of an answer. In conclusion, I assemble all parts of the complicated and original formula of the Kantian recipe of Enlightenment. Among other things, I reveal a special type of bonding within the social organism implied by Kant, and that is the requirement to obey those who are not above us in thinking and the right to speak out in public, which ultimately means not only personal maturity, but implies also the maturity of society’s functioning in accordance with the said maxim. (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.

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)

In one of his works, the modern neurophilosopher G. Northoff, developing the problems of Kantian transcendental cognitive science (epistemology), introduces the metaphor of Kant’s mind. In this article, we attempt to explicate this metaphor in order to propose a cognitive model of Kant’s mind (the Kantian mind as a sequence of cognitive syntheses), which could be used in modern research in cognitive science, neuroscience and artificial intelligence. At the same time, there is currently a question (task), on the one hand, (...) about the transition of transcendentalism to neurotranscendentalism, i.e. the development of neurocognitological research aimed at identifying the neural correlates of the components/structures of the Kant’s mind (the transition from Kant’s mind to the Kantian brain)), and, on the other hand, the creation of intelligent computer programs (systems) that implement the cognitive model of the Kant’s mind. This article outlines ways to solve both the first and second of these problems. (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 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)

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)