Home Philosophy Advances in Proof-Theoretic Semantics

## Degrees of Paradoxicality of Logical ConstantsIn this section, we first discuss whether tonk is an adjoint functor or not, or whether tonk counts as a genuine logical constant according to categorical harmony, and we finally lead to the concept of intensional degrees of paradoxicality. Let tonk is the left and right adjoint of two functors. Recall that the inferential rôle of tonk is given by: ψ ξ ϕ tonk ψ
which are equivalent to the following simpler rules in the presence of identity and cut:
We can see tonk as a functor from
and also define a “falsity diagonal” functor
We can then prove that At the same time, however, this does not mean that the principle of categorical harmony cannot exclude tonk, a pathological connective we ought not to have in a logical system. Indeed, it is a problem in the other way around: in order to define tonk in a logical system, the principle of categorical harmony requires us to add it as a right or left adjoint of some functor, or equivalently, via an adjunction-induced bi-directional rule. Thus, when one attempts to define tonk in a logical system 1. Specify a functor 2. Prove that tonk is a (left or right) adjoint of As a matter of fact, however, this turns out to be impossible. Let us give a brief proof. Suppose for contradiction that it is possible. Then we have a functor
But this condition is not sufficient to make the rules for tonk derivable, thus the right adjoint of
This is not enough to derive the rules for tonk, and hence a contradiction. This completes the proof. It has thus been shown that: • Tonk cannot be defined as an adjoint functor (of some functor) in a logical system without tonk, even though tonk is an adjoint functor in a logical system that is already equipped with tonk. – This is a subtle phenomenon, and we have to be careful of what exactly the question “Is tonk an adjoint functor?” means. Due to this, naïvely formulating categorical harmony as “logical constants = adjoint functors” does not work. • Consequently, tonk cannot be introduced in any way according to the principle of categorical harmony. We may then conclude that tonk is a pseudo-logical constant, and the rules for tonk are not meaning-conferring, not because it is non-conservative (i.e., Belnap's harmony fails for tonk), but because it violates the principle of categorical harmony (which is able to allow for non-conservativity as discussed above). Still, it is immediate to see the following: • Tonk can actually be defined as being right adjoint to falsity diagonal • In categorical harmony, therefore, it is essential to allow for a single adjunction only rather than multiple adjunctions, which are harmful in certain cases. We again emphasise that tonk cannot be defined in a system without tonk by a single adjunction (i.e., there is no functor What is then the conceptual meaning of all this? After all, what is wrong with tonk? The right adjoint ordinary truth constant T is nullary), because the double-line rule of this adjunction boils down to To put it differently, a right adjoint of the two adjoints at once is tonk. The problem of tonk, therefore, lies in confusing two essentially different adjoints as if they represented the same one logical constant. We may thus conclude as follows: • The problem of tonk is the problem of equivocation. The binary truth constant and the binary falsity constant are clearly different logical constants, yet tonk mixes them up, to be absurd. This confusion of essentially different adjoints is at the root of the paradoxicality of tonk. There is no problem at all if we add to a logical system the right adjoint of Let us think of a slightly different sort of equivocation. As explained above, ∧ is right adjoint to diagonal two adjoints? By way of experiment, let us define “disconjunction” as the functor that is right adjoint to diagonal, and left adjoint to it at the same time. Of course, a logical system with disconjunction leads to inconsistency (or triviality). Needless to say, the problem of disconjunction is the problem of equivocation: conjunction and disjunction are different, yet disconjunction mixes them up. Then, is the problem of disconjunction precisely the same as the problem of tonk? This would be extensionally true, yet intensionally false. It is true in the sense that both pseudo-logical constants fall into the fallacy of equivocation. Nonetheless, it is false in the sense that the double adjointness condition of disconjunction is stronger than the double adjointness condition of tonk. What precisely makes the difference between tonk and disconjunction? Tonk is a right adjoint of one functor, and at the same time a left adjoint of another functor. In contrast to this, disconjunction is a right and left adjoint of just a single functor. Disconjunction is, so to say, a uniformly doubly adjoint functor, as opposed to the fact that tonk is merely a doubly adjoint functor. The difference between tonk and disconjunction thus lies in uniformity. Hence: • On the ground that uniform double adjointness is in general stronger than double adjointness, we could say that disconjunction is more paradoxical than tonk, endorsing a stronger sort of equivocation. • We thereby lead to the concept of intensional degrees of paradoxicality of logical constants. Degrees concerned here are degrees of uniformity of double adjointness or equivocation. What is then the strongest degree of paradoxicality in terms of adjointness? It is self-adjointness, and it is at the source of Russell-type paradoxical constants. A selfadjoint functor is a functor that is right and left adjoint to itself. This is the strongest form of double adjointness. Now, let us think of a nullary paradoxical connective
Reformulating this, we obtain the following:
We may consider In order to express double adjointness, we need two functors (i.e., We have thus led to three intensional degrees of paradoxicality (double adjointness
Right adjoint to Left adjoint to Genuine paradox
The last two are caused by equivocation according to the categorical account of logical constants. In contrast, paradox • Pseudo-paradoxes due to equivocation can be resolved by giving different names to right and left adjoints, respectively, which are indeed different logical constants, and it is natural to do so. – The paradoxicality of such pseudo-paradoxes is just in mixing up actually different logical constants which are harmless on their own. • On the other hand, we cannot resolve genuine paradox in such a way: there are no multiple meanings hidden in the Russell-type paradoxical constant, and there is nothing to be decomposed in genuine paradox. – Genuine paradox is a truly single constant, and the paradoxicality of genuine paradox is not caused by equivocation, unlike tonk or disconjunction. If we admit any sort of adjoint functors as logical constants, then we cannot really ban genuine paradox, which is surely an adjoint functor. A naïve formulation of Lawvere's idea of logical constants as adjoint functors, like “logical constants = adjoint functors”, does not work here again (recall that we encountered another case of this in the analysis of tonk). This is the reason why we have adopted the iterative conception of logic in our formulation of categorical harmony. In that view, logical constants must be constructed step by step, from old to new ones, via adjunctions. Since genuine paradox emerges via self-adjointness, however, there is no “old” operation that is able to give rise to genuine paradox via adjunction. In this way, categorical harmony based upon the iterative conception of logic allows us to avoid genuine paradox. |

< Prev | CONTENTS | Next > |
---|

Related topics |

Academic library - free online college e textbooks - info{at}ebrary.net - © 2014 - 2020