Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith’s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth c...

1998-1999 school year poses the question of how the United States should change its foreign policy toward Russia. Although debate about foreign policy has been relegated to a back-seat compared to domestic issues by the American public, the academic community in international relations (IR) has been energized by the end of the Cold War. The Russia topic will provide a challenging opportunity fo...

The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...

The last few years have seen an opening up of what is considered to be the legitimate terrain of international relations (IR). This move is, for the most part, extremely welcome. Yet, the multiple theoretical and empirical openings in IR since the end of the Cold War have failed to elucidate many of the puzzles, questions and problems posed by the contemporary conjuncture. There are a number of...

in order to elucidate the significance and the position of international cultural relations in transformation of global peace and security, we should initially study its indicators through the cultural relationships among the nations, public, private and international organizations, social movements, international displacement /migration and modern communication technologies and then we should ...

Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The pape...