1 ISSN: Ontology Studies / Cuadernos de Ontología 12, Relative Ontology and Science St.Petersburg National Research University of Information Technologies Abstract Ontology is a knowledge about world as a whole. Union of ontology and science put some limitations on ontology, that are caused by need to co-ordinate language of science with language of ontology. Main characteristic features of science are logic and mathematics. Union of ontology and science could be successful only if ontology will have the same features. These requirements meets relative ontology based on a assumption that being is possible only through act of inequality, and non-being through act of equality. Examining of inequality structure leads us to a need of considering in being act of equality as well. As a result we should refuse of considering problems of Being Non-Being separately and proceed to united problem of Being Non-Being. Inequality can be represented by mathematical subtraction. That allows to substantiate ontologically basic mathematical concepts: concepts of set and number. Mathematics become a part of ontology. Inequality is an idea. Equality is a matter. Being is a unity of matter and idea. Change of being can be fulfilled in two ways material and ideal. Relation between both ways of change gives us three basic kind of being: somatic, anthropological and theological. In somatic being change is realized by means of material way. In anthropological being both material and ideal ways are equally available. Theological being uses ideal way of change. Development of world proceeds from somatic through anthropological to theological one. Keywords: ontology, relative ontology, categories, being. Resumen. Onotlogía relativa y ciencia. La ontología es un conocimiento acerca del mundo como un todo. La unión de la ontología y de la ciencia pone algunas limitaciones a la ontología, que son causadas por la necesidad de coordinar el lenguaje de la ciencia con el lenguaje de la ontología. Las principales características de la ciencia son la lógica y las matemáticas. La unión de la ontología y de la ciencia podría tener éxito sólo si la ontología tuviese las mismas características. Estas condiciones se dan en una ontología relativa basada en la idea de que estar solo es posible a través de un acto de desigualdad, y no-ser a través de un acto de igualdad. El examen de la estructura de la desigualdad nos lleva a la necesidad de considerar también el ser acto de la igualdad. Como resultado de ello debemos rechazar la consideración de los problemas de ser-no-ser separado y proceder al problema de la unión de ser-no-ser. La desigualdad se puede representar por resta matemática. Esto permite fundamentar los conceptos matemáticos básicos: ontológicamente conceptos de conjunto y el número. Palabras clave: ontología, ontología relativa, categorías, ser.
2 240 Ontology Studies 12, 2012 When we speak about ontology of science, it turns out that term ontology is less definite than term science. In XX cent. term ontology turned out to be as diffused as term philosophy. In the article by ontology we mean a knowledge about world as a whole. A starting point of such knowledge is the problem of Being of beings. While each positive science is a knowledge concerning some region of the universe, ontology is a knowledge about world as a whole. That is the main difference between ontology and science. Yet speaking of indefiniteness in understanding of ontology we primarily mean its indefiniteness in content. Throughout the history of philosophy various doctrines of the world as a whole were elaborated. In this connection there arise a problem of some ontological doctrine selection. In science such selection is made upon the basis of experiment, yet in ontology this is impossible. Selection of ontology may be realized not only by means of verification principle but on basis of problem of correspondence between content of ontology and its primordial functions as well. In order to stay within frameworks of Ontology and Science theme we should look for ontology co-ordinated with science. In this situation it is science that set requirements ontology must conform. The main requirement is derived from aim set at the union of ontology and science. In the perspective of science, ontology due to its scale and consistency may exercise following functions: first, integrate different positive sciences; second, within frameworks of ontology also due to its scale, it is possible to reconsider both foundations of scientific knowledge as a whole and foundations of some specific sciences. So ontology should conform the assigned task. In this perspective the common language field of ontology and science gets an enormous importance. So the next requirement to ontology concerns the form of ontology language. As it is known the basis of syntax in scientific language is constituted by formal logic. We may put more exacting requirements to language in connection with a well-known statement that each knowledge may be called science to an extent it may be put on a language of mathematics. Rephrasing this statement we may put the following requirement to ontology that works for a union with science. Such a union will be effective only to the extent the ontology is connected with mathematics. Suggested requirements to ontology in the perspective of science do not mean submission of former to science. The substance of the suggested requirements may and even should be reconsidered by ontology itself. That is why eventually these requirements turn to be internal ones of ontology within itself. As for science, ontology is merely an initiator of these requirements. For instance, the requirement concerning logical form of ontology language means that foundations of logic should be reconsidered within ontology. The urgency of such
3 Relative Ontology and Science Ontology Studies 12, study is caused by the fact that modern logic is incapable to cope with vital needs of language formalization. The result of considering the foundations of logic do not suppose that logic itself remain unchanged. It may change radically. Possible innovations in logic would be a contribution we may expect from the union of ontology and science. In such situation instead of requirement for adaptation of logic of ontology to logic of science requirement of mutual coordination between logic of ontology and one of science is proposed. The same situation may be expected from the requirement of mathematicity of ontology. We should reconsider the foundations of mathematics within ontology. This problem became urgent as a separate theme The Ontology of Mathematics. Last time such a consideration was made in the end of XIX beginning of XX cent. Heavy growth of mathematics during last century demands a new reconsideration of the foundations of mathematics. As an indication of crisis in mathematics may be considered its over-complification leading not only to the gap between mathematics and a task of different regions of the world description, but also to insurmountable differentiation within mathematics itself. Mathematicians working with some specific mathematical discipline can hardly understand colleagues working in neighboring specific discipline. Complification in mathematics is accompanied with very modest achievements in reflecting some substantial aspects of non-physical regions of the world. Mathematics here study only problems that have principal similarity to some physical issues. Possibly, comlification of mathematics is a result of some specific statements steal in its foundations that prevent from successful work in the regions of the world where such specific character is absent. Revision of the foundations of mathematics will allow to detect such nonlegitimate foundations. We suppose to realize theme The Ontology and Mathematics in some other way compared with proposed by Alain Badiou. If Badiou uses modern mathematical apparatus for explication of statements of ontology i.e. goes from mathematics to ontology we propose quite opposite relations between ontology and mathematics. We have not any grounds to entrust to ontological foundations on which modern mathematics based. We propose a way from ontology to mathematics. So requirement of mathematicity of ontology, as well as in case of logic, is a requirement of mutual correspondence between mathematical foundations, elaborated within ontology, and foundations of contemporary mathematics. That is why the requirement of mathematicity of ontology is mutually co-ordinated one directed both to science and ontology as well. Mentioned above requirements are valid for relative ontology based on a statement that Being of beings is possible as Being of specific beings. And vice verse if Being is not specified, then it is actually not present (Non-Being). Indeed, every specific being we
4 242 Ontology Studies 12, 2012 interact has some definiteness. For instance, we see every specific rose having its color (for instance, red). That is why we consider the seen rose to be present, i.e. assign it a status of being. And vice verse, it is impossible to see rose that has no color at all, i.e. has no distinctive features. Hence it is clear that we consider unseen rose to be non-present, i.e. assign it status of non-being. The same think-train is valid not only for sense perception, but for perception of mind as well. When someone tries to explain a new concept to someone else, he makes it by indicating specific features of the concept initially unknown to the later. Specific features of concept are nothing else but its definiteness. The statement of Being as definiteness is valid not only for interaction of human with any other being, but in case of his absence as well. So a rose interacts with a wind that has some distinctive features such as its velocity, temperature, humidity, chemistry, and atmospheric pressure. That is why the only wind presented (Being) for the rose is the one having some distinctive features. And vice verse, the wind having no distinctive feature is not presented (Non- Being). Next statement of relative ontology is that any definiteness is possible only through an act of distinction. That is why Being is also possible only as an act of distinction. And vice verse, Non-Being is realized though non-distinction, i.e. equality (identity). Red rose exists (Being) only because it differs for instance from green grass growing around bush of roses, or differs from blue color of wall papers in the room where it is located. And vice verse, red rose does not exist (Non-Being) on a background of just the same red color. Distinction as a necessary criterion of Being also have a place in the region of thought. For instance, concept of red exist (Being) only if there is at least any other concept from which it may be distinct, for example, concept of green or blue. Any distinction of the being is a result of its comparison with other being. Hence, Being of one being always suppose Being of another one. That means that problem of Being of beings is always a problem of co-existance (co-being) of several beings, i.e. problem of Being is always a problem of co-being. The result of situation is impossibility of Being for any absolutely separate being. Following our example, the necessary condition of red rose existence (Being) is the existence (Being) of, for instance, green grass or blue wall-papers. Hence if there do not exist (Non-Being) beings with a color distinct from red, then there do not exist (Non-Being) red rose itself. The same is valid for thinking. If there do not exist (Non-Being) other concept of the color except red, there do not exist (Non-Being) concept of red itself. In act of comparison there always supposed a basis of comparison (basis of relation), that is a common feature for members of the act. Analyzing being of red rose we take into consideration its property of color. That is why any conclusion made is valid only in relation to its color. Besides property of color red rose also has such property as a form of a flower. On this basis we may differ it from, for instance, camomile. In this case its status of existence (Being) is provided by the form, not by the color.
5 Relative Ontology and Science Ontology Studies 12, The basis of relation is a common feature for both related beings (carriers of relation). Yet such commonness is nothing else but a non-distinction, i.e. equality (identity), that is Non-Being. Hence we proceed from distinction as Being to non-distinction as Non- Being. This situation compels us to refuse considering Being and Non-Being as a separate problems and to proceed to a united problem of Being Non-Being. As far as we marked out non-distinction as a separate concept a basis for relation, we need a specific concept for distinction, that is a result of relation. By relation itself we understand a totality within which takes place act of distinction. The most proper form for act of comparison (distinction) explication is a relative proposition. Per se relative proposition is a logical form for expressing main ontological principle of Being Non-Being. In such a case logic based on relative propositions becomes not only a notion about forms of thinking, but a notion of Being Non-Being as well, i.e. logic becomes a part of ontology. In this logic every attributive proposition is a specific form of relative proposition, i.e. formal logic (Aristotelian) in whole could be explicated as logic of relations. Now let us demonstrate this statement. Traditional form to put a relative proposition is the following: arb. (1) Yet here a basis of relation is not taken into consideration. We can easily correct the obstacle, if we put relative proposition in following way:. (2), where besides carriers of relation (, ), a basis of relation (m) is taken into consideration as well. This relative proposition should be taken as an expression for distinction of terms of proposition by basis. If all non-distinctness is collected in basis of relation, then in (result of relation) we have momentum of distinction of proposition terms, i.e. is the point to differ one proposition from another. Efforts of logicians to expand facilities of reasoning with relative propositions were not, on my opinion, successful enough. Seemingly, it was connected with representation of relative proposition in a form arb. Ontological substantiation of relative proposition by means of distinction helps us to introduce other form for relative proposition. We may represent distinction as a subtraction. Adopting this operation from mathematics and filling it with ontological and logical meaning, we may put relative proposition in the following form: =. (3) Now let me demonstrate that any attributive proposition: «S P» (4) is a cancellation of set of relative propositions
6 244 Ontology Studies 12, 2012 «1 = ( 1)», «2 = ( 2)», «3 = ( 3)», (5). «n = ( n)» with a same result of relation = ( 1) = ( 2) = ( 3) = = ( n), (6) where remains the same term of each relative proposition and all others are omitted. Here P from (4) is the same as in (6), and S from (4) the same as a in (5). For example, suppose following relations given: a coin (a) by reflected light (s shining) shines more ( s ( 1) ) than a book cover (b1), a coin (a) on reflected light (s) shines more ( s ( 2) ), than a flowerpot (b2), a coin (a) by reflected light (s) shines more ( s ( 3) ), than a granite (b3). In attributive form this totality is presented as: a coin (a) shines more s = s ( 1) = s ( 2) = s ( 3) ) by reflected light (s). Let a coin be a member of some other set of relations. For example, a coin (a) in case of mechanical shock (m malleable ) more easily change its form ( ( 1) ), than a book cover (b1), a coin (a) in case of mechanical shock (m) more easily change its form ( ( 2) ), than a flowerpot (b2), a coin (a) in case of mechanical shock (m) more easily change its form ( ( 3) ), than a granite (b3). In attributive form this set is presented as follows: a coin (a) can be easily processed ( = ( 1) = ( 2) = ( 3) ) by means of mechanical shock (m). Let there exist other set with a participation of a coin (a) -- separately for such bases as compactness (c compact), heat capacity (h heat), fusion temperature (t -- temperature). In attributive form they are presented as follows: a coin is more compact, a coin has a greater heat capacity, a coin has a greater fusion temperature.
7 Relative Ontology and Science Ontology Studies 12, Imagine ourselves that derived predicates, obtained as a result of relation together with its basis (shining «s», easy mechanical processing by means of shock, higher compactness «c», greater heat capacity «h», higher fusion temperature «t») indicate some totality that becomes denotatum for a concept of metal (R). Here R is a set of elements «s»,, «c», «h», «t» and on elements «s», «m», «c», «h», «t» set «C» is formed. Then whole set of derived attributive propositions may be represented by one attributive proposition: a coin (a) is a metal (R), that has the same form as (1). In relative ontology expressing of relative proposition as a subtraction can be used for representation of Being and Non-Being. Indeed, if the result of subtraction is not equal to zero ( = 0), it means differentiation between terms of subtraction, i.e. such a result is a mathematical expression for Being in relation to. If the result is equal to zero ( = = 0), it means absence of differentiation between terms of comparison and hence this is a mathematical expression for Non-Being principle in relation to. In logic reduction of every proposition to subtraction operation allows reduction of every reasoning to subtraction operation. For all that we speak not about mathematical logic, but about representation of whole logic in whole as mathematics. The record of a relation proposition in the form (3) allows to make logical and due to this an ontological substantiation of mathematical concept of relative set. Let for one term in relation (3) (for instance, for ) there exist other relations with some other terms on the same basis, i.e.: = ; = ; (7) =. Suppose that in all results of these relations included terms are distinct. If we look aside specific content of the results and fix only the fact of distinction (denoted passim as ), these results are indistinguishable. So all relations (7) have the following form: ; ; (8). Condition (8) define a set of beings distinct from each other on the same basis. This condition is a description of relative set concept, where only the fact of distinction is stated.
8 246 Ontology Studies 12, 2012 The concept of relative set is not the same thing as in the set theory. For instance, compared with traditional set theory in relative set concept significance of empty set is lower, infinite sets are excluded. Advantage of relative set application is not only due to logical, but to ontological substantiation as well, whereas traditional set theory is substantiated only logically. Expression of relative proposition in the form (3) allows logical and due to this ontological substantiation of mathematical concept of relative elementary number. Let there are following relations: m b = m ba ; m s m b = m sb ; (9) m d m s = m ds ; m e m d = m ed. Common feature of all of relations (9) is that some of character belonging to one term of relation do not belong to another. Then all results of relations (9) are just the same, i.e.: m ba = m sb = m ds = m ed = r. (10) Then (9) can be put in following: m b = r; m s m b = r; (11) m d m s = r; m e m d = r. In each particular relation basis is realized specifically, but all such specificity is represented in carriers of relation. Concept of basis include only features common to all particular objects in (9). Then all specifics of objects in (9) represented in corresponding carriers of relations (a, b, s, d, e carriers of relation correspondingly for «a», «b», «c», «d», «e»). As an example of such relations can be mentioned relations of vertical extension of segments. From (11) we can easily get relation of «b», «c», «d», «e» with «a»: m b = r; m s = r + r; (12) m d = r + r + r; m e = r + r + r + r. Each of the results of these relations is a definition for relative elementary numbers:
9 Relative Ontology and Science Ontology Studies 12, r «1»; r + r «2»; (13) r + r + r «3»; r + r + r + r «4». Negative values of these numbers signify correspondingly: «r» «1» (less); «r r» «2»; «r r r» «3»; «r r r r» «4». Assume (12) with a consideration (13): m b = 1; m s = 2; (14) m d = 3; m e = 4. In view of universal character (for 12), «ma» (denoted as etalon ) can be omitted. Let for some reasons (ontological or pragmatic) we have instead of (3) =. (15) It means indiscrimination of in (3). The meaning of indiscrimination is in its interchangeability on basis «m». Such relations can be expressed by means of relative zero concept: = 0. (16) As it was mentioned above, indiscrimination ontologically signifies Non-Being of one being in its relation to another one, i.e. Non-Being is relative. Only if there would be no other being distinct from the former, such Non-Being would be absolute. Relative number concept is not the same thing as concept of number in traditional mathematics. This is caused primarily by the fact that relative numbers are connected with a relation basis (m) out of which they were derived. Whereas numbers in traditional mathematics in this perspective are totally deprived of individuality. To some extent this position is a return to J.Mill s point of view and a refutation of its criticism by G.Frege. It is well-known that afterwards prevailed exactly the position of G.Frege. Reference to J.Mill s
10 248 Ontology Studies 12, 2012 position is urgent not in itself but because of new perspectives opened in connection with logic of relations, based on presenting relative proposition according to form (3). More than that, such a presenting allows to reconcile both positions. For that purpose we must take a set with infinite number of elements where the following rule is valid: for each result of relation between two terms taken at random, there always exist such a third term, that differs from result of relation between two formers in such a way, that this result posses some features that third term does not posses. In this case relative elementary numbers transform into infinite number series. Operating with relative numbers is to a great extent determined by basis of relation and its carriers. Their common and invariable feature is ontological and logical substantiation demonstrated above. For each relative set operations with relative numbers may be different. Yet the lack of universality turns out to be an advantage because of avoiding a lot of paradoxes and nonsense connected with numbers in traditional mathematics. For instance, in school sum on three diggers who dig two pits, the task is: calculate how much diggers are needed to dig a one pit? The answer in traditional mathematics is one and a half. Yet it is nonsense, there cannot be one and a half man. In relative mathematics such situation is impossible because there is no concept of infinitely large or infinitely small. In that perspective relative mathematics always has a quantum character in full accordance with human experience. Indeed, accurate calculations are often excessive for in practical needs we are always limited with practical error that have a quantum character. Mathematical representation of relative ontology gives it a close relation to sciences, that use a mathematical language. In that case mathematics turns out to be the only method of presentation for statements of ontology and science. As an example of relative ontology efficacy in informational sciences can be mentioned exact formulating of the information concept as a result of relation. Besides, mathematical part of relative ontology allows to formalize such an important concept as meaning (content) of information that in turn makes possible some sort of ordering in various IT databases. This makes easier use of all aspects of information, for instance, a transition from seek of information to based on meaning calculations. Definiteness as a result of distinction (result of relation) is nothing else than an ideal (eidos, image, idea, form, quantity). Basis of distinction (basis of relation) together with carrier of relation is a material (matter, property, quality). As far as the necessary condition of Being Non-Being is both discrimination and indiscrimination, being is a unity of both sides, unity of material and ideal. Hitherto we examine only one method of description of distinction, i.e. distinction as relation. In this method static side of being is presented. Its dynamic side is presented in another way of distinction s description, i.e. distinction as interaction. At present proximity of meaning of interaction and relation concepts is obvious. There is one common feature: each of them presuppose in its content presence of at least two members. Interaction is
11 Relative Ontology and Science Ontology Studies 12, often called a relation of cause and effect. That is why while constituting content of category of interaction it makes sense to base on the same postulate as in case of substantiation of relation as a necessary condition of Being. Discrepancy of categories relation and interaction content starts from such structural concept as carrier of relation. Relation category supposes that carriers of relation (, ) are discriminated (in other relations) from each other. Yet we may assume a variant when bases are equal. It means that terms of distinction are similar in each feature except dimension, and that is why may be considered (in relative meaning, not absolute) to be the same being undergoing some changes (indeed, just these changes do not allow existence of absolutely singular being), i.e. is differentiated from itself. In everyday speech we may say from itself implying that it and self are just the same. In relative ontology such expressions have no sense. So, distinction where carriers of relation coincide, is called change. Seemingly, we may put it in symbolic form as following: = = 0, (17) where a short notation for change of a, in whose content carrier is included. The problem of such expression is, that if, standing to the left from symbol, and, standing to the right are just the same, we must accept = 0 (18), that means absence of distinction. In order to avoid such difficulties we will use slightly different form of notation for change, using upper index: e b = = 0, (19) where b initial state of being, who s carrier is, on basis «m»; e final state of being, who s carrier is, on basis «m». At the same time we must take into consideration that distinction between initial state and final state of some thing is not a determining momentum for distinction (as a result of relation) for a given change ( ). It is impossible to specify logically genus for distinction, i.e. in any definition distinction there will always be a determining concept. In given case (19) distinction is a determining concept for determinate terms. Here it is just distinction that determinates what is final state and what is initial state for any thing, and not vice verse, as it may seem due to language structures. In such situation it is always necessary to remember that language of ontology is based mainly on everyday language, yet later is not fit to exact representing of non-everyday situations. In everyday reality we are convinced that always can specify a conditionality of any appearance. Therefore language cannot express situation of total unconditionality, except by means of additional stipulations. In everyday speech it is possible to say: a distinction from one another. Yet by saying one and another we have already introduced a distinction. In everyday reality we suppose that there are some one and another as such, we can discriminate. It is all clear on a level of everyday experience. Yet situation becomes more difficult if we assume that there are no any one or another, but distinction is a necessary
12 250 Ontology Studies 12, 2012 condition of their existence. These predicaments are the language predicaments built as a conceptual one. Then for appropriate expression of relation situations we need a language based on relative propositions. As far as we have now two ways of distinction, we need to differentiate them terminologically. For this purpose we will use terms static distinction and dynamic distinction. Static distinction is such a distinction, that appears in situation of carriers of relation distinction in case of it (distinction) realization on another relation(s). Dynamic distinction (or changing ) is such a distinction, that appears in situation of carriers of relation non-distinction. Accordingly (in case we talk just of dynamic relation or just of static relation) there modify structural elements of relation designations; for instance, in case of dynamic relation (or changing) instead of term carrier of relation should be used term carrier of dynamic relation (or carrier of changing ) and etc. For example, to clarify structural elements of interaction, let us take situation of two changes. First one is a change of being as a consequence, that is a specific dynamic relation. Let s designate its structural elements as following: carrier of a consequence», basis of a consequence «m», a result of consequence. At that corresponding being (we will call it being-consequence and designate as b ) proceeds from its initial state «b» to its final state «e», i.e. consequence may be put as e b = 0. (20) For instance, in process of punching consequence is a change of geometrical form of billet. Then being-consequence b, who s change is a consequence, may be, for example, aluminum plate, out of which in a process of punching a spoon is made. In that case carrier of consequence has all characters of aluminum plate of billet except its geometrical form, that is a basis of consequence m. initial state of being b is a plain form of aluminum plate «b», and its final state is a bent surface of the same aluminum plate after punching «e». Discrimination of these states gives us a geometrical form that is an image of consequence, that we call a form of a spoon. Second is a change of being, a cause, that is a specific dynamic relation. Let us designate its structural elements as following: carrier of a cause, basis of a cause «f», result of a cause «f». At that corresponding being -- designate it as a pass from its initial state «f b» to its final state «f e», i.e. a cause can be put as following: f e f b = f 0. (21) In our example with punching a cause is a change of a model-punch location, that is a being-cause a, and basis of cause f may be, for instance, a height of a model-punch location over a billet. Then all other features of a model-punch will belong to a carrier of a cause. Let the location of a model-punch over a billet equal to h 1 corresponds to initial state of being-cause («f b») and to its final state («f e»,) location h 2. The difference between these two locations is a result of cause («f»).
13 Relative Ontology and Science Ontology Studies 12, Presence of two changes in interaction change as a cause ( f ) and change as a consequence ( ) realized on different bases ( f), allows to interpret interaction as a combination of these changes: f. (22) Here interaction is designated by distinction put as a subtraction. In my opinion such form of ontological category of interaction s presentation promotes to a great extent a coordination of language of ontology with one of mathematics. A change of being is a change in its definiteness. Due to double-sidedness of being, theoretically speaking three ways of changing are possible. First way is a material one when a cause of change is situated within a sphere of being undergoing material changing. For instance, a cause of change in definiteness of physical body volume is a change of its temperature. A cause of given material body change lies within the sphere of other material body, and a cause of that body change in turn lies within a sphere of third body and so on. Ontological school that stands for only material way of change in philosophy is called a materialism. Second way an ideal one, when a cause of given being s change lies directly (i.e. without a material mediation) within ideal sphere of another changing being. Essence of this way of change is that definiteness of one being tends (in physics such tendention is designated by concepts of power, intensity, energy) to change (on the same basis of relation) another being s definiteness. Simple example of that kind is an act of thinking accompanied by human activity: one day there appeared an intension (a definiteness of second being a cause) to move a furniture in a room (location of furniture is a definiteness of first being). Realizing this forethought, we change a definiteness of first being. Surely, given change was realized by means of material mediation, but in such situation it is always a consequence, not a cause. There are some ontological doctrines expanding that sort of change on Being as a whole. An extreme example of such casual chain is a Divine Creation of the world, conceived as absolute ideal. This ontological school assuming only ideal way of changing, is conventionally called in philosophy an idealism. Ideological advantage of materialism is due to its well-accordance with a lot of phenomena in a field of natural sciences. Yet science can describe only a part of all variety of beings. Weakness of materialism is revealed in considering of beings possessing thinking. Situation of idealism is quite the opposite: it is successful and convincing in dealing with a region of the world connected with thinking and looses in region described by natural sciences. Such a regional opposition can be explained by the fact that none of these doctrines is ontologically universal, but is a sort of particular, regional knowledge. Our interpretation of materialism-idealism relation not only decreases mutual tension between them but shows the need for their co-completing as well. This task is realized in the third way of change of being: the same being undergoes both kinds of change material and ideal as well. Just various extent of inherited features
14 252 Ontology Studies 12, 2012 allows us to proceed from materialism-idealism opposition to their co-completing. This can be made due to the fact that relation between material and ideal ways of changing reveals three main kinds of being. First one somatic being, for which change is fulfilled primarily in material way. That kind of being is described by natural sciences. Second kind anthropological being, for which both material and ideal ways of changing are equally available. That is a kind of being endowed with thinking. Human is only a one sort of such anthropological being. Third kind theological one, that uses primarily ideal way of changing. Beside these three kinds of being there are some others, having various degree of material/ideal ratio. Development of the world proceeds from somatic through anthropological to theological being. Thus relative ontology is based on clear and obvious statement of being as a distinction. Such approach allows to represent being as a material-ideal unity, give it an onto-mathematical substantiation and opens new possibilities for a union of ontology and science. Dualistic substance of being surmounts materialism/idealism opposition due to a need of their co-completing demonstration. As a result of such approach we discover three main kinds of being in its development, to wit: somatic, anthropological, and theological being. This succession of being s uncovering is the main tendency of global world development. Aknowledments I thank Alexander Govorunov for translation of this article.
Reality in the Eyes of Descartes and Berkeley By: Nada Shokry 5/21/2013 AUC - Philosophy Shokry, 2 One person's craziness is another person's reality. Tim Burton This quote best describes what one finds
ON EXTERNAL OBJECTS By Immanuel Kant From Critique of Pure Reason (1781) General Observations on The Transcendental Aesthetic To avoid all misapprehension, it is necessary to explain, as clearly as possible,
Information Theory and Coding Prof. S. N. Merchant Department of Electrical Engineering Indian Institute of Technology, Bombay Lecture - 17 Shannon-Fano-Elias Coding and Introduction to Arithmetic Coding
Set Theory Basic Concepts and Definitions The Importance of Set Theory One striking feature of humans is their inherent need and ability to group objects according to specific criteria. Our prehistoric
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
Quantity/potential-related elementary concepts in primary school teacher education Federico Corni, Enrico Giliberti, Cristina Mariani Faculty of Education, University of Modena and Reggio Emilia, Italy
Principles of Programming Languages Prof: S. Arun Kumar Department of Computer Science and Engineering Indian Institute of Technology Delhi Lecture no 7 Lecture Title: Syntactic Classes Welcome to lecture
La educación virtual como herramienta en la orientación educativa Virtual education as a tool in educational guidance Ma. Guadalupe Medina Zúñiga Colegio de Bachilleres del Estado de Querétaro. email@example.com
Chapter 23 Squares Modulo p Revised Version of Chapter 23 We learned long ago how to solve linear congruences ax c (mod m) (see Chapter 8). It s now time to take the plunge and move on to quadratic equations.
smart BA Distance Learning Programme Module 3: Functional Requirements Hello and welcome to the smart BA distance learning programme Module 3 in this module you are going to analyse the requirements of
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
A Second Course in Mathematics Concepts for Elementary Teachers: Theory, Problems, and Solutions Marcel B. Finan Arkansas Tech University c All Rights Reserved First Draft February 8, 2006 1 Contents 25
Recibido: 01 de agosto de 2012 Aceptado: 23 de octubre de 2012 DIFFERENTIATIONS OF OBJECTS IN DIFFUSE DATABASES DIFERENCIACIONES DE OBJETOS EN BASES DE DATOS DIFUSAS PhD. Amaury Caballero*; PhD. Gabriel
Hegel s Trinitarian Claim G. W. F. Hegel is one of the greatest thinkers of the Greek-Western trinitarian tradition. He said that the theologians of his day had effective ly abandoned the doctrine of the
Chapter 8 Inflation This chapter examines the causes and consequences of inflation. Sections 8.1 and 8.2 relate inflation to money supply and demand. Although the presentation differs somewhat from that
Descartes Meditations Module 3 AQA Meditation I Things which can be called into Doubt Descartes rejects all his beliefs about the external world because they are doubtful and he wants to find a foundation
A terminology model approach for defining and managing statistical metadata Comments to : R. Karge (49) 30-6576 2791 mail firstname.lastname@example.org Content 1 Introduction... 4 2 Knowledge presentation...
Contents Preface 3 The Basics of Interest Theory 9 1 The Meaning of Interest................................... 10 2 Accumulation and Amount Functions............................ 14 3 Effective Interest
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
[ Assignment View ] [ Print ] Eðlisfræði 2, vor 2007 30. Inductance Assignment is due at 2:00am on Wednesday, March 14, 2007 Credit for problems submitted late will decrease to 0% after the deadline has
Solving Simultaneous Equations and Matrices The following represents a systematic investigation for the steps used to solve two simultaneous linear equations in two unknowns. The motivation for considering
1 TECHNOLOGY AND SEMIOTIC REPRESENTATIONS IN LEARNING MATHEMATICS Jose Luis Lupiáñez Gómez University of Cantabria, Spain Abstract New technologies modify the socioculturals environments. The educational
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
Aquinas on Essence, Existence, and Divine Simplicity Strange but Consistent In the third question of the Summa Theologiae, Aquinas is concerned with divine simplicity. This is important for him both theologically
Hume on identity over time and persons phil 20208 Jeff Speaks October 3, 2006 1 Why we have no idea of the self........................... 1 2 Change and identity................................. 2 3 Hume
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
SYSTEMS OF EQUATIONS AND MATRICES WITH THE TI-89 by Joseph Collison Copyright 2000 by Joseph Collison All rights reserved Reproduction or translation of any part of this work beyond that permitted by Sections
6.42/8.62J Mathematics for Computer Science Srini Devadas and Eric Lehman May 3, 25 Lecture otes Expected Value I The expectation or expected value of a random variable is a single number that tells you
Curso académico 2015/2016 INFORMACIÓN GENERAL ESTRUCTURA Y CONTENIDOS HABILIDADES: INGLÉS Objetivos de Habilidades: inglés El objetivo de la prueba es comprobar que el alumno ha adquirido un nivel B1 (dentro
Lecture 6 Weight Tension Normal Force Static Friction Cutnell+Johnson: 4.8-4.12, second half of section 4.7 In this lecture, I m going to discuss four different kinds of forces: weight, tension, the normal
Mechanics 1: Vectors roadly speaking, mechanical systems will be described by a combination of scalar and vector quantities. scalar is just a (real) number. For example, mass or weight is characterized
Probability and Expected Value This handout provides an introduction to probability and expected value. Some of you may already be familiar with some of these topics. Probability and expected value are
State of Stress at Point Einstein Notation The basic idea of Einstein notation is that a covector and a vector can form a scalar: This is typically written as an explicit sum: According to this convention,
Contents 6.4 Normal Distribution....................... 381 6.4.1 Characteristics of the Normal Distribution....... 381 6.4.2 The Standardized Normal Distribution......... 385 6.4.3 Meaning of Areas under
Verbos modales In this class we look at modal verbs, which can be a tricky feature of English grammar. We use Modal verbs in English to show: Probability,Possibility, Capability, Permission, ObligaCon,
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
Basic Concepts in Research and Data Analysis Introduction: A Common Language for Researchers...2 Steps to Follow When Conducting Research...3 The Research Question... 3 The Hypothesis... 4 Defining the
KNOWLEDGE FACTORING USING NORMALIZATION THEORY J. VANTHIENEN M. SNOECK Katholieke Universiteit Leuven Department of Applied Economic Sciences Dekenstraat 2, 3000 Leuven (Belgium) tel. (+32) 16 28 58 09
Week 7 - Game Theory and Industrial Organisation The Cournot and Bertrand models are the two basic templates for models of oligopoly; industry structures with a small number of firms. There are a number
Aporia vol. 18 no. 1 2008 Charles Hartshorne and the Ontological Argument Joshua Ernst Th e ontological argument distinguishes itself from the cosmological and teleological arguments for God s existence
UNIT 1: A PLAN FOR BUYING English for Real Estate Materials A. Before you read the text, answer the following question: What should a family do before starting to look for a new home? Read the following
Chapter 21: The Discounted Utility Model 21.1: Introduction This is an important chapter in that it introduces, and explores the implications of, an empirically relevant utility function representing intertemporal
International Letters of Chemistry, Physics and Astronomy Online: 213-9-19 ISSN: 2299-3843, Vol. 3, pp 1-1 doi:1.1852/www.scipress.com/ilcpa.3.1 212 SciPress Ltd., Switzerland Adequate Theory of Oscillator:
Grade 6 Mathematics, Quarter 2, Unit 2.1 Measurement with Ratios Overview Number of instructional days: 15 (1 day = 45 minutes) Content to be learned Use ratio reasoning to solve real-world and mathematical
Gasses at High Temperatures The Maxwell Speed Distribution for Relativistic Speeds Marcel Haas, 333 Summary In this article we consider the Maxwell Speed Distribution (MSD) for gasses at very high temperatures.
Poverty and income growth: Measuring pro-poor growth in the case of EVA MILITARU, CRISTINA STROE Social Indicators and Standard of Living Department National Scientific Research Institute for Labour and
J. T. M. Miller, Department of Philosophy, University of Durham 1 Methodological Issues for Interdisciplinary Research Much of the apparent difficulty of interdisciplinary research stems from the nature
MATHEMATICS OF FINANCE AND INVESTMENT G. I. FALIN Department of Probability Theory Faculty of Mechanics & Mathematics Moscow State Lomonosov University Moscow 119992 email@example.com 2 G.I.Falin. Mathematics
Michael Lacewing Substance dualism A substance is traditionally understood as an entity, a thing, that does not depend on another entity in order to exist. Substance dualism holds that there are two fundamentally
Lecture 12: More Uncertainty Economics 1011a: Intermediate Microeconomics Lecture 12: More on Uncertainty Thursday, October 23, 2008 Last class we introduced choice under uncertainty. Today we will explore
Module 10 Coding and Testing Lesson 23 Code Review Specific Instructional Objectives At the end of this lesson the student would be able to: Identify the necessity of coding standards. Differentiate between
Digital Signal Processing Prof. S. C. Dutta Roy Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 6 Digital systems (contd.); inverse systems, stability, FIR and IIR,
Research Article P vs NP problem in the field anthropology Michael.A. Popov, Oxford, UK Email Michael282.firstname.lastname@example.org Keywords P =?NP - complexity anthropology - M -decision - quantum -like game - game-theoretical
of 26 8/20/2014 2:00 PM Answers Teacher Copy Activity 3 Lesson 3-1 Systems of Linear Equations Monetary Systems Overload Solving Systems of Two Equations in Two Variables Plan Pacing: 1 class period Chunking
ON THE STRUCTURE OF A GLOBAL KNOWLEDGE SPACE Autores: Resumen: Palabras clave: Abstract: Keywords: Peter Jaenecke (Straubenhardt) Email: email@example.com Se define una red semántica como la base formal
General Philosophy Dr Peter Millican, Hertford College Lecture 3: Induction Hume s s Fork 2 Enquiry IV starts with a vital distinction between types of proposition: Relations of ideas can be known a priori
Revista Colombiana de Estadística Junio 2014, volumen 37, no. 1, pp. 25 a 34 A New Extension of the Exponential Distribution Una nueva extensión de la distribución exponencial Yolanda M. Gómez 1,a, Heleno
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
CHAPTER 3 Numbers and Numeral Systems Numbers play an important role in almost all areas of mathematics, not least in calculus. Virtually all calculus books contain a thorough description of the natural,
LSE-Groningen Workshop I 1 Iterated Dynamic Belief Revision Sonja Smets, University of Groningen website: http://www.vub.ac.be/clwf/ss Joint work with Alexandru Baltag, COMLAB, Oxford University LSE-Groningen
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true
Content Area: Mathematics Grade Level Expectations: High School Standard: Number Sense, Properties, and Operations Understand the structure and properties of our number system. At their most basic level
Chapter 7 Newton s Laws of Motion 7.1 Force and Quantity of Matter... 1 Example 7.1 Vector Decomposition Solution... 3 7.1.1 Mass Calibration... 4 7.2 Newton s First Law... 5 7.3 Momentum, Newton s Second
A Concrete Introduction to the Abstract Concepts of Integers and Algebra using Algebra Tiles Table of Contents Introduction... 1 page Integers 1: Introduction to Integers... 3 2: Working with Algebra Tiles...
Descriptive Statistics 1 Descriptive Statistics and Measurement Scales Descriptive statistics are used to describe the basic features of the data in a study. They provide simple summaries about the sample
What mathematical optimization can, and cannot, do for biologists Steven Kelk Department of Knowledge Engineering (DKE) Maastricht University, NL Introduction There is no shortage of literature about the
Techniques For Optimizing The Relationship Between Data Storage Space And Data Retrieval Time For Large Databases TECHNIQUES FOR OPTIMIZING THE RELATIONSHIP BETWEEN DATA STORAGE SPACE AND DATA RETRIEVAL
Boletín de Public la Asociación interest in de political Geógrafos philosophy. Españoles A necessary N.º 53-2010, ethical págs. and regulatory 381-386 concept for territorial planning I.S.S.N.: 0212-9426
1 Solvay Business School Université Libre de Bruxelles The Binomial Option Pricing Model André Farber January 2002 Consider a non-dividend paying stock whose price is initially S 0. Divide time into small
Sudoku puzzles and how to solve them Andries E. Brouwer 2006-05-31 1 Sudoku Figure 1: Two puzzles the second one is difficult A Sudoku puzzle (of classical type ) consists of a 9-by-9 matrix partitioned
FROM TERRIBLE TO TERRIFIC UNDERGRADUATE ECONOMICS CURRICULA: An evidence- based assessment of an intellectual disaster, and a proposal for an alternative approach to economics teaching 1 PEPS- Économie
Cryptography and Network Security Prof. D. Mukhopadhyay Department of Computer Science and Engineering Indian Institute of Technology, Karagpur Lecture No. #06 Cryptanalysis of Classical Ciphers (Refer
CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.
EE384Y Project Final Report Load Balancing and Switch Scheduling Xiangheng Liu Department of Electrical Engineering Stanford University, Stanford CA 94305 Email: firstname.lastname@example.org Abstract Load
Kelvin and Centigrade Temperature Scales and the Ancient Reckoning System Charles William Johnson Throughout the Earth/matriX series, we have been considering the historically significant numbers of the
Positive Philosophy by August Comte August Comte, Thoemmes About the author.... August Comte (1798-1857), a founder of sociology, believes aspects of our world can be known solely through observation and
Revista Colombiana de Matemáticas Volumen 46202)2, páginas 229-233 A Simple Observation Concerning Contraction Mappings Una simple observación acerca de las contracciones German Lozada-Cruz a Universidade
1 Summary of Meditations III-V I. THIRD MEDITATION: The existence of God A. Cosmological proof of the Existence of God In the 3rd Meditation, Descartes attempts to prove that God (i) exists, (ii) is the
Option pricing Vinod Kothari Notation we use this Chapter will be as follows: S o : Price of the share at time 0 S T : Price of the share at time T T : time to maturity of the option r : risk free rate