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

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.

The expression “linguistic Kantianism” is widely used to refer to ideas about thought and cognition being determined by language — a conception characteristic of 20th century analytic philosophy. In this article, I conduct a comparative analysis of Kant’s philosophy and views falling under the umbrella expression “linguistic Kantianism.” First, I show that “linguistic Kantianism” usually presupposes a relativistic conception that is alien to Kant’s philosophy. Second, I analyse Kant’s treatment of linguistic determinism and the place of his ideas in the (...) 18th century intellectual milieu and provide an overview of relevant contemporary literature. Third, I show that authentic Kantianism and “linguistic Kantianism” belong to two different types of transcendentalism, to which I respectively refer as the “transcendentalism of the subject” and the “transcendentalism of the medium.” The transcendentalism of the subject assigns a central role to the faculties of the cognising subject. The transcendentalism of the medium assigns the role of an “active” element neither to the external world nor to the faculties of the cognising subject, but to something in between — language, in the case of “linguistic Kantianism.” I conclude that the expression “linguistic Kantianism” can be misleading when it comes to the origins of this theory. It would be more appropriate to refer to this theory by the expression “linguistic transcendentalism,” thus avoiding an incorrect reference to Kant. (shrink)

This article examines the origin of the concept of medium and of media theory as an area of knowledge. It claims that the concept of medium in the modern sense was first introduced in the works of...

Many pigmented heterokonts are able to synthesize elements of their cell walls (the frustules) of dense biogenic silica. These include diatom algae, which occupy a significant place in the biosphere. The siliceous frustules of diatoms have species‐specific patterns of surface structures between 10 and a few hundred nanometers. The present review considers possible mechanisms of uptake of silicic acid from the aquatic environment, its transport across the plasmalemma, and intracellular transport and deposition of silica inside the specialized Silica Deposition Vesicle (...) (SDV) where elements of the new frustule are formed. It is proposed that a complex of silicic acid with positively charged proteins silaffins and polypropylamines remains a homogeneous solution during the intracellular transport to SDV, where biogenic silica precipitates. The high density of the deposited biogenic silica may be due to removal of water from the SDV by aquaporins followed by syneresis—a process during which pore water is expelled from the network of the contracting gel. The pattern of aquaporins in the silicalemma, the membrane embracing the SDV, can determine the pattern of species‐specific siliceous nanostructures. BioEssays 30:328–337, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

The paper proposes an idea of explicating the invariant universal structure of dialogue through the mathematics of knots and braids, which is relevant, both for the development of particular models of communication and/or dialogue, and for constructing a general theory of dialogue, or the theory of utterances. The possibility of modeling dialogue with the help of the mathematics of braids and knots—categories, entities and their attributes—is shown by use of some well-known examples such as parts of the sentence in grammar. (...) Entities and their attributes can be considered as knots, either right or false. The idea is to visualize the chains of these entities: to formalize them not to keep in mind, neither in the text, but to work with them graphically.Nodes, as final structures, and braids that generate them, allow to reveal paradigmatic anomies, conflicts, logical and ethical disagreements, etc., and vice versa: “synonimies,” mutual understanding, unanimity, in a fundamentally new format of perception and understanding of the context of genesis (braids) and results (knots) of dialogue.The visualization of verbal utterance on the basis of the knot and braid mathematics is a significant step towards formalizing the theories of dialogue, both in general theoretical and purely practical plans. The latter is analyzed by the example of the person’s inner dialogue with herself/himself in making decisions: rational and/or irrational (emotional), which allows conducting a specific work with clients of psychotherapy, coaching, management consulting, mediation, etc. (shrink)

The article discusses the corruption of the state administration and clergy as one of the factors of persistence of paganism in Later Roman Empire. The spread of the practice of bribing state officials and clergymen by pagans, coming from different social strata of the Late Roman Society is demonstrated by various examples. It is suggested that this phenomenon was a result of the spread of suffragium.

