In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

This article argues that it was not only physical borders that challenged people’s biographies in the 20th century, but also shifts in ideology, discourse and predominant languages. I shall explore the biography of a man called Cornel, a native of Bukovina who was a communist cultural official in Romania’s capital Bucharest in the 1960s and who became a priest in the 1970s. I shall show that not only obvious breaks such as the beginning and end of communist rule, but ideological (...) shifts too within Romanian communism prompted Cornel to thoroughly reassess himself. For Cornel, it was the ‘mini-cultural revolution’ of 1971 under the rule of Nicolae Ceaușescu that quickly convinced him to leave his job at the Romanian Ministry of Culture and reinvent himself as an Orthodox priest. But was his self-reinvention successful? A thorough analysis of his biography shows that his linguistic biography—oscillating between Romanian, Ukrainian and Russian—contains crucial elements of productive adaptation and continuity that enabled him repeatedly and successfully to circumvent borders imposed by newly emerging policies. His “third” identity as a writer has given him continuity and self-assurance. (shrink)

The purpose of the study is to reveal the main actions of the major central banks during the COVID - 19 pandemic and their main impact on the world stock markets. The scientific novelty consists in identifying the key results of the impact of the pandemic in general and the restrictive measures of national governments, in particular, on the dynamics of the state of the stock markets of the world, namely, the level of decline in the main stock indexes of (...) the S &P 500, Dow Jones and NASDAQ. The measures taken by the central banks of the United States, Japan, England and other developed and developing countries of the world to provide financial assistance to commercial banks and other financial organizations related to the purchase of government bonds at a "zero" rate, targeting the yield of government bonds, reducing key rates and other measures are summarized. It is indicated that the influx of new private investors provided a great help to the stock market, for which many Central Banks introduced special programs and preferences. As a result, the main measures taken by the Central Bank of the Russian Federation to stabilize the financial situation in the country and the domestic stock market, in particular, are summarized. (shrink)

Introduction. A human and the world are an organically connected part and whole, they are always a single World, and therefore they can only evolve together, in one direction. The human world consists of many interconnected and interdepend- ent parts. If any one of the parts (for example, technology) begins to dominate and claim the sta- tus of the whole, then the problem of violating the optimal ratio in the coexistence and co-evolutionary development of each of the parts, and hence (...) the whole itself, becomes aggravated. Hence, the eco-humanistic problem arises. The purpose of the work is to present the content and substantiate the theoretical and practical significance of eco-humanism as a new humanitar- ian knowledge and methodology for understanding the specifics of the relationship “man — technical and-technological world”. Methods. The author uses the methods of dia- lectics, systemic and synergetic approaches, the project (projective) method, which is implemented in the design and development of a new philo- sophical and scientific discipline of eco-humanism, and ideas of co-evolution. Scientific novelty of the research. The author determines basic foundations of eco-humanism as a new type of humanitarian knowledge; formulates and meaningfully substan- tiates the main principles of eco-humanism as a methodological setting for the ecologization of a person and the world: optimality, coordination and dominance of the whole (integrity) in relation to its parts. Results. Eco-humanistics is defined as a new type of knowledge about a person and a specific setting of his thinking and practical activities, focused on finding ways and means to achieve op- timality in relation to various aspects (for example, technical and anthropological) in a person’s being to ensure the possibility of their fruitful existence, to preserve and reproduce a person (as a unique integrity) and his world (as a universal integrity), in their interconnected and interdependent unity. Conclusions. The author of the article comes to the conclusion that the theoretical development of eco-humanistics will make it possible to study and analyze the phenomena of modern culture in a more multifaceted way, to get a more accurate interpretation of the ways of human existence and eco-cultural practices that provide the effect of the state of the “ecosystem” in situations of any intense socio-cultural transformations. (shrink)

