The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...) the \(\omega ^\omega \) level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic. (shrink)

The author elucidates the ontological basis of elementary mathematical theories and thereby assesses their certainty as a foundation for the more complex theories of modern mathematics, such as mathematical analysis and set theory. He adduces arguments in favor of the position of Frege, who held that geometry can provide a sufficiently broad and certain foundation for mathematics.

t. 1. Problemy vospitanii︠a︡ vsestoronne razvitoĭ lichnosti. Dukhovnyĭ mir shkolʹnika. Metodika vospitanii︠a︡ kollektiva.--t. 2. Formirovanie Kommunisticheskikh ubezhdeniĭ molodogo pokolenii︠a︡. Kak vospitat nastoi︠a︡shchego cheloveka. Sto sovetov uchiteli︠u︡.--t. 3. Serdt︠s︡e otdai︠u︡ deti︠a︡m. Rozhdenie grazhdanina. Pisʹma k synu.--t. 4. Pavlyshskai︠a︡ sredni︠a︡i︠a︡ shkola. Razgovor s molodym direktorom shkoly.--t. 5. Statʹi.

We consider language models for the Lambek calculus that allow empty antecedents and enrich them with constants for the empty language and for the language containing only the empty word. No complete calculi are known with respect to these semantics, and in this paper we consider several trivalent systems that arise as fragments of these models? logics.

Non-classical science gives a very specific answer to the question of scientific errors and their epistemological value. But for all the specificity of this answer, it casts light on a problem that remains with us century after century, the historically constant problem of truth and error—one of the most fundamental problems of knowledge. At first sight, these two poles have always stood opposite each other, like good and evil, beauty and ugliness. But moral and aesthetic theories have long since left (...) behind this initial conception, and shown that the two polar concepts are in fact inseparable. As regards truth and error, their indivisibility has only become apparent in the context of non-classical science. Truth has ceased to be the absolute contradiction of error. Contemporary science finds it to be something relative, inseparable from its opposite pole. But the non-classical, retrospective approach, a re-evaluation of the past of science in the light of its present, and indeed even more in the light of its prognosis, its future, allows one to see that scientific truths that are adequate for the object of knowledge always reflect only one side of the objective world, a world which has an infinite number of sides. The irreversible process that leads from relative error to relative truth has an absolute character: an irreversible process of generalization, concretization and complication of a Weltanschauung that more accurately reflects the infinite complexity of life. (shrink)

In our times, when the pace of economic, scientific and technological, social and cultural change calls to mind the relativist velocities of contemporary physics, Einstein's criterion begins to be applicable to the historical process itself; movement can be recorded (and consequently the notion of velocity acquire meaning) provided an adequate reference system is available. Where science is concerned, such systems have always existed: historians have brought out the increase in adequate knowledge in the past by comparing it with present knowledge, (...) which then offered a system of absolute reference. But now, the theory of relativity, quantum mechanics, molecular biology and the radical transformation of standards of value in all cultural areas have made like absolutization of contemporary ideas impossible. Today ideas furnish no more than a point of departure for non-classical retrospection which, as Jaurès said, seeks the fire, not. the ashes, in the history of science. But: the fire of science, its dynamics, its movement, is inseparable from its value, its effect, its psychological ‘accompaniment.’ Contemporary science, with unprecedented dynamism, is distinguishable from classical science by its far more emotional coloring. It lays bare not only the logical collisions of knowledge but also the emotional collisions. Einstein called the history of science the ‘drama of ideas.’ A drama which sometimes turns into a tragedy. The tragic sense Lorentz was aware of in the crumbling of old conceptions is easily perceptible in the remark he made when he confessed he would have prefered to be dead before the structure of classical physics collapsed. For Erenfest the tormenting experience of a personal inability to understand the positive bases of non-classical physics was also tragic and, according to Einstein, was what drove him to suicide. Einstein's own dissatisfaction tor thirty years while he strove in the field theory alone to find a stable universal conception possessing more complete ‘internal perfection’ than the then existing solution, was again tragic. The real characteristic of the collisions of non-classical science, however, is their ambivalence: the tragic notes blend with the optimistic perception of irreversible general progress in knowledge. The collisions of knowledge and this optimistic perception together sound a very complex chord, major on the whole, but with minor harmonics. (shrink)