Complex systems can be characterized by classes of equivalency of their elements defined according to system specific rules. We propose a generalized preferential attachment model to describe the class size distribution. The model postulates preferential growth of the existing classes and the steady influx of new classes. According to the model, the distribution changes from a pure exponential form for zero influx of new classes to a power law with an exponential cut-off form when the influx of new classes is (...) substantial. Predictions of the model are tested through the analysis of a unique industrial database, which covers both elementary units (products) and classes (markets, firms) in a given industry (pharmaceuticals), covering the entire size distribution. The model's predictions are in good agreement with the data. The paper sheds light on the emergence of the exponent tau approximately 2 observed as a universal feature of many biological, social and economic problems. (shrink)
We agree that supernatural beliefs are pervasive. However, we propose a more general account rooted in how people trace ordinary objects over time. Tracking identity involves attending to the causal history of an object, a process that may implicate hidden mechanisms. We discuss experiments in which participants exhibit the same “supernatural” beliefs when reasoning about the fates of cups and automobiles as those exhibited by Bering's participants when reasoning about spirits.
Presented in the “Critique of Pure Reason” transcendental philosophy is the first theory of science,which seeks to identify and study the conditions of the possibility of cognition. Thus, Kant carries out a shift to the study of ‘mode of our cognition’ and TP is a method, where transcendental argumentation acts as its essential basis. The article is devoted to the analysis of the transcendental arguments. In § 2 the background of ТА — transcendental method of Antiquity and Leibniz’s Principle of (...) Sufficient Reason — are analyzed and their comparison with ТА is given. § 3 is devoted to the analysis of TA in the broad and narrow senses; a formal propositional and presupposition models are proposed. In § 4 I discuss the difference between TA and metaphysics’ modes of reasoning. It analyzes the Kant’s main limitations of the use TA shows its connection with the Modern Age and contemporary science. (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 prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
Special Issue “Risks of artificial general intelligence”, Journal of Experimental and Theoretical Artificial Intelligence, 26/3 (2014), ed. Vincent C. Müller. http://www.tandfonline.com/toc/teta20/26/3# - Risks of general artificial intelligence, Vincent C. Müller, pages 297-301 - Autonomous technology and the greater human good - Steve Omohundro - pages 303-315 - - - The errors, insights and lessons of famous AI predictions – and what they mean for the future - Stuart Armstrong, Kaj Sotala & Seán S. Ó hÉigeartaigh - pages 317-342 - - (...) - The path to more general artificial intelligence - Ted Goertzel - pages 343-354 - - - Limitations and risks of machine ethics - Miles Brundage - pages 355-372 - - - Utility function security in artificially intelligent agents - Roman V. Yampolskiy - pages 373-389 - - - GOLEM: towards an AGI meta-architecture enabling both goal preservation and radical self-improvement - Ben Goertzel - pages 391-403 - - - Universal empathy and ethical bias for artificial general intelligence - Alexey Potapov & Sergey Rodionov - pages 405-416 - - - Bounding the impact of AGI - András Kornai - pages 417-438 - - - Ethics of brain emulations - Anders Sandberg - pages 439-457. (shrink)
Speciation is an aspect of evolutionary biology that has received little philosophical attention apart from articles mainly by biologists such as Mayr (1988). The role of speciation as a terminus a quo for the individuality of species or in the context of punctuated equilibrium theory has been discussed, but not the nature of speciation events themselves. It is the task of this paper to attempt to bring speciation events into some kind of general scheme, based primarily upon the work of (...)Sergey Gavrilets on adaptive landscapes, using migration rate, or gene flow, as the primary scale, and concluding that adaptive and drift explanations are complementary rather than competing. I propose a distinction between intrinsic and extrinsic selection, and the notion of reproductive reach and argue that speciation modes should be discriminated in terms of gene flow, the nature of selection maintaining reproductive reach, and whether the predominant cause is selective or stochastic. I also suggest that the notion of an adaptive “quasispecies” for asexual species is the primitive notion of species, and that members of reproductively coherent sexual species are additionally coadapted to their mating partners. (shrink)
The review of the theory of electromagnetic field together with the special and general theories of relativity has been made. The similar theory of gravitation has been presented which has the property of Lorentz-invariancy in its own representation in which the information is transferred at the speed of propagation of the gravitational field. Generalization of the specified gravitation theory on noninertial reference systems has been made with the help of the mathematical apparatus of the general relativity. It allows to avoid (...) some drawbacks of the standard general relativity theory and to expand its applicability. The possibility of complementary descriptions of the physical phenomena with the help of simultaneous use of the theories of gravitational and electromagnetic fields has been shown. (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 object of research is to clarify the connections between non-anthropogenic mind and culture as sign systems. Investigation of such an object discloses the perspectives on construction of the generalized model of mind and can help to build the bridge between traditional and digital humanities. The subject of traditional humanities is natural human activity; the subject of digital humanities is computer-based forms of activity and communication. Finding signs created not only by human but also by natural circumstances helps to define (...) the sign system that unites the natural (non-anthropogenic) and artificial kinds of mind. Methodology of research includes the principles of semiotics previously developed by Charles Peirce and Ferdinand de Saussure and expanded by Yuri Lotman and Boris Uspensky. Semiotic interpretation of mind as the object of culture allows the building of a generalized model of mind as one of textual constructions, presenting the history of mankind as the replacement of natural events by secondary models. The author concludes that the revealing of a generalized model of mind opens new opportunities for the construction of the intelligent activity strictly interpreted as special sign systems. Semiotic studies interpret culture as a rationality making machine, and activity of mind is caused by the work of such a machine. Because of that, if traditional meaning sign systems were estimated as human-made kinds of complex of primary signs, then modern statements help to see the absence of an irresistible limit to interpret such complex as a nature-made but non-anthropogenic phenomenon. (shrink)
The article presents a verbal and mathematical model of medium-term business cycles (with a characteristic period of 7–11 years) known as Juglar cycles. The model takes into account a number of approaches to the analysis of such cycles; in the meantime it also takes into account some of the authors' own generalizations and additions that are important for understanding the internal logic of the cycle, its variability and its peculiarities in the present-time conditions. The authors argue that the most important (...) cause of cyclical crises stems from strong structural disproportions that develop during economic booms. These are not only disproportions between different economic sectors, but also disproportions between different societal subsystems; at present these are also disproportions within the World System as a whole. The proposed model of business cycle is based on its subdivision into four phases: – recovery phase (which could be subdivided into the start sub-phase and the acceleration sub-phase); – upswing/prosperity/expansion phase (which could be subdivided into the growth sub-phase and the boom/overheating sub-phase); – recession phase (within which one may single out the crash/bust/acute crisis subphase and the downswing sub-phase); – depression/stagnation phase (which we could subdivide into the stabilization subphase and the breakthrough sub-phase). The article provides a detailed qualitative description of macroeconomic dynamics at all the phases; it specifies driving forces of cyclical dynamics and the causes of transition from one phase to another (including psychological causes); a special attention is paid to the turning point from the peak of overheating to the acute crisis, as well as to the turning point from the downswing to recovery. The proposed mathematical model of Juglar cycle takes into account the following effects that are typical for the market economy: • positive feedbacks between various economic processes; • presence of a certain inertia, time lags in reactions of the economic subsystem to the change in conditions; • amplification by the financial subsystem of positive feedbacks and time lags in the economic subsystem; • excessive reaction to changing conditions during the acute crisis sub-phase. The authors suggest that the current crisis turns out to be rather similar to classical Juglar crises; however, there is also a significant difference, as the current crisis occurs at a truly global scale. Yet, due to this truly global scale of the current crisis, the possibilities of regulation with the national state's measures have turned out to be ineffective,whereas the suprastate regulation of financial processes hardly exists. It is shown that all these have led to the reproduction of the current crisis according to a classical Juglar scenario. (shrink)
The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.
Pothos suggests dispensing with the distinction between rules and similarity, without defining what is meant by either term. We agree that there are problems with the distinction between rules and similarity, but believe these will be solved only by exploring the representations and processes underlying cases purported to involve rules and similarity.
In 1988, David Hull presented an evolutionary account of science. This was a direct analogy to evolutionary accounts of biological adaptation, and part of a generalized view of Darwinian selection accounts that he based upon the Universal Darwinism of Richard Dawkins. Criticisms of this view were made by, among others, Kim Sterelny, which led to it gaining only limited acceptance. Some of these criticisms are, I will argue, no longer valid in the light of developments in the formal modeling of (...) evolution, in particular that of Sergey Gavrilets’ work on adaptive landscapes. If we can usefully recast the Hullian view of science as being driven by selection in terms of Gavrilets’ and Kaufmann’s view of there being “giant components” of high-fitness networks through any realistic adaptive landscape, we may now find it useful to ask what the adaptive pressures on science are, and to extend the metaphor into a full analogy. This is in effect to reconcile the Fisherianism of the Dawkins–Hull approach to selection and replicators, with a Wrightean drift account of social constructionist views of science, preserving, it is to be hoped, the valuable aspects of both. (shrink)
Many approaches to evidence amalgamation focus on relatively static information or evidence: the data to be amalgamated involve different variables, contexts, or experiments, but not measurements over extended periods of time. However, much of scientific inquiry focuses on dynamical systems; the system’s behavior over time is critical. Moreover, novel problems of evidence amalgamation arise in these contexts. First, data can be collected at different measurement timescales, where potentially none of them correspond to the underlying system’s causal timescale. Second, missing variables (...) have a significantly different impact on time series measurements than they do in the traditional static setting; in particular, they make causal and structural inference much more difficult. In this paper, we argue that amalgamation should proceed by integrating causal knowledge, rather than at the level of “raw” evidence. We defend this claim by first outlining both of these problems, and then showing that they can be solved only if we operate on causal structures. We therefore must use causal discovery methods that are reliable given these problems. Such methods do exist, but their successful application requires careful consideration of the problems that we highlight. (shrink)
The trial of Galileo remains a representative example of the alleged incompatibility between science and religion as well as a suggestive case study of the relationship between them from the Western historical and methodological perspective. However, the Eastern Christian view has not been explored to a significant extent. In this article, the author considers relevant aspects of the reception of the teaching of Copernicus and Galileo in Russian culture, especially in the works of scientists. Whereas in prerevolutionary Russia Galileo was (...) considered a symbol of the unity of science and religion, in the Soviet period his name and especially his trial was largely used for atheistic propaganda purposes. The author discusses the most recent debate in the Russian Orthodox milieu. The second part is dedicated to the presence of Galileo in Russian religious philosophy, especially in the thought of Gregory Skovoroda, Ivan Kireyevsky, and Sergey Glagolev. Finally, the relation of the Russian Orthodox Church to the teaching of Galileo is considered. (shrink)