John Burgess

This essay argues that in retrieving the new martyrs and confessors, the approximately two thousand people who suffered directly for their faith under Soviet communist oppression, the Russian Orthodox Church has made publicly available symbols and narratives that bear democratizing potential. The Church's "Icon of the New Martyrs and Confessors" can be interpreted as calling for broad representation of all parts of society in Church and political life, and freedom of the Church to represent its concerns to society without state interference. Although these two principles do not by themselves dictate a particular form of government, a liberal democracy may be their best guarantor. The Russian Orthodox Church therefore need not be seen as essentially antidemocratic. Its symbols and narratives of suffering can also be understood as authorizing democratic reform.

When I first began to take an interest in the debate over nominalism in philosophy of mathematics, some twenty-odd years ago, the issue had already been under discussion for about a half-century. The terms of the debate had been set: W. V. Quine and others had given “abstract,” “nominalism,” “ontology,” and “Platonism” their modern meanings. Nelson Goodman had launched the project of the nominalistic reconstruction of science, or of the mathematics used in science, in which Quine for a time had joined him before turning against him. William Alston, Rudolf Carnap, and Michael Dummett had raised doubts about what the point of Goodman’s exercise could be, and though they had unfortunately been largely ignored, Quine’s contention that the exercise cannot be successfully completed had gained wide publicity as the so-called “indispensability” argument against nominalism. By contrast, two subtle discussions of Paul Benacerraf had been appropriated by nominalists and turned into the so-called “multiple reductions” and “epistemological” arguments for nominalism.

Saul Kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results. 1 For philosophers, by far the most important examples are ‘Kripke models’, which have been adopted as the standard type of models for modal and related non-classical logics. What follows is an elementary introduction to Kripke’s contributions in this area, intended to prepare the reader to tackle more formal treatments elsewhere.2 2. WHAT IS A MODEL THEORY? Traditionally, a statement is regarded as logically valid if it is an instance of a logically valid form, where a form is regarded as logically valid if every instance is true. In modern logic, forms are represented by formulas involving letters and special symbols, and logicians seek therefore to define a notion of model and a notion of a formula’s truth in a model in such a way that every instance of a form will be true if and only if a formula representing that form is true in every model. Thus the unsurveyably vast range of instances can be replaced for purposes of logical evaluation by the range of models, which may be more tractable theoretically and perhaps practically. Consideration of the familiar case of classical sentential logic should make these ideas clear. Here a formula, say (p & q) ∨ ¬p ∨ ¬q, will be valid if for all statements P..

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, and a more speculative argument for the claim that it does not include S4.2 is also presented