We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of (...) integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings. (shrink)

The general notion of relative freedom is introduced. It is a kind of freedom that is observed everywhere in nature. In biology, incomplete knowledge is defined for all organisms. They cope with the problem by Popper’s trial-and-error processes. One source of their success is the relative freedom of choice from the basic option ranges: mutations, motions and neuron connections. After the conjecture is adopted that communicability can be used as a criterion of consciousness, free will is defined as a conscious (...) version of relative freedom. The resulting notion is logically self-consistent and it describes an observable phenomenon that agrees with our experience. (shrink)

Blasphemy law has become a central issue for the international community in various parts of the world in the last three decades. In almost every case involving the BL, especially in Muslim countries, such as Pakistan, Malaysia, and Indonesia, they are always responded with violence or threats of attack that cause many victims, loss of homes, damage to places of worship, evictions, stigma of being heretical, severe punishments, or extra-judicial killings. When international human rights law and declaration of the right (...) to peace are adopted by the international community, at the same time, the number of violence related to the application of BL continues to increase. This paper aims to examine the ambiguity of the concept of the BL in Pakistan, Indonesia, and Malaysia, and how its lead to the weak of enforcement that creates social injustice and inequality. Then, referring to Galtung’s theory of structural violence and other experts of peace studies, this paper argues that blasphemy law should be included as a form of structural violence. Therefore its challenges these States to reform their BL in which its provisions accommodate the state’s neutrality and content high legal standards. Thus, through guarantee the fully enjoyment of human rights for everyone may support the States to achieve sustainable peace. (shrink)

Aesthetics, experiments and values -- Between cybernetics, aesthetics, and semiotics -- 'I/other' oppositions in music, aesthetics, and semiotics -- Interpersonal analysis in film music -- Janácek from an interpersonal viewpoint -- Postscript.

We define and study a new restricted consistency notion RCon ∗ for bounded arithmetic theories T 2 j . It is the strongest ∀ Π 1 b -statement over S 2 1 provable in T 2 j , similar to Con in Krajíček and Pudlák, 29) or RCon in Krajı́ček and Takeuti 107). The advantage of our notion over the others is that RCon ∗ can directly be used to construct models of T 2 j . We apply this by (...) proving preservation theorems for theories of bounded arithmetic of the following well-known kind: The ∀ Π 1 b -separation of bounded arithmetic theories S 2 i from T 2 j is equivalent to the existence of a model of S 2 i which does not have a Δ 0 b -elementary extension to a model of T 2 j . More specific, let M ⊨ Ω 1 nst denote that there is a nonstandard element c in M such that the function n ↦ 2 log c is total in M . Let BLΣ 1 b be the bounded collection schema for Σ 1 b -formulas. We obtain the following preservation results: the ∀ Π 1 b -separation of S 2 i from T 2 j is equivalent to the existence of 1. a model of S 2 i +Ω 1 nst which is 1 b -closed w.r.t. T 2 j , 2. a countable model of S 2 i + BLΣ 1 b without weak end extensions to models of T 2 j. (shrink)