The purpose of this work is to characterize clearly the early Wittgenstein’s position in context of the contemporary discussions between the adherers of classical ontology, based on the notion of substance, and its detractors. The Aristotle’s ousiology is usually regarded as a locus classicus of substantial ontology. A noticeable tendency in the contemporary philosophy is the rejective stance towards the notion of substance and towards the vision of the reality as the ‘totality of things’ ( summa rerum ). This trend (...) goes through the 20th century (B. Russell, etc.) and is prominent in the philosophy of the 21th century. Wittgenstein, who calls the world the totality of facts, not of things, is sustainably regarded in the secondary literature as a herald of a non-classical way of thought, presented in his ontology of facts - a radical alternative to substantial ontology. However, how can this claim cohere with the active usage of the classical substantialism terms, going back to Aristotle, in the “Tractatus Logico-Philosophicus”? In order to answer this question, it’s advisably to address, as the starting point of the analysis, the work of B. Wolniewicz comparing Wittgensteinian ontology to Aristotelian ontology and pointing out not only difference, but also parallelism between them. In the present paper, it’s shown that some of Wolniewicz’s remarks are valuable, but the overall view of the problem should be corrected and supplemented taking into account nuances of both Aristotelian and Wittgensteinian ontologies. Having in mind the results of this analysis, one can read the early Wittgenstein’s philosophy as a statement about the role of the classical forms of thought for a philosopher proposing a non-classical worldview, which helps to elucidate the structure of the contemporary ontological discussions. (shrink)

A translation from Russian into English of Alexandre Kojève's narrative article, taken from his diary of 1920. Foremost, it is a literary piece. Descartes and Buddha appear to the narrator as part of a reverie or dream. They engage in dialogue. Soon, their exchange and the dream itself are disrupted, and the narrative ends. An articulation of historical difference is not the aim of this piece; rather, the dialogue stages through its characters the procession of dialectical reasoning. As a document (...) of intellectual history, it shows clearly the beginnings in the manner of thought of the philosopher who later became so instrumental for the interpretation of Hegel in the 20th century. (shrink)

Already in his Logical Investigations Husserl is opposing consciousness and the world and raising the question of an objective, “true” existence of the world beyond phenomenological research. This opposition becomes increasingly radical in Husserl's subsequent works, especially in his early and mature periods. For Husserl, phenomenology is not simply about “bracketing” any conditions concerning the existence or nonexistence of the world; it is also designed to carry out a kind of “deworlding” of consciousness, which allows for revealing it not as (...) a thing or a part of the world, but as a nonobjective condition for any real existence. The critical question from which the author proceeds is the extent to which the opposition of consciousness and the world understood in the above way could be retained in situations where the main topic of phenomenology becomes the primordial relatedness of consciousness and the world or of the world a... (shrink)

Many solemn words were uttered in connection with the Herzen anniversary. The ceremonial feast is long past, and the fires of the celebration have been extinguished. Yet Herzen is for us such a peak of revolutionary thought that it is not too late to write of him even post festum - "after the holiday.".

This article describes the fight of transnational civic networks to influence business development strategies and counter the threats to environmental and labor rights posed by the construction and exploitation of the Baku-Tbilisi-Ceyhan (BTC) oil pipeline in Transcaucasia. The article starts by discussing the role of civil society in the global struggle for sustainable development. Then a brief overview of the geopolitical significance of the Transcaucasian-Caspian region in today’s oil and gas markets is presented. The case study looks at how the (...) actions of international and domestic nongovernmental organizations influenced the BTC’s main shareholder and operator company, British Petroleum, as well as host countries’ governments, to switch to more environmentally cognizant and socially responsive practices. The article discusses internationalization of civil society networks in response to the looming environmental crisis in the region, using the BTC case as an illustration. The article concludes by generalizing from this particular case study to the broader issue of transnational civic activism as a risk-mitigating factor in the world dominated by industry-related threats presented by globalization of the extractive technologies. (shrink)

