We consider fine hierarchies in recursion theory, descriptive set theory, logic and complexity theory. The main results state that the sets of values of different Boolean terms coincide with the levels of suitable fine hierarchies. This gives new short descriptions of these hierarchies and shows that collections of sets of values of Boolean terms are almost well ordered by inclusion. For the sake of completeness we mention also some earlier results demonstrating the usefulness of fine hierarchies.
We prove that for any k≥3 each element of the h-quasiorder of finite k-labeled forests is definable in the ordinary first order language and, respectively, each element of the h-quasiorder of countable k-labeled forests is definable in the language Lω1ω, in both cases provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we characterize the automorphism groups of both structures and show that the structure of finite k-forests is atomic. Similar results hold true for two other relevant (...) structures: the h-quasiorder of finite k-labeled trees and of finite k-labeled trees with a fixed label of the root element. (shrink)
What counts as an intuitively plausible set theoretic content (notion, axiom or theorem) has been a matter of much debate in contemporary philosophy of mathematics. In this paper I develop a critical appraisal of the issue. I analyze first R. B. Jensen's positions on the epistemic status of the axiom of constructibility. I then formulate and discuss a view of intuitiveness in set theory that assumes it to hinge basically on mathematical success. At the same time, I present accounts of (...) set theoretic axioms and theorems formulated in non-strictly mathematical terms, e.g., by appealing to the iterative concept of set and/or to overall methodological principles, like unify and maximize, and investigate the relation of the latter to success in mathematics. (shrink)
The ternary, not binary, Kripke-type relation on a set of possible worlds is an essential part of the semantics of entailment by Routley-Meyer . The unpopularity of such approach among many logicians is due to its intuitive vague content and complexity. An attempt is made to use not one ternary relation but two binary relations and necessity of bibinarness is demonstrated. It is shown that both semantics are equal hence the soundness and completeness of the system R of entailment can (...) be established with the respect to the bibinary semantics. Furthermore, the ternary semantic with discrete matrix for Lukasiewicz system Lℵ0 , which was proposed in , could be transformed into the bibinary one and it leads to the conclusion of the completeness and soundness of Lℵ0 with the respect to the bibinary semantic. The brief consideration of the bibinary semantic intuitive content is added, which further logical study could be based on. (shrink)
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
We review the history of the road to a manifestly covariant perturbative calculus within quantum electrodynamics from the early semi-classical results of the mid-twenties to the complete formalism of Stueckelberg in 1934. We choose as our case study the calculation of the cross-section of the Compton effect. We analyse Stueckelberg's paper extensively. This is our first contribution to a study of his fundamental contributions to the theoretical physics of the twentieth century.
Taxometric analyses were applied to the construct of psychopathy (as measured by the Psychopathy Checklist) and to several variables reflecting antisocial childhood, adult criminality, and criminal recidivism. Subjects were 653 serious offenders assessed or treated in a maximum-security institution. Results supported the existence of a taxon underlying psychopathy. Childhood problem behaviors provided convergent evidence for the existence of the taxon. Adult criminal history variables were continuously distributed and were insufficient in themselves to detect the taxon.
The problem of modern principle conditions, forms and effective group cooperation interaction methods are considered. On the basis of the comparative analysis of inconsistent approaches to teambuilding, the expediency of domestic experience of collective formation use on humanistic principles of the general care is proved, that were mostly qualitative theoretically and empirically developed and checked up by long-term experience of scientific and pedagogical activity of A. S. Makarenko, I. P. Ivanov and their followers. Some little-known facts of history of their (...) approaches to formation and collective development are considered. The basic psychology-pedagogical teambuilding principles, applicable not only in pedagogical, but also in many other kinds of modern creative activity are allocated. (shrink)
Probabilistic local realism for two correlated systems as formulated by Clauser and Horne in 1974 is shown to be necessarily based on a perfect specification of the state and on an individual definition of probability. All known realistic formulations of probability calculus are instead defined in terms of relative frequencies, and perfect specifications of states are impossible. We reformulate probabilistic local realism by using the relative frequency definition only and show that the Einstein, Podolsky, and Rosen paradox still obtains.
Application of recently developed non-Archimedean algebra to a flat and finite universe of total mass M 0 and radius R 0 is described. In this universe, mass m of a body and distance R between two points are bounded from above, i.e., 0≤m≤M 0, 0≤R≤R 0. The universe is characterized by an event horizon at R 0 (there is nothing beyond it, not even space). The radial distance metric is compressed toward horizon, which is shown to cause the phenomenon of (...) red shift. The corresponding modified Minkowski's metric and Lorentz transforms are obtained. Applications to Newtonian gravity shows a weakening at large scales (R→R 0) and a regular behavior as R→0. (shrink)
The scientific career of the outstanding Russian physiologist A. A. Ukhtomskii was complex and full of contradictions. A descendant of Prince Vsevolod Big Nest [Bol'shoe Gnezdo] of Suzdal', he was strongly influenced by the traditions and legends of his caste. As a juvenile he was sent to the Nizhnii Novgorod Corps of Cadets where he developed a profound interest in philosophy, psychology, history, and literature. His fellow cadets of the same age were amazed at, and sometimes ridiculed the young Ukhtomskii's (...) attempts to find answers to the burning questions of the day in the books of Shakespeare and Dostoevsky and in scientific works. Ukhtomskii's notebooks and synopses of those years show how this youth, from age 15 to 17, pondered over cardinal problems of world view, the contradictions of Russian society, and the future of science. The barracks life of the cadets, the rigorous schedule and supervision did not suppress Ukhtomskii's persistent desire to get a closer knowledge of the life of Nizhnii Novgorod, a major mill town and river port. He managed to make the acquaintance of members of a group of Marxist workers and maintained contact with one of them, M. Ia. Iakovlev , for over 40 years. (shrink)
Language depth and complexity are comparable with the world reflected in its reality. The conceptual categories are formed by its means, allowing conceptualize ideas about the world, on the basis of which cognitive experience of man further develops. In all periods of its existence, the language is characterized by dynamism and synergy, the ability of self-development, improvement of socio-functional nature, taking care of maintaining its communicative suitability in the best condition. As a unique object of reality, as the most brilliant (...) creation of a human being, language deserves not only to be spoken, but also to get attention and be studied. Research experience proves that the language still holds many secrets and unrevealed laws of its being, development and functioning. Revealing these secrets and laws is possible on the basis of scientific and linguistic competence; the base substrate of it is communicative language competence, which itself can not get enough depth without the support of linguistic competence. Language is the most important means of formation and protection of ethnic and cultural consciousness and the identity of a man whose personal features begin to form on the base and with the help of language in early childhood. Historically, it is through the medium of the Russian language numerous peoples of Russia, the former Soviet Union, and abroad maintain and develop their culture in the broadest sense of the word connection, and it allows everyone to feel their place in the world and thus realize the dynamic integrity of mankind in the general context of space and time, rootedness in their limits, responsibility to them. Russian is the official language, and the state is obliged to develop and adopt measures linguoecological protective nature towards their language in the interests of Russian language and Russian-speaking communities abroad, and to ensure the preservation of its cultural and communicative power. The experience of Russian linguistics in formation of the theory of state language is invaluable in general sociolinguistic approach to language, based on the objective fact of ethnic, cultural and linguistic diversity of Russia. (shrink)
Page generated Sat Jul 24 22:56:40 2021 on philpapers-web-786f65f869-llm6s
cache stats: hit=170, miss=386, save= autohandler : 1786 ms called component : 1760 ms search.pl : 1464 ms render loop : 1137 ms next : 638 ms addfields : 449 ms publicCats : 388 ms initIterator : 324 ms autosense : 188 ms match_other : 163 ms save cache object : 112 ms menu : 82 ms retrieve cache object : 70 ms quotes : 48 ms prepCit : 24 ms match_cats : 22 ms search_quotes : 11 ms applytpl : 5 ms intermediate : 1 ms match_authors : 1 ms init renderer : 0 ms setup : 0 ms writelog : 0 ms auth : 0 ms