To explain evaluation we need to take into account the perspective of an evaluator, we need to turn to phenomenological approach in moral theory. This is the approach proposed by John McDowell. According to him, we need to approach to the question ‘How to live right?’ via the concept of a virtuous person. To lendsupport to his views McDowell employs Wittgensteinean philosophy that could be a good basis for establishing moral phenomenology as a metaethical approach to moral phenomena. First of (...) all, introducing the notion of language-game we can provide a metaethical explanation of moral terms referring to roles they play in certain language-games. From this point of view there is no difference between moral terms and other terms. But understanding a language-game not just as a model of a certain kind of behavior formed by external observer, but as a form of life we can capture moral phenomena form within. The language-game considered as the form of life allows us to discern certain phenomena as moral ones. That is why trying to answer the question about right livingfrom the virtuous person perspective we should be involved in a language game that carves moral phenomena from the brute stuff of the world and forms a certain kind of sensitivity in us to these properties. Wittgensteinean philosophy also allows us to answer the question: how can mere knowledge of situation make us behave? Following Wittgensteinean ideas, we can present moral knowledge as something uncodifiable, which is exhibited in our everyday life, in our way of living and ‘going on doing the same thing’. It is impossible to understand this knowledge from the external point of view. To see how this knowledge can motivate someone, we need to capture the way the person appreciates a particular situation. (shrink)

Efficient voice leading, in which melodic lines move by short distances from chord to chord, is a hallmark of many different Western musical styles. Although musicians can often find maximally efficient voice leadings with relative ease, theorists have not adequately described general principles or procedures for doing so. This article formalises the notion of voice leading, shows how to classify voice leadings according to transpositional and inversional equivalence and supplies algorithms for identifying maximally efficient voice leadings between arbitrarily chosen chords. (...) The article also includes analytical and theoretical discussions of neo-Riemannian theory, the 'tritone substitution' in contemporary jazz, the music of Wagner and Debussy, the relation between harmony and counterpoint and the connections between scale theory and serial theory. (shrink)

Summary Historians of science have neglected early modern natural philosophers' varied attitudes to the history of philosophy, often preferring to use loose labels such as ?Epicureanism? to describe the survival of ancient doctrines. This is methodologically inappropriate: reifying such philosophical movements tells us little about the complex ways in which early modern natural philosophers approached the history of their own discipline. As this article shows, a central figure of early modern natural philosophy, Robert Boyle, invested great intellectual energy into his (...) depiction of the history of philosophy. Boyle's historical worldview was mediated through an array of textual traditions: classical, patristic, humanist and contemporary. Drawing extensively on his manuscript notes, this is examined for three topics. First, from his turn to natural philosophy in the late 1640s, Boyle combined a sceptical attitude towards philosophy's potential ? stemming from humanist historicisations of the ?speculative? heritage of Greek philosophy ? with a belief in natural philosophy's efficacy as a spiritual exercise, as performed by ancient ?priests of nature?. Second, Boyle's attitude to the history of matter theory was far more complex than any simple comparison with ?ancient atomism? can convey. Unlike many of his contemporaries, Boyle held Epicurus to be a speculative and reductionist philosopher, leading him to posit a different lineage for a non-reductionist corpuscularianism which depended on exploitation of non-standard historiographical traditions. Appreciating this allows us to make an intervention in the ongoing debate about the relationship between corpuscularianism, chymistry and experiment in Boyle's philosophy. Third, Boyle's historicisation of supposedly anthropomorphic philosophies in his famous Free Enquiry (1686) exploited recent theological historiography, most importantly Samuel Parker's combination of the history of idolatry with the history of Greek philosophy, which itself relied on developments in continental sacred history. It was this historicisation, rather than any philosophical realities, which led to the positing of the mechanical philosophy as more compatible than Aristotelianism with Christian doctrine. (shrink)

The article brings Laclau and Mouffe’s discourse theory into the empirical context of contemporary Russia to analyse the complex relationships between the state and alternative media. In contrast to the mainstream narrative that paints the picture of a strong authoritarian state with a grip over democratic liberties and civil society, we suggest a more nuanced perspective on the subject that focuses on the struggle over the articulation of the identity of the state. Through an ethnography (combined with interviews and textual (...) analysis) of three Russian alternative media outlets – Avtonom, Discours and DOXA – this article demonstrates how they critique the hegemonic state discourse, how they evade it through their practices, and how they perform counter-hegemonic alternatives. Even if their resistance is severely countered by the state, their practices are seen to de-naturalise the nodal points of centrality and unity which constitute the hegemonic state discourse. As these practices contain alternative articulations of the state discourse, the importance of alternative media for rethinking the state (and resisting it) should not be underestimated. (shrink)