The idea of conceptual schemes is one of the most influential and widely used notions in contemporary philosophy. Within the analytic tradition the idea occupies a fundamental position in positivist views as well as in replacing them post-positivist conceptions. Outside the analytic tradition a similar idea is of key importance in structuralist and post-structuralist theories. Despite the broad applicability of the notion of a conceptual scheme, its precise sense is far from being evident in the context of various philosophical trends. (...) Moreover, the well-known American philosopher Donald Davidson's position is that any clear, non-metaphorical meaning cannot be as - cribed to that notion at all – the statement which he tried to substantiate in his famous paper On the Very Idea of a Conceptual Scheme published in 1974.The present paper is aimed, firstly, at outlining the historico-philosophical evolution of the idea of conceptual scheme, concentrating on its development in logical positivism and post-positivist theories of such philosophers as Quine, Sellars, Kuhn, et al., and, secondly, at examining Davidson's criticism of both the idea and the position of conceptual relativism which was raised on its ground, revealing the assumptions which that criticism relies on and which concern relations between language and thought, truth and translation, as well as the role of the scheme-content dualism for empiricism and the place of extensionalism in semantics, etc. Our purpose, on the one hand, is to evaluate the historico-philosophical significance of Davidson's criticism; on the other hand, it is to show that his critical arguments remain to be actual since they shed a new light on the idea of conceptual schemes and allow us to determine their place in tackling the fundamental philosophical question of a relation between reality, thought and language. (shrink)

For over a century, Haeckel's Gastraea theory remained a dominant theory to explain the origin of multicellular animals. According to this theory, the animal ancestor was a blastula‐like colony of uniform cells that gradually evolved cell differentiation. Today, however, genes that typically control metazoan development, cell differentiation, cell‐to‐cell adhesion, and cell‐to‐matrix adhesion are found in various unicellular relatives of the Metazoa, which suggests the origin of the genetic programs of cell differentiation and adhesion in the root of the Opisthokonta. Multicellular (...) stages occurring in the complex life cycles of opisthokont protists (mesomycetozoeans and choanoflagellates) never resemble a blastula. Here, we discuss a more realistic scenario of transition to multicellularity through integration of pre‐existing transient cell types into the body of an early metazoon, which possessed a complex life cycle with a differentiated sedentary filter‐feeding trophic stage and a non‐feeding blastula‐like larva, the synzoospore. Choanoflagellates are considered as forms with secondarily simplified life cycles. (shrink)

In Belegradek et al. 85) the collapse result theorem was proved for locally generic queries over ordered domain with pseudo-finite homogeneity property. In a very interesting paper of Baldwin and Benedikt the collapse result theorem was proved for locally generic queries over ordered domains without the independence property. It means that over such a domain, order-generic extended queries fail to express more than restricted queries. It was observed by Baldwin and Benedikt that any theory without the independence property is P-reducible. (...) I prove that, for the P-reducible theories, a version of pseudo-finite homogeneity property holds. (shrink)

Objective To determine the attitudes of Egyptian patients regarding their participation in research and with the collection, storage and future use of blood samples for research purposes. Design Cross-sectional survey. Study population Adult Egyptian patients (n=600) at rural and urban hospitals and clinics. Results Less than half of the study population (44.3%) felt that informed consent forms should provide research participants the option to have their blood samples stored for future research. Of these participants, 39.9% thought that consent forms should (...) include the option that future research be restricted to the illness being studied. A slight majority (66.2%) would donate their samples for future genetic research. Respondents were more favourable towards having their blood samples exported to other Arab countries (62.0%) compared with countries in Europe (41.8%, p<0.001) and to the USA (37.2%, p<0.001). Conclusions This study shows that many individuals do not favour the donation of a blood sample for future research. Of those who do approve of such future research, many favour a consent model that includes an option restricting the future research to the illness being studied. Also, many Egyptians were hesitant to have their blood samples donated for genetic research or exported out of the Arab region to the USA and European countries. Further qualitative research should be performed to determine the underlying reasons for many of our results. (shrink)

The morbidity of tick‐borne encephalitis (TBE) varies yearly by as much as 10‐fold among the people of Western Siberia. This long‐term variation is dependent on many factors such as the density of the tick populations, the prevalence of TBE virus (TBEV) among sub‐adult ticks, the yearly virulence of the TBEV, and prophylactic measures. Here we highlight the role of small mammal hosts in the circulation of TBEV through the ecosystem. Refining classical models of non‐viremic horizontal transmission, we emphasize the recently (...) understood fact that the physiological and immunological status of the small mammal hosts affects the tick and virus‐host interactions. In addition to its theoretical interest, our approach may lead to some practical improvements in the precision of epidemiological forecasts and perhaps in forestalling the severity of outbreaks of TBE, or, at least, in forewarning medical authorities and the general public of impending TBE outbreaks. (shrink)

t. 1. Problemy obshcheĭ teorii prava -- t. 2. Garantii prav lichnosti v ugolovnom sudoproizvodstve -- t. 3. Teorii︠a︡ sudebnykh dokazatelʹstv.

Members of the family of the Green Fluorescent Protein (GFP) are the only known type of natural pigments that are essentially encoded by a single gene, since both the substrate for pigment biosynthesis and the necessary catalytic moieties are provided within a single polypeptide chain. In sharp contrast to the state of knowledge just three years ago when GFP was the only known protein of its kind, a whole family of related proteins, exhibiting striking diversity of features have now been (...) identified. This provides new possibilities for a variety of studies ranging from applied biotechnology to evolutionary ecology. BioEssays 24:953–959, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

The aim of the dissertation is to formulate a research program in moral cognition modeled on aspects of Universal Grammar and organized around three classic problems in moral epistemology: What constitutes moral knowledge? How is moral knowledge acquired? How is moral knowledge put to use? Drawing on the work of Rawls and Chomsky, a framework for investigating -- is proposed. The framework is defended against a range of philosophical objections and contrasted with the approach of developmentalists like Piaget and Kohlberg. (...) ;One chapter consists of an interpretation of the analogy Rawls draws in A Theory of Justice between moral theory and generative linguistics. A second chapter clarifies the empirical significance of Rawls' linguistic analogy by formulating a solution to the problem of descriptive adequacy with respect to a class of commonsense moral intuitions, including those discussed in the trolley problem literature originating in the work of Foot and Thomson. Three remaining chapters defend Rawls' linguistic analogy against some of its critics. In response to Hare's objection that Rawls' conception of moral theory is too empirical and insufficiently normative, it is argued that Hare fails to acknowledge both the centrality of the problem of empirical adequacy in the history of moral philosophy and the complexity of Rawls' approach to the problem of normative adequacy. In response to Nagel's claim that the analogy between moral theory and linguistics is false because whatever native speakers agree on is English, but whatever ordinary men agree in condemning is not necessarily wrong, it is argued that the criticism ignores both Rawls' use of the competence-performance distinction and the theory-dependence of the corresponding distinction in linguistics. In response to Dworkin's claim that Rawls' conception of moral theory is incompatible with naturalism and presupposes constructivism, it is argued that Dworkin's distinction between naturalism and constructivism represents a false antithesis; neither is an accurate interpretation of the model of moral theory Rawls describes in A Theory of Justice. The thesis concludes by situating Rawls' linguistic analogy within the context of broader debates in metaethics, democratic theory, natural law theory, and the theory of moral development. (shrink)

Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with defining (...) a linear order from scratch). To this end, we show that normalizability of linear order is a strictly weaker condition than definability (say, in the least fixpoint logic), and still allows for extending Immerman-Vardi-style results to generic queries. It seems to be the weakest such condition. We then conjecture that linear order is normalizable in the least fixpoint logic for any finitely axiomatizable class of rigid structures. Truth of this conjecture, which is a strengthened version of Stolboushkin's conjecture, would have the same practical implications as Dawar's Conjecture. Finally, we suggest a series of reductions of the two conjectures to specialized classes of graphs, which we believe should simplify further work. (shrink)

Depending upon their epistemological foundations philosophical systems can be divided into five types: empiricist (Locke), rationalist (Descartes), intuitivist (Bergson), traditionalist (Confucius), and scriptural (Aquinas). In the history of philosophy there were five major waves of scriptural reasoning-Hindu, Buddhist, Jewish, Christian, and Muslim. In this context Bah ' philosophy represents the sixth wave, and it finds itself in a fruitful dialogue not only with the traditional forms of religious philosophy but also with modern Western thought which is based solely on reason (...) and empirical observation. In this collection the reader will find articles on various aspects of Bah ' philosophy-philosophical anthropology, philosophy of science, philosophy of culture, epistemology, ethics, philosophy of religion, comparative and political philosophy, and, finally, history of philosophy. The authors of those articles-Bah ' and non-Bah ' scholars-reflect global aspirations of this religion by representing diverse countries of the world-USA, Canada, France, Italy, and Sweden. This collection of articles also introduces a Global Faith Book Series which publishes works on various aspects of the Bah ' Faith and globalization. (shrink)