Search

This paper focuses on games on augmenting systems with a coalition structure that can be seen as an extension of games with a coalition structure and games on augmenting systems. Considering the player payoffs, the quasi-Owen value is defined. To show the rationality of this payoff index, five representative axiomatic systems are established. The population monotonic allocation scheme (PMAS) and the core are introduced. Moreover, the relationships between the PMAS and quasi-Owen value as well as the core and quasi-Owen value are discussed. Finally, an illustrative example is given to show the concrete application of the new payoff indices. [ABSTRACT FROM AUTHOR]

Some cooperative games may have some players whose marginal contribution is zero but are indispensable to forming the coalition. However, the marginalism-based index allocates such players with zero payoffs. It is unreasonable and inconsistent with practical cases because the rest players cannot cooperate to make more payoffs without the participation of the players with no marginal contribution. This paper studies one such type of cooperative game called games with communication structure and introduces the α-Egalitarian Myerson value. This payoff index consolidates the Myerson value and the Equal Component Division value, which not only considers the marginal contribution of players but also regards egalitarianism. The main feature of this payoff index is to protect all players' payoffs. Three axiomatic systems are provided to show the rationality of the α-Egalitarian Myerson value. An application of the theoretical results in pharmaceutical supply chain management is offered to show the efficiency of the new payoff index. [ABSTRACT FROM AUTHOR]

This article is the first complete axiomatic presentation of the theory of cognition (epistemology). It presents the axioms of the theory of cognition, the definitions of the concepts and categories used in the text of the theory, and also provides detailed proofs of the propositions (theorems) arising from them. Based on this axiomatic system, evidencebased solutions to the problems (aporias) of the theory of cognition are proposed. This system of axiomatic epistemology can serve as a step in building a rigorous scientific theory of human cognition. The axioms of the proposed system follow the Aristotelian general understanding of the essence of human cognition. [ABSTRACT FROM AUTHOR]

In this paper, two important models for the finite hyperbolic plane (finite BolyaiLobachevsky plane) Bn,m will be given, the first model is when n = 3 and m = 3, while the second model is when n = 3 and m = 4. Also, two important models for the finite hyperbolic geometry (finite BolyaiLobachevsky geometry) are given, the first model is when each line contains either 4 or 3 distinct points and each point is on 6 distinct lines, while the second model is when each line contains either 3 or 2 distinct points and each point is on either 7 or 8 lines. All models are represented in a simple form, which help the readers and researchers to understand the different facts about the finite Bolyai-Lobachevsky plane and the finite Bolyai-Lobachevsky geometry. [ABSTRACT FROM AUTHOR]

In a recent paper on Hertz's Mechanics , Eisenthal claims that this mechanics is without mechanisms. He argues that the absence of mechanisms is a consequence of Hertz's philosophy of physics, presented in the introduction to this book. In the present paper, I will show that Hertz created four mechanisms. These mechanisms play a fundamental role in the deduction of the equations of motion. Some physicists used these mechanisms to create Hertzian mechanical models or to apply Hertz's mechanics to phenomena. • 'Mechanics without mechanisms' is an untenable thesis. • In Hertz's mechanics, there are four mechanisms. • Without these mechanisms, Hertz's axiomatic mechanics would be meaningless. • Some physicists used Hertz's mechanisms to apply his mechanics to phenomena. [ABSTRACT FROM AUTHOR]

Axiomatic systems can be understood as subsets of syntactic systems. By a process of increasing abstraction, the notion of a syntactic system can become useful for understanding Meillassoux’s concept of hyper-Chaos.

It is known that a professional artist can enter the structure of any already created painting style, simulate it, or even independently create in it. Today, a painter can, for example, paint an impressionist, fauvist, cubist, etc., composition. The question that arises, however, is what does he have to know, understand, and master so that an existing painting style can “come to life” in a concrete painting? And, of course: what actually is the “existence” of style, as it appears to have already existed before a work of art, while on the other hand it does not factually reveal itself until the painting is realized? The hypothesis that the author will be defending on these pages is that painting artworks as “systems of organized perceptions” and painting styles as their generative matrices have an axiomatic nature and organization, that in their formalsemantic complexity they behave as specific axiomatic systems.

Our aim is to critically analyse the approach to the notion of model by Alfred Tarski that Patrick Suppes integrates into his semanticist conception of scientific theories. Indeed, we will show how this notion is configured in Suppes (1960; 1970) from a formal review of the notion of model in Tarski (1936), focusing our analysis on three main axes: i) a critique of the static perspective of semanticism; ii) an analysis of the restrictive conditions and the language for the axiomatization of theories; and iii) the revision of the notions of 'axiomatic system', 'formal system' and 'axiomatic method'. [ABSTRACT FROM AUTHOR]

The strategies, for performing the mathematical models of the walking robot to traverse an uneven terrain, are analyzed. These mathematical models are assumed that fulfilled the hypothesis emphasized by us on environment model. Our first mathematical characterization of the environment is derived from the property of separation between stable and unstable regions from the free parameters domain of the dynamical system, in the general case of the system depending on parameters. On a specific case, the reader can ad other axioms, analyzing the Godel theorem on axioms system. The mathematical modeling of the environment can be seen as a frontier notion and should be of interest for all mathematical approximation of the phenomena being described in the first section of the paper. Our study on modeling of the walking robot critical positions that can appear in your evolution is related in the second section of the paper. The study started with formulation of physical identification referred to critical position in particular case of improved mathematical model on walking robot leg model used by us. The leg model is compounded from two components leg namely the superior component leg as first component with one extremity attached to the body of the walking robot and other extremity jointed in "knee joint" to inferior component leg as second component leg. The inferior component leg is defined also through "base point" as another extremity of the component, in contact with terrain. The base point is assumed that traverses an ellipse arc trajectory. The geometrical identification of walking robot leg model critical position, where is changing the sense of the system movement and where the speed of the movement must be of zero value, imposed by the mathematical conditions of the environment, assure the possibility of physical identification for walking robot leg critical position. The algorithm on physical identification of the walking robot leg critical position through physical model and calling geometrical identification is described in the paper on our concrete case of walking robot leg mathematical model. The critical position is relevant for all the dynamic systems in the specialized literature, be it chemical, biological, economical and other system, were the mathematical study is similar. The principal way of research in the next time on identification of walking robot critical position is to perform an algorithm for physical identification of critical position on trajectory done and to apply the virtual result on real [ABSTRACT FROM AUTHOR]

In this paper, a connexive extension of the relevance logic R! was presented. It is defined by means of a natural deduction system, and a deductively equivalent axiomatic system is presented too. The goal of such an extension is to produce a logic with stronger connection between the antecedent and the consequent of an implication. [ABSTRACT FROM AUTHOR]

Copyright of Analytica: Revista de Filosofia is the property of Analytica. Revista de Filosofia and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Phainomena is the property of Phenomenological Society of Ljubljana and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The identification of walking robot critical position is one of the most problems that arise for the general case of walking robots evolution on uneven terrain. Our study begins with identification of critical position for particular case of waking robot leg physical and mathematical model that consists from two components leg namely the superior component leg with one extremity jointed to the body of the walking robot and another extremity jointed to inferior component leg in "knee joint". The inferior component leg has "base point" as an extremity of the component, in contact with terrain. The base point describes in our model an ellipse arc. The geometrical identification of walking robot leg critical position, where the sense of movement is changing, is described in our previous study. The physical identification of the critical position, distinct of geometrical identification, is analyzed in the paper on our concrete case of walking robot leg mathematical model. The evolution of the walking robot leg is assumed that respects the environment mathematical model defined also by us. Some aspects referred to environment's mathematical model are described in the first part of the exposure. The new directions of research, opened by our study in this area, are emphasized. [ABSTRACT FROM AUTHOR]

The relationship between Reason and Religion is one of the most fundamental matters in the territory of Philosophy of Religion and philosophical epistemology. Theologians have considered especially religious aspects of it from many centuries ago and have presented different perspectives on this issue. In this paper, we intend to survey Motahari’s view about the Islamic Pillars or Principles, and also analyze possibility of putting these principles as axioms of an axiomatic (and maybe a deductive) system. Then, in further step, we examine the hypothesis that Motahari’s viewpoint of the principles of religion make a Rational Entrance for ancillaries and secondary articles of Islam. Furthermore, we are going to Show this entry is a rational position for the principles of religion that have a philosophical value. In addition; this entry specifies the relationship between reason and religion. Meanwhile, we will represent that its extern–religious prospect in philosophy of religion is independent of intra–religious prospect. Finally, based on this premises, we can derive only one compatible response to the question of relation between Reason and Religion. The response will be a Rational and cross religious one that would be the inter-subjective and defensive basis for dialogue among Religions.

Aristotle’s syllogistic is the first ever deductive system. After centuries, Aristotle’s ideas are still interesting for logicians who develop Aristotle’s work and draw inspiration from his results and even more from his methods. In the paper we discuss the essential elements of the Aristotelian system of syllogistic and Łukasiewicz’s reconstruction of it based on the tools of modern formal logic. We pay special attention to the notion of completeness of a deductive system as discussed by both authors. We describe in detail how completeness can be defined and proved with the use of an axiomatic refutation system. Finally, we apply this methodology to different axiomatizations of syllogistic presented by Łukasiewicz, Lemmon and Shepherdson.