The objective of this article is to characterise elimination of finite generalised imaginaries as defined in [9] in terms of group cohomology. As an application, I consider series of Zariski geometries constructed [10, 23, 24] by Hrushovski and Zilber and indicate how their nondefinability in algebraically closed fields is connected to eliminability of certain generalised imaginaries.

The article is devoted to the analysis of theoretical bases of G. Bateson's anthropology. The author focuses on the concept of pattern by tracing the origins of this concept in the Goethe's morphology, the Gestalt psychology, the Benedict's anthropology, the Cybernetics and the Communication theory. In the context of the Communication theory “pattern" appears as a synonym of the engineering term “redundancy" that makes possible to consider it as a necessary condition for anticipation of communication sequences and economy of description. (...) In addition, the pattern (redundancy) as a information organization form stands as the main criterion for sig- nal/noise ratio distinction. According to Bateson, the “pattern" can also be seen as an approximate synonym of “meaning". Applying of this interpretation to Bateson's analysis of the culture makes possible a more rigorous view at the problems of anthropological observation and description. The analysis demonstrates the need for anthropological observation, detecting patterns of two levels: the first one is valid within cultural systems (basic ideas, values and symbols of culture), the other one is valid within the system «culture + the observer» (abstract models). Thus, recognition of the pattern of the first level belonging to the language of the observed culture makes possible the interpretation of cultural events and facts. The pattern of the second level is not recognized but it is constructed, in a language more abstract than both the language of the observed culture and the language of culture of the observer. It is an explanatory scheme, in which mapping the fragments of description. (shrink)

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...) logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values. In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Dmitry Khanin THE POSTMODERN POSTURE Postmodernists—the sectarians ofour day—proclaim that the old kingdom of historical narrative and historical subject has perished, and is now being replaced by a new one of ahistorical discourses and ahistorical characters. According to these prophets, "history" is anyway just changes in ways of talking about history. Anyone who does not agree with the ahistoricity of the postmodern world oudook may be accused—and tried on (...) the spot—of defending the cause of the totalitarian Reason against the most liberating movement of today. This postmodernist abuse of history is paradoxical, since the very notion of history coming to its end and giving way to the ahistorical kingdom of freedom and merry debauchery is itself a very old idea, even a mythological one. The description ofhistory as marching toward its own demise relies on a whole tradition which portrays history as a drama. Aristode's conception of tragedy as a sequence of actions culminating in a dénouement has no doubt shaped this view of historical process. Christian and other religious millenarians have announced the end of history already many times. Yet another notorious instance of such eschatological daydreaming is the futurology of Karl Marx, who envisaged the kingdom of communism as occupying this same ahistorical space. A rather obsolete idea, perhaps, but it seems still to attract postmodernists, though they give it a characteristic twist, since they sincerely believe theory, discourse, écriture (i.e., theoretico-symbolical activity) are much more important than any actual historical contentprocesses and events. One of the most notable spokesmen for this approach is Arthur Danto, who insists that world history evolved in a good Hegelian manner until the theorists came to understand that history depends on their Philosophy and Literature, © 1990, 14: 239-247 240Philosophy and Literature texts much more than theorists themselves depend on historical processes and events.1 Many theoreticians working in an otherwise Marxist tradition similarly are glad to assert with FredricJameson that we must say farewell to Marx's positivistic illusion that history is driven by laws disguised as economic forces.2 In the epoch of "late capitalism," says Jameson, consumption gains the upper hand over production and becomes the mainspring of history. Of course, in light of recent doings in Europe I am tempted to ask if we owe it to postmodernists—and their ahistorical, inconsistent, and generally confounding claims about history lying in ruins—that the Berlin Wall actually is in ruins and Vaclav Havel is president of Czechoslovakia. Even more daring theorists may now declare an era of "very late capitalism." Here it will not be merely the mass media that act transformatively on society (as McLuhan claimed), but rather consumer goods themselves, like state-of-the-art washing machines or French perfumes, which create a new aura of intellectual discourse. TL· Postmodern Scene: Excremental Culture and Hyper-AesÜietics, a book by two Canadian authors, Arthur Kroker and David Cook, promotes such a sea change in the theoretical landscape and along the way presents a joyous recapitulation ofthe latest fads in postmodern thinking. The new apostolic generation ofpostmodern critics seems to enjoy the beautiful new things that can be bought for bucks, worrying at the same time that bucks may be losing some of their purchasing power. Like Hari-Krishnas dancing in the street they luckily possess a sort of happy consciousness which also recalls their puritanical great grandfathers who regarded profligacy as the greatest sin and much preferred saving to spending. In what follows I want to draw a portrait of this new postmodern posture. A few main assumptions underlie Kroker's and Cook's wake for postmodernism, which, in its peculiar genre of philosophic obituary, epitomizes and thus prepares for future oblivion views which were exceedingly popular in the preceding decade. First of all, the authors adopt Baudrillard's equation of Marx and Nietzsche: "Marx and Nietzsche shared a deep and common affinity in meditating upon historical (Christian) and materialistic (capitalist) expressions ofthewill ofpower."3 From Baudrillard's perspective Marx appears as a pathetic romantic who tried to defend the "referential illusion" by renaturalizing concrete labor even though its entirely abstract character was brilliandy revealed in Das Kapital. Baudrillard... (shrink)

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

Early development of animal embryos begins from spatially distributed products of gene expression, i.e., gradients. While maternal and early zygotic genes form broad and/or terminal gradients, their direct targets appear later on as relatively narrow stripes, which foreshadow presumptive germ layers or future segments. Evidently, stripe expression of the zygotic genes is among the key mechanisms of embryo patterning. In this paper, known qualitative and quantitative models for the stripe formation are considered on the example of early embryogenesis of Drosophila. (...) The current model analysis emphasizes the role of spatial information flow in development. Discussion is given on frequent network motifs, pointing to spatial stripe formation solutions. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

Journal Name: Apeiron Issue: Ahead of print.

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

The article develops the idea of forming postcapitalist social relations as a social revolution of an individual, which consists in the fact that popularity becomes a key advantage, the “possession” of which is a desired goal and a significant resource of political influence. At the same time, it is shown that this process leads to forming a new dominant stratum — personalities (“people with personality”): celebrities, popular bloggers, social media influencers, micro- and nanosignature. It is substantiated that the personaliat domination (...) is a consequence of contradictory social relations between the new aristocracy represented by the representatives of the personaliat and many people who do not “possess” a popular personality - the impersonaliat (“extra people”, “lower” precariat, those who turn out to be outsiders in the world of social platforms). This contradiction is associated with the rooting of a celebrity’s culture, which encourages a lot of people to fight for popularity and focus on finding advantageous differences from others in the process of self-realization. However, this struggle in the end for the overwhelming majority turns into an increase in creative competition and subtraction. Various new forms of subtraction that appear in situations of widespread self-realization are revealed. Accordingly, arguments are given in favor of the fact that in the context of the “personality revolution”, the truly left will be rather an alternative that will call into question the ways of solving social problems formulated by popular personalities. In other words, it will be possible to oppose the total pursuit of popularity with the projects of society, in which the person is relied not as someone who rises above the others, but as an involved person who values life in harmony with others higher than his own “I”. (shrink)

Introduction. One of the drivers of the Russian regions’ development is traditionally considered to be local universities and the scientific activity development, in particular. However, such a belief is usually based on speculative conclusions and is not subjected to detailed empirical testing. The purpose of the study is to assess the relationship between the development of science in universities in Russian regions and indicators of regional development according to 2017—18 data. Methods. The authors use methods of generalization, grouping, assessment of (...) indicators of central tendency and variations, as well as methods of correlation analysis. The study is based on the data from regional statistics presented on the official website of Russian Statistics Agency, as well as data from monitoring the universities effectiveness, commissioned by the Ministry of Science and Higher Education of the Russian Federation. Scientific novelty of the research. For the first time, the authors present an empirical analysis of the relationship between indicators of socioeconomic development of Russian regions and indicators of scientific activity in universities in the region. The study is characterized by using a sample of homogeneous regions. The sample excluded regions that did not have significant scientific results, as well as regions that are leaders in economic development. As a result, a “core” of 57 Russian regions with similar characteristics of both economic development and the results of scientific activity was investigated. This increased the practical significance of the conclusions and their reliability. Results. As a result of the study, it was found out that there is a statistically significant relationship between all indicators of regional development and science in universities. However, a deeper analysis made it possible to establish that this relationship is indirect. In some cases, we can talk about the opposite influence - regional development on scientific results in universities. Conclusions. It was found that the indicators used in the public administration system for assessing the effectiveness and efficiency of scientific activity are not key in terms of their impact on regional development. It was revealed that publications in leading world databases and in the Russian Science Citation Index (RSCI) are equally related to regional development. It has been determined that in a number of cases, within the considered sample, it is possible to distinguish two groups of regions with a different nature of the relationship between regional development and science in universities. (shrink)

It is now clear that two prominent nuclear domains, interchromatin granule clusters (IGCs) and Cajal bodies (CBs), contribute to the highly ordered organization of the extrachromosomal space of the cell nucleus. These functional domains represent structurally stable but highly dynamic nuclear organelles enriched in factors that are required for different nuclear activities, especially RNA biogenesis. IGCs are considered to be the main sites for storage, assembly, and/or recycling of the essential spliceosome components. CBs are involved in the biogenesis of several (...) classes of small RNPs as well as the modification of newly assembled small nuclear RNA. We have summarized data on the molecular composition, structure, and functional roles of IGCs and CBs in the nuclei of mammalian somatic cells and oocytes of some animals with a special focus on insects. We have focused on similarities and differences between the IGCs and CBs of oocytes and the well‐studied CBs and IGCs of cultured mammalian somatic cells. We have shown the heterogeneous character of oocyte IGCs and CBs, both in structure and molecular content. We have also demonstrated the unique capacity of oocytes to form close structural interactions between IGC and CB components. We proposed to consider these joint structures as integrated entities, sharing the features of both IGCs and CBs. (shrink)

This book explores the major differences between the kinds of risk encountered in different sectors of industry - production and services - and identifies the main features of accidents within different industries. Because of these differences, unique risk-mitigation measures will need to be implemented in one industry that cannot be implemented in another, leading to large managerial differences between these broad economic sectors. Based on the analysis of more than 500 disasters, accidents and incidents - around 230 cases from the (...) production sector and around 280 cases from the service sector - the authors compare the risk response actions appropriate within different sectors, and establish when and how it is possible to generalize the experience of dealing with risks in any given industry to a wider field of economic activity. This book is mainly intended for executives, strategists, senior risk managers of enterprise-wide organizations and risk management experts engaged in academic or consulting work. By setting out clearly the sector differences in risk management, the authors aim to improve the practice of general risk assessment with regard to identifying and prioritizing risks, and of risk control with regard to planning appropriate mitigation measures. (shrink)

The Catholic polemicist John Sergeant published three major works of philosophy towards the end of his literary career, The Method to Science (1696), Solid Philosophy (1697) and Metaphysics (1700). They were highly critical of what Sergeant saw as the idea-grounded epistemology of the Cartesians and John Locke, whom he labelled 'ideists'. Previous scholars have interpreted Sergeant's texts as manifestations of his lifelong obsession with certainty, as initially developed in his Restoration polemics against Anglican divines. Using a previously neglected autobiographical letter, (...) it is demonstrated that Sergeant's intentions were very different. Like Edward Stillingfleet and other critics, Sergeant saw Locke's philosophy as inspiring contemporary heterodoxy. The article identifies the specific channels by which Sergeant saw Lockeanism seeping into irreligion. Moreover, unlike Locke's Anglican critics, Sergeant resorted not to polemical accusations, but to abstract philosophy. This must also be explained contextually: Sergeant wished his works to become textbooks at the universities, concerned as he was by the pedagogical impact of the Essay. A premise of this article is that reception history is less useful for elucidating on the meaning of the received text than for telling us something about the intentions of the receiver, and about the intellectual culture in which the process of reception occurs. With this in mind, the article finishes by recontextualizing Sergeant's works within a broader narrative: his was an attempt to reassert the place of philosophy as a propaedeutic to theology in an age when such a conception of philosophy's social role was coming under intense scrutiny. (shrink)

The structures of history -- Early history -- The epic of history -- The homer galaxy -- The logos of history -- Memory and history -- The genealogy of history.

We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T 1 and T 2 coincide, the logic of T 1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.