Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Autor / Author:
Gerhard Schurz
PE PREPRINTS
Annual 2000 No. 2
1. Introduction
Rudolf Carnap was the first who has developed a formal modal logic based on the
famous semantic idea which goes back to Leibniz. According to this idea, a statement is
necessary iff it is true in all possible worlds. Carnap represents possible worlds by state
descriptions, while we will represent them by possible interpretations of the formal language
- but this does not make a big difference for our purpose. Carnap developed his modal logic
in his JSL-paper of 1946 and in his book Meaning and Necessity of 1947. His modal logic,
which we call here C, is usually presented as a version of the Lewis system S5 - indeed
Carnap himself has sometimes presented it in that way. But in fact, his system C is much
stronger than S5 and it has very unusual logical properties. However, this fact is not well-
known to the broad philosophical audience - probably because Carnap himself was unclear
about it. Only a few authors have recognized the deep difference between S5 and Carnap's
C - among them D. Makinson (1966), S. K. Thomason (1973), Cochiarella (1975), Hendry
and Pokriefka (1985), and recently Georg Gottlob (1999) who works in Artificial Intelli-
gence Research. In this paper I will argue for three points:
1. If one identifies necessity with logical necessity, then C is the only complete modal
logic.
2. C is connected with an interesting nonmonotonic inference relation.
3. C supplies motivation to revise the traditional understanding of logics in the following
three respects. Traditionally one is used to think that:
A) Logical truth and validity are a matter of form or structure. Hence logics and infer-
ence relations have to be closed under substitution (i.e., under uniform replacement of
arbitrary statements for the atomic statements).
2
In the following I will show that Carnap's modal logic satisfies neither of these three
traditional claims A) - C). I will argue that:
• A) is mistaken: formality does not require closure under (arbitrary) substitution but a
weaker property.
• The distinctions mentioned in B) break down for certain logics - and C-type logics are
among them.
• Likewise, C) does not hold for certain interesting inference relations - and certain C-
based inference relations are among them.
Carnap introduces the following general semantical rule for the truth value of modal
sentences (1946, convention C1-1; 1947, p. 174f., 39-1 - 39-3):
(C1) A is true (in any given world I) iff A is true in all possible worlds iff A is logically
true.
The brackets "(…)" are not explicitly contained in Carnap's text, but it is clear that with
"truth simpliciter" Carnap means "truth in an arbitrary given world". Obviously, the truth of
A according to (C1) is logically determined. So if A is true or false, it is so in all
interpretations, and hence it is logically true or false, respectively. Thus Carnap's modal
logic implies the following semantical rules, which are also explicit in Carnap (in what
follows, "||" always stands for C-validity):
(C2) follows from (C1) and the logical determinateness (LD) of A as follows: If ||A,
then || A by (C1) and (LD). And if ||-/ - A, then ||-/- A by (C1), whence || ¬ A by
(LD).
This semantics characterizes logical necessity and possibility in a complete way. It
implies immediately the validity of all well-known theorems and rules of S5, such as T:
A→ A, 4: A→ A, 5: ◊A→ ◊A, etc. But it implies much more. For example,
This follows from the facts that sentences of the form A are C-logically determined, and
every truthfunctional combination of logically determined sentences is itself logically
determined. More striking is the following:
(C4) For every propositional variable p ∈ P, ◊p is a theorem of C, and the same is true for
4
For example, ||◊p, since p can be made true by at least one I ∈ W. Obviously, ◊(p∧¬p) is
a substitution instance of ◊p (by substituting p∧¬p for p). But not ||◊(p∧¬p), since every
I ∈ W makes p∧¬p false.
The fact that C is not closed under substitution has led to two historical peculiarities.
The first is this. In his 1946-paper, Carnap first introduces the above semantical rules. He
then develops a modal propositional logic and a modal predicate logic. He develops the
modal predicate logic according to his semantical rules. But in his modal propositional logic
he deviates from his ideas by the following ad hoc step: he restricts the logical truths of
modal propositional logic to a certain subclass of those statements which are valid under his
semantics: namely those statements which are in addition closed under substitution (1946, p.
40, D4-1). By doing this, he throws away all non-trivial possibility-theorems of C. He
shows then that the system so defined is equivalent to Lewis' famous system S5. Maybe
Carnap was so happy about this result that he forgot about the other part of C. The second
historical peculiarity was pointed out by Hendry and Pokriefka (1985, p. 111) and concerns
Feys' reconstruction of Carnap's propositional modal logic in the Schilpp volume of 1965.
Feys reconstructs this logic as the system C, not as S5, but Feys presents this system as if it
were S5 (Feys 1965, p. 286). Moreover, in his reply Carnap states that Feys had correctly
reconstructed his system S5. These peculiarities may explain why the mistaken view that
Carnap's modal logic is S5 is still widely held under philosophical logicians.
What Carnap in fact had proved in 1946 was a certain relation between C and S5 -
5
namely that S5 contains exactly those C-logical truths which are substitutionally closed.
This relation was independently proved in 1973 by S. K. Thomason and is stated in our
theorem 1. Let Lprop denote our formal language of propositional modal logic, and let s
vary over substitution functions of the form s: P → Lprop. Then theorem 1 runs as follows:
The relation between C and S5 stated in theorem 1 is a syntactical one. What is the
semantical relation between C and S5? Let us see how Kripke (1959) succeeded in
establishing a possible world semantics which leads to a modal logic which is indeed closed
under substitution - namely S5. In Carnap, the space of possible world is a fixed space W -
it contains all possible interpretations of the language. This has the unavoidable conse-
quence that for all satisfiable sentences A, ◊A comes out as a logical theorem, for A is true
in at least some interpretation I which is in W. And it are these non-trivial possibility-
theorems which are not closed under substitution. Kripke, however, assumes the set of
possible worlds W to be a variable subspace of W. His modal logics contains only those
sentences as theorems which are valid with respect to every subspace W ⊆ W. And these
are exactly the S5-theorems.
Hence Kripke relates necessity to all subspaces of possible worlds in W. If, on the other
hand, necessity is related to a specific (proper) subspace of possible worlds W ⊆W, this
means philosophically that one has in mind a concept of necessity which is stronger than
logical necessity - for example, physical necessity (i.e., necessity w.r.t. laws of nature).
Given such a subspace W (e.g., the set of physically possible worlds), then one can consider
the modal statements which are semantically valid w.r.t. W (i.e., A is valid in W iff A is
true in all I∈W, etc.). Call this system of statements SW. SW contains more necessity
statements than C, but less possibility statements. So SW is neither stronger nor weaker than
C. If W is smaller than W, then SW is, so to speak, a material modal system. If W = W,
then SW coincides with C. Now, Hendry and Pokriefka (1985) have proved the following
semantical connection between S5 and these SW-systems with C-type semantics: S5 is the
6
intersection of all modal systems w.r.t. to arbitrary possible world spaces W ⊆W. This is
stated in our second theorem:
Proof: Assume A ∉ S5. Then A is invalid w.r.t. some W ⊆W. So there exists I∈W such
that I falsifies A. Let W* be the one-element subspace W* = {I} containing this I. Then ◊A
is invalid w.r.t. W* = {I}. Hence ◊A ∉ S5. Q.E.D.
Theorem 4: For every nonmodal formula A∈Lprop and normal modal propositional logic
L: if ◊A ∈ L, then: A ∈ L, and A is a truthfunctional tautology provided L is consistent.
The first author who to my knowledge has explicitly reflected the fact that C is not
closed under substitution was David Makinson 1966. His arguments at that time are
characteristic for the traditional views outlined in section 1. He assumes three conditions
which he presents to be more or less equivalent:
On these reasons Makinson (1966) concludes that C presents a naive view of modal logic
and should not be regarded as a proper logic - he argues that only S5 is a proper logic. I
wish to show now that:
I agree with a) because first, I think that proper logics should be independent from the
particular interpretations of nonlogical symbols, and second, I think that the distinction
between logical and non-logical symbols is well-founded (cf. Schurz 1999). That a) does not
imply b) becomes obvious if one distinguishes between syntactically isomorphic versus
merely homomorphic substitutions. The former ones replace primitives, i.e. atomic
statements (propositional variables) by other primitives in a unique way. They perform
merely a relettering of primitives. Syntactically isomorphic sentences are indeed indistin-
guishable by their syntactic form. However, syntactically homomorphic substitutions may
8
Thesis 1: Proper logics have to be closed under syntactically isomorphic substitutions, but
not necessarily under syntactically homomorphic substitutions.
Theorem 5: C is closed under all syntactically isomorphic and under all semantically
isomorphic substitutions.
So there is no reason not to regard C as a proper logic. In the contrary, C it is the only
complete proper logic of logical necessity and possibility, since it is the only proper modal
logic which contains ◊A for every satisfiable sentence A.
We finally mention a further interesting application of semantically isomorphic
substitution functions which shall be worked out in a separate paper. Each semantically
isomorphic substitution function corresponds to a semantical intertranslation between two
languages in the sense of Kanger (1968) and Schurz (1990). The important fact is here that
10
we have a bijection between the set of interpretations W and Ws, and hence also a bijection
between their power sets. Since each formula of the two intertranslatable (propositional)
languages L1 and L2 corresponds to an element of Ws or W, respectively, this bijection
gives a bijective intertranslation function between formulas. It is the fundamental property
of such intertranslations that they do not affect logical relationships: Γ | A iff t(Γ) |
t(A), where Γ ⊆L1, A∈L1, and t:L1→L2 is the bijective translation function. This fact
underscores the reasonableness of the requirement of logics to be closed under semantically
isomorphic substitutions.
What is the reason why homomorphic substitutions never destroy the validity of logical
theorems of classical propositional logic, predicate logic or Kripkean modal logic, although
they destroy the validity of certain logical theorems of Carnapian modal logic? The reason
has to do with the question of monotonic versus nonmonotonic rules, to which I turn now.
This point will also explain why Makinson's conditions (b) and (c) are not equivalent. Keep
in mind the distinction between a logic L abstractly defined as a set of semantically valid
statements, and an axiomatization of L in the usual sense of a set of axioms, rules, and a
definition of "proof". One usually assumes that the axiomatization is effective, which means
that the question whether a statement is an instance of an axiom, or whether a sequence of
statements is an instance of a rule, is decidable. Often, axioms and rules are formulated with
help of schematic letters. Whenever this is the case, they are schematic in the sense
explained in section 3, i.e., their instances are closed under substitution.
First a clarification about the word "nonmonotonic". Given an inference relation |, the
corresponding consequence operation C| is an operation on sets of formulas,
C|:Pow(L)→Pow(L). C|is called monotonic iff Γ ⊆∆ implies C|(Γ) ⊆C|(∆). This
corresponds to the use of this word in analysis, where a function f:Re→Re is called
monotonic wr.t. an ordering relation < over Re iff x < y implies f(x) < f(y). Hence an
inference relation is called monotonic iff the so-called law of weakening holds: Γ ⊆∆, Γ |
11
Both rules are schematic, i.e., the set of their instances are closed under homomorphic
substitution. But while the left rule is monotonic, the right rule is nonmonotonic. A logic is
called monotonically axiomatizable iff it has an axiomatization which consists only of
monotonic rules containing only derivability claims. All of the mentioned traditional logics
are monotonically axiomatizable in this sense. The relation to closure under substitution is
12
expressed in theorem 6.
Proof: By simple induction on the length of proofs in the object language. The proof breaks
down if the axiomatization contains nonmonotonic rules. For then, the induction hypothesis
that derivable formulas are closed under substitution does not apply to the non-derivability
assertion of one the premises of the non-monotonic rule. Q.E.D.
Theorem 6 tells us that every axiomatization of a logic which is not closed under
homomorphic substitutions must deviate from traditional axiomatizations in at least one of
the following two respects. First, if this axiomatization keeps all axioms and rules
schematic, then it must introduce nonmonotonic rules. Second: if it keeps the rules
monotonic, then it must introduce some non-schematic axioms.
The second strategy to axiomatize C exists already in the literature. The trick here is to
isolate that part of C which is not closed under substitution and represent this part solely by
axioms. Then monotonic rules will be sufficient for C. Such an axiomatization of C was
first suggested by Cocchiarella (1975), who calls C the system S13, and in a more refined
form by Hendry and Pokriefka (1985). Roughly speaking, Hendry and Pokriefka assume an
S5-system and add an infinite list of possibility axioms to it which are not closed under
substitution.
I think that this second technique is not especially natural. The nonmonotonic rule (R◊)
reflects the meaning of ◊ in C much more directly. Therefore, I think a schematic
axiomatization of C which uses nonmonotonic rules is more natural. In what follows I
present an axiomatization of an inference relation in C, |C, which is simply defined by
strict truth preservation in all possible worlds: Γ |C A iff ∀I∈W: if I |== Γ , then I |== A.
The inference relation |C is has mainly technical importance for axiomatizing the logic C:
C = {A∈Lprop: ∅|C A}. This inference relation is monotonic, simply because all in-
13
ference relations defined via strict truth preservation in a fixed class W of interpretations are
monotonic (for, if Γ1 ⊆ Γ2, then W(Γ2) ⊆ W(Γ1), where W(Γ) = {I∈W: I |==Γ}). How is
this possible in spite of the nonmonotonic ◊-rule? Because this inference relation is
irrelevant with respect to modal premises or modal conclusions, since modal formulas are
always logically determined. Hence, modal premises or modal conclusions can be related to
their conclusion partners, or premise partners, respectively, only via Verum ex Quodlibet or
Ex Falsum Quodlibet:
It follows that the relevant inferential part of |C is restricted to the nonmodal part of C
which is axiomatized by monotonic rules only.
One axiomatization technique with help of nonmonotonic rules which is also applied in a
family of nonmonotonic logics, the so-called defeasible logics, is to give a simultaneous
axiomatization of the theorems as well as the non-theorems of the logic. I speak here of a
simultaneous axiomatization. Let | A+ mean that A is derivable as a theorem, and | A-
mean A is derivable as a non-theorem. Then, a simultaneous axiomatization should satisfy
the requirement of negation-adequateness, which consists of the conjunction of the
following two requirements (cf. Schurz 1996):
Negation-correctness: | A- ⇒ |-/- A+
Negation-completeness: |-/- A+ ⇒ | A-
If we negate these equivalences and transform them by De Morgan rules, we obtain the
corresponding dual axiomatization of the non-theorems by rules of non-derivability:
Proof: Schematicity follows from the very formulation of the rules. Decidability holds,
because the rules are recursive (reduce complexity) in the right-to-left direction. So for each
sequent (i.e., for each derivability or nonderivability claim) which figures as proof-goal, the
search for a proof will stop after finitely many steps at a sequent containing only literals,
which can be decided by the Start rules. Correctness is shown by simple semantical means.
Completeness follows from the fact that the rules are semantically valid in both directions.
So, if a sequent is not derivable, its terminating sequent which contains only literals is not
an instance of a Start-rule and hence not valid, whence (by induction on the length of the
failed proof-attempt), also the original sequent can't be valid (this procedure is used in
tableaux methods). Q.E.D.
As we shall see in the next section, such a simultaneous axiomatization can only be
effective iff the underlying logic is decidable.
16
It is well known that the theorems of an effectively axiomatizable logic are recursively enu-
merable - one calls this property also semi-decidability. Semi-decidability does not imply
decidability. But in the logic of the kind discussed here, this distinction breaks down. First
of all, every logical system L with an interpretational semantics - e.g. propositional logic,
monadic or relational predicate logic, and even Kripkean modal logic - may be expanded
into a Carnapian modal logic by adding the two Carnapian modal operators and ◊, and
the two semantical interpretation clauses for and ◊. We call this logic the C-modal
expansion CL of L. Let L range over logic defined by an interpretational semantics. Then:
Theorem 9: For any logic of kind CL: CL is (correctly, completely and effectively)
axiomatizable if and only if CL is decidable.
Proof: The direction from right to left is obvious. The direction from left to right follows
from the well known fact that if both the theorems and the non-theorems of a logic are
recursively enumerable, then the logic is decidable. But every logic CL has the property that
||-/- A iff ||◊¬A. Thus, if CL were effectively axiomatized, then we could construct a
recursive enumeration of CL's non-theorems out of the given recursive enumeration of CL's
theorems, since for every nontheorem A of CL, ◊¬A will eventually appear in the
enumeration of theorems. Q.E.D.
It follows that the Carnapian first order modal logic cannot be effectively axiomatized -
because if it were, it would be decidable, and hence first order logic, which is part of it,
would be decidable. In other words, the undecidability of nonmodal first order logic implies
the non-axiomatizability of first order C. That first order logic is undecidable has been
disproved in 1936 by Church. It is interesting that in 1946, Carnap regarded the axioma-
tizability of first order C as an open question (p. 63). Since we can assume that Carnap was
aware of Church' results at that time, we may conjecture that he was not aware of this
17
connection.
Also the distinction between semantical correctness and completeness breaks down for
axiomatizations of Carnapian modal logics, if we assume that their axiomatization is
consistent and that the two schematic modal rules are admissible in them.
Theorem 10: For every consistent axiomatization of a logic of kind CL in which the rules
(R ) and (R◊) are admissible, the following holds: CL is semantically correct if and only if
it is semantically complete.
Proof: Assume CL correct and ||A. Then ||-/- ◊¬A. Correctness implies |-/- ◊¬A. Hence
| A by (R◊), so CL is complete. Assume CL complete and | A. Then | A by (R ),
hence |-/- ¬ A by consistency. So ||-/- ¬ A = ◊¬A by completeness. Hence ||A, so CL
is correct. Q.E.D.
It is easily proved that these results are generalizable to all simultaneously axiomatizable
logics which posses the property of negation adequateness.
This result is not only of interest for the mentioned defeasible nonmonotonic logics, but also
for the programming language PROLOG, since the negation by failure operator of PROLOG
has the negation adequacy property.
In 1999 and in a several previous papers, Georg Gottlob has investigated further properties
of the logic C. In particular, Gottlob suggests to define a nonmonotonic C-inference
relation, |∼∼C, in the following way: the C-conclusions of a nonmodal premise set T,
intuitively a theory, should be those nonmodal and modal sentences which are valid in the
space of all worlds which verify T. Let W(T) ={I : I |==T} and SW(T) be the system of
formulas defined in the sense of Hendry and Pokriefka (cf. section 3) - more precisely,
SW(T) = {A∈L: ∀I∈W(T), I |==A}, where the truth-clause for -formulas is relativized to
the set W(T): I |== A iff ∀I∈W(T): I |==A. Then:
A first important application of this consequence relation which Gottlob does not discuss is
a theory-relativized conception of nonlogical (e.g. physical) necessity and possibility: A is
necessary iff it follows from the given theory T, and A is possible iff its negation is
consistent with T. This leads to the following philosophical interpretations. Let T be an
'ideally complete' physical theory implying all laws of nature. Then:
The nonmonotonicity of ||∼∼C is explained by the fact that if T gets stronger, not only new
necessity statements are inferable, but also old possibility statements are no longer inferable.
For example:
References
Carnap, R. (1946): "Modality and Quantification", Journal of Symbolic Logic 11, 33 - 64.
Carnap, R. (1947): Meaning and Necessity, University of Chicago Press, Chicago.
Cocchiarella, N. B. (1975): "Logical Atomism, Nominalism, and Modal Logic", Synthese 31, 23 -
67.
Feys, R. (1963): "Carnap on Modalitis", in: P. A. Schilpp (ed.), The Philosophy of Rudolf Carnap,
LaSalle, Open Court, 283 - 297.
Gottlob, G. (1999): "Remarks on a Carnapian Extension of S5", in: J. Wolenski, E. Köhler (eds.),
Alfred Tarski and the Vienna Circle, Kluwer, Dordrecht, 243 - 259.
Hendry, H. E., Pokriefka, M. L. (1985): "Carnapian Extensions of S5", Journal of
Philosophical Logic 14, 111 - 128.
Kanger, S. (1968): "Equivalent Theories", Theoria 34, 1 - 16.
Konolige, K. (1994): "Autoepistemic Logic", in: Gabbay, D. M. et al. (eds.), Handbook of Logic in
Artificial Intelligence and Logic Programming, Vol. 3: Nonmonotonic Reasoning and Uncertain
Reasoning, Clarendon Press, Oxford.
Kripke, S. (1959): "A Completeness Theorem in Modal Logic", Journal of Symbolic Logic 24/1, 1 -
14.
Makinson, D. (1966): "How Meaningful are Modal Operators", Australasian Journal of Philosophy
44, 331 - 337.
Makinson, D. (1971): "Some Embedding Theorems for Modal Logic", Notre Dame Journal of
Formal Logic 12, 252 - 254.
Schurz, G. (1990): "Sprachabhängigkeit der Erkenntnis. Eine logische Analyse", in:
R.Wohlgenannt et al. (Hg.), Reflexion und Wirklichkeit, VWGÖ, Vienna, 309 - 327.
Schurz, G. (1996): "The Role of Negation in Nonmonotonic Logic and Defeasible
Reasoning", in: H. Wansing (ed.), Negation. A Notion in Focus, W. de Gruyter, Berlin,
197-231.
Schurz, G. (1997): The Is-Ought Problem. An Investigation in Philosophical Logic, Kluwer (Studia
20