A countably infinite relational structure M is called absolutely ubiquitous if the following holds: whenever N is a countably infinite structure, and M and N have the same isomorphism types of finite induced substructures, there is an isomorphism from M to N. Here a characterisation is given of absolutely ubiquitous structures over languages with finitely many relation symbols. A corresponding result is proved for uncountable structures.

This much-needed book provides a thorough account of temporal logic, one of the most important areas of logic in computer science today. The book begins with a solid introduction to semantical and axiomatic approaches to temporal logic. It goes on to cover predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. With its inclusion of cutting-edge results and unifying methodologies, this book is an indispensable reference (...) for both the pure logician and the theoretical computer scientist. (shrink)

... all probability, Plato's own statement; made indeed to be read by friends in Syracuse in explanation of the role he had played ...

I M M Gregory; The Right to Education, Journal of Philosophy of Education, Volume 7, Issue 1, 30 May 2006, Pages 85–102, https://doi.org/10.1111/j.1467-9752.197.

I M M Gregory, R G Woods; Indoctrination, Journal of Philosophy of Education, Volume 4, Issue 1, 30 May 2006, Pages 77–105, https://doi.org/10.1111/j.1467-9752.

Purpose. The study seeks to clarify the preconditions for moral and legal decision-making based on the identification of axiological foundations that correlate with the moral perceptions of good and evil and psychological phenomena such as emotions. Theoretical basis of the study is to apply comparative, axiological, systemic methods. This methodological approach allows us to analyze and disclose the essence of the process of moral and legal decision-making on the basis of certain axiological prerequisites and enables to substantiate the connection between (...) the axiological and psychological aspects of taking moral and legal decisions. Originality of the work is to broaden the perceptions of the processes and mechanisms for making moral and legal decisions, which are based on the axiological dimension, in particular on the system of reference individual and social values. The study shows that every necessary moral and legal decision taken by a person is futurologically balanced in the emotional sense, rationally reasoned and morally perceptible in the context of man’s beliefs about good and evil, and realized with necessity in the personal system of reference values that determines the style and manner of individual and social behaviour in the context of material and spiritual values and is an axiological foundation for making all types of moral and legal decisions. Conclusions. Moral and legal decision-making is a social process that is connected with such a social essence of a person as rationality, which gives an opportunity to act axiologically. A person makes moral and legal decisions in a complex way, based on the unity of the moral, axiological and psychological aspects of his worldview, which are grounded on the system of reference values. (shrink)

Of the many questions to which the RST has given rise, I should like to single out two groups.

The other night I had a very strange, and strangely coherent, dream. Socrates and Meno appeared to be arguing with each other in my presence. They talked English, I suppose, since I clearly thought I followed them; but I seem to remember that Greek words occurred from time to time. When I woke it seemed to me that the dream had some bearing on disputed matters of Platonic interpretation, so I shall try to reconstruct it here. Meno speaks first:Tell me, (...) Socrates, do you think that the just and the admirable are the same thing?I should hardly think so; for we call many things admirable—for example a young lad's cheek—which we would hardly call just; and perhaps vice versa. But I am only guessing, of course, because I cannot know whether A is the same as B unless I know what A is and what B is. (shrink)

The term "spirituality" now has several interpretations, and the part acquires an excellent, even opposite, meaning in both religious and philosophical doctrines. At the same time, each under the indicated phenomenon understands something of its own. Some authors have in mind historical consciousness, others - the integrity of mental activity, others relate spirituality, first of all with the world of emotions. Undoubtedly, every interpretation of spirituality covers a certain part of the truth. It is worth noting that speaking about spiritual, (...) spirituality and its significance in human being can only be achieved by overcoming the existing bias in the scientific circles and ideological distrust of the very concept of "spirit" and "spiritual." It is not a secret that the spirituality problem was underestimated in the domestic science for a long period, which negatively affected, in particular, the understanding of its content and essence, the treatment of this phenomenon only from the point of view of materialism. From this perspective, the study of S.Prolev, who states that the spiritual exists and manifests itself in various subject forms, whose range is wide - from processes and phenomena of the human psyche to social institutions that provide spiritual production, worthy of attention. Spiritual is understood as a special reality, the "spiritual sphere" of human life. (shrink)