A Social Psychological Approach to Enduring Rivalries

The recent scholarly work on the concept of enduring rivalries offers a promising way to examine strategic interaction among dyads of states over extended periods of time. A focus on rivalry, and on the mechanisms that provide for such interaction, may offer a way to bridge existing theories of international relations that rely exclusively on structure or process. Unfortunately, the potential for theory-building has not been fully realized because research into rivalry has tended to be inductive. This paper seeks to rectify that problem by situating the rivalry concept within a social psychological approach to international relations. The rivalry concept is appropriately located in a theoretical approach that views the international system as a social system where actors are conditioned by mechanisms of competition and socialization.     

Tableaux and Dual Tableaux: Transformation of Proofs

We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems are dual to each other. The duality is expressed in a formal way which enables us to define a transformation of proofs in one of the systems into the proofs of the other. Presented by Wojciech Buszkowski     

A Proof System for Contact Relation Algebras

Contact relations have been studied in the context of qualitative geometry and physics since the early 1920s, and have recently received attention in qualitative spatial reasoning. In this paper, we present a sound and complete proof system in the style of Rasiowa and Sikorski (1963) for relation algebras generated by a contact relation.     

The Importance of Cartesian Triangles: A New Look at Descartes's Ontological Argument

In this paper, I argue that commentators have missed a significant clue given by Descartes in coming to understand his 'ontological' proof for the existence of God. In both the analytic and synthetic presentations of the proof throughout his writings, Descartes notes that the proof works 'in the same way' as a particular geometrical proof. I explore the significance of such a parallel, and conclude that Descartes could not have intended readers to think that the argument consists of some kind of intuition. I argue that for Descartes the attribute of existence is a 'second-order' attribute that is demonstrated to belong to the idea of God on the basis of 'first-order' attributes. The proof, properly understood, is in fact a demonstration. Having brought to light the geometrical parallels between the ontological and geometrical proofs, we have new evidence to resolve the 'intuition versus demonstration' controversy that has characterized much of the discussion of Descartes's ontological argument.     

On Different Proof-Search Strategies for Orthologic

In this paper, we consider three different search strategies for a cut-free sequent system formalizing orthologic, and estimate the respective search spaces. Applying backward search, there are classes of formulae for which both the minimal proof length and the search space are exponential. In a combined forward and backward approach, all proofs are polynomial, but the potential search space remains exponential. Using a forward strategy, the potential search space becomes polynomial yielding a polynomial decision procedure for orthologic and the word problem for free ortholattices.     

举证责任倒置对医疗纠纷诉讼的影响

举证责任倒置是一般举证责任原则的例外,在医疗纠纷诉讼中施行举证责任倒置的法理依据。主要是医患双方的诉讼地位不平等和医患双方的信息不对称,导致患方举证困难,实施新的举证规则后,必将会对医疗纠纷诉讼产生一系列的影响,医方对此要有深刻的认识并积极研究其对策。     

Temporal Creation and Cosmological Arguments in Early-Modern Calvinism

This study examines the varieties of cosmological arguments deployed in the natural theologies of early-modern Calvinism. Some of the first Reformed forays into theistic proofs make use of Thomist arguments which allow for the logical possibility of creation from eternity. In the seventeenth century, many Reformed theologians prefer to use arguments against the possibility of an eternal world – arguments which had been defended by medieval theologians such as Bonaventure. But these arguments in turn faced criticism in the seventeenth century, and many of the Reformed supplemented them or replaced them with others. The argument from the mutability of the world to its temporal beginning became increasingly popular among Reformed thinkers. Historical arguments from the recent rise of arts and sciences or biological species supplemented the philosophical arguments for the world's beginning. Their theological commitment to the impossibility of eternal creation may explain why the Reformed did not typically use the Clarke and Leibniz argument from contingency.