Sl.fitch

To appear in Ejerhed & Lindström (eds.) Action, Language and Cognition (Proceedings of UmLLI-93, theUmeå Colloquium on Dynamic approaches in Logic, Language, and Information, Umeå 1993.) S I T U A T I O N S , T R U T H A N D K N O W A B I L I T Y - A Sit uat ion-T heor et ic Analysis of a Par ad ox by Fit ch*
Department of Philosophy and Philosophy of Science According to a non-realist conception, the notion of truth is epistemically constrained: the anti-realist accepts oneversion or another of the Knowability Principle ("Any true proposition is knowable"). There is, however, a well-known argument, first published by Frederic Fitch (1963), which seems to threaten the anti-realist position.
Starting out from seemingly innocuous assumptions, Fitch claims to prove: if there is some true proposition whichnobody knows to be true, then there is a true proposition which nobody can know to be true. Fitch's argument is simple. Suppose that q is a true proposition that is not known to be true. Consider then the proposition (p): q and it is not known that q. This is obviously a true proposition. And it cannot be known.
For suppose that p is known in some counterfactual situation s. Then, the following proposition is true in s: it isknown that (q and it is not known that q). Since knowledge distributes over conjunction, it would then also betrue in s that: it is known that q and it is known that it is not known that q. Since knowledge implies truth, itwould then follow that in s: it is known that q and it is not known that q. That is, the proposition (p) cannot beknown.
I shall argue that Fitch's argument is based on an equivocation: there is a subtle reference shift as we speak of the proposition: q and it is not known that q, with respect to various contexts. In each context of utterance c, a sen-tence of the form: q and it is not known that q, refers to a certain situation sc, which is provided by the context c, q is true in sc and it is not known of sc that q.
As is clear from Fitch's argument, it cannot be known in sc itself that this claim about sc is true. That is, it is not true in sc: it is known of sc that (q and it is not known of sc that q).
However, it might very well be known in another situation s that the claim (1) is true in sc. That is, it may be the true in s: it is known of sc that (q and it is not known of sc that q).
That is, in order to avoid Fitch's paradox, it is necessary to keep track of the situation in which a certain state ofknowledge obtains as well as the situation which that state is about.
Writing T(p, s) for the proposition p being true in the situation s and K(p, s) for it being known of the situation s that p is true in s, we interpret the Knowability Principle as follows: ∀p∀s(T(p, s) → T(NK(p, s), s)).
where @ is an individual constant (rigidly) designating the actual world and Aϕ ("Actually ϕ") is an abbreviationof T(ϕ, @). (KP) should be compared to Fitch's "paradoxical" principle: I am also going to compare my analysis of Fitch's paradox with the approaches of Edgington (1985) and Rabinowicz & Segerberg (1994) that formalize the Knowability Principle as: According to a realist conception, truth is a radically non-epistemic notion: there isno absurdity in the idea of a proposition being true although we may lack any capac-ity to verify it or to gather evidence in its favor. A proposition, that is graspable bythe mind, may be true without being knowable. For the anti-realist in contrast, thenotion of truth is epistemically constrained. Although there are many true proposi-tions that in fact are never known, the anti-realist finds the idea of an, in principle, unknowable proposition unintelligible. That is, the anti-realist accepts one version oranother of the following principle: The Knowability Principle: Any true proposition is knowable.
We leave it open, for the time being, whether the anti-realist also accepts the con-verse of this principle, namely, that any knowable proposition is true.
Consider, for example, various verificationist or pragmatist definitions of truth: - it is possible, in principle, to conclusively verify p - it would be justified to believe p at an ideal limit of inquiry - it would be justified to believe p under ideal epistemic circumstances (Putnam) - there exists a state of information S, which is in principle accessible, such that p is justified by S, and p would remain justified no matter how S might be enlarged upon or improved.
(Truth as superassertability, Crispin Wright) On all these conceptions, it is plausible to claim that the Knowability Principle holds:truth implies possibility in principle to know.
There is, however, a well-known argument, first published by Frederic Fitch (1963), which seems to threaten the anti-realist position. Starting out from seeminglyinnocuous assumptions about knowledge, truth and possibility, Fitch proves: If there is some true proposition which nobody knows (or has known or will know) to be true, then there is a true proposition which nobody can know to be true.
The argument is quite simple. Suppose that q is a true proposition that is not known to be true. Consider then the proposition: This is obviously a true proposition. And it cannot be known. For suppose that insome counterfactual situation: it is known that: q and it is not known that q.
Since knowledge distributes over conjunction, it would then also be true that: it is known that it is not known that q.
But since knowledge implies truth, it would follow from (4) that: contrary to (3). The imagined situation is therefore impossible. That is, the proposi-tion (1) cannot be known.
Suppose now that there are true propositions that are not known. It then follows from Fitch's argument that the Knowability Principle in the form: For any proposition p, if p is true, then it is possible in principle to know that p.
is false. Hence, if Fitch's argument is correct, we could infer from the KnowabilityPrinciple the absurd consequence that all true propositions are actually known.
Since, obviously all known propositions are true, we could also infer that truth andknowledge are coextensive notions. If we took the Knowability Principle to be a nec-essary truth, we would be forced to conclude that truth and knowledge are necessar-ily coextensive, i.e., that they have the same intension.
Some philosophers, among them W. D. Hart (1979), have viewed Fitch's argument as a conclusive refutation of anti-realism concerning truth. Others view the argu-ment as a valid refutation of the Knowability Principle, but think that there are formsof anti-realism or verificationism that are unaffected by the argument. In our view, itis quite implausible that it should be possible to establish Fitch's strong conclusion: For each agent who is not omniscient, there is a true proposition which the agent cannot know.
by purely logical means. We would, therefore, rather like to find some fault with thereasoning leading up to it.
In the following we are going to reformulate Fitch's paradoxical argument within a situation-theoretic framework in which propositions can take the truth-values Trueor False relative to (possible) situations. Due to the partial nature of situations, aproposition p may also lack a truth-value relative to a situation s. Or to be moreprecise, neither p nor its negation ¬p may be true relative to s. We notice that admit-ting truth-value gaps is one way of blocking Fitch's argument. This is not our solu-tion to the paradox, however, since counterintuitive consequences are still forthcom-ing. But the groundwork for a solution is laid.
According to our preferred analysis, the argument is based on an equivocation: there is a subtle reference shift as we speak of the proposition: q and it is not knownthat q, with respect to various contexts. In each context of utterance c, a sentence ofthe form: refers to a certain situation sc, which is provided by the context c, and makes the fol-lowing claim about sc: As we shall see, it cannot be known in sc itself that this claim about sc is true. That is,it is not possible to have: true in sc: it is known of sc that: (q and it is not known of sc that q).
However, it might very well be known in another situation s that the claim (1) is truein sc. That is, it may be the case for some situation s ≠ sc: true in s: it is known of sc that: (q and it is not known of sc that q).
That is, in order to avoid Fitch's paradox, it is necessary to keep track of the situationin which a certain state of knowledge obtains as well as the situation referred to bythat state.
Our analysis has certain points in common with that of Dorothy Edgington (1985).
According to Edgington, one needs to distinguish between the situation x in which acertain proposition is true and the situation y in which it is known about x that p istrue in it.1 To capture this idea she proposes the following formalization of theKnowability Principle: where A is the actuality operator. In our view, however, Edgington's formalization isinadequate. It fails to distinguish between the following two principles: if actually ϕ, then it is possibly known (de dicto) that actually ϕ.
if actually ϕ, then it is possible that it is known (de re) of the actual situa- Edgington's formalization is adequate to capture (1). But it fails to capture (2), whichin our opinion is the more reasonable interpretation of the Knowability Principle. Tocapture (2), we would instead need something like: where '@' is a constant that rigidly refers to the actual situation and K(ϕ, @) meansthat it is known of @ that ϕ. By the actual situation we here simply mean a desig-nated situation supplied by context. These ideas, having been indicated here, will bedeveloped in detail below.
Let us now take a closer look at Fitch's argument, in order to see which assumptionsare involved. The argument is usually formulated as a formal derivation in a propo-sitional logic with additional intensional operators N and K for possibility andknowledge, respectively. Instead of this "logical" format, we shall choose a moremathematical one for presenting the argument. Our goal is to bring out in the opensuch assumptions that are hidden in the standard presentation of the argument.
We consider a framework with the following ingredients: A non-empty set Sit of (possible) situations. A non-empty set Prop of propositions.
Three primitive operations on Prop, two unary ones, ¬ (negation) and K (the knowledge operation), and a binary one, ∧ (conjunction).
A binary relation , between situations and propositions. We read x , p as: the proposition p is true in the situation x, or alternatively as: x sup- A binary relation R between possible situations. Intuitively, xRy means that the situation y is possible relative to the situation x.
We assume that the operations ¬ and ∧ satisfy the following weak semantic prin- x , p ∧ q iff x , p and x , q.
And, for the knowledge operation, we assume: if x , K(p ∧ q), then x , K(p) and x , K(q).
Lemma 2.1. There is no situation x and proposition p such that K(p ∧ ¬K(p)) is true
in x.
if x , p, then ∃y[xRy and y , K(p)].
That is, if p is true in x, then there is a situation y that is possible relative to x suchthat p is known in y.
If we add to the above framework a propositional operation N with the truth- then we may rewrite the Knowability Principle in the following more familiar form: Theorem 2.2. The Knowability Principle implies that there is no situation x and
proposition p such that:
The Knowability Principle, then yields that for some situation y such that xRy, Let us say that a situation x (logically) complete, i.e., if it satisfies: We say that the agent is omniscient in x, if Theorem 2.3. For any complete situation x, if x satisfies the Knowability Principle,
i.e., if
Proof: Suppose that x is a complete situation satisfying the Knowability Principle.
Suppose also that the agent is not omniscient in x. Then for some proposition p, Since x is complete, not x , K(p) implies that x , ¬K(p). Hence, there is a proposi-tion p such that x , p ∧ ¬K(p). But this is contrary to Theorem 2.
Corollary 2.4. If in a complete situation x the agent is not omniscient, then there ex-
ists a proposition p such that: x , p ∧ ¬NK(p).
Theorem 3 and Corollary 4 can be proved only for situations that are complete - not for partial situations. Let x be a partial situation and suppose that the agent is not omniscient in x. Then there is a proposition p such that x , p and not: x , K(p).
However, in the absence of completeness, we cannot infer: x , ¬K(p). Hence, wedon't get: x , p ∧ ¬K(p) either. So the Knowability Principle cannot be applied to theproposition p ∧ ¬K(p). It does not follow that there exists a true proposition whichthe agent cannot know.
Now, if we assume that 'truth' means 'truth in the actual world' and that the actual world is a designated complete situation, we get "Fitch's Theorem":2 For each agent who is not omniscient, there is a true proposition which the agent cannot know.
Fitch's Theorem can be avoided by denying the existence of a complete actual sit- uation. In a given context, the actual situation is the - real or imagined - situationthat we refer to. In general, there are good reasons not to suppose this situation to becomplete. Fitch's theorem might be taken as one such reason.
Considering Theorem 3 and Corollary 4, we may even want to deny the existence of complete possible situations altogether. That is, one way of avoiding Fitch'sKnowability Paradox is to deny the existence of complete situations: possible situa-tions are always partial.
However, it seems that partiality does not solve the problem altogether. Remem- The Knowability Principle implies that there is no situation x and no proposi- tion p such that p ∧ ¬K(p) is true in x.
But a situation x in which p ∧ ¬K(p) is true seems clearly possible. Consider, for in-stance, the situation in my room right now. Suppose it is true that I have an evennumber of books in my bookcase. It is also true in this situation that I know that thenumber of books is either odd or even. I also know that there are fewer than twohundred books. Since I haven't counted the books, it is also true that I don't knowthat the number of books is even. Hence, it is true in this situation: that the numberof books is even and I don't know that it is. So it seems, after all, that we should haveto abandon the Knowability Principle. Before doing so, however, we shall consideranother possible reaction to Fitch's Paradox.
In order to get what we think is a satisfactory solution to Fitch's paradox, we shallmodify the framework. So far, we have treated knowledge as an operation on propo-sitions. In such a framework, we can express knowledge claims of the followingkind: That is, we can say that a proposition is known (or not known) in a given situation.
However, we cannot express the claim that it is known in one situation x, about an-other situation y, that p holds in y. We might want to say, for instance: Today, John knows that there was an even number of books in his bookcase, yesterday, and that he didn't know it then.
Here, we have two situations, today (T) and yesterday (Y), and a proposition p suchthat: true today: it is known of yesterday that: (q and it is not known of yes- true in situation x: it is known of the situation y that p holds in y, Since knowledge distributes over conjunction, we may infer from (2): But, knowledge implies truth, so we have: if T, K(¬K(q, Y), Y), then Y , ¬K(q, Y).
But since T and Y are different situations, we don't get a contradiction. That is, in or-der to avoid Fitch's paradox, it is necessary to keep track both of the situation wherea given knowledge state obtains and the situation which that state is about.
The idea behind this solution is the following. Rather than being an intrinsic property of a proposition, truth is a relative notion: one and the same propositionmay be true relative to one situation and fail to be true relative to another. When wesay that a proposition is true, simpliciter, we don't mean that it is true relative to one situation or another but that it is true relative to a particular situation which is pro-vided by context. The concept of truth is an indexical notion.3 However, knowledge involves truth. Knowledge is always knowledge of a pro- position being true in a situation. Therefore, the proper logical form of a knowledgeclaim is not K(p), but rather K(p, x). That is, it is known of the situation x that pholds in it. We may also express this as: it is known true of x that p. It follows thatknowledge should not be represented as a unary operation on propositions, butrather as an function that takes a situation and a proposition as arguments and yieldsa proposition as value. For a given knowledge claim, we have to keep track of boththe situation in which the claim is supposed to be true and the situation that it isabout. The notation: accomplishes just that. It says that in the situation x it is known of the situation ythat p holds in it. In many contexts, x and y are the same situation. But this is farfrom always the case.
Hence, we modify our framework by letting knowledge be represented by a func- tion K that takes propositions and situations as arguments and yields propositions asvalues. We assume that K satisfies the following conditions: if x , K(p ∧ q, y), then x , K(p, y) and x , K(q, y).
The Knowability Principle now takes the following form: if x , p, then ∃y[xRy and y , K(p, x)].
That is, if p is true in the situation x, then there is a possible situation y which is pos-sible relative to x such that in y it is known true of x that p.
Expressed in terms of N, the Knowability Principle becomes: i.e., if p is true in the situation x, then it is true in x that possibly it is known true of xthat p.
The latter formulation of the principle may be preferred to the former for the rea- son that it avoids explicit quantification over a totality that contains not only actuallyexisting situations but also merely possible ones.
Let us see what happens to Fitch's paradox after this modification of our frame- Lemma 3.1. There is no situation x and proposition p such that:
Proof: The proof is exactly like the one for Lemma 1.
However, the Knowability Principle does not exclude situations x such that: From (1), the Knowability Principle implies that there is a situation y such that xRyand As we have seen, from this we can only infer: which would yield a contradiction only if x and y were the same situation.
Now, what was it that went wrong in the derivation of Fitch's Paradox? We Here, we are obviously speaking of some situation x that is supplied by the context.
That is, the claim made is: From (1) we inferred, using the Knowability Principle that for some counterfactualsituation y: it is known that: q and it is not known that q.
However, the natural interpretation of (3) is: it is known of y that: q and it is not known of y that q, it is known of x that: q and it is not known of x that q.
Hence, by not keeping track of the situation referred to in (1), we infer from it thatthere is a possible situation y satisfying: (4) but not (5) is impossible. However, the Knowability Principle - once it is prop-erly formulated - yields (5) but not (4). According to our diagnosis then, Fitch'sParadox is based on an equivocation.
The following argument against the new version of the Knowability Principle is based on suggestions made by Wlodek Rabinowicz. It is natural to think that the collection Sit of all situations comes equipped with a part-whole relation ˙ that satis-fies the requirements of a partial ordering. Intuitively, x ˙ y means that x is a part ofy. Possible worlds are presumably maximally inclusive situations. Hence, we de-fine: x is a possible world iff ∀y(x ˙ y → x = y).
Now, the following principle seems plausible: if x , K(p, y), then ∃z(x ˙ z and y ˙ z).
if w is a possible world and w , K(p, x), then x ˙ w.
if w is a possible world and x , K(p, w), then x ˙ w.
if w, w' are possible worlds, then not: w , K(p, w').
Suppose now that p is a proposition that is true in the actual world w0. According tothe Knowability Principle, there is some possible situation x such that: The principle (R), then yields that x ˙ w0. We have proved that every actually trueproposition is known in some subsituation of the actual world. However, this con-clusion is absurd. Hence, if we accept (R), we must give up the KnowabilityPrinciple - or so it seems. There is, however, another alternative: we may insteadgive up the assumption that there are maximally inclusive situations, or possibleworlds.
Now, how is it possible in one situation to have knowledge of another situation.
Let me just hint at an answer. One way of obtaining knowledge is by perception.
The agent, in one situation x (the perceptual situation), may gain knowledge of an-other situation y (the scene observed) simply by observing that situation. By observ-ing a situation y, I might even learn that a proposition p holds in y and that it is notknown in y that p. For example, by observing a card game I may learn that one ofthe players, John say, has the best hand and that none of the participants of the gameknows this fact. And even if there is no actual outside observer of the card game, it isstill possible that such an observer could have existed. This is so, as long as we as-sume that all situations are partial and possible to extend.
Dorothy Edgington (1985) has argued that a solution to Fitch's Paradox can be givenin terms of a modal actuality operator A. She considers a propositional languagewith the usual connectives, modal operators M and N, a knowledge operator K and the actuality operator. According to her proposal, the Knowability Principle shouldbe formulated as: How does this proposal compare to our own? The answer to this question is not immediately obvious, since Edgington does not provide her object language with anexplicit semantics. In order to remedy this situation, we shall present a formal lan-guage L which is an extension of Edgington's modal language and provide L with amodel-theoretic semantics. Within this semantic framework, we shall then compareour resolution of Fitch's paradox to that of Edgington.
We are also going to compare our treatment of the paradox to one that has been recently proposed by Rabinowicz and Segerberg (1994).
The syntax of L. The formal language L has symbols of the following kinds: A denumerable sequence s1, s2,. of situation variables.
A denumerable sequence P1, P2, of proposition variables.
The sentential connectives ¬, ∧, ∨, → Punctuation symbols: parentheses and the comma sign.
The well-formed expressions of L are of two kinds: situation terms and formulas.
A situation term is either a situation variable or a situation constant. We use the let- ters σ, τ, with or without indices, as syntactic variables for situation terms.
The set of formulas of L is defined as the smallest set satisfying the following If ϕ and ψ are formulas, then ¬ϕ, (ϕ ∧ ψ), (ϕ ∨ ψ), (ϕ → ψ), Mϕ and Nϕ If σ is a situation term and ϕ is a formula, then K(ϕ, σ) and T(ϕ, σ) are formulas. The intended readings of K(ϕ, σ) and T(ϕ, σ) are: it is known ofσ that ϕ; and: it is true in σ that ϕ, respectively.
The semantics for L. We are now going to provide the language L with a model-the- oretic semantics. A semantic interpretation should assign to every well-formed ex-pression of L an appropriate semantic value, which we, using David Kaplan's (1989)terminology, refer to as its content. The content of a situation term is a function that assigns a denotation to the term relative to each situation. The content of a formula isthe proposition that it expresses.
However, some expressions - the indexical ones - are assigned a content only relative to a context of utterance. It follows that any well-formed expression thatcontains indexicals, is assigned a content only relative to a context of utterance. Asemantic interpretation assigns to such an expression not a determinate content butrather what Kaplan calls a character, i.e., a function from contexts to contents.
From an abstract point of view, a semantic evaluation for a language containing indexical expressions, can be viewed as a three-step process: first, each expression isassigned a character, i.e., a function from contexts to contents. (semantic interpreta-tion). We use the notation: œE", for the character of an expression E. Next, the char-acter together with the context of utterance c determines a content, œE"c (contextualinterpretation). Finally, the content œE"c determines the denotation (or extension) ofE, taken in the context c, relative to various possible situations x. This last step wemight call evaluation. Situations have two distinct roles in the semantics. First, they play the role of con- text situations, i.e., situations relative to which the indexical expressions are inter-preted. Secondly, situations play the role of described situation, i.e., situations relativeto which propositions are evaluated as true or false. L contains only one primitiveindexical expression, namely, the situation constant @ that functions as a (rigid) des-ignator that always refers to the context situation. The content of @, relative to a con-text situation c, is the constant function œ@"c which for every situation x assigns to @the situation c as its denotation œ@"cx. The constant @ should be compared to thenon-indexical situation constant # which, independently of the context situation,refers to the described situation. The content of #, relative to a context situation c, isthe function œ#"c which for every situation x assigns to # the described situation xitself as its denotation œ#"cx.
When developing the semantics for L, there are several options to choose from.
First, we need to decide on a formal representation of propositions. Should we thinkof propositions as structured sentence-like entities, or should we identify proposi-tions that are true in the same situations? Here, we have opted for the latter, lessfine-grained alternative, even if the former presumably is to be preferred in epistemiclogic.
Hence, we represent propositions as sets of situations. This choice does not how- ever automatically commit us to classical propositional logic. That is, we shall notassume in general that the set Prop of all propositions forms a Boolean algebra. In-stead, we let Prop be closed under unions and intersections of arbitrary sets, i.e., thepropositions form a complete set-lattice with Sit as its universal set.4 It is a well-known fact that in any complete lattice it is possible to define the opera- tions → and ¬ of a Heyting algebra.5 For any propositions p, q, p → q is defined asthe logically weakest proposition which together with p implies q. And, ¬p is the de-fined as the logically weakest proposition which is incompatible with p. If we wantto, we can make the logic classical by assuming that Prop is closed under set-theo-retic complementation. ¬p will then be the complement of p.
The epistemic operator K is interpreted in terms of a ternary alternativeness rela- tion E between situations. The intuitive idea behind the semantic clause for K(ϕ, σ) isthe following: It is true in x: K(p, y) iff p is true in all situations z that are compatible with everything the agent knows in x about y.
Writing xEyz for: z is compatible with everything the agent knows in x about y, weget: It is true in x: K(p, y) iff ∀z(if xEyz, then p is true in z).
Now, after having explained the general ideas, it is time to get down to the techni- cal details. By a (semantic) interpretation for L we understand a structure I = <Sit,Prop, R, E, V> such that: Sit is a non-empty set, the members of which are called situations.
Prop is a complete set-lattice with Sit as its universal set, i.e., it is a fam- ily of subsets of Sit satisfying the following conditions: Prop is closed under arbitrary unions and intersections; that is, for any set X ⊆ Prop, ∪X ∈ Prop and ∩X ∈ Prop; both ∅ and Sit are members of Prop.
The members of P are called the propositions of I. We say that the proposition p is true in the situation x, if x ∈ p.
R is a binary relation in Sit. We assume that R is reflexive in Sit, i.e., for all x in Sit, xRx. Intuitively, xRy means that y is possible relative to x.
E is a ternary relation in Sit. Intuitively, yExz means that the situation zis compatible with everything that is known in the situation y about the situation x. If nothing is known in y about x, then yExz obtains for ev-ery z. We assume that for every y and x, yExx. That is, for any y, x isalways compatible with what is known of x in y.
If p ∈ Prop, then Mp =df {x: ∀y(if xRy, then y ∈ p)} and Np =df {x:∃y(xRy and y ∈ p)} are also members of Prop.
If p ∈ Prop, then K(p, x) = df {y: ∀z(if yExz, then z ∈ p)} belongs to Prop.
V is a valuation function that assigns an appropriate semantic value to every variable in L. That is, if s is a situation variable, then V(s) ∈ Sit; and if P is a proposition variable, then V(P) ∈ Prop.
For any interpretation I, we define the notions of relative pseudo-complement → and pseudo-complement ¬. These are algebraic (or set-theoretic) counterparts of thenotions of intuitionistic implication and intuitionistic negation, respectively.
For any p, q ∈ Prop, the relative pseudo-complement of p with respect to q is the x ∈ p → q iff ∃r[x ∈ r and p ∩ r ⊆ q].
That is, p → q is true in a situation x if, and only if, there exists a proposition r suchthat (i) r is true in x; and (ii) p ∩ r entails q.
The operation → satisfies the conditions: for any r, if p ∩ r ⊆ q, then r ⊆ p → q.
In other words, p → q is the weakest proposition which in conjunction with p entailsq.
In terms of →, we define for each proposition p its pseudo-complement ¬p: We also have, ¬p = ∪{q: p ∩ q = ∅}. Hence, pseudo-complements satisfy the condi-tions: for any q, if p ∩ q = ∅, then q ⊆ ¬p.
That is, ¬p is the weakest proposition which is incompatible with p.
The algebra <Prop, ∪, ∩, →, ¬, ∅, Sit>, where ∪, ∩ are the binary set-theoretic op- erations of union and intersection, is a Heyting set-algebra. It is a Boolean set-algebra, ifProp is closed under set-theoretic complementation, in which case: i.e., for any situation x, x ∈ ¬p iff x ∉ p.
We say that I = <Sit, Prop, R, E, V> is a classical interpretation, if Prop is a closed under complements, i.e., if it is a complete set-algebra. A standard interpretation is aninterpretation, where Prop = ℘(Sit). That is, a standard interpretation is an interpre-tation in which every subset of Sit represents a proposition. Such interpretations can be written on the form I = <Sit, R, E, V>. Standard interpretations are, of course,classical.
Suppose that an interpretation I = <Sit, Prop, R, E, V> is given. We define for ev- ery situation term τ in L, and every c and x in Sit, the denotation of τ, when consideredin the context c, with respect to the described situation x (in symbols, œτ "I, c τ is a situation variable, then œτ"I , c Next, we define, for each context c ∈ Sit and each formula ϕ of L, the content œϕ"I, c of ϕ in the context c (relative to the interpretation I). Intuitively, œϕ"I, c is theproposition expressed by ϕ in the context situation c. It is easy to see that œϕ"I, c isalways a member of Prop.
If P is a proposition variable, then œP"I , c = V(P).
œ¬ϕ "I,c = ¬œϕ"I , c.
œϕ ∧ ψ "I, c = œϕ"I, c ∩ œψ"I , c.
œϕ ∨ ψ "I, c = œϕ"I, c ∪ œψ"I , c.
œϕ → ψ"I , c = œϕ"I, c → œψ"I , c.
œMϕ "I, c = M(œϕ"I , c) = {x: ∀y(if xRy, then y ∈ œϕ"I , c)}.
œNϕ "I, c = N(œϕ"I , c) = {x: ∃y(xRy and y ∈ œϕ"I , c)}.
œK( ϕ, τ)"I, c = {x: ∀y∀z(if y = œτ"I , c x and xEyz, then z ∈ œϕ"I , c)}.
œT(ϕ , τ)"I, c = {x: ∀y(if y = œτ"I , c x , then y ∈ œϕ"I , c)}.
We say that a formula ϕ, when considered in the context c (and relative to the in- terpretation I), is true with respect to the situation x (in symbols, I ,cx ϕ) if, and only if, x ∈ œϕ"I , c. Hence, we have:6 If P is a proposition variable, then ,cx P iff x ∈ V(P).
,cx ¬ϕ iff ∃p(x ∈ p and p ∩ œϕ"c = ∅).
,cx (ϕ ∧ ψ) iff ,cx ϕ and ,cx ψ.
,cx (ϕ ∨ ψ) iff ,cx ϕ or ,cx ψ.
,cx (ϕ → ψ) iff ∃p(x ∈ p and p ∩ œϕ "c ⊆ œψ"c).
,cx Mϕ iff ∀y(if xRy, then ,cy ϕ).
,cx Nϕ iff ∃y(xRy and ,cy ϕ).
,cx K(ϕ, τ) iff ∀y∀z(if y = œτ"I , c ,cx T(ϕ, τ) iff ∀y(if y = œτ"I , c If the interpretation is classical, then we can simplify (ii) and (v) to: ,cx (ϕ → ψ) iff not(,cx ϕ and not ,cx ψ).
The formula ϕ, when interpreted in I, is true in the context c if and only if ,cc ϕ. Inother words, ϕ is true in the context c if and only if c ∈ œϕ"I, c, i.e., if and only if theproposition expressed by ϕ in c is true in the situation c itself.
By a model for L, we understand an ordered pair M = <I, c> of an interpretation I and a situation c of I. We say that a formula ϕ is true in the model M (in symbols,M , ϕ) if and only if I ,cc ϕ. That is, ϕ is true in the model M = <I, c> if and only if ϕ,when interpreted in I, is true in the context c. We also say that M satisfies ϕ, if M , ϕ.
The formula ϕ entails the formula ψ in the model M = <I, c>, iff œϕ"I, c ⊆ œψ"I, c. Aset of formulas Γ entails a formula ϕ in the model M = <I, c>, iff ∩{œψ "I, c: ψ ∈ Γ} ⊆œϕ"I , c.
Lemma 4.1. For all formulas ϕ, ψ, χ and every model M = <I, c>:
ϕ ∧ ψ entails χ in M iff ϕ entails ψ → χ in M.
ϕ entails χ in M iff œϕ → ψ"I, c = Sit.
Let Κ be a class of models. We say that a formula is (weakly) K-valid, if it is true in every model in K. A formula ϕ is a (weak) K-consequence of a set of formulas Γ (insymbols, Γ ,K ϕ), iff for any model M in K, if all the formulas in Γ are true in M, thenϕ is true in M.
We say that ϕ is strongly K-valid if for every model M = <I, c> in K, œϕ"I, c = Sit. A formula ϕ is a strong K-consequence of a set of formulas Γ iff for any model M in K, Γentails ϕ in the model M.
We define (logical) validity and (logical) consequence as K-validity and K-conse- quence, where K is the set of all models. We speak of classical validity [classical conse-quence] and standard validity [standard consequence], when K is the set of all classicalmodels and all standard models, respectively. The corresponding notions with theprefix 'strong' are defined analogously. Of course, the strong notions imply the cor-responding weak notions (for instance, if ϕ is strongly valid, then it is valid). Wemay also speak of K-validity, K-consequence etc., where K is a class of interpretations.
This just means validity, consequence etc. relative to the class of all models M = <I, c>in which I ∈ K.
Lemma 4.2. Let K be any class of models for L. Then, we can define the notion of
(weak) K-validity in terms of strong K-validity:
ϕ is weakly K-valid iff Aϕ is strongly K-valid.
Moreover, the notion of (weak) K-consequence is definable in terms of strong K-con-sequence: Γ ,K ϕ iff Aϕ is a strong K-consequence of {Aψ: ψ ∈ Γ}.
Proof: ϕ is weakly K-valid iff for any model M = <I, c> in K, M ,cc ϕ iff for any model M = <I, c> in K and any situation x in I, M ,cx Aϕ iff ϕ is strongly K-valid. Weomit the proof of (ii).
We introduce the following metalinguistic abbreviations: Kϕ =df K(ϕ, #)K@ϕ =df K(ϕ, @)Tϕ =df T(ϕ, #)Aϕ =df T(ϕ, @).
It is easily verified that these defined operators have the following truth-clauses: ,cx Kϕ iff ∀y(if xExy, then ,cy ϕ) ,cx K@ϕ iff ∀y(if xEcy, then ,cy ϕ) Consider the operators K and K@. Relative to a given context, Kϕ is true in a situ- ation x if and only if ϕ is true in all situations y that are compatible with what isknown in x about x itself. K@ϕ, on the other hand, is true in a situation x if and only ifϕ is true in all situations y that are compatible with what is known in x about the con-text situation. Kϕ and K@ϕ may be read: it is known of the actual situation that ϕ, The difference between T and A is analogous to that between K and K@. Tϕ can be read simply as: it is true that ϕ. A is the actuality operator: relative to a given contextsituation c, Aϕ is true in a situation x iff ϕ is true in the context situation c (the "ac-tual" situation).
There is a subtle, but important, distinction between K@ϕ and KAϕ. The informal readings of the two constructions are different: It is known of the actual situation c that ϕ is true in it.
The proposition: Actually ϕ, is known to be true.
Intuitively, neither condition entails the other. Suppose that in the situation x it isknown of the situation c that ϕ is true in it. From this it does not follow that the proposition Actually ϕ, needs to be known in x. The agent need not know in x that cis the actual situation. Conversely, suppose that it is known that ϕ is true in the ac-tual situation, whichever situation that may be. That is, the agent knows (de dicto)that Actually ϕ. From this it does not follow that the agent knows (de re) of the situa-tion that happens to be the actual one that ϕ holds in it. The distinction between K@ϕand KAϕ is important when we, in the next section, discuss Edgington's proposal fora resolution of Fitch's paradox.
If we look to our formal semantics, we see that the K@ϕ and KAϕ are, indeed, as- ,cx K@ϕ iff ∀y(if xEcy, then ,cy ϕ) ,cx KAϕ iff ∀y(if xExy, then ,cy Aϕ) iff ∀y(if xExy, then ,cc ϕ) iff ,cc ϕ, However, the semantics for L has some unintuitive features.
for any model M, if M , ϕ, then M , MKAϕ (and, M , KAϕ).
for any classical model M, M , ϕ → MKAϕ, i.e., every instance of the schema ϕ → MKAϕ is classically valid. The same holds, of course, for:ϕ → KAϕ.
The schemata Aϕ → MKAϕ and Aϕ → KAϕ are strongly valid.
The schema K@ϕ → KAϕ is strongly valid.
Proof. (iii) Consider any model M = <I, c> and suppose that M , ϕ. This means that ,cc ϕ. Hence, by (ii) above, for any situation x, ,cx KAϕ. It follows that, for any xsuch that cRx, ,cx KAϕ. Hence, ,cc MKAϕ. That is, M , MKAϕ.
(iv) If the model is classical, then we have: ,cx ϕ → ψ iff (if ,cx ϕ, then ,cx ϕ).
(v) We prove that Aϕ → MKAϕ is strongly valid. Suppose that for some model M = <I, c> and some situation x in I, ,cx Aϕ. Then, ,cc ϕ. Hence, by (ii), for any y, ,cy KAϕ.
It follows that ,cx MKAϕ. We have shown that Aϕ entails MKAϕ in M. By lemma 4.1,it follows that œA ϕ → MKAϕ"I, c = Sit.
(vi) Consider any model M = <I, c>. Suppose that for any x ∈ Sit, ,cx K@ϕ. Then, ∀y(if xEcy, then ,cy ϕ). Since xEcc, it follows that ,cc ϕ. But, by (ii), this implies ,cx KAϕ.
Hence, œK@ϕ"c ⊆ œKAϕ"c. It follows that œK@ϕ → KAϕ"c = Sit. Hence, K@ϕ →KAϕ is strongly valid.
Now, Rabinowicz and Segerberg (1994), p. 7-8, has claimed that something must be seriously wrong with a semantic framework that yields results like (iii) - (v). Inparticular, the fact that, in any model, Αϕ entails KAϕ is clearly unintuitive. And as we have already pointed out, neither does it seem right that K@ϕ should entail KAϕ.
Rabinowicz and Segerberg write: Surely, something is seriously wrong. The standard truth-conditions for the actuality operator and the epistemic operator do not mix: when we try to combine them, they yield absurdities.
What are the semantic assumptions about K that are responsible for the unintu- itive consequences?7 Let us make an intuitive distinction between the content œϕ"cof a sentence ϕ in a context c and its intension in the context in question. The contentis the proposition expressed by the sentence, while the intension is the set [ϕ]c of allsituations x such that ,cx ϕ. Consider now the following features of our semantics: K, like any other sentential operator in L, is an operator on content: for every interpretation I, there exists a function F such that for every con- This means that the proposition that Kϕ expresses, when it is considered in the con-text c, is functionally determined by the proposition that the embedded sentence ϕexpresses, relative to the same context c.
Content determines intension, i.e., if two formulas ϕ and ψ have the same content with respect to a given context c (and interpretation I), then they have the same intension with respect to c.
Intension determines content, i.e., if two formulas ϕ and ψ have the same intension with respect to a given context c, then they also have the same Conditions (2) and (3) makes it possible to identify the proposition expressed by a sentence in a context with its intension relative to that context. However, in conjunc-tion with (1) these conditions also imply that the operator K satisfies: For any class X of models, if ϕ ↔ ψ is strongly X-valid, then Kϕ ↔ Kψ is However, our semantics for the actuality operator A yields: For any class X of models that satisfy ϕ, Aϕ ↔ Τ is strongly X-valid For any class X of models that satisfy ϕ, KΤ ↔ KAϕ is strongly X-valid.
Αϕ → (KΤ ↔ KAϕ) is strongly X-valid If KΤ is strongly X-valid, we may conclude from (6) that Αϕ → KAϕ is strongly X- valid. This in turn yields the rest of the conditions (iii) - (vi).
Since we don't want to abandon the principle that content determines intension, it seems that we should either have to live with (iii) - (vi) or give up one of the assump-tions (1) and (3). However, abandoning the latter condition seems to be a more natu-ral and less radical step than introducing operators that violate principle (1).
It appears to be nothing wrong with principles like: as long as we give Kϕ and K@ϕ the respective readings: It is strictly implied by what is known that ϕ It is strictly implied by what is known about the actual situation @ that ϕ.
Suppose, namely, that Aϕ, when considered in the context c, is true in the situation x. Then, Aϕ, when considered in c, is true in every situation y. Thus, the propositionœAϕ"c is universally true.8 Then, of course, œAϕ"c is strictly implied by the set ofall propositions that are known by the agent in the situation x. Hence, given theabove reading of K, the sentence KAϕ, when considered in the context c, is true in thesituation x. We have shown that, for any situation x, if œAϕ"c is true in x, thenœKAϕ"c is also true in x. Thus, Aϕ → KAϕ is strictly valid.
Suppose now that K@ϕ, when considered in the context c, is true in situation x.
Then, œϕ"c must be true in the actual situation c. Hence, œAϕ"c is the universallytrue proposition. Again it follows that KAϕ, when considered in the context c, is truein the situation x. Hence, K@ϕ → KAϕ is strictly valid.
However, if we give the formulas Kϕ and K@ϕ their intended readings: "It is known that ϕ" and "It is known of the actual world that ϕ", then the above schemata are intu-itively valid, only if we assume that the agent under consideration is logically omni-scient. The reason why logical omniscience fails is presumably that the propositionsthat serves as objects of propositional attitudes are more finely individuated thanCarnapian intensions. This indicates that it is the assumption (3) rather than (1) thatshould be abandoned.
Let us now see what happens to Fitch's paradox, when we formulate it with respectto the formal language L. Let us understand by a Fitch-model any model M for Lwhich satisfies the principle: (Weak F-Knowability) If M , ϕ, then M , NKϕ.
Observe that this principle is implied by but does not imply: For classical Fitch-models, the two principles are, of course, equivalent.
Theorem 6.
(a) For any Fitch-model M and any formula ϕ: (b) For classical Fitch-models, knowledge collapses into truth, i.e., If M , ϕ, then M , Kϕ.
Dorothy Edgington (1985) has proposed the following formalization of the Know- Lemma 7. Every model for L satisfies (E).
In order to discuss our own analysis of the paradox we introduce a second-order extension L2 of the language L. We let L2 be the language obtained from L by addinguniversal and existential quantifiers that range over Sit and Prop. The semantics forL2 is obtained from that of L by adding semantic clauses for the quantifiers: I ,cx ∀sϕ [I ,cx ∀Pϕ] iff for any interpretation J which is exactly like I except forthe value that it assigns to the situation variable s [the proposition variable P], I ,cx ∃sϕ [I ,cx ∃Pϕ] iff for some interpretation J which is exactly like I except forthe value that it assigns to the situation variable s [the proposition variable P], In L2 we formalize our version of the Knowability Principle as: ∀P∀s[T(P, s) → T(NK(P, s), s)].
According to (KP), if the proposition P is true in a situation s, then it possible in s toknow of s that P is true there. By a knowability model, we understand a model that sat-isfies this principle.
(KP) does not logically imply Fitch's paradoxical principle: which written in primitive notation becomes: ∀P∀s(T(p, s) → T(NK(p, #), s)).
At first sight one might think that (KP) would imply: which is equivalent to the following version of Fitch's principle: However, (F#) is not a logical consequence of (KP). The reason is that # is not a rigiddesignator: it denotes different situations relative to different described situations. Inthe context 'T(P,.)', # functions as a name for the actual situation. But this is nottrue of the modal context 'NK(P, #)', in which # does not have a purely referential oc-currence. We might say that the occurrence of # in 'NK(P, #)' is bound by the opera-tor N. Hence, the following inference pattern is invalid: where σ is a situation term different from #.
Instead of (F#),we have in every Knowability model: we conclude that the following principle is true in all knowability models: (K@) should be compared to Edgington's principle: that although it blocks the paradox, doesn't seem to capture the intended meaning ofthe knowability principle. In our semantics, Edgington's principle comes out as truein all models.
Finally, we point out that the converse of our version of the Knowability Principle, is true in every model. And this, we think, is as it should be.
* The present paper has benefited a lot from inspiring and enjoyable discussions with Wlodek Rabinowicz. Earlier versions have been presented at UmLLI-93 (the Umeå Colloquium on Dynamic Approaches in Logic, Language and Information), September 24-26, 1993 and at a seminar in theoretical philosophy at Uppsala University. I am grateful to the members of these audiences, especially to Peter Pagin, Dag Prawitz, Krister Segerberg, Sören Stenlund and Dag Westerståhl, for stimulating comments and discussions.
1 Cf. also Williamson (1987).
2 Fitch (1963), Theorem 4 on p. 138.
3 This is a theme that is developed in Barwise & Etchemendy (1987).
4 From an abstract point of view, the structure <Sit, Prop, ⊆, ∈> is what Barwise and Etchemendy (1990) calls an infon algebra, in which the elements of Prop play the role of pieces of information or in- fons. To be more specific, it is a complete and strongly balanced infon algebra. The strongly balanced infon algebras are just the ones that are isomorphic to set-algebras of the kind above. Barwise and Etchemendy make a sharp distinction between infons, that are made true or false by situations, and propositions that are true or false simpliciter. A proposition, then, has as its constituents, both an infon p and a situation x against which p is evaluated. On this conception, truth and falsity are intrinsic properties of propositions. In this paper, I adopt a more traditional view of propositions and think of them just as pieces of information, i.e., as Barwise and Etchemendy's infons.
5 For this purpose, we only need to assume that Prop forms a topology, i. e., that it contains ∅ and Sit and is closed under arbitrary unions and finite intersections. The assumption of closure under arbi- trary intersections is only used in section 5, where we extend the language L to a language L2 with quantifiers ranging over propositions and over situations. The assumption that Prop is a complete set- algebra guarantees that, for every sentence of L2, there exists a proposition in Prop that it expresses.
6 From now on, we usually suppress the reference to the interpretation I.
7 Here, we speak of the unary K-operator defined in the following way from the binary one: Kϕ =dfK(ϕ, #).
8 We do not assume in this argument that a proposition is identified with the set of situations in which it is true. Hence, we allow for there being many distinct propositions that are universally true.
Barwise, J. and Etchemendy, J. (1987) The Liar - An Essay on Truth and Circularity, Barwise, J. and Etchemendy, J. (1990) "Information, Infons, and Inference", in Cooper, Mukai, and Perry (eds.), Situation Theory and Its Applications, Vol. 1, CSLI, LectureNotes, Number 22.
Edgington, D. (1985), "The Paradox of Knowability", Mind 93, pp. 557-68.
Fitch, F. B. (1963), "A Logical Analysis of Some Value Concepts", The Journal of Sym- bolic Logic 28, pp. 135-42.
Hart, W. D. (1979), "The Epistemology of Abstract Objects", Proceedings of the Aris- totelian Society 53, pp. 164-165, n. 3.
Kaplan, D. (1989) "Demonstratives. An Essay on the Semantics, Logic, Metaphysics, and Epistemology of Demonstratives and Other Indexicals", in Almog, Perry andWettstein (eds.), Themes From Kaplan, Oxford University Press.
Rabinowicz, W. and Segerberg, K. (1994) "Actual Truth, Possible Knowledge", Topoi 13, pp. 101-115.
Segerberg, K. (1973), "Two-dimensional Modal Logic", Journal of Philosophical Logic 2,
Williamson, T. (1987) "On the Paradox of Knowability", Mind 1987, pp. 255-261.

Source: http://www.sprak.umu.se/digitalAssets/8/8593_sl.fitch.pdf