Quality is usually considered to be an attribute of an object, its degree of excellence or, more subjectively, fitness for use. Stemming from this point of view, the goal of most ranking systems is to find efficient ways of discovering, or rather uncovering, the quality of specific products or services. However, from a social psychological perspective it seems that the notion of quality belongs predominantly to the realm of social relationships. We argue that quality exists mainly between the users of (...) an object, not within the object itself, and its functions are predominantly social, i.e. promoting interactions, creating a shared reality, or building social relationships. Quality is constructed in social interactions and used as a token therein. In the present paper we outline the social functions of quality, and discuss the implications of this perspective for designing more useful recommendation systems. (shrink)

Wonderful Knowledge. Aquinas on the Immutability and Eternity of God’s Knowledge The general concept of knowledge is a kind of concept closely akin to transcententals: its use is not restricted to a certain kind of being, and it does not itself designate a kind of entity. Such concepts may be applied to God not as metaphors: when we grasp (through the analysis of cases of finite knowledge) some general traits of knowledge as such, we can show that God has knowledge, (...) and his knowledge, as opposed to ours, is infinitely perfect. We have no insight into this realization of knowledge as opposed to ours, but as far as we know what general traits of knowledge are, it is important to know that God has infinitely perfect knowledge. To grasp the general traits of knowledge, I focus on the topic of mutability and immutability of knowledge analyzed systematically by Aquinas, and thus on the topic of identity criteria specific for knowledge in general: the question of when knowledge that p and knowledge that q are (in a certain knower) one and the same knowledge; the criteria of identity of knowledge vary according to natures of knowers. I think that the problem of the criteria of identity of knowledge is rather neglected in omniscience-immutability discussions. I analyze Aquinas’ arguments for the thesis that human knowledge is mutable, and God’s knowledge is absolutely immutable (they concern the role of tense). The analysis sheds light on some general traits of knowledge: it is always something formulated by the knower which manifests some truth to him, and in general the way it is formulated corresponds to (i) the way it manifests some truth, (ii) its identity criteria, (iii) the way it is propositional, (iv) the way it is related to tense, and finally (v) the nature of the knower. Focusing on the criteria of the identity of knowledge shows that God’s knowledge is absolutely immutable, and that time and change in its objects are nevertheless undoubtedly real. Keywords: God’s knowledge, knowledge, criteria of identity of knowledge, immutability; tense; transcendentals; omniscience-immutability arguments. (shrink)

In this paper we study the status of the arithmetical completeness of dynamic logic. We prove that for finitistic proof systems for dynamic logic results beyond arithmetical completeness are very unlikely. The role of the set of natural numbers is carefully analyzed.

We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.

Is there a major international crime that the general public has never heard of or even thought about? The answer to this question might be surprising—it is the illicit art trade. The purpose of this article is to analyse the criminal aspect of the global art trade with a special focus on the region of South East Asia. In the first part of the paper, which acts as a backdrop for the rest of the article, the author explains the history (...) and general issues regarding the trade of cultural artefacts, briefly explaining the stages in the illicit antiquities trade, with a special focus on the question of international law regulations, of which he provides a critical overview. The second and third parts of the paper are devoted to a more profound analysis of the antiquities journey from illicit to licit. In the second part of the paper the author provides a case study of the first part of the voyage of Cambodian, Vietnamese and Indian antiquities, i.e. from the source country to the port of first shipment, examining the places and the middlemen they pass on their way. The third part of the paper is devoted to the analysis of legal provisions regulating the art trade in Hong Kong—a global art hub—notably the ‘market overt exception’, which allows buyers in good faith to keep the illicitly obtained cultural objects in spite of any claims made by the previous owners. In the fourth part of the paper the author shows why restitution of looted antiquities is so difficult, analysing a number of successful and unsuccessful attempts. The concluding part of the paper is devoted to the author’s critical overview of the various attempts and suggestions on the curtailing of the illicit international art trade. In the coda the author provides a case study of the journey undertaken by Cambodian antiquities. (shrink)

The paper contains a comment on the criticism of the author's book Początek jest wszędzie (Prószynski i S-ka, 2002) by Marek Lagosz ("Przegląd Filozoficzny - Nowa Seria, 14, 2005, 121-133). The comment focuses on the following issues: (1) the conception of philosophy of physics; (2) some methodological questions, especially the role of models in physics; (3) some explanations concerning the model proposed by the present author and his coworkers. A few "ideological remarks" are also made.

Zaproponowano, by Quine’a kryterium istnienia (teoria zakłada istnienie zmiennych związanych) rozszerzyć na matematyczne struktury. W duchu tego kryterium każdą matematyczną strukturę można uważać za oddzielny świat, w którym istnieją tylko te byty, bez zakładania których struktura straciłaby sens. Niektóre matematyczne światy są używane przez fizyków do modelowania rzeczywistego świata. W takiej sytuacji ontologia danej struktury matematycznej przenosi się na fizyczny świat. Mówiąc bardziej prozaicznie, niektóre matematyczne struktury interpretuje się jako struktury fizycznego świata. Cud rozumienia świata sprowadza się do cudu tej (...) interpretacji. (shrink)

Noncommutative geometry is quickly developing branch of mathematics finding important application in physics, especially in the domain of the search for the fundamental physical theory. It comes as a surprise that noncommutative generalizations of probabilistic measure and dynamics are unified into the same mathematical structure, i.e., noncommutative von Neumann algebra with a distinguished linear form on it. The so-called free probability calculus and the Tomita-Takesaki theorem, on which this unification is based, are briefly presented. It is argued that the unitary (...) evolution, known from quantum mechanics, could be a trace of noncommutativity on a deeper level. Philosophical significance of these results is also discussed. (shrink)

In the previous paper (Filozofia Nauki No 3-4, 1994, pp. 7-17) we have shown how the initial and final singularities in the closed Friedman world model can be analysed in terms of the structured spaces in spite of the fact that these singularities constitute the single point in the b-boundary of space-time. In the present paper we generalize our approach by using methods of noncommutative geometry. We construct a noncommutative algebra in terms of which geometry of space-time with singularities can (...) be developed. This algebra admits a representation in the space of operators on a Hilbert space, and the initial and final singularities in the closed Friedman model are given by its two distinct representations. The striking feature of this approach is its analogy with the mathematical formalism of quantum mechanics. (shrink)