On Pathological Truths
Lucas Rosenblatt
CONICET and University of Buenos Aires
Damián E. Szmuc
University of Buenos Aires
June 2014
Abstract
In Kripke’s classic paper on truth it is argued that by adding a new
semantic category different from truth and falsity it is possible to have a
language with its own truth predicate. A substantial problem with this
approach is that it lacks the expressive resources to characterize those
sentences which fall under the new category. The main goal of this paper is
to offer a refinement of Kripke’s approach in which this difficulty does not
arise. We tackle this characterization problem by letting certain sentences
belong to more than one semantic category. We also consider the prospect
of generalizing this framework to deal with languages containing vague
predicates.
1
Introduction.
A defect usually attributed to [8]’s approach to truth is that his theory is expressed in a language that cannot appropriately specify the status of some sentences expressible in that same language. This is sometimes called the ‘semantic
characterization problem’. A notable example of this is a Liar sentence λ which
is its own negation1 . In Kripke’s theory it is not possible to truly express that
the Liar sentence is neither true nor false. There is no such “sentence-classifier”
capable of performing this task in the language of the theory.
The difficulty cannot be straightforwardly overcome by introducing as a
primitive symbol a specific operator designed for the task. Whether such an
operator is consistently definable depends on the sort of valuation schema employed. Kripke’s theory of truth can be formulated using different valuation
schemata. If the Weak Kleene schema is used, it is in fact possible to introduce such an operator (see [7] and [6], ch. 2 for the details). However, there
might be good reasons to prefer other valuation schemata. For example, if one
thinks that the Liar does not fail to express a proposition, and hence is not
1 We will not concern ourselves for now over they way in which self-referentiality is achieved.
If the reader prefers, she can take λ to be equivalent to the sentence stating that λ is not true.
1
meaningless, there is a sense in which the Strong Kleene schema provides a conceptually better motivated logic2 . Unfortunately, it turns out that there is no
simple way of adding a sentence-classifying operator over this schema without
generating an inconsistency. Assume that we are in a three-valued setting and
that we characterize an operator N by stipulating that for every valuation v the
following holds:
(
1 if v(φ) = 21
v(N φ) =
0 otherwise
Once this operator is available it is possible to truly say that any Liar
sentence λ is neither true nor false: N λ. However, this comes at a high
cost. For let δ be the sentence N T rhδi ∨ ¬T rhδi. It is easy to see that
there is no consistent assignment of truth-values to δ if v(N T rhδi ∨ ¬T rhδi)
= max{v(N T rhδi), v(¬T rhδi)}, which is how ∨ is defined in the Strong Kleene
schema.
This does not mean that there is no way of introducing such an operator,
even if the Strong Kleene schema is employed. An idea that has been recently
explored by [1] and [2] is to separate the notion of being-neither-true-nor-false
from the notion of being pathological or ungrounded.3 The idea is as follows.
Assume that we have a certain operator π available in the language. Since
the language already contains the truth predicate, we can form the following
sentences:
δ1 := πT rhδ1 i
δ2 := ¬πT rhδ2 i4
If we interpret π as ‘is-neither-true-nor-false’, there is no major problem with
these sentences: δ1 is plainly false and δ2 is plainly true. For let δ1 be neithertrue-nor-false, then what it says is the case, and hence it is true. But if it is
true, then what it says is the case again, and so it is neither-true-nor-false. So
δ1 can only be false. For δ2 assume that it is neither-true-nor-false, then what
it says is not the case, and so it is false. But if it is false, then what it says is
not the case, and so it is neither-true-nor-false. So δ2 can only be true.
However, if we think of π as ‘pathological’, a different diagnosis is available.
According to any reasonable theory of pathologicality, both δ1 and δ2 are pathological. So we reason as follows. First, given that δ1 is pathological, what it says
is indeed the case. Thus, it is true. Hence, δ1 is both pathological and true.
2 We will assume that the reader is familiar with the details of these schemata and we will
ignore here other valuation schemata such as Supervaluationism.
3 Beall prefers the more neutral ‘paranormal’.
We think that ‘pathological’ and ‘ungrounded’, although less neutral, are certainly more interesting. Moreover, in what follows we
will use ‘pathological’ and ‘ungrounded’ equivalently.
4 πT rhδ i is not intended to be read as ‘δ is pathological and true’ but only as ‘δ is
1
1
1
pathological’. The truth predicate is needed for the purpose of self-reference. Of course,
we could have done things differently. For example, it would do to represent the concept of
pathologicality by a predicate. However, nothing important hangs on this.
2
Second, given that δ2 is pathological, what it says is not the case, and therefore
it is false. Hence, δ2 is both pathological and false.
Beall thinks that we can deal with these sentences in a non-paraconsistent
setting by allowing certain values (other than truth and falsity) to overlap.
More specifically, assuming pathological is a third semantic category different
from truth and falsity, some sentences (such as δ1 ) will be categorized both as
true and pathological, while others (such as δ2 ) as false and pathological.
We think that this is indeed a very nice idea and that in fact it has a wider
scope of application: vague languages. Vague languages contain sentences that
are prima facie neither clearly true nor clearly false. In other words, we could
say that some vague sentences are unclearly true and that other vague sentences
are unclearly false. So just as there are pathologically true (false) sentences in
the case of semantic languages, there are unclearly true (false) sentences in
languages containing vague predicates. Moreover, just as this sort of overlap
between the semantic values allows for the introduction of a pathologicality
operator, it also allows, in the case of vagueness, for the introduction of an
unclarity operator.
The rest of the paper is devoted to argue for these claims more rigorously.
In section 2, we try to fill in the details in the sketchy picture given in [1]. More
specifically, we provide a formal construction that gives a reasonable interpretation for the pathologicality operator π. We will see that the construction enjoys
some nice properties such as a form of monotonicity and the fixed point property
for the truth predicate. In section 3, we sketch how the formal framework might
be extended to deal with a language containing vague predicates. In Section 4
we discuss some problems the present account faces and section 5 contains some
concluding remarks.
2
2.1
Interpreting the pathologicality operator.
Some definitions.
Since we want to semantically categorize certain self-referential formulas, we
need to start with a language capable of constructing such formulas. The obvious
choice is to use the language of arithmetic. However, for reasons that will become
clear below, this complicates things quite a bit. Hence, here we use a different
kind of naming system, one that is not purely syntactic.
Let L be a first-order language and let LT r be L together with the truth
predicate ‘Tr(x)’ and a set of distinguished constants A = {a1 , a2 , a3 , ...}. The
denotation of each of these constants is given by a function f1 such that f1 :
A −→ F ormLT r , where as usual F ormLT r stands for the set of LT r -formulas.
Let L+ be LT r plus the pathologicality operator π and another set of distinguished constants B = {b1 , b2 , b3 , ...}. The denotation of each of these constants
is given by a function f2 such that f2 : A ∪ B −→ F ormL+ , where F ormL+
stands for the set of L+ -formulas, and for each i, f2 (ai ) = f1 (ai ). In this
3
way, we make sure that LT r contains no names for formulas of L+5 . To ease
the notation, we’ll write hφi for the distinguished name c ∈ A ∪ B such that
f2 (c) = φ6 .
The set of semantic values V we will work with is {0, 14 , 21 , 34 , 1}. The order
between the values is given by the following diagram:
1
0
3
4
1
4
1
2
Figure 1: The ordering of the semantic values
Why five semantic values? The following definition gives an answer:
Definition (The set of true, false, and pathological formulas)
The set of True formulas is {φ ∈ L+ |v(φ) = 34 or v(φ) = 1}
The set of False formulas is {φ ∈ L+ |v(φ) = 41 or v(φ) = 0}
The set of Pathological formulas is {φ ∈ L+ |v(φ) 6= 1 and v(φ) 6= 0}
This means that the semantic categories overlap. If a formula receives the
value 34 , it is true and pathological, and if it receives the value 41 , it is false and
pathological. A formula with value 21 is pathological but neither true nor false7 .
As stated before, we want to use Strong Kleene as our valuation schema. But
since we want to have the truth predicate around, we will use Strong KleeneKripke valuations (sometimes we’ll simply speak of SKK-valuations or of fixed
points, for short):
Definition (SKK-valuations for L+ ) A valuation v is SKK if and only if
1. v(¬φ) = 1 − v(φ)
2. v(φ ∨ ψ) = max{v(φ), v(ψ)}
5 If we were using arithmetic as our naming system, it would be no easy task to obtain
something like this. The reason is that under the standard coding of the formulas of, say,
Peano arithmetic (plus a truth predicate and a pathologicality operator) there is no easy
way to separate those numbers that code formulas that contain an explicit occurrence of the
pathologicality operator from those in which there is an implicit occurrence of it. Later on, in
definition 2.3, we’ll make use of the fact that the names in LT r cannot denote formulas with
explicit or implicit occurrences of the pathologicality operator.
6 We borrow this way of getting self-reference from [9].
7 If the reader dislikes penta-valued semantics, she should note that a three-valued relational
semantics can be used in its place. Instead of having the values 14 and 43 , we simply assign
certain formulas both 0 and 21 and other formulas both 1 and 21 .
4
relative to the order 0 <
1
4
<
1
2
<
3
4
<1
3. v(∃xφ) = sup{v ′ (φ) : v ′ is an x-variant of v}
4. v(T rhφi) = v(φ)
We need one more basic definition:
Definition (Extension) A valuation v2 extends a valuation v1 if and only if
∀φ ∈ L+ ,
1. if φ ∈ F ormL+ − F ormLT r , then
if v1 (φ) ∈ { 34 , 1}, then v2 (φ) ∈ { 43 , 1}
if v1 (φ) ∈ { 14 , 0}, then v2 (φ) ∈ { 41 , 0}
2. if φ ∈ F ormLT r , then v1 (φ) = v2 (φ)
We say that a formula φ is in F ormLT r if and only φ contains no occurrences
of π and no occurrences of bi for any bi ∈ B. Notice that Definition 2.3 is a bit
restrictive, because clause 2. requires that the value of an LT r -formula remains
invariant under extensions. A consequence of this is that if we consider a truth
teller sentence τ such that τ is T rhτ i, and a valuation v1 such that v1 (τ ) = 12 ,
all extensions v2 will be such that v2 (τ ) = 21 . So in this respect the truth teller
sentence τ will behave just like the liar sentence λ. This way of doing things
will allow us to claim that they are both pathological in the same sense.
2.2
The construction.
It is still unclear how to give a semantic interpretation for the pathologicality
operator. The more straightforward way of doing it, once we have the extra
semantic categories around, is by characterizing it in the following way:
(
0 if v(φ) ∈ {0, 1}
v(πφ) = 3
otherwise
4
This is how [1] does it. Unfortunately, the operator lacks the following
property:
Definition (Monotonicity) Let O be a monadic operator. We say that O is
monotonic if and only if for all formulae φ, ψ, if v(φ) ≤ v(ψ), then v(Oφ) ≤
v(Oψ) (where ≤ is the order relation of the space of values V as defined in
Figure 1).
Clearly, π is not a monotonic operator if defined as before. Say that v(φ) = 12
and v(ψ) = 1. Then we have v(πφ) = 43 and v(πψ) = 0. So it is not obvious
how to give a Kripke-style fixed point construction for the truth predicate if this
5
operator is around8 . In addition, both πλ and δ1 will have value 34 . However,
this seems like a rather strange diagnosis. While there is a clear argument for
the claim that δ1 is pathological and true, no similar argument is available for
πλ, unless every (non-vacuous) occurrence of the Liar is considered to be enough
to infer that the corresponding sentence is pathological.
We take a different route here. The construction we give below uses a technique introduced in [10]. Yablo’s original construction was intended to give a
suitable semantics for a conditional that behaves nicely in the presence of a
transparent truth predicate9 . Roughly, Yablo’s idea is that the truth value of a
conditional statement at a certain valuation depends on how the antecedent and
the consequent of that statement behave at the different fixed points extending
that valuation. The account is similar to a possible world semantics, where the
fixed points play the role of possible worlds. As [3] observes, this account faces
a number of problems. Among others, there is no (obvious) way to define a
pathologicality operator using Yablo’s conditional, and it gives rather bad results for formulas containing nested conditionals. On top of that we would add
that it is unclear why we have to look at different fixed points to determine the
semantic value of a conditional claim.
Our hope is that all these difficulties can be put aside if instead of using
this technique to define a conditional connective, we use it to define a primitive
pathologicality operator. Conceptually speaking, when we say that a sentence
is pathological or non-pathological, we are claiming that it behaves in a certain
way across different fixed points, so it makes sense to evaluate attributions of
pathologicality by considering different fixed points.
This is how the construction “intuitively” works. First, we start with Kripke’s
minimal fixed point10 , which we call P 0 . We stipulate that in P 0 every formula
of the form πφ is neither true nor false. More formally, P 0 (πφ) = 12 , for every
formula φ. Then we consider the set of SKK-valuations (i.e., the set of fixed
points) extending P 0 . We call this set R0 . At successor stages P α+1 we semantically evaluate the formulas involving the pathologicality operator by looking
at the set of SKK-valuations Rα extending P α . For instance, if we want to find
out what P 1 (πφ) is, we need to look at R(φ) for all R ∈ R0 . At limit stages P λ
we look at the intersection of the set of SKK-valuations extending each P β for
β < λ. Later on we will show that this construction has the fixed point property.
Hence, there is an ordinal Y (after Yablo), such that P Y = P Y +1 . However,
to obtain the intended value of some formulas involving π it will be necessary
to construct a new fixed point P ∗ which will contain some pathologically true
(false) formulas. This fixed point gives us the extension (and the anti-extension)
of the truth predicate.
Figure 2 below should be useful to depict the way in which we obtain new
valuations from old ones:
8 Of course, this is not to say that it cannot be done. In fact, there are schemata with
non-monotonic operators that have been shown to enjoy the fixed point property.
9 Actually, Yablo’s paper uses a four-valued semantics and is a critique of Field’s approach
to paradoxes. Field’s theory can be found for example in [3], [4], and [5]
10 Naturally, we could start with a different fixed point, so nothing crucial depends on this.
6
Figure 2: The Yablo sequence
More rigorously, we can provide the following definition for the valuations
we use:
Definition (The Yablo Sequence)
We define P 0 as the minimal Kripke fixed point (where all formulas of the
form πφ have value 21 ).
R0 = {R|R is an SKK-valuation extending P 0 }
For successor ordinals α + 1, let P α+1 be the valuation obtained by letting
the formulas of the form πφ behave as specified below and then applying the
SKK operations:
if ∀R ∈ Rα R(φ) = 1 or ∀R ∈ Rα R(φ) = 0
0
α+1
P
(πφ) = 1
if ∀R ∈ Rα R(φ) = 21
α
P (πφ) otherwise
Rα+1 = {R|R ∈ Rα is an SKK-valuation extending P α+1 }
For limit ordinals λ, let P λ be the valuation obtained by letting the formulas
of the form πφ behave as specified below and then applying the SKK operations:
7
P λ (πφ) =
0
1
1
2
Rλ = {R|R ∈
T
T
if ∀R ∈ {Rβ |β < λ}R(φ) = 1 or
T
∀R ∈ {Rβ |β < λ}R(φ) = 0
T
if ∀R ∈ {Rβ |β < λ}R(φ) = 12
otherwise
{Rβ |β < λ} is an SKK-valuation extending P λ }
Spelling this out a bit more, we obtain each P α by a two step process. We
first assign new values to some formulas of the form πφ. This gives us a valuation
that is not a fixed point, but that can be built up into a fixed point by closing
under the SKK operations. This fixed point is our P α .
That each of the resulting valuations P α are indeed fixed points can be
proved using the standard argument involving the monotonicity of the Kripke
jump. More specifically, let’s call P0α the valuation obtained by assigning new
values to some formulas of the form πφ and leaving everything else the same.
By applying the jump operation together with the Strong Kleene operations,
α
,... . It
we can construct a sequence of valuations P1α , P2α , P3α ,....,Pωα , Pω+1
is straightforward to prove (by an induction on the complexity of φ) that this
sequence is monotonic, in the sense that if ζ ≤ η, then for any formula φ ∈ L+ ,
Pζα (φ) > 12 only if Pηα (φ) > 12 and Pζα (φ) < 21 only if Pηα (φ) < 21 . This means
that after a while we reach a fixed point, which we call P α .11
We shall prove that, in addition to this, the entire construction enjoys the
fixed point property. First we need a straightforward lemma:
Lemma 2.1 (The set of sets of extensions forms a decreasing sequence)
If α ≤ β, then Rβ ⊆ Rα
Proof We prove this by transfinite induction on β. If β is 0 or a limit ordinal λ
then the result follows trivially from the definitions of R0 and Rλ , respectively.
If β is a successor ordinal η+1, then by the inductive hypothesis we know that
Rη ⊆ Rα . Since by the definition of Rη+1 , Rη+1 ⊆ Rη , we can infer that
Rη+1 ⊆ Rα . So we have Rβ ⊆ Rα .
Lemma 2.2 (Monotonicity of the sequence of fixed points) If α ≤ β, then P β
extends P α
Proof Since no formula obtains a value in { 41 , 34 } in any of the P valuations, it
is enough to prove that if α ≤ β, then for every formula φ ∈ L+ :
1. If P α (φ) = 1, then P β (φ) = 1.
11 In fact, there are many fixed points P α . Naturally, we pick the one that is “less informative” because we think that it is the best motivated, but there are others. To see why,
consider a sentence γ such that γ is T rhγi ∨ π⊤ (we assume that there is a truth constant ⊤ in
L+ ). Since already at P 1 we have P 1 (π⊤) = 0, the value of the disjunction at P 1 completely
depends on the value of T rhγi, which in our construction will be 21 , but could in principle be
different. In this sense, the sentence γ is similar to a truth teller.
8
2. If P α (φ) = 0, then P β (φ) = 0.
This is proved by induction on the complexity of φ. The only interesting case
is where φ is of the form πψ (a case for which, curiously, we do not need the
inductive hypothesis). To complete the proof of the theorem it is enough to
prove the following four facts:
1. if P α (πψ) = 1, then P α+1 (πψ) = 1;
2. if P α (πψ) = 0, then P α+1 (πψ) = 0;
3. if ∀η<λ P η (πψ) = 1, then P λ (πψ) = 1; and
4. if ∀η<λ P η (πψ) = 0, then P λ (πψ) = 0.
We just prove 1. and 3., since item 2. is similar to 1. and item 4. is similar
to 3.
1. Assume that P α+1 (πψ) 6= 1. Then P α+1 (πψ) = 0 or P α+1 (πψ) = 21
(remember that P α+1 (πψ) is never 41 or 34 by the definition of π). If P α+1 (πψ)
= 21 , then 12 = P α (πψ) = P α+1 (πψ) 6= 1. If P α+1 (πψ) = 0, we can use Lemma
2.1 to infer that P α+1 ∈ Rα+1 ⊆ Rα and so ∃R ∈ Rα R(πψ) = 0. And from
this it follows that P α (πψ) 6= 1, for otherwise there would be an R ∈ Rα which
is not an extension of P α .
3. Assume that P λ (πψ) 6= 1. Then P λ (πψ) = 0 or P λ (πψ) = 21 . In
either T
case it follows that ∃R ∈ Rλ R(πψ)
= 0. By Lemma 2.1 it holds that
T
λ
R ⊆ {Rη : η < λ}. T
Hence, ∃R ∈ {Rη : η<λ}R(πψ) = 0. Therefore it is
not the case that ∀R ∈ {Rη : η<λ}R(πψ) = 1. So, we can infer that it is not
the case that ∀η<λ P η (πψ) = 1.
As the sequence of sets of valuations R decrease, the sequence of valuations
P increase. This means that the extension (and the antiextension) of the truth
predicate gets larger as more formulas obtain a value different from 21 . As a
corollary we can infer that if α < β, then the extension (antiextension) of the
the truth predicate at α is a subset of the extension (antiextension) of the truth
predicate at β. Furthermore, the following can be proved.
Theorem 2.3 (The Fixed Point P Y ) There is an ordinal α such that P α =
P α+1
Proof As usual, a cardinality argument can be used (see [8] for example).
It is not hard to see that all the LT r -formulas have in the Yablo fixed point
P the same value they receive in P 0 . But in addition, in P Y some formulas of
the extended language L+ obtain the value they are expected to obtain. Some
examples will help to see why this is so.
Y
9
Example (Sentences that are just true (false) are not pathological)
Let φ be ⊤ or any tautology. Our starting policy is that P 0 (πφ) = 12 . Since P 0 is
Kripke’s minimal fixed point, P 0 (φ) = 1. This means that ∀R ∈ R0 , R(φ) = 1,
by the definition of extension. From this, it follows that P 1 (πφ) = 0. It is also
clear that this will not change, so for every β ≥ 1, it holds that P β (πφ) = 0.
Since the fixed point P Y is such that Y ≥ 1, it follows that P Y (πφ) = 0.
Example (The Liar sentence is pathological)
Let λ be ¬T rhλi. Clearly, P 0 (λ) = 12 and since λ ∈ F ormLT r , it holds that
∀R ∈ R0 R(λ) = 21 . Hence, P 1 (πλ) = 1, and it is not hard to see that this
will not change, so for every β ≥ 1, it holds that P β (πλ) = 1. Therefore,
P Y (πλ) = 1, as expected. (A similar argument shows that P Y (πτ ) = 1).
This is an important difference and -we believe- an advantage over the approach in [1], where πλ and similar sentences are classified as true and pathological. In our approach, it is simply true that the Liar is a pathological sentence.
We remarked above that one of the problems in [10] was the lack of valid
embedded conditionals. Let’s see how our theory does with iterations of the
pathologicality operator.
Example (Iterations of the pathologicality operator)
Let φ be ⊤ again, and π n φ be
π
. . π} φ
| .{z
n−times
It is not hard to check that for each j<n, P j (π n φ) = 12 , but that P n (π n φ) = 0.
Hence, for any n, P Y (π n φ) = 0, as expected.
So far we have seen how to apply the pathologicality operator to the usual
non-pathological sentences, and also to pathological sentences like the Liar. But
what about our target sentences δ1 and δ2 ? Recall that until now we have not
made use of the extra truth values 14 and 43 . Hence, for no formula φ it holds that
P Y (φ) = 41 or that P Y (φ) = 34 . In particular, we have P Y (δ1 ) = P Y (δ2 ) = 21 .
Nevertheless, there is an easy way to fix this:
Definition (The new fixed point P∗ ) P ∗ is obtanied from P Y by letting P ∗ (πφ) =
1
1
3
Y
Y
4 whenever P (φ) = 2 and ∃R ∈ R R(φ) 6= 2 , and then applying the SKK
operations.
Spelling this out a bit more, Definition 2.2 ensures that:
Y
0 if P (φ) ∈ {0, 1}
∗
Y
P (πφ) = 1 if P (φ) = 12 and ∀R ∈ RY , R(φ) =
3
otherwise
4
10
1
2
It is not hard to show that P ∗ is well-defined and that it monotonically
extends P Y .12 In fact, something stronger can be proved: that the only way in
which P ∗ differs from P Y involves (some of) the formulas with value 12 in P Y .
Lemma 2.4 For every formula φ ∈ F ormL+ ,
1. P Y (φ) = 1 if and only if P ∗ (φ) = 1.
2. P Y (φ) = 0 if and only if P ∗ (φ) = 0.
Proof By induction on the complexity of φ. Naturally, the only interesting
case is that where φ is of the form πψ (a case for which we don’t have to use
the inductive hypothesis). For 2. we reason as follows. P ∗ (πψ) = 0 if and only
if P Y (ψ) ∈ {0, 1} if and only if P Y +1 (πψ) = 0 if and only if P Y (πψ) = 0. The
reasoning for 1. is similar.
So some formulas with value 12 in P Y will obtain the value 43 in P ∗ , and
since P ∗ is an SKK-valuation, some formulas with value 12 in P Y , will obtain
the value 41 in P ∗ . This is as it should be, for we want some formulas to be
categorized as pathologically true and others to be categorized as pathologically
false.
Furthermore, with the previous Lemma we can prove some nice facts about
the behavior of the operator π in P ∗ :
Theorem 2.5 (The behavior of π in P ∗ ) For every formula φ ∈ F ormL+ :
1. P ∗ (πφ) = 0 if and only if P ∗ (φ) ∈ {0, 1}.
2. If P ∗ (πφ) = 1, then P ∗ (φ) = 21 .
3. If P ∗ (φ) ∈ { 41 , 43 }, then P ∗ (πφ) = 34 .
4. If P ∗ (πφ) = 43 , then P ∗ (φ) ∈ { 41 , 12 , 34 }.
Proof The proofs of all these facts depend on Lemma 2.4, the definition of P ∗
and the fact that P Y is a fixed point. For 1., assume that P ∗ (πφ) = 0. By the
definition of P ∗ , this holds if and only if P Y (φ) ∈ {0, 1}, which in turn is true if
and only if P ∗ (φ) ∈ {0, 1} by Lemma 2.4. Item 4. clearly follows from 1., and
we leave 2. and 3. to the reader.
Naturally, we can now define validity in the following way:
Definition (Validity) An argument from Γ to φ is valid (in notation, Γ φ) if
and only if P ∗ (φ) ≥ 34 whenever P ∗ (γ) ≥ 43 for every γ ∈ Γ. And a formula φ
is valid ( φ) if and only if P ∗ (φ) ≥ 43 .
12 Just as with each P α in the Yablo sequence (see footnote 11), there is more than one
SKK valuation P ∗ obtainable from P Y . To see this consider a sentence γ1 such that γ1 is
πT rhγ1 i ∨ T rhγ1 i. Given that P ∗ (πT rhγ1 i) = 34 , the value of γ1 at P ∗ partially depends on
the value of T rhγ1 i. In this sense γ1 is similar to a truth teller, and although our construction
is such that P ∗ (γ1 ) = 43 , things could in principle have been done differently, since P ∗ (γ1 )
could have been 1.
11
Validity is still preservation of truth, although some valid arguments are not
truth-only or truth-and-not-pathological preserving. With this definition, we
can prove that the pathologicality operator π interacts with the logical constants
(and with itself) as follows:
Theorem 2.6 (Facts about π and the logical expressions)
πφ ∧ πψ π(φ ∧ ψ) but π(φ ∧ ψ) 2 πφ ∧ φψ
π(φ ∨ ψ) πφ ∨ πψ but πφ ∨ πψ 2 π(φ ∨ ψ)
πφ π¬φ but ¬πφ 2 π¬φ
π¬φ πφ but π¬φ 2 ¬πφ
ππφ πφ but πφ 2 ππφ
∀xπφ(x) π∀xφ(x) but π∀xφ(x) 2 ∀xπφ(x).
π∃xφ(x) ∃xπφ(x) but ∃xπφ(x) 2 π∃xφ(x)
All these facts are predictable except perhaps for the failure of the inference
from πφ to ππφ. There are pathological formulas such that we can apply the
pathologicality operator once to them, but not twice (nor thrice, and so on).
For instance, if λ is a Liar sentence, πλ will receive the value 1, but ππλ or,
more generally, π n λ for n ≥ 2 will receive the value 0.
It is straightforward to check that the sentences considered in the previous
examples (π⊤, πλ and π n ⊤) and sentences of the same kind maintain their value
in P ∗ . Next we show how the construction works with our target sentences δ1
and δ2 .
Example (Sentences that are true and pathological)
Consider again a sentence δ1 such that δ1 is πT rhδ1 i. Since our starting policy is
that P 0 (πφ) = 12 for every formula of the form πφ, P 0 (πT rhδ1 i) = 21 . To obtain
the value of P 1 (πT rhδ1 i), we reason in the following way. By the definition of
extension, there are valuations Ra , Rb , Rc , Rd , Re ∈ R0 such that Ra (T rhδ1 i) =
0, Rb (T rhδ1 i) = 14 , Rc (T rhδ1 i) = 21 , Rd (T rhδ1 i) = 43 and Re (T rhδ1 i) = 1. This
means that we are in the otherwise case, which implies that P 1 (πT rhδ1 i) =
P 0 (πT rhδ1 i) = 21 . Moreover, since nothing changes at limit ordinals, it is
not hard to see that for each ordinal β, P β (πT rhδ1 i) = 21 and there are valuations R ∈ Rβ such that R(T rhδ1 i) 6= 12 . Hence, P Y (πT rhδ1 i) = 21 and
∃R ∈ RY R(T rhδ1 i) 6= 21 . By Definition 2.2, we can obtain P ∗ (πT rhδ1 i) = 43 , as
desired.
Example (Sentences that are false and pathological)
For δ2 such that δ2 is ¬πT rhδ2 i, the reasoning is similar. But it should be noted
that every P β in the sequence is an SKK-valuation. Therefore, P β (¬πT rhδ2 i)
= 1 − P β (πT rhδ2 i). So for every β, P β (δ2 ) = 12 . Hence, P Y (¬πT rhδ2 i) =
P Y (T rhδ2 i) = 21 . As before, by Definition 2.2, this implies that P ∗ (πT rhδ2 i) =
1
3
∗
∗
∗
4 . But since P is an SKK-valuation too, P (¬πT rhδ2 i) = 1−P (πT rhδ2 i) = 4 .
This is enough to establish that δ1 is a true pathological sentence and that
δ2 is a false pathological sentence.
Quantified sentences involving π also behave appropriately. An easy case is
the following:
12
Example (Quantifiers and pathologicality I)
Let us consider the pair of sentences π∀x(x = x) and ∀x(πx = x). Clearly,
P 0 (∀x(x = x)) = 1. Hence, ∀R ∈ R0 , R(∀x(x = x)) = 1, by the definition of
extension. From this it follows that P 1 (π∀x(x = x)) = 0. As for ∀x(πx = x),
we know that P 0 (x = x) = 1, regardless of what object is assigned to x. Hence,
∀R ∈ R0 , R(x = x) = 1, and so for each x-variant of P 1 , the x-variant assigns
πx = x the value 0. Therefore, P 1 (∀x(πx = x)) = 0. Since nothing will change
from there on, we have P ∗ (∀x(πx = x)) = P ∗ (π∀x(x = x)) = 0.
For a more complicated example, consider this one:
Example (Quantifiers and pathologicality II)
Let π n φ be as in Example 2.2 Now consider the following sentence:
π(π⊤ ∨ π 2 ⊤ ∨ π 3 ⊤ ∨ ....)
It seems clear that this can be expressed in our language by means of a
quantification of the form:
π∃n(π n ⊤)
This sentence should receive the value 0, since it says that a non-pathological
sentence is pathological. Observe that for each n, the sentence π n ⊤ acquires
the value 0 only at stage Pn . Hence, at each finite stage Pn of the construction,
the sentence ∃n(π n ⊤) has value 12 . And so does the sentence π∃n(π n ⊤). At
stage Pω every π n ⊤ acquires the value 0, so now ∃n(π n ⊤) has the value 0. So
although at Pω the sentence π∃n(π n ⊤) has value 12 , at Pω+1 we can infer that
it has value 0.
Although our construction for π gives, in our opinion, the right diagnosis for
a vast number of pathological sentences, it has been pointed out to us by an
anonymous referee that it is rather ad hoc, because it does not conform closely
to intuitions about the concept of pathologicality. In this sense, it could be
argued that there is a stark contrast with Kripke’s fixed point construction for
truth, which is very well motivated.
First of all, we should note that while truth is an intuitive concept, at least
to the extent that competent speakers have more or less clear intuitions about
how to use the truth predicate, the same cannot be said of pathologicality (or
ungroundedness) which is, at best, a semi-intuitive concept. Hence, perhaps it
is too demanding to expect our construction to conform closely to “intuitions”
about pathologicality. In fact, it is arguably a controversial matter whether
there are such intuitions.
Nevertheless, this is not to say that the construction needs no conceptual
justification, and in fact, we do think that there is a nice one available. To see
how it works, an analogy might be helpful. Just as being necessarily true is a
form of being true, that is, true at every possible world, being non-pathologically
true is also a form of being true, in this case, true at every fixed point. The
13
pathologicality operator works as a kind of modal operator that tracks down
how a sentence behaves at different fixed points. The pathological sentences
are, roughly, those that are neither true nor false at every fixed point and those
that behave differently at different fixed points. For instance, to determine the
truth value of πλ or π0 = 0 we have to look at how λ and 0 = 0 behave at all
fixed points. This is what the construction does.
Naturally, we also want to see what the truth values of sentences like ππλ
and ππ0 = 0 are. These sentences resemble things of the form It is necessary
that it is necessary that φ. For them, we need to see how πλ and π0 = 0 behave
at different fixed points. That’s why the construction need to be iterated13 .
An additional complication has to do with the fact that we need to tweak the
Yablo fixed point P Y into a more suitable fixed point P ∗ to correctly interpret
sentences like δ1 and δ2 . The rationale for this new fixed point is that the circular
character of δ1 and δ2 has, as a consequence, that no amount of iterations in the
Yablo construction is going to be enough to settle their intended truth value.
In this respect, the construction resembles the revision theory of truth, that
categorizes as pathological those sentences which do not stabilize across the
revision sequence.
3
3.1
Vagueness.
Preliminary remarks.
In this section we consider the possibility of extending the framework to languages containing at least one vague predicate. There is a reason for this.
Typical non-classical solutions to the semantic paradoxes and to the paradoxes
of vagueness have certain things in common. For example, in both cases it is
standard to introduce semantic categories different from truth and falsity, and
in both cases these new semantic categories cause problems. We have already
seen that for semantic predicates the introduction of a third category usually
produces new inconsistencies. For vague predicates a similar problem appears:
the new category introduces new sharp boundaries. In both cases these problems show up most clearly when a sentence-classifying device is added to the
language. For semantic predicates, this role is played by the pathologicality (or
some similar) operator, whereas for vague predicates this role is played by an
unclarity (or some similar) operator.
So it seems interesting to see whether this characterization project -that aims
to correctly classify each sentence according to its semantic category- can also
13 It might be replied that the problem lies in the fact that we take the intersections of
the fixed points at limit ordinals and that that’s where the artificiality of the construction
is. However, we take the move of using the intersection of the fixed points to be no more
problematic that the move of taking the intersection of all the extensions of the truth predicate
at limit ordinals, something that is sometimes done to interpret the truth predicate in some
paraconsistent logics, such as LP . The only difference is that we are intersecting on “more
complicated things”, which is only to be expected, since, as we’ve already remarked, the
pathologicality operator has a sort of modal flavor to it.
14
be carried out for languages including vague predicates by assigning overlapping
semantic categories to some sentences. The idea is that just as we managed to
introduce an operator in the case of the semantic predicates by letting certain
sentences be true (false) and pathological, in the case of vague predicates, a
similar strategy is available. We can introduce an unclarity operator by letting
certain sentences be true (false) and unclear, or equivalently, unclearly true
(false).
3.2
How should the unclarity operator behave?
To deal with vague predicates it is useful to have infinitely many truth-values
around. This can be accomplished by the use of a fuzzy framework14 . In such a
framework it seems that there are some natural constraints on how an unclarity
operator U should behave. If the language has vague predicates, a sentence can
be clearly true, clearly false, or something in between. If there are degrees of
truth, there are also degrees of unclarity, that is, degrees concerning how clearly
true (false) a sentence is. The fuzzy framework allows us to have a fine-grained
characterization of the status of those intermediate sentences which are neither
clearly true nor clearly false. Since we assign clearly true sentences the value
1 and clearly false sentences the value 0, we will say that the more a sentences
approaches those values the more clear it is. As a consequence, we will stipulate
that a clearly unclear sentence has the value 12 . This already gives a hint as to
how the unclarity operator should work.
If a formula φ has value 0 or 1, then it is completely clear, so Uφ should
have value 0. On the other hand, if φ has value 12 , Uφ should have value 1.
What about all formulas that have a value other than 0, 21 , or 1? Since we
are interpreting the value 12 as being neither true nor false, it seem plausible
to say that if a formula has a value strictly greater than 21 (and different from
1), then the formula is true to some degree, or equivalently, unclearly true.
Symmetrically, if a formula has a value strictly less than 12 (and different from
0), then the formula is false to some degree, or equivalently, unclearly false.
Given this reading of the space of values, it also seems plausible to ask that for
any two formulas φ and ψ, if the the value of φ is “closer” to 21 than the value
of ψ, then the value of Uφ should be “closer” to 1 than the value of Uψ (and
both should be greater than 21 ). Also, if the value of φ and the value of ψ are
“at the same distance” from 21 , then the value of Uφ and that of Uψ should be
the same (and greater than 12 ).
These constraints can be rigorously characterized in a straightforward way.
Consider three functions:
14 We are not trying to claim here that a fuzzy account is the best possible solution to the
paradoxes of vagueness. Hence, we won’t be dealing with all the problems that have been
attributed in the literature to such an account. As we have stressed before, our goal is to
see whether there is an interesting characterization problem for vague sentences as there is
for semantic sentences. Since we think that the notion of unclarity is crucial to this sort of
project and an infinitely-valued semantics seems suitable to deal with such a notion, the fuzzy
framework seems appropriate.
15
g1 : (0, 12 ] −→ ( 21 , 1]
g2 : ( 12 , 1) −→ ( 12 , 1]
g3 = {< 0, 0 >, < 1, 0 >}.
Before stating how g1 and g2 work we need to introduce the following definition (where d (x, y) is the absolute value of the subtraction x − y):
Definition (Increasing, Decreasing, Symmetric)
A function f is increasing if f (x) ≤ f (y) whenever x ≤ y.
A function f is decreasing if f (x) ≥ f (y) whenever x ≤ y.
Two functions f and g are symmetric with respect to [0, 1] if: f (x) = g(y) if
and only if d(x, 12 ) = d(y, 12 ).
Let h be g1 ∪ g2 ∪ g3 . Assume that g1 is increasing, g2 is decreasing, and
that g1 and g2 are symmetric w.r.t. [0, 1]. What we are claiming is that any
adequate fuzzy unclarity operator for a vague language should be represented
by a function satisfying the conditions imposed on h15 .
This time the operator will be added to a language L which contains no selfreferential expressions, but that has at least one vague predicate. We obtain
our target language L+ by adding this unclarity operator, so L+ is L + U. The
set of values is V = {x ∈ R|0 ≤ x ≤ 1}, where R is the set of real numbers, and
the order for the set of values is a generalization of the one appearing in Figure
1.
The crucial definitions of Section 2.1 work in this case too, but now generalized to the infinite space of values.
Definition (The set of true, false, and unclear formulas)
The set of True formulas is {φ ∈ L+ |v(φ) ∈ ( 12 , 1]}
The set of False formulas is {φ ∈ L+ |v(φ) ∈ [0, 12 )}
The set of Unclear formulas is {φ ∈ L+ |v(φ) ∈ (0, 1)}
Moreover, we can still use SK-valuations:
Definition (Strong-Kleene valuations for L+ )
A valuation v is SK if and only if
1. v(¬φ) = 1 − v(φ)
2. v(φ ∨ ψ) = max{v(φ), v(ψ)}
now relative to the usual order of the real numbers in [0, 1]
15 It also seems adequate to demand that the unclarity operator behaves like a continuous
function and that it satisfies uniformity, where a function f is uniform if d(d(x, 21 ), d(y, 12 )) =
d(d(f (x), 12 ), d(f (y), 21 )). As we will see soon, our unclarity operator satisfies these extra
requirement. However, we do not have strong reasons to dismiss operators that do not.
16
3. v(∃xφ) = sup{v ′ (φ) : v ′ is an x-variant of v}
Definition (The unclarity operator) The unclarity operator U is defined in the
following way:
1
if 0 < v(φ) ≤ 12
2 + v(φ)
1
v(Uφ) = 2 + (1 − v(φ)) if 12 < v(φ) < 1
0
otherwise
Next we give a couple of examples to show how U works.
Example (An unclearly true sentence) Let φ and ψ be sentences containing
some vague predicate such that v(φ) = 81 and v(ψ) = 14 . Now we compute the
value of the sentence UUφ ∨ Uψ. Since v(φ) = 81 , v(Uφ) = 58 , and v(UUφ) = 78 .
Also, since v(ψ) = 41 , v(Uψ) = 34 . Hence, v(UUφ ∨ Uψ) = 87 , given that ∨ is
defined as the maximum. So the sentence is unclearly true.
Example (A clearly false sentence) Let φ be as before and consider the sentence
UU(φ ∨ ⊤). Given that v(⊤) is always 1, v(φ ∨ ⊤) = 1, so v(U(φ ∨ ⊤)) = 0.
Therefore, v(UU(φ ∨ ⊤)) = 0 too. So this sentence is clearly false.
More generally, it is not hard to see that for any formula φ with a value
other than 0 or 1, Uφ can be represented using the function depicted in figure
3 below:
1
v(Uφ)
0.9
0.8
0.7
0.6
0.5
0
0.2
0.4
0.6
0.8
1
v(φ)
Figure 3: The unclarity operator U
Furthermore, the next two theorems show that this function respects the constraints imposed above on any function h adequately representing the unclarity
operator:
Theorem 3.1 (Symmetry I) Let d(x, y) be the distance between x and y, i.e.
d(x, y) is the absolute value of x − y. For all pairs of formulas φ and ψ in L+ ,
if d(v(φ), 21 ) = d(v(ψ), 21 ), then v(Uφ) = v(Uψ).
17
Proof If v(φ), v(ψ) ∈ {0, 1}, then the proof is straightforward. So assume that
d (v(φ), 12 ) = d (v(ψ), 12 ) for any two formulas φ and ψ such that v(φ), v(ψ) ∈
(0, 1). To reach a contradiction assume also that v(Uφ) 6= v(Uψ). If v(φ) =
v(ψ), then the result holds trivially. If v(φ) 6= v(ψ), we can suppose without loss
of generality that v(φ) > v(ψ). More specifically, v(φ) ∈ [ 12 , 1) and v(ψ) ∈ (0, 21 ].
Since v(Uφ) 6= v(Uψ), by the definition of U, we obtain:
1
1
2 + (1 − v(φ)) 6= 2 + v(ψ).
Given that d (v(φ), 12 ) = d (v(ψ), 21 ), we know that v(φ) − 12 = 21 − v(ψ). Therefore, we can infer that:
1
1
1
1
2 + (1 − v(φ)) + (v(φ) − 2 ) 6= ( 2 + v(ψ)) + ( 2 − v(ψ)).
Simplifying, we obtain 1 6= 1, which is a contradiction.
Theorem 3.2 (Symmetry II) Let d(x, y) be as before, and let φ and ψ be such
that v(φ), v(ψ) ∈ (0, 1). If d(v(φ), 21 ) < d(v(ψ), 12 ), then v(Uφ) > v(Uψ).
Proof We have four cases:
1. v(φ) and v(ψ) are both in (0, 21 ].
2. v(φ) and v(ψ) are both in [ 21 , 1).
3. v(φ) is in (0, 21 ] and v(ψ) is in [ 21 , 1).
4. v(φ) is in [ 21 , 1) and v(ψ) is in (0, 12 ].
For all of them assume that v(Uφ) ≤ v(Uψ).
1. By the definition of U and the assumption we have 12 + v(φ) ≤ 21 + v(ψ).
And from this it follows that d(v(φ), 12 ) ≥ d(v(ψ), 21 ).
2. This time the definition of U together with the assumption give us 12
+ (1 - v(φ)) ≤ 12 + (1 − v(ψ)). But this implies that v(φ) ≥ v(ψ). Hence,
d(v(φ), 21 ) ≥ d(v(ψ), 12 ).
3. Using the definition of U we obtain 21 + v(φ) ≤ 21 + (1 − v(ψ)). Hence
v(φ) ≤ 1 − v(ψ). But clearly, for any formula φ, d(v(φ), 12 ) = d(1 − v(φ), 12 ). So
we can infer again that d(v(φ), 21 ) ≥ d(v(ψ), 12 ).
4. Similar to the previous case.
Notice that under this framework the unclarity operator can be seen as a
generalization of the pathologicality operator of the previous section. More
specifically, U behaves exactly as π if we restrict ourselves to formulas with a
semantic value in {0, 41 , 21 , 34 , 1}.
Furthermore, although we will not get into the details here, it is possible
to combine both approaches. Roughly, the idea is to have a richer language
having self-referential expressions, a truth predicate, at least one vague predicate, and an operator that can be interpreted as the unclarity operator or as
the pathologicality operator, depending on the case. Technically, this can be
done by “plugging in” the definition of the unclarity operator into the Yablo
construction provided above, but we leave this for another occasion.
18
4
Further Issues.
There are a couple of issues that we haven’t dealt with in this paper. First of
all, the lack of a suitable conditional in the Strong Kleene schema is usually
considered as an important problem for theories of transparent truth and for
theories of vagueness. On the one hand, even though truth is transparent in
the sense that any formula φ is intersubstitutable salva veritate with T rhφi,
the absence of a proper conditional connective implies that the theory does
not prove the unrestricted T-Schema, something that is usually expected of
theories of truth employing a non-classical logic. On the other hand, the lack
of a suitable conditional also implies that in this framework there can be no
proof of the Tolerance Principle, if it is expressed as a sentence rather than as
an inference.
However, this is not as serious as it sounds. We have only tried to solve one
of the problems usually attributed to Kripke’s account of truth, but naturally
there are many others (the same applies in the case of vagueness). In any case,
nothing of what we have said is incompatible with the possibility of adding a
nice conditional on top of the theories we have presented.
Secondly, in Theorem 2.6 we showed how the pathologicality operator interacts with the propositional connectives. Some of those facts, however, might be
regarded as controversial for the unclarity operator. In particular, there seem
to be no obvious reason to believe that Uφ should be implied by UUφ. If it
is unclear whether φ is unclear, how can we be sure that φ is unclear? In the
case of pathologicality, if a formula of the form ππφ holds, this is because φ is
pathological, so πφ should hold too. In the case of unclarity there is a similar
line of reasoning available, although perhaps it is not as compelling. The only
way for a formula of the form UUφ to hold is for φ to be unclear, so Uφ should
hold as well.
Thirdly, a sentence like π(λ ∧ πδ1 ) will have value 43 , but one would perhaps
expect it to be equivalent to πλ. This can be fixed by tweaking the definition of
π. One way of doing this is by not letting any formula of the form πφ to have
value 1. This is similar to what [1] does, where πλ, π(λ ∧ πδ1 ) and every other
pathological sentence to which the pathologicality operator is applied receives
the value 34 . However, as we have stressed before, this seems a high price to
pay. Although there is a straightforward argument for the claim that πδ1 is
pathological and true, any argument establishing that πλ is pathological and
true would have to be different. A different line of response is that it is not
straightforward that λ ∧ πδ1 should be equivalent to λ. After all there is a sense
in which the first sentence does seem to be pathological in addition to being
true. If that is so, then there is no reason to expect π(λ ∧ πδ1 ) to be equivalent
to πλ.
We do not consider these problems to be fatal for the present account, but
they are indeed problems, and at the moment we are unaware of any elegant
way of solving them without substantively changing the frameworks.
19
5
Closing remarks.
The main goal of this paper was to show how the semantic characterization
problem can be solved by letting certain sentences belong to more than one
semantic category. In doing so we provided a formal construction that gives
a reasonable interpretation for the pathologicality operator π. We have also
sketched a way of extending this approach to languages that include vague
predicates.
6
Acknowledgments.
Earlier versions of the material in this paper were presented at conferences in
Buenos Aires and Paris. We would like to thank the audiences of those conferences for their valuable comments and suggestions. We are particularly grateful
to Eduardo Barrio, Alexandre Billon, Natalia Buacar, Catrin Campbell-Moore,
Roy Cook, Eleonora Cresto, Paul Egré, Graham Leigh, Carlo Nicolai, David
Nicolas, Federico Pailos, Lavinia Picollo, Thomas Schindler, Johannes Stern,
James Studd, Diego Tajer, Paula Teijeiro, Jérémy Zehr, and an anonymous referee of this journal. We would like to add that the paper could not have been
written without the financial aid of CONICET and CIN.
References
[1] J.C. Beall. True, false and paranormal. Analysis, 66(2):2–14, 2006.
[2] J.C. Beall. Spandrels of Truth. Oxford University Press, Oxford, 2009.
[3] H. Field. Variations on a theme by yablo. In J.C. Beall and B. ArmourGarb, editors, Deflationism and Paradox. Oxford University Press, 2005.
[4] H. Field. Solving the paradoxes, escaping revenge. In J.C. Beall, editor,
Revenge of the Liar: New Essays on the Paradox. Oxford University Press,
2007.
[5] H. Field. Saving Truth from Paradox. Oxford University Press, New York,
2008.
[6] A. Gupta and N. Belnap. The Revision Theory of Truth. MIT Press,
Cambridge, Mass, 1993.
[7] A. Gupta and R. Martin. A Fixed Point Theorem for the Weak Kleene
Valuation Scheme. Journal of Philosophical Logic, 13:131–35, 1984.
[8] S. Kripke. Outline of a theory of truth. Journal of Philosophy, 72(19):690–
716, 1975.
[9] D. Ripley. Conservatively Extending Classical Logic with Transparent
Truth. Review of Symbolic Logic, 5(2):354–378, 2012.
20
[10] S. Yablo. New grounds for naive truth. In J.C. Beall, editor, Liars and
Heaps. Oxford University Press, 2003.
21