WPCj 26BR Z 43|x93-05-15 16:29 on Pries's In contradiction critical notice glxLaurentius_PostScript_(HP_LJ_III.PS)LAURENTI.PRSx  @hhhhw7X@2p BhdR 3'3'Standard6&&ein wittgensteiniana wittgensteiniano6&StandardII.PS)LAURENTI.PRSx   #x  @U X@# dddd X` hp x (#%'0*,.8135@8:OOBOO(OOOOOOOOOOBҫvBBBBBBBBvvvvvvBBBBB5BBvv55555߫OOOvvvvBBB߫vvvv5OvBvvKSBOXV-OOOOvv5O"m^7B^nn7BBMt7B77nnnnnnnnnnBBtttyy7nyyyB7Btn7nynynByy77n7yyyyMnBynnncM8MtB7BB!BBBBBBBBBBy7nnnnnưnnnnn77777777yyyyyyyyynnyyynnnnnnnnynnnnyyyyyyyy77777777nny7y7y7y7y7yyyyyyƻMMMnnnnyByByByyyyyynycycycyy7yMnyBnnyyyKE7nnBynnnnnIHnn/ccnBBnnyy7c"m^BOpҫBOO\BOBBOO竫BūߞOBOBOBBBґ\Ov\B\OBOO(OOOOOOOOOOBҫBBBBBBBBBBBBBBBBBBBBB߫\\\OOO߸vvvB\OKSBOXV8vvOOBv"^RRiBccsRcRRRR-RRRRBBvcMccRcc)2ccccccccccR)RRRRRRRRRRRRRBRRBBBBB)cccRRRBcRKhRcnl9cc)cc))Bc)2RT  ` "^RcRccsRcRRcc!RcRcRcRRRscsSscRcc)2ccccccccccR)RRRRRRRRRRRRRRRRRRRRR)ssscccRscKhRcnlG)cc))R)"m^ESvݳESSaESEESS򳳳EϳꦦSESESEEEݘaS|aFaSESS)SSSSSSSSSSEݳEEEEEEEEEEEEEEEEEEEEEaaaSSS|||EaSKWES\[;||SSE|"m^EEXݦ7SSaESEEEEE|ϳꦦEEEt7|E77|7ϊS|E||||SASSESS)SSSSSSSSSSEݳ|EEEEEEEE||||||EEEEE7EE||77777SSS||||EEE곦||||7S|E||KWES\[/SSSS||7S"m^77Fnn,BBMt7B77nnnnnnnnnn77tttnɄy7cnyy777]n,nncnn7nn,,c,nnnnBc7nccccB4BtB7BB!BBBBBBBBBBy7nnnnnưcnnnn77777777nnnnnnnnncnnyncnnnccccnnnnnnnnnnnnn77777,77ccn,n,n,n,n,nnnnnnƻBBBccccy7y7y7nnnnnncycycycnn,nBcy7ccnnnKE7knBynnnnnIHnn&BBnBBnncc,B2" "z4!"m^7B^nn7BBMt7B77nnnnnnnnnnBBtttyy7nyyyB7Btn7nynynByy77n7yyyyMnBynnncM8MtB7BB!BBBBBBBBBBy7nnnnnưnnnnn77777777yyyyyyyyynnyyynnnnnnnnynnnnyyyyyyyy77777777nny7y7y7y7y7yyyyyyƻMMMnnnnyByByByyyyyynycycycyy7yMnyBnnyyyKE7nnBynnnnnIHnn/ccnBBnnyy7c"m^88Goo,CCNu8C88oooooooooo88uuuo˅z8dozz888^o,oodoo8oo,,d,ooooCd8oddddC4CuC8CC!CCCCCCCCCCz8oooooȲdoooo88888888ooooooooodoozodoooddddooooooooooooo88888,88ddo,o,o,o,o,ooooooȽCCCddddz8z8z8oooooodzdzdzdoo,oCdz8ddoooKF8koCzoooooJIoo&CCoCCoodd,C"m^//<^^p%88Ab/8//^^^^^^^^^^//bbb^ppzzpgz/Tp^zpzpgzpppg///O^%^^T^^/^^%%T%^^^^8T/^TzTTT8,8b8/888888888888g/p^p^p^p^p^zTp^p^p^p^////////z^^^^^z^z^z^z^pTp^z^g^pTp^p^p^zTzTzTzTz^p^p^p^p^^^^^^^z^z^/////%//TpT^%^%^%^%^%z^z^z^z^^^z8z8z8pTpTpTpTg/g/g/z^z^z^z^z^z^zpTgTgTgTz^^%z^z8pTg/pTpTz^^z^K;/Z^8g^^^^^>=^||^ 88^88^^TT%8"m^//<^^p%88Ab/8//^^^^^^^^^^//bbb^ppzzpgz/Tp^zpzpgzpppg///O^%^^T^^/^^%%T%^^^^8T/^TzTTT8,8b8/888888888888g/p^p^p^p^p^zTp^p^p^p^////////z^^^^^z^z^z^z^pTp^z^g^pTp^p^p^zTzTzTzTz^p^p^p^p^^^^^^^z^z^/////%//TpT^%^%^%^%^%z^z^z^z^^^z8z8z8pTpTpTpTg/g/g/z^z^z^z^z^z^zpTgTgTgTz^^%z^z8pTg/pTpTz^^z^K;/Z^8g^^^^^>=^||^ 88^88^^TT%82H. #R$,(:+"m^/8P^^z/88Ab/8//^^^^^^^^^^88bbbgzzzzpgz/^zgzpzpgzpppg8/8b^/^g^g^8gg//^/ggggA^8g^^^TA/Ab8/888888888888g/z^z^z^z^z^z^p^p^p^p^////////zgggggzgzgzgzgp^z^zgggp^z^z^z^z^z^z^z^zgp^p^p^p^ggggggzgzg////////^z^g/g/g/g/g/zgzgzgzgggzAzAzAp^p^p^p^g8g8g8zgzgzgzgzgzgp^gTgTgTzgg/zgzAp^g8p^p^zggzgK;/^^8g^^^^^>=^||^(TT^88^^gg/T"^RcRccsRcRRcc!RcRcRBsSscRcc)2ccccccccccR)RRRRRRRRRRRRRRRRRRRRR)ssscccRscKhRcnlG)cc))R)"9 ^7BQccBBBcm2m27cccccccccc77mmmXynBMynnyyB7B]cBXcXcXBcc77c7ccccBM7ccccX_(_kK[2ZcBXccccc7=cc$XXcBBccnnBXpmmm!7mAAmmmxxOm6b1RxxWxxbmmmmcbbbbbbbbLLLLLLLLLLLLъ}mxRybWbxgFAmmrgbmmsmuxW}Wrxm}WxAAmrr}x}}}}}}}}}}}}}}}}}}}WWWWWWWxxxxxxxxxxxxxxxxxxxxAAAAAAAAAAAAmmmmmmmrrrrrrrrrrrrFFm"9 ^/8ETT888T\*\*/TTTTTTTTTT//\\\Kzppzg^zz8Azgzz^zp^gzzzzg8/8OT8KTKTK8TT//T/TTTT8A/TTzTTKQ"Q[KM*LT8KTTTTT.4TTKKT88TT^^8Ko_\\\x/\77\\\xxxxffC\.xS*EsffxxxxJffoS\\\xxxsss\TSSSSSSSSAAAAAAAAAAAAujo\fEgSnJmSf}X;7z\s\a|XmS~\\b\dfJjJtafx\ssjJf77\aasjtfxjjjjjjjjjjjjjjjjjjjJJJJJJJffffffffffffffffffff777777777777\\\\\\\aaaaaaaaaaaassssssssssssssssssssun;~t;t\2;`z.1#68"m^,8,WW04,Sg,8,CWWWWWWWWWW40gggK{wg{s{KOswkww[coo{0_?gc0SSCWC?OW0,W0{[OWOdd$YYdCCddooCYqnnn!8nBBnnnyyPn7c1RyyXyycnnnndccccccccMMMMMMMMMMMMы~nyRzcXcyhFBnnshcnntnvyX~Xsyn~XyBBnss~y~~~~~~~~~~~~~~~~~~~XXXXXXXyyyyyyyyyyyyyyyyyyyyBBBBBBBBBBBBnnnnnnnssssssssssssFFn2#E$m;H=%mV@!`A"^2CRddCCCdq2C28dddddddddd88qqqYzoCNzoozzC8C^dCYdYdYCdd88d8ddddCN8ddddY`(`lC2CC!CCCCCCCCCCd8YYYYYYzYzYzYzYC8C8C8C8ddddddddddYddddYYYYYYYdzYzYzYzYddddddddC8C8C8C8Ndz8z8z8z8z8ddddddCCCoNoNoNoNz8z8z8dddddddzYzYzYdz8dCoNz8ddddd"9 ^/9EUU999U]+]+/UUUUUUUUUU//]]]K{qq{h_{{9B{h{{_{q_h{{{{h9/9PU9KUKUK9UU//U/UUUU9B/UU{UUKR"R\KN+MU9KUUUUU/5UUKKU99UU__9Kp`]]]y/]88]]]yyyyggD]/yT*FuggyyyyKggpT]]]yyyuuu]UTTTTTTTTAAAAAAAAAAAAvkp]gFhToKoTg~Y<8{]u]b~YnT]]c]egKkKubgy]uukKg88]bbukugykkkkkkkkkkkkkkkkkkkKKKKKKKgggggggggggggggggggg888888888888]]]]]]]bbbbbbbbbbbbuuuuuuuuuuuuuuuuuuuuvoe]]eVNee/6eV|eeNe]NVeeeeV/'/BF/>F>F>/FF''F'mFFFF/6'FFeFF>CCL/#////////////F'e>e>e>e>e>|]]>V>V>V>V>/'/'/'/'eFeFeFeFeFeFeFeFeFeFe>eFeFeFeFe>e>e>]>]>]>]>eFV>V>V>V>eFeFeFeFeFeFeFeF/'/'/'/'6eFV'V'V'V'V'eFeFeFeFeFeF|e]/]/]/N6N6N6N6V'V'V'eFeFeFeFeFeFeeFV>V>V>eFV'eF]/N6V'eFeFeFeFeF"m^,8,XX04,Th,8,DXXXXXXXXXX40hhhL|xh|t|LPtxlxx\dpp|0`@hd0TTDXD@PX0,X0|\PXP<@@\XTPX0h0h,,XD dd+oodCCddddCo"^Kd,dddKdKSddu,dSdd]xvBvdKdd,2ddddddddddS,uSuSuSuSuSuSuSuSSSSSS,uuuuddd,SudKiKdZcS,dd,,d,"m^2NoddCCCdr2C28ddddddddddCCrrrdNdzzozzzC8CrdCddYdYCdo88d8odddNN8oYdYNF,FrC2CC!CCCCCCCCCCd8dddddYYYYYN8N8N8N8oddddoooozYddddzYdddYYYYdYYYYddddddooN8N8N8N8ddz8z8z8z8z8ooooddNNNoNoNoNoNz8z8z8oooooozYzNzNzNdz8oNoNz8zYzYddoKF2ddNdddddd5<dd8dddCCddooCd"^+9EUU999U`+9+/UUUUUUUUUU//```K{qq{h_{{9B{h{{_{q_h{{{{h9/9PU9KUKUK9UU//U/UUUU9B/UU{UUKR"R\9+999999999999U/{K{K{K{K{KqqKhKhKhKhK9/9/9/9/{U{U{U{U{U{U{U{U{U{U{K{U{U{U{U{K{K{KqKqKqKqK{UhKhKhKhK{U{U{U{U{U{U{U{U9/9/9/9/B{Uh/h/h/h/h/{U{U{U{U{U{U{q9q9q9_B_B_B_Bh/h/h/{U{U{U{U{U{U{{UhKhKhK{Uh/{Uq9_Bh/{U{U{U{U{U2^.mjW/X2Z4K\"^4EUhhEEEhv4E4:hhhhhhhhhh::vvv]tEQttŖE:EbhE]h]h]Ehh::h:hhhhEQ:hhhh]d*dqE4EE#EEEEEEEEEEh:]]]]]]]]]]E:E:E:E:hhhhhhhhhh]hhhh]]]]]]]h]]]]hhhhhhhhE:E:E:E:Qh:::::hhhhhhEEEtQtQtQtQ:::hhhhhhŖh]]]h:hEtQ:hhhhh"m^4EthhЮEEEhw4E4:hhhhhhhhhhEEwwwh–QhŖtЖE:EyhEht]t]Eht:Et:thtt]QEthhh]R.RlE4EE#EEEEEEEEEEt:hhhhhЖ]]]]]Q:Q:Q:Q:thhhhtttthhthhhhhh]]]]t]]]]hhhhhhttQ:Q:Q:Q:ht:::::tttthhЖ]]]tQtQtQtQEEEttttttЖh]]]t:t]tQEhhthtKI4qhEhhhhhh?Ehh:hhhEEhhttEh"m^?S}}SSS}?S?F}}}}}}}}}}SS}鵧a}çÙõSFS}S}ooS}FSFЋ}oaS}}}oc7cS?SS*SSSSSSSSSSF}}}}}oooooaFaFaFaF}}}}}}}}}}}}oooooooo}}}}}}ËËaFaFaFaF}ËFFFFF}}oooaaaaSSS}oooFoaS}}}KX?}S}}}}}}KS}}F}}}SS}}S}"m^4EXhhEEEh4E4:hhhhhhhhhhEEhE]thtttQ:QXhEhh]h]:hh::]:hhhhQQ:h]]]QS9SqE4EE#EEEEEEEEEEh:hhhhh]]]]]E:E:E:E:hhhhhhhhht]hhhht]hhh]]]]h]]]]hhhhhhhhE:E:E:E:]]t:t:t:t:t:hhhhhhŋQQQhQhQhQhQt:t:t:hhhhhht]tQtQtQht:hQhQt:t]t]hhhKI4mhQhhhhhh:Ahh-tthEEhhhhEt2hg57^0_6mb1Rd"m^4QthhEEEhw4E4:hhhhhhhhhhEEwwwhQhtE:EwhEhh]h]Eht::h:thhhQQ:t]h]QI.IwE4EE#EEEEEEEEEEh:hhhhhŖ]]]]]Q:Q:Q:Q:thhhhtttt]hhhh]hhh]]]]h]]]]hhhhhhttQ:Q:Q:Q:hh:::::tttthhŖQQQtQtQtQtQ:::tttttt]QQQh:tQtQ:]]hhtKI4hhQhhhhhh7?hh:hhhEEhhttEh"^NhhhhNhNWWWhy&hWhhhWWWhyW>hNhh84hhhhhhhhhhWhWhWhWhWhWhWhWhWyWWWWWhhhyyyyWWW&WhyW"^,;HXX;;;Xd,;,1XXXXXXXXXX11dddNvvlb;Elbvbll;1;SX;NXNXN;XX11X1XXXX;E1XXXXNU#U`;,;;;;;;;;;;;;X1NNNNNvvNlNlNlNlN;1;1;1;1XXXXXXXXXXNXXXXNNNvNvNvNvNXlNlNlNlNXXXXXXXX;1;1;1;1EXl1l1l1l1l1XXXXXXv;v;v;bEbEbEbEl1l1l1XXXXXXXlNlNlNXl1Xv;bEl1XXXXX"^Nh8hhhNhNWhh"y&8hWhhhWhWyh{E{hNhh84hhhhhhhhhhW8yWyWyWyWyWyWyWyWWWWWW8yyyyhhh8WyhKmNh^gW8hh88h82!q7mg9i3Rj8n"^$0;IIyq000IR$0$(IIIIIIIIII((RRR@iaaiYQii08iYiiQiaQYiiiiY0(0DI0@I@I@0II((I(qIIII08(IIiII@FFN0$000000000000I(i@i@i@i@i@aa@Y@Y@Y@Y@0(0(0(0(iIiIiIiIiIiIiIiIiIiIi@iIiIiIiIi@i@i@a@a@a@a@iIY@Y@Y@Y@iIiIiIiIiIiIiIiI0(0(0(0(8iIY(Y(Y(Y(Y(iIiIiIiIiIiIia0a0a0Q8Q8Q8Q8Y(Y(Y(iIiIiIiIiIiIiiIY@Y@Y@iIY(iIa0Q8Y(iIiIiIiIiI"m^,;JXX;;;Xw,;,1XXXXXXXXXX;;wwwXllvll;NvbvllXbllbbE1EKX;XXNXN1XX11N1XXXXEE1XNvNNEG1G`;,;;;;;;;;;;;;X1lXlXlXlXlXvvNlNlNlNlN;1;1;1;1vXXXXXXXXXbNlXXXXbNlXlXlXvNvNvNvNXlNlNlNlNXXXXXXXX;1;1;1;1NvNb1b1b1b1b1vXvXvXvXXXvlElElEXEXEXEXEb1b1b1XXXXXXvbNbEbEbEXb1vXlEXEb1bNbNXXXK>,\XEXXXXXX17XX&bbX;;XXXX;b"^Nh8hhhNhNWhh"y&8hWhha}{E{hNhh84hhhhhhhhhhW8yWyWyWyWyWyWyWyWWWWWW8yyyyhhh8WyhKmNh^gW8hh88h8"9 ^:EUhhEEEhr4r4:hhhhhhhhhh::rrr]tEQttŖE:EbhE]h]h]Ehh::h:hhhhEQ:hhhh]d*dqK`4^hE]hhhhh:Ahh&]]hEEhhttE]vrrr#:rEErrr~~Sr9g3V~~[~~grrrrhggggggggPPPPPPPPPPPPёr~Vg[g~mIErrxmgrryr{~[[x~r[~EErxx~[[[[[[[~~~~~~~~~~~~~~~~~~~~EEEEEEEEEEEErrrrrrrxxxxxxxxxxxxIIr2z#Sq:vr;`u<xCourierHelveticaHelvetica BoldHelvetica ObliqueHelvetica Bold ObliqueSymbolITC Zapf Chancery Medium ItalicCourier BoldCourier ObliqueCourier Bold ObliqueTimes RomanTimes Roman BoldTimes Roman ItalicTimes Roman Bold ItalicITC Avant Garde Gothic BookITC Avant Garde Gothic Demi"9 ^1;HXX;;;Xa,a,1XXXXXXXXXX11aaaNvvlb;Elbvbll;1;SX;NXNXN;XX11X1XXXX;E1XXXXNU#U`KQ,PX;NXXXXX17XX NNX;;XXbb;Ntdaaa~1a::aaa~~~~kkGa0~W,Iykk~~~~NkktWaaa~~~yyyaXWWWWWWWWDDDDDDDDDDDD{ouakIlWsNsWk\>:ayaf\rWaafaikNpNzfk}ayyoNk::affyozk~oooooooooooooooooooNNNNNNNkkkkkkkkkkkkkkkkkkkk::::::::::::aaaaaaaffffffffffffyyyyyyyyyyyyyyyyyyyy{s>z>za"m^.:.\\26.Xl.:.G\\\\\\\\\\62lllO}lyOSy}q}}`huu2dClh2XXG\GCS\2.\2`S\S?CC`\XS\2l2l..\G ?K\?.S?:G\X2XXXXXqlGGGGGO2O2O2O2`}S}S}S}S````uSX\\}SuSXXXlGlGlGlG\GGGGSSSSSS\\O2O2O2O2S\y2y2y2y2y?````}S}Su}?}?}?`C`C`C`ChChChC``````uS\\\\y2`}?`ChCuSuS\}S`K}.hX:SGO\\\66\\!KGh26`dll&:llrr#:lEErrrl~~Sl9g3V~~[~~grrrёr~Vg[g~mIErr`mgrryr{~[[x~r[~EErxx~[[[[[[[~~~~~~~~~~~~~~~~~~~~EEEEEEEEEEEErrrrrrrxxxxxxxxxxxxIIr"m^,;bXX;;;Xe,;,1XXXXXXXXXX;;eeeXvvlEXvlbvv;1;gX;XbNbN;Xb1;b1bXbbNE;bXXXNF'F\;,;;;;;;;;;;;;b1XXXXXNvNvNvNvNE1E1E1E1bXXXXbbbbXXbXXXXXXNNNNbvNvNvNvNXXXXXXbbE1E1E1E1Xbv1v1v1v1v1bbbbXXNNNbEbEbEbEv;v;v;bbbbbbXvNvNvNbv1bNbEv;XXbXbK>,_X;XXXXXX5:XX1XXX;;XXbb;X26z=|>Rd~o)cr.Swfte simple interl.DINA4 sans NpagedESES .,,. 6&&ein wittgensteiniana wittgensteiniano6&EstndarBRUDGLYP.PRSXpi6&finitif@p@@FF MMx6&EstndarBRUDGLYP.PRSXh4,;  #XpiP;rEXP#    "m^:=@ssIMMY~:E:[ssssssssss::~~~{xpe/d{`{~hY{dI~I~hIA**i*?QGsdpYII~O:[i#NMeE.sD?i^s*pppp/*/*/*/*{p{ppppp/*/*/*/*d{i`*`*`*`*l?~?~?~?hQhQhQhQYGYGYGȭ{pdYdYdY`*~?hQYG{p{pK~:v={YYsssMMss)eih44sseeJi"^::Kuu:OO\}:X:`uuuuuuuuuu::}}}uyld:d\uylXhCC}h::}26y2}C\?}uuy`G}G}X:dq!XhXK:GGqd}2llll:2:2:2:2}}}}}yyllll}}:2:2:2:2dy\2\2\2\2dC}}}}yCyCyCl\l\l\l\X?X?X?}}}}}}yh`h`h`\2}yCl\X?yy}K}:}u:u``uuuKKuu.ddh22uull:d T?xxx x6X@KX@!"L 0rB7x;5r2PkCSP   L h"P.&ʊP2PkCPL HcR N2PkCzPL:OBa2PkCP HcR N2PkCzPn EcRyN2p}wCz8OB2p}wC EcRyN2p}wCz .wB75w2p}wCS L <SEP{2PkCP  :SE52p}wC 0rB7!5r2x(CSX  .wB73B5w2x4vCSD 0lB7J'5l2PASPL )a8/a2PkCP )a8/!Ua2x(CXD )\8/Jd\2PAP @bB,Qb*6j Hxg#CSX 'e8/uAe2p}wCT`,TTTPMT6X@K@?xxxq+x `KX#T^x6X@K@^qy `KKqKR: `K ^qy `K?xxx~x6Nh[KXH?xxxlxh]KXTu5fffxϔf6X@K@ D 1mC8JK:m2PAXPu5fff~f6Nh[KHD )]9/Je]2PAPt6fffqsΔf `K AcC,Q_c*6j Hxg#CXXL 1sC88:s2PkCXP /xC8:x2p}wCXB 7oC2o\  PCXP'-%+&$ f&N/#;wN\  PCP 7tC2t4  p(ACXRdK#\  PCP( RdK#4  p(AC*AP<G4  p(AC)( RdK#4  p(AC*<5nC2Kn*f9 xCXX, 6pC2( p9 xICX {/^9+^\  PCPE 9tE4-t\  PCqP06774;/=;.88A 9yE4-y4  p(ACq>UhNB\  PCP1 UhNB4  p(AC3DS?4  p(AC21C UhNB4  p(AC3<D 7sE4-s*f9 xCqX5 8uE4-u9 xICq 1b;,b\  PCP9<G i(P0$_P\  PCPD@ 3rE:JoRr2PAqP:<F /a;,c;a*f9 xCXD +`;1Jcs`2PAP CgE.Q{g*6j Hxg#CqX 1f;,f4  p(ACI /}E:G}^P)CqPt/|E:G|:p7Cqwj9cBiw$[Pww|hmy[<wj;b2h o ۟UKES .,,. 6&&ein wittgensteiniana wittgensteiniano6&StandardII.PS)LAURENTI.PRSx  6&finitif@p@@FF MMx6&Standardius_PostScript_(hh  #XpiP;rE$XP# hh    1 fG D Graham Priest's `Dialectheism'  by Lorenzo Pe9a`r"#Hă   y]dddy=ESUK#$-t\  PC.qP#*Ԋ  v +  Graham Priest's `Dialetheism' "  vJ  ԚIsItAlthogetherTrue?  Z $Lorenzo Pe9a    Z % SORITES # 7 $hNovembre 1996 #LISSN 1135-1349 &{pp. 2856    R; &Contents: )a 01." True Contradictions 02." Are true contradictions in between complete truth and complete falsity? 03." Avoiding ineffability and the need for strong negation 04." Set Theory 05." Conjunctive Assertion 06." Motion 07." Juridical and deontic logic 08." Other grounds for true contradictions 09." The Confinement Policy and Using DS  Ro 10." Conclusion   v   Z 1." True Contradictions  Z )a Graham Priest's book In Contradiction (Dordrecht: Martinus Nijhoff, 1987) is a bold and well arguedfor defense of the existence of true contradictions. Priest's case for true contradictions " or dialetheias , as he calls them " is by no means the only one in  Z contemporary analytical philosophy, let alone in philosophy tout court. In some sense, other defenses of the existence of true contradictions are less philosophically heterodox  than his is, since, unlike Priest's orientation, other approaches are closer to prevailing ideas in mainstream ( Quinean ) analytical philosophy, whereas Priest's leanings are strongly antirealist, and not distant from the logical empiricism of the thirties. However, such issues seem to me almost immaterial for the chief arguments in Priest's book. Much of what he says can be accepted from a wide variety of philosophical outlooks. And most of it seems to me right and important. Other among his arguments are less cogent, and yet can be modified and thus rendered far more convincing. Even when that is not so, weaker " less sweeping, but more plausible " arguments can be put in their place. And, what is more, such a wateringdown does not affect the main conclusion of the book, the existence of true contradictions.  Z% Whoever is prepared to accept thesis ETC " namely, that there are true contra Z& dictions " will meet strong opposition. A number of people will be flabbergasted. But it is contradictory to say that there are true contradictions! . And? Well, as for arguments  Z' there is a deplorable shortage of them against ETC . Just claiming that ETC is contradictory can hardly be regarded as an argument. Priest has in other places tackled some of such arguments as there exist. Let me begin this critical notice with a short discussion of a couple  Z* of those preliminary objections against ETC . The main argument is of course Aristotle's, which has always been taken to be an argument for the principle of noncontradiction, but which can be read as an objection-=o.o.o.  Z against ETC . (Whether an argument against  p  is the same as one for  notp  is a central issue, which will in due course be dealt with in this paper.) Aristotle's objection amounts to this, according to my exegetical lights (although of course there is an astonishingly wild variety of interpretations): if you are prepared to accept just one true contradiction, you are bound to accept any and every contradiction " and hence every statement ", since the only or at least the strongest reason against accepting a contradiction is just the fact that it is one; if that fact does not debar you from accepting it, you lose any reason for rejecting any other contradictory claim. Not that no other reason can be found, but none will be as strong as the mere fact that the belief " or the statement " is contradictory. If the strongest reason against a claim is not strong enough, neither are weaker reasons. A possible reply is that for a belief to be contradictory is not bad, and so it is no reason against that belief; hence, it is downright false that contradictoriness is the strongest reason against a belief. Such a reply does not seem to me to be open to G. Priest's peculiar brand of dia Z letheism  " adherence to ETC . For he seems to share the view that true contradictions are bitter pills to swallow, which must be done only exceptionally in a few fields. Other things being equal we ought to refrain from accepting contradictions. So contradictoriness is after all a reason against a belief. Yet Priest clearly denies that it is the strongest reason. But no clear indication of what reasons against a belief are good or convincing is provided in Priest's book. (I'll dwell on this issue later on.)  Z6 A different objection against ETC is that whatever reasons there are for  p  are rea Z' sons against  notp  and the other way round. Since reasons for  p and notp  are only all  Z reasons for  p  and all reasons for  notp , it emerges that all reasons for  p and notp  are  Z  also reasons against  p and notp . Since there are other reasons against  p and notp  (namely reasons for the universal truth of the principle of noncontradiction), the balance is  Z definitely against  p and notp .  ZR Priest rejects the equation between reasonsfornotp and reasons againstp . I think he is right, but unfortunately his dialetheism seems to me incapable of explaining what  Z4 a reason against a belief may be. The notions of rejection and beingareasonagainst have to remain primitive (or explained one through the other), with no sentence being even available in the language by asserting which rejection could be expressed. That is unfortunate.  Z What about the etymology of ` contradiction ' as sayingagainst ? Let me at this stage anticipate the core of may coming criticism. Priest does not accept degrees of againstness , degrees of negation, degrees of anything connected with the notions he explores in his book. Which blocks one of the most reasonable and straightforward roads to an accommodation with what the objection we are studying is up to. Should  Z2$ there be degrees of truth and falsity, we could say that a reason [strongly] against  p  is a  Z#% reason not for  notp  but for some stronger negation of  p  " namely  not p at all . Thus the objection would be rebutted on count of its failing to distinguish natural or weak from  Z'  strong negation or overnegation . No such move is available to G. Priest.  Zl( Last, there is the hackneyed and by now discredited claim that from  p and notp  everything follows. Again, yet, the claim depends on a number of steps, the only one which  ZN* seems reasonably rejectable being DS ( Disjunctive Syllogism ). But rejection of DS is not  Z?+ easy. There are clear uses of DS which are right. Priest allows DS with a contextual proviso?+o.,,55  Z " namely that contradictions in the field within which DS is being applied do not arise, or are likely not to arise. I'll discuss his position on that issue a little later. Alternatively, if we had both weak and strong negation we could say that the only  ZI true contradictions which exist involve weak negation, whereas DS is valid only for strong negation. Which of course is no reply available to Priest.  Z Thus I conclude that the preliminary objections against ETC fail, and that there are not unreasonable ways of parrying them " even if the ones I prefer are not those which are in agreement with Priest's particular sort of dialetheism.  Z If the preliminary objections against ETC are far from being the knockdown arguments Aristotelians were fond of thinking they were, there are several good arguments for  Z  ETC . Priest's book displays several of them. Not that they are knockdown either " although Priest seems to me to think they are final. Acceptance of true contradictions is not going to offer a miraculous wholesale solution to all problems in philosophy, but is going to make things much easier in all fields. After all, many convincing reasonings end in contradictory conclusions some of which can be maintained upon consideration, with a lessening of the strains and the constraints under which we used to find ourselves. At the very least, in many cases an alternative is now open to weighing, which was formerly unthinkable, due to acceptance of Aristotelian logic and its offspring.    Z1 b2." Are true contradictions in between complete truth and complete falsity?  Z )a I find it odd that G. Priest, in his mustering of reasons for ETC , does not consider the notion of degrees of truth. Now, that notion is connected with the blossoming of fuzzy logics and settheories " about which not a word is said in Priest's book " which have been extensively argued for in a variety of papers, and shown to have important applications both in theory and in practice (engineering). Priest cannot be unaware of those developments. He has clearly chosen to ignore them as pointless for his enterprise. Yet, I feel confident that many readers will share my impression that the only nonclassical truth value he accepts is precisely in between the extremes of pure truth and pure falsity; and so an intermediary value, which is less true than the wholly true.  Z Let me explain. Priest posits three truthvalues: {T}, {F} and ddnn {T,F}. nndd In order to give a uniform account we can identity T with {T} and {F} with F. Then we can say that the truth values are (1) T, F (2) for any two values, X, Z, XBZ There is no fourth truth value, since the union of any of the three with either of the other two is one of the three values. Now, it seems obvious that what we have is a trichotomy of pure truth, pure falsity, and a mixture of them. What has a mixture of a property - and its opposite is less - than what only has the property - and completely lacks its opposite. So the third truthvalue is intermediary, a middlecourse in between the extremes " in the same way as mixing white and black yields grey, which is less black than the black and less white than the white, butB+o.,,55 blacker than the white and whiter than the black. Mixing dryness with moistness gives something which is in between, humid. Now, what is the reason for stopping at that stage rather than proceeding to introduce further intermediary truth values? Well, yes, according to the procedure, any new mix Z: ture is going to be just one of the three values " namely the mixed value ddnn {T,F}. nndd But why not change the procedure slightly? For instance, we can think in terms of multisets rather than sets " a multiset being characterized by the fact that an entity may belong to it several times. Or we can directly think in terms of fuzzy sets " but, not to beg the question, I will not avail myself of them at this stage. Or we can take as the operation which generates new values, not union, but the pairforming operation, {,}. So, in addition to T " which we no longer need to identify with {T} " and F " no longer to be equated with {F} " we have as additional truth values:  Z8  ddnn {T,F}; {T,{T,F}}; {F,{T,F}}; {F,{T,{T,F}}}, nndd etc. It is not easy to understand what the last one is. We can impose a constraint which  Z makes things clearer, by ruling out such combinations as ddnn {X,{Y,Z}} if X/Y and X/Z. nndd Then we have infinitely many intermediary values which are clearly degrees of truth and  Zr falsity " except the original ones, T or total truth, and F or total falsity. ddnn {T,F} nndd or  is equidistant between: T and F. {T,{T,F}} is equidistant between T and .  ZT Ԛ ddnn {{T,F},{T,{T,F}}} nndd is equidistant between  and the value which is equidistant between  and T. And so on. Priest offers no reason against adopting a procedure like that. He does not consider  Z doing so. He probably thinks that doing with just T, F and ddnn {T,F} nndd is enough, that nothing new is either needed or desirable or even perhaps possible, since we already have Truth, Falsity and the Mixture of them. Yet we also have Wine, Water and 8 the  mixture of them. What mixture? A 5050 one? Is it the same as the 991 mixture? Are we to count all such mixtures as the same, because we do not care how much water there is, a small drop carrying the same weight as a million drops? In most cases, if two qualities " or masses, or whatever " can be mixed, they can be mixed in many degrees of either. Certainty and doubt, love and dislike (or even hate), joyfulness and sadness, sweetness and bitterness, etc. Each mixture has a dose of either ingredient. Now, perhaps Truth and Falsity can never get mixed, as the classical logician contends. If they can consort with one another, why in such a way that degrees cannot be taken into account? Since, according to Priest, true contradictions have both Truth and Falsity, they are true and false (although a problem arises here with what Priest calls the principle of exclusion, to which I'll come back later on). But, if such is the case, why cannot that mixture admit of degrees of each of the mixed properties " with the obvious constraint that, the more of the one, the less of the other? By refusing such a gradualistic approach, Priest adopts a stand only slightly less rigid than the Aristotelian, for whom there are exactly two situations as regards truth: either it is [completely] present or else it is [completely] absent. Priest allows a 3d case where it is both or perhaps where both truth and falsity are present " but agrees with the Aristotelian (or classicist) in rejecting any further complication or any degrees of presence. Is our worldview much improved by accepting just a 3d, internally uniform, degreeless, mixture of+o.,,55 heaven and hell, along with the originally given extremes, rather than a full scale of infinitely many gradations? Against the foregoing considerations it can be argued that, truth and falsity not being mass terms, it does not make sense to speak of mixing, still less to talk of more truth  as we talk of more water . Is that so? Well, I suppose my considerations bear a distinctive Platonistic ring: in some " perhaps nonliteral " sense, when a thing is hotter than another one, there is more heat in the former " or maybe there is a greater presence of heat. If a proposition is truer than another one, there is more truth in the former than in the latter. Well, yes, I know, not everybody is prepared to accept that a proposition can be  Z truer than another: either it is true, tout court, or else it isn't. (But, please, notice that I of course accept the principle of excluded middle, and that not only nothing of what I've hitherto said runs against excluded middle, but in fact linking truthgraduality with true contradictions assumes excluded middle " else we could avoid the contradictions by contending that sentences with intermediary truth values can be neither asserted nor denied.) It seems to me, though, that such a line is not open to G. Priest. He has clearly taken the true and the false to be mixable, his third truth value being an alloy of both, and being meant to be both. He even uses such expressions as purely true  or the like for characterizing sentences with value {T}, as against sentences which are true but not purely  Z true, namely those with value ddnn {T,F}. nndd Since unalloyed truth, pure truth, completely rules out falsity, whereas the mingle of truth and falsity which is {T,F} does not, we seem allowed to gather than sentences with value {T,F} are less true than sentences with value {T}, the latter alone lacking falseness altogether. Since being fully true is the same as lacking falsity altogether, only sentences with value {T} are entirely or wholly true " and only sentences with value {F} are utterly false. Such considerations can be countered by insisting that a sentence with value {T,F} may be completely true " and completely false, too? Well, if it comes to a matter of definition, it is hard to find an argument on those matters. Yet, I feel that Priest cannot deny that the most natural reaction to his proposal to the effect that some sentences have as their truth value {T,F} is to view such a situation as a case of those sentences being neither completely (or purely) true nor entirely (purely) false, but in between, having both truth (to some extent) and also falsity (up to a point). Natural reactions may be quite mistaken. Perhaps it is natural to extrapolate our visual field and conclude that the Earth is flat. But then there are arguments to the effect that the Earth is not flat (at all). Are there arguments which show that {T,F} is not a mixture of truth and falsity? A different objection against my gradualistic construal of value {T,F} as a blend of truth and falsity is that there is no way to make sense of degrees of presence or any such Platonistic talk, which as such is merely metaphoric. But that is wrong. The settheoretical approach I have sketched is a way of cashing the metaphor. (Moreover, a Platonist needn't even fall back on such a rewording.)K*o.,,55ԌTherefore, pending arguments against the gradualistic interpretation, it seems to me we can be confident that what in effect Priest is putting forward is the existence of cases of truth which are not cases of complete truth; cases of something being partly true only. Is it reasonable to assume that all beliefs which are true but not purely true are equally true, none of then being truer than another? Let us come to specifics. One of the main intended applications of Priest's defense  Z of ETC is semantics. He thinks " rightly, to myself " that the sentence `This sentence is false' is both true and false. If we have an implication, `', read as `to the extent that8, ', or the like, then we can construe the (simple) liar in this way. Graham Priest emphasizes that in any language rich enough to contain Peano arithmetics and endowed with a truthpredicate `T', we obtain a contradiction (p. 99). For any  ZM sentence of the language,  p , let `#p' be the numeral of the G?del number assigned to  Z> sentence  p  (under some definite way of codifying expressions into numbers, be it G?del's original one or any other). Let us use the fixedpoint theorem and the diagonalization tech Z  nique in order to construct an open sentence  -(x)  which is true to the extent , and to the extent only, that (loosely speaking) its diagonalization is not true; less inaccurately, let  map the G?del number of an open sentence with one free variable, `v', into that of this diagonalization, i.e. of the result of substituting in it the numeral of its G?del number for its  Z only free variable. In virtue of the diagonal lemma, if    is any formula with one free var Z iable `v', there is a sentence    such that ddnn (v/#) nndd . Let us take the open sentence  Z  ddnn   Tx , nndd where we have laid down that ddnn T#pp nndd as an axiomatic schema. It follows that  Z there is a sentence  p  such that: ddnn  T(x/#p)p. nndd In virtue of the axiomatic schema  Z  ddnn T(#p)p, nndd we'll have:  Z9 (1) ddnn T(#p) T(#p) nndd (for some p ) What does (1) mean? If we cleave to our proposed reading of `' (and hence to  Z that of `' as `to the extent, and to the extent only, that'), it means that the sentence  p  under consideration is true to the extent that it is not true, and conversely; hence as true as not true, neither more nor less. Let us grant all that. But if there is such a sentence, equally true and false, why not a sentence slightly more true than false, and one in between being slightly more true than false and being wholly true, and so on? What is unique to the liar is that it says of itself that it is not true. Hence, in virtue  Z of ddnn pp, nndd and substitutions, we have that to the extent it is true, it isn't, and conversely. Nothing like that is available for sentences which are more true than false, or more false than true. Still, if the liar exists, why not those others? The issue is not whether we can prove merely by such means that such intermediary cases exist. After all, proving the liar depends on a number of very debatable assumptions " although I am confident Priest has shown that the usual waysout are not as good as their adherents are keen on thinking. I do not deny the naturalness of proving the truthandfalsity of the liar. The point is that, once its existence has been granted, the plausibility of further intermediary cases is much enhanced.'o.,,55Ԍ   Zg  3." Avoiding ineffability and the need for strong negation )a One of the most forceful and recurring arguments throughout Priest's book is that the usual waysout lead to ineffability. I am not going to repeat Priests' detailed and convincing arguments. In fact such a conclusion should be obvious. If there is no language which is the metalanguage of all languages, in what language can such a nonexistence be said? It must be a language wherein we can speak of all languages and their semantic qualities. The hierarhist  approaches " as G. Priest calls them (p. 24) " cannot even say of themselves that they are true. They have to fall back on unquantified schemata, through systematically ambiguous  expressions. The problem is similar to that encountered by type distinctions, but not quite the same. I find Priest's arguments congenial and very plausible. Yet his way of putting all that in terms of all or nothing seems to me unfortunate. You get the impression that either a sweeping, naive, thoroughgoing approach to semantics is accepted, and then the paradoxes ensue and are also espoused " which of course calls for a paraconsistent logic " or else we have to cling to some variety of the hierarchy, be it Tarski's or Kripke's or whatever. But surely there are hierarchies and hierarchies. Not all of them are as harsh and unpalatable as Tarski's. In fact Tarski's was a crude, extreme reaction, whereas later approaches are milder, more refined, less destructive. Priest himself acknowledges that some of them admit of truthvalue gluts rather than gaps (see p. 26, n. 20 on Woodruff's treatment). And of course new approaches can be devised, by refining, or qualifying, those which are available. Against adherents of truthvalue gaps, Priest convincingly argues that they cannot express that a sentence is not true (p. 20). Unfortunately though, he encounters exactly the same situation. For he needs to differentiate between that which is only false and that which is both true and false. He does so by using expressions such as `only', `purely', `plain[ly]' (p. 239) and the like. Now, what is a plainly false sentence? One which is true and which is not false? If we could say that, and by saying so enough information were to be provided,  ZC it would be fine. Can we? Not if we accept the exclusion principle , namely that, to the extent that a sentence is false, it is not true. The immediate effect of the exclusion principle is that the contradictions spread to the metalanguage  " speaking in the customary jargon.  Z For let  p  be a sentence both true and false, i.e. with value {T,F}. Then the sentence This  Z is true:  p   will also be true and false. By saying that  p  is true and not false we say  Z nothing incompatible with  p  having as its truthvalue {T,F}, and with so doing Tp. Dropping the exclusion principle avoids such spreading of contradictions into the metalanguage at a high price. Rather than having the T schema for mutual (contraposible) coimplication, `', we are supposed to do with some makeshift, to which contraposition does not apply (see pp. 8891 and 99100). Priest says (p. 100).  R% There seems to be no reason why, in general, if  is a dialetheia, T is too. If  is a dialetheia, T is certainly true, but it might be simply true, and not also false. The truth  ZO' predicate is therefore a partial consistensizer.A  Priest contends that the exclusion principle spreads contradictions beyond necessity (p. 90). `On the basis of this I tentatively reject the exclusion principle' (ibid.). It never emerges whether in the end Priest comes to accept the principle.*o.,,55ԌIt is not just a matter of definition. If the exclusion principle fails, many arguments for true contradictions which hinge on the T schema also fail and have to be reformulated. (The reformulation involves more debatable principles (pp. 1623), so those who oppose Priest's dialetheistic solutions are provided with a number of possible and plausible retreats.)  Z Moreover, the fundamental idea that the truth of  p  is the fact that p is no longer correct. Furthermore, Priest's purported account of the T predicate without the exclusion  Z principle in effect restores the principle in other form, since it countenances the antisatisfac Z  tion principle, namely that a sequence antisatisfies a formula iff it satisfies its negation (`iff' is my own reading of Priest's noncontraposible biconditional `<'). What emerges (p. 176,  Z bottom) is that we have two predicates, T and F, such that ddnn p<T#p and  p<F#p. nndd The proof that the thus weakened truth theory still contains contradictions involves abduction rules for the noncontraposible conditional `8', namely p8 p  p and p8p  p " although the point is not made quite clear in the text. The whole treatment is somehow marred by the fact that `8' is not provided with an English reading; and once contraposition has been junked for it, I surmise that not everybody will accept the abduction rules. For what  d alone is proved is (p. 177) ddnn Sat1(x,#)<(vi/x); nndd i.e. x satisfies (in one place) [the G?del  d number of] formula `' iff (x); by instantiating `x' with ddnn `#[ Sat1(vi,vi]' nndd and `' with  d  ddnn ` Sat1(vi,vi)' nndd , we are supposed to obtain a contradiction. Yet the contradiction follows only in virtue of the abduction rules (Clavius). If one relinquishes the naive simplicity underlying  Z the original T schema " namely that  p 's truth is just the fact that p ", I guess some contradictionaverting manoeuvres become less implausible: e.g. refusing to accept the antisatisfaction principle, or one or other of the abduction rules for conditional `8'. Hence, I find waiving the exclusion principle unattractive. Nonetheless, even without the exclusion principle we still need to differentiate between situations which are  Z only false and such as are both true and false. Suppose that  p  is both, i.e. that it has truth value {T,F}, while both T#p and F#p are only or plainly true, with no admixture of  Z falseness in them (!). Let  q  be such that its truthvalue is {F}. How can we differentiate their values? Not through F, since both F#q and F#p, but through T. But then we shall have  Z a way of expressing a strong negation. Let us define `H' in this way:  Hp  abbr  Z Ԛ T#pU T#( p) . Notice that `H' is an operator, not a predicate. Yet, within the whole arithmeticcumsemantic theory Priest provides, it is definable. `H' is strong assertion. The rule Hp, p  q is truthpreserving " the premises cannot be both true. Strong negation is  Zf definable:  p  abbr  H p . The Cornubia rule for strong negation (viz. p, p  q) is also truthpreserving (for the same reason, of course): p , p  q. Those rules can of course be avoided by imposing conditions on the turnstile over and above mere truthpreservation. But I do not see what further requirements Priest imposes. Now, let us considerer the sentence: (L) L (L) says of itself that it is completely nontrue, i.e. that it is not at all true that it holds. If all the semantic machinery Priest has developed is still available at this stage (and  Zb( how could it have broken down by now?), an overcontradiction can be proved, namely: LUL. (An overcontradiction is simply a contradiction involving strong negation.) Hence  ZJ* q (every  q ). Unless, 8 Unless we impose further conditions on the turnstile (but is that  Z;+ really a solution or a mere stipulation?) or revert to the initial T schema, with  T#p  having;+o.,,55  Z the same truth value as  p . Which would mean that we accept the exclusion principle after all. With the exclusion principle, however, we can no longer " within Priest's account  ZI " differentiate truth tout court from plain truth. It does not help to say that  p  is true and  Z< not false; that will be the case, too, if its truth value is ddnn {T,F}: nndd it will both have and fail to  Z- have truth; the latter is true, for ddnn   T#p  nndd is " in accordance with the exclusion principle "  Z$ implied by ddnn  T# p , nndd which is true if the value for  p  is ddnn {T,F}. nndd  Z A strong negation is needed, one `' such that  p  completely rules out  p  and the other way round. With strong negation we can explain the difference between being true and being plainly (i.e. completely) true; and between being false and being downright false.  Zj Then many things come into place. We'll have a criterion on when DS can be relied upon (pp. 137ff): whenever the negation involved is strong, or can be taken to be strong. We know when there is an argument against a claim: whenever there is one for the strong negation of the claim. We know why rejection and acceptance are fully incompatible (pp. 128 Z. 32): rejecting  p  means or entails accepting  not p at all , i.e.  p . We know why Priest's principle R (see p. 141) holds, namely `If a disjunction is rationally acceptable and one of the disjuncts is rationally rejectable, then the other is rationally acceptable'; the reason it  Z holds is that DS is valid for strong negation.  Zn More than that is gained with adding strong negation. CL , all of it " including  Z_ Modus Ponens for `D', provided  pDq  abbreviates  pVq  " is now incorporated into the  ZV paraconsistent system. CL is shown to be, not wrong but poor, insufficient. The classicist can be placated; he can be asked only to refrain from reading `' as `not'. The resulting system is more ecumenical. Yet, of course, there is a price, a high price. We can no longer accept the T predicate (within a language sufficiently powerful) or the comprehension axiom in set theory (on which, see hereinbelow), or Priest's elegant and simple treatment of the G?del sentence B, namely This very same sentence cannot be proved . For in each of those cases, putting strong negation in the place of natural negation brings about an overcontradiction " unless the principles in question are weakened or somehow qualified. Priest seems to me implicitly committed to having strong negation. On p. 146 he  Z introduces a propositional constant `F' such that for all sentences ddnn  p  Fp. nndd He stresses that if the language contains its own truth predicate the constant `F' can be defined as `zxTx'; the characteristic principle is then proved. Such being the case, Priest's system " once it encompasses arithmetics and the truth predicate " does in fact comprise strong  Z" negation; for let  p  abbr  pF . Priest is right when he thinks that rejection of  Zy# contradictions in general is expressed by the schema ddnn  pU pF  nndd (which amounts to  Zp$  ddnn  (pU p) ; nndd i.e. every contradiction is completely false). Replacing ` ' with `' yields a  Zg% formula which expresses rejection of overcontradictions, namely ddnn  (pUp)  nndd (overnegation of any contradiction involving overnegation). Although Priest's own system shuns  ZO'  (pUp)  dddd as a theorem " by dint of avoiding conjunctive assertion (see below, 5) " it is  ZF( committed to something close, namely ddnn  p.pF . nndd Thus Priest is in a dilemma. If he accepts constant `F' and so strong negation (or if it is true that `F', with its characteristic principle, is already present in his whole system),  Z+ then something not far distant from CL is included, the naive and simple arguments for+ o.,,55  Z  ETC in semantics and set theory are no longer available, and anyway semantics and set theory need some further remedies over and above the mere acceptance of contradictions  Z (contradictions involving ` ' but not `', i.e. not over Ĭcontradictions). If he keeps clear of strong negation (and of constant `F', which I doubt he can do, and so does he), then ineffability results ensue, which lessens the effect of his criticisms of any hierarchist way Z out of the semantical paradoxes; moreover, all the whole issue of arguingagainst (p. 141), the rationale for principle R, rejection, etc., becomes misty if not enigmatic.    Zz #<4." Set Theory )a Although semantics is the main reason for Priest's dialetheism, set theoretic paradoxes also feature among the grounds for his approach. And rightly so. He discusses  Z the abstraction principle under the form ddnn  yyzx(x y)  nndd and extensionality. He launches (pp. 37ff) an onslaught on the cumulative conception of sets implemented in ZF. His criticism is, to myself, quite cogent. Then he espouses (pp. 178ff) the abstraction principle  Z and hopes that his formal system  can admit it without deliquescence (i.e. Postinconsistency, or triviality, as he says following the current fashion). His reason to hope is that  is very close to a relevant logic, DK, which has been shown by Brady to be compatible with the abstraction schema. Priest's objections against the cumulative hierarchy seem to me so obvious that I  Z find it amazing, not that a number of mathematicisms use ZF, but that some philosophers take it as what it was never meant to be (not by Zermelo anyway), namely an intuitive  conception of what sets are. Priest's objections can be strengthened. If something like the temporal metaphor he rightly denounces (p. 39 bottom) is to be taken ever so little seriously, then the idea is a constructivistic one. But then quantifiers cannot be allowed to range over  Z  all sets, but only over sets which already  exist (i.e. a predicative set theory is required, which ZF and the like are not). A different objection against ZF is that it lacks not only a universal set but complements (except relative complements). Not only it cannot be the set theory used in its own metatheory, but it cannot provide a satisfactory semantics for internal negation " there being  Z no set which comprises only all entities that not p, for any  p . However, Priest fails to discuss Quine's systems NF and ML for the reason that  Z they are `widely regarded as little more than8 curiosit[ies]' (p. 38). Yet, if CL is true, and if some sort of Tarskian semantics is to be possible, the hierarchical cumulative approach is bound to be wrong, and something like NF of ML right. Philosophically those systems are infinitely more appealing than ZF, and deserve to be discussed. That NF entails some oddities concerning the ordinals, is of little or no concern, since the whole subject is anyway riddled with surprising results. Priest does not discuss nonwellfounded set theory or Fitch's combinatory logic, either. His case would be much stronger if he took such alternatives into account. Neither does he discuss other paraconsistent approaches, which accept the abstraction principle with some restrictions. Yet I guess what leads him to ignore such approaches.( o.,,55ԌHis line is straightforward and clear. Take the abstraction principle in its pristine and unpolluted purity; a contradiction ensues. Tampering with Abstraction, as in ZF, causes a lot of trouble and extremely undesirable results. Hence. But suppose that we have both natural negation ` ' and strong negation `', as we have seen in the previous section. Then Abstraction has to go. Yet we could have something weaker. Let us discuss, not abstraction, but Comprehension. Let {8:} be a vbto (variablebinding termforming operator), which we take as primitive (we could use  notation). We need a set theory with these principles, or qualified versions thereof:  Z (Existence) ddnn yz(z={x:p}) nndd  ZT (Comprehension) ddnn {x:p}xp nndd  Z (with `z' not free in  p  in the former principle), and membership being expressed as `zx' rather than `x z'). With strong negation, catastrophe!  Z  ddnn {x:(xx)}{x:(xx)}U{x:(xx)}{x:(xx)} nndd  Z Hence  q . Suppose that we qualify Comprehension by requiring that  p  contains neither `' nor strong assertion `H' (and hence not `' either). But we can add half of it without  Z qualification, namely: ddnn  p{x:p}x . nndd The system " which can be implemented on the basis of some strengthening of relevant logic E " is reasonably strong. We can prove that the set of such sets as do not comprise themselves both comprises itself and does not. We can also prove that the set of such sets as do not comprise themselves at all comprises itself (although of course we cannot prove that it does not comprise itself). Let us call `crowds' such sets as our theory, thus conceived, would account for. Crowds can be thronged or [over]crowded. They can let in entities which utterly fail to comply with the entrycondition " with the characterizing matrix or formula. Such cases can be exceptional. We can add a number of particular cases of (full) Comprehension for which we satisfy ourselves that no overcontradiction is going to arise. Priest does not discuss any such proposal but it is clear why he finds them distasteful. Gone with them is the straightforward argument from Abstraction to dialetheism. The classicist can retort that if socalled strong negation is debarred from featuring in the twoways Comprehension principle, why not socalled natural negation, too? Are they not on a par? If from applying comprehension to {x:(xx)} everything follows, why not from  ZY$ applying it to ddnn {x: (xx)} nndd " ` ' having the property of negation in relevant logic E ? Are those not exactly the same pattern of inference? No, they are not. An inference pattern is syntactically characterized, as is every prooftheoretic notion. And the difference between the two negations can render one of the patterns correct while the other is wrong. " But you do not intuitively see that one is right and the other wrong. You show such conclusion from the fact that within such a system " a strengthening of E ", enriched with strong negation as you call it, from {p, p} everything follows, whereas nothing of the sort+ o.,,55 happens with {p, p}. That is no longer a matter of intuitive principles, but an artificial contrivance. And then why bother us with nonclassical negation at all? Don't you have the worst of both worlds? ) Yet Priest's approach, thus mollified (or watereddown), could become more  Z@ attractive. After all, his current approach has it that R (i.e. ddnn {x: (xx)}) nndd both comprises itself and does not. As much is true " according to him. Necessarily true (I gather). Better to recognize a necessary truth than to say that it is so false that everything follows from it " which is what the Aristotelian does, when he mistakes his `' for `not'. A theory which countenances RRU (RR) is better than one which enforces RRU (RR)  q. So the considered theory of crowds is not worse off than classical set theories (with the possible exception of Quine's " about which I shall say nothing here, sine Priest does not consider them). Besides, crowdtheory would accept a universal set. We would be rid of the troubles which arise from ZF's necessarily rejecting the existence of a universal set. Gone is the need for the hierarchy. So there are not one but several respects in which crowd theory would be  Z# better than standard set theory based on CL . On the other hand, since we'd have strong negation, such difficulties surrounding Priest's approach as have emerged in the last section would be overcome. We could conceive of a similar treatment of semantics. Rather than the wholesale unqualified schema T, restricting it to sentences with no occurrence of either `' or strong negation (or strong affirmation), while keeping one half for all sentences:  Z1  ddnn pT#p nndd Then the simple liar would be as true as false (and hence both) but the strong liar would be only true. (The exclusion principle could " but needn't " be dropped, as Priest advises us to do.) Of course, such a retreat leaves us without the sweeping and direct reasoning from semantics to the existence of true contradictions Priest is keen on. We now need more sophisticated arguments to the effect that natural negation is all right for the T schema, but strong negation can be admitted only into half of it. (Well, a reason is that overcontradictions ensue from admitting strong negation, not natural negation, and that for someone to have a brother who causes trouble and hence is not admitted into the best circles is no sufficient ground for her to be also ostrasized.) We could reinforce predicate `T' with a number of approximations to the original T schema, short of countenancing it in its pristine generality, " which would thus become a regulative ideal to which we would tend asymptotically. Furthermore, the resulting approach would keep a lot of what Priest has put forward. It is not as if such an approach would have nothing to do with his philosophical  ZB% enterprise. While obviously closer to canons dear to the CL enthusiast, the approach would also accept qualified versions of Priest's principles and most of his conclusions. Most of the contradictions he is keen on proving in his book would remain welcome. Only, things would  Z( be a bit less simple and straightforward. And his a priori view of logical and mathematical truth would be jeopardized, which of course he does not want. (For you cannot say that your intuition  tells you, analytically, that the T schema is right under exactly such qualifications and no others.)* o.,,55Ԍ   Zg E5." Conjunctive Assertion )a Although in his chapter on set theory (pp. 178ff) Priest focuses on how the mere acceptance of contradictions " and hence the rejection of the Cornubia rule " makes it possible to have a fullfledged, unqualified comprehension axiom, things are not that simple. As Priest himself has made abundantly clear in a previous chapter (pp. 103ff) the Curry paradox compels any set theory with an unqualified comprehension axiom (and extensionality " or even weakened versions of extensionality) to have as its underlying  Zt sentential calculus one without the contraction schema ddnn  p(pq).pq . nndd Priest gives  Zk us `the strongest form of it' (p. 103): conjunctive assertion " CA for short ", namely  Z\  ddnn  pqUpq . nndd  Z Although CA entails contraction only once other principles have been countenanced which are not unanimously agreed upon " e.g. any result of adding reduced factor  Z  ddnn ( pq.p.pUq ) nndd to the set of axioms and inference rules of E minus contraction ", yet,  Z since I accept the implication of contraction by CA , I agree with Priest that the latter is " for our current purposes anyway " what is really at issue. Moreover, in a rule form we can  Z deduce contraction from CA under very weak entailment principles (see e.g. Richard Rout Zu ley, Exploring Meinong's Jungle , p. 917, bottom); i.e. from ddnn  p.pq  nndd we infer  pq   Zl with the aid of CA , even if we do not have as a theorem schema ddnn  p(pq).pq . nndd  Z Giving up CA seems to me too high a price for anything you can win by such a  Z move. Iff  p  can be strongly inferred from set A of premises (i.e. inferred in such a way that the degree of falsity of the conclusion is at most as high as the one of the falsest prem Z ise) is it the case that, if  q  is the conjunction of all formulae in A,  qp. Since Modus  Z Ponens for implication is a strong inference rule in that sense, CA is bound to obtain. (My talk of degrees may sound distasteful to relevantists " although Priest is not one of them " but something similar, if worded in somehow different terms, is the idea underlying  Zx Anderson & Belnap's famous Entailment thesis.) A proof theory for a logic without CA is  Zi then bound to be weak or awkward. And, most of all, the plausibility of CA much exceeds  ZZ that of any settheoretical principle. For, suppose that an instance of CA fails (completely  ZK " i.e. its strong negation is true). Then although  pq  and  p  are both true (since  ZB  pqUp  is true),  q  is either not true at all or else: less true than  p  and less true than  Z9  pq . But if  q  is less true than  p ,  pq  is utterly false. (Again my talk in terms of  Z0 degrees is not that essential; Anderson & Belnap in their construction of system E would put it in different words, with substantially the same conclusion.)  Z" And, if CA fails, so does importation, of course ddnn ( p(qr).pUqr ) nndd or else  Z# selfimplication ( pp ). (Perhaps importation is the strongest form of the principle we are now discussing; it is no coincidence that e.g. ukasiewicz's logics contain neither importa Zg% tion nor CA nor contraction .) Thus the price of having an unqualified comprehension principle is much higher than Sect. 10.1 of the book ( Naive Set Theory , pp. 17880) suggests. Much the same can be said of semantical paradoxes. There is a semantic duplicate  Z* of the Curry paradox (initially I think, put forward by P. Geach in Logic Matters , pp. 20911). Priest gives it in these terms (pp. 1034): given any arbitrary sentence, , by + o.,,55 diagonalization, self reference or a similar device, we can find a sentence, , of the form T# . The T schema for this sentence yields: T# .T . With contraction we prove  Z    (the details are left as an exercise to the reader). Thus the system becomes deliquescent. Everything can be proved.  ZL Thus we ought to choose. Either CA or unqualified comprehension and unqualified  Z= T schema, not both (not at all both). I really feel at a loss as to how to conceive implication  Z. without CA . Of course, Priest is not the only logician who rejects CA . Most characteristi Z cally the principle has been fought by Richard Sylvan in his endeavour to develop deep  Z relevantism . In Exploring Meinong's Jungle (authored with his then name, `Richard  Z Routley'), p. 919, Sylvan argues in this way against CA :  Ri [ CA ] would exclude situations of the type which occur with semantical paradoxes, where AB and A both hold but B fails to hold, that is, where an implication which  R holds is also counterexampled.A  Let us critically examine the argument. What does `fail' mean here? If strong negation is let in " which of course runs against relevantism in general and more so against deep relevantism ", then that B fails probably means that B holds " where `' is strong ne Z4 gation, `not8 at all'. But then of course, if B fails to hold, it cannot be true at all that both A and AB hold. On the other hand, if `fails' is taken here in a weak sense, i.e. if for B to fail is just that B is true " ` ' being natural negation, the mere `not' ", then what B's  Z failing entails is that either AB or A fail in the weak sense , i.e. that either (AB) or A is true. But that one of them is true does not [completely] rule out A and AB being both true, too.  Zh A further broadside against CA is displayed in Relevant Logics and their Rivals (by R. Routley, V. Plumwood, R.K. Meyer & R.T. Brady, Atascadero: Ridgewiew, 1982,  ZK pp. 278ff). As the argument makes it clear, in order for one to junk CA it suffices, within a modal modelization, to relinquish reflexivity of the accessibility relation. (And in fact in Priest's own modal semantics for his paraconsistent system  " propounded in his book, pp. 1068 " reflexivity of the accessibility relation R does not hold, even though our world  Z accesses all worlds, and so also accesses itself.) Under relevant modellings " I quote  RLR ,  Z p. 279, top " the threeplace relation has to be reflexive for CA to hold generally, i.e. Raaa has to obtain for every [world or setup] a. The argument goes on:  R_ Such reflexivity requirements in fact impose serious restrictions on the class of situations admitted in semantical evaluation. They have the effect of ruling out various paradoxical situations. The simple relation Raa includes [excludes?] various paradoxical worlds in  R! rather the way that the simple equation a=*a excludes inconsistent worlds.A   Z# What is thus claimed is not that CA is incompatible in general with negational inconsistency " `in rather the way that the simple equation a=*a excludes [upon RoutleyMeyer semantics with usual constraints] inconsistent worlds'. The context makes it  Z% abundantly clear that what is at issue is Curry's paradox. What emerges is that CA rules out  Z& situations which would render our theories deliquescent should we have both unqualified  Z' comprehension or the T schema and CA . But it is not enough to devise some modelling ac Z( cording to which CA fails, since " as  RLR  itself puts it a couple of pages later (p. 281, paragraph 2):)o.,,55Ԍ R such an argument has its dangerous aspects, especially as we can now countermodel virtually any logical principle. Accordingly a general objection to semantics which falsify  R entrenched principles like [ CA ] takes the following turn (8)A  What follows is a quotation of a previous paper by G. Priest ( Sense, Entailment,  Z and Modus Ponens , Journal of Philosophical Logic 9 (1980), pp. 41535). The gist of the  Z argument is that saying `We are more sure of the Truth of [ CA ] than of any theoretical account of logical truth' is, in the context of the present discussion, to beg the question.  Z( Is it? Suppose " as Priest claims " that the two incompatible claims " CA on the one hand and the T schema and Comprehension on the other " are, as he puts it, obvious.  Z The argument in support of CA points to the fact that it is more obvious. Again, I feel that, when degrees are ignored or overlooked, things go awry.  Zb In the end,  RLR  rounds out the discussion of CA with a simple remark, `observing  ZT the damage [ CA ] wreaks in paradoxical situations is enough to shake confidence in it and  ZE to begin to shift the onus of argument'. And the authors add that Modus Ponens `no more  Z8 supports its normalization  [ CA ] than Material Detachment licenses Disjunctive  Z) Syllogism'. Quoting Russell they show that, unlike the rule of MP , CA merely requires the  Z  hypothesis that A is true; `in short, it applies in situations beyond the actual one'.  d The idea is that in any framework the world or setup, w , which there plays the role  d| of the actual world , has to be closed for MP (i.e. if both  pq  and  p  hold at w , so  Z} does  q ), but other worlds may fail to enjoy such closure. Is that idea plausible? There are several usually accepted principles which taken together rule out the idea:  ZK ( T1 ) If an absurdity follows from a hypothesis, the hypothesis cannot be true.  Z ( T2 ) What cannot be true is impossible (i.e. is not possibly true).  Z  ( T3 ) What follows from a hypothesis also follows from the hypothesis being possibly true.#  Z ( T4 )  q  follows from  pqUp .  Z  ( T5 ) It is absurd that  p  holds and that  p  [utterly] fails to hold.#  ZT  ( T6 ) If from a hypothesis several consequences follow, then from the hypothesis it also follows that the conjunction of those consequences follows.#  Z Suppose now (Hyp):  Z! (Hyp)  pqUp  holds while  q  utterly fails to hold.  Z" Obviously from (Hyp) it follows that  pqUp  holds; whence (by ( T4 )) it follows  Zy# that  q  holds. Now from (Hyp) it follows, too, that  q  utterly fails to hold. The set of both  Zl$ consequences is an absurdity (by ( T5 )), which follows from (Hyp) (in virtue of ( T6 )). But  Z_% in virtue of ( T3 ) the same absurdity follows from _(Hyp). Hence _(Hyp) cannot be true (by  ZV& ( T1 )). Therefore (by ( T2 )) it is impossible that (Hyp) be possibly true. It seems to me that among such assumptions what is rejected by deep relevantists  Z( is ( T3 ). According to them it would indeed be absurd that  pq  and  p  hold while  q   Z) didn't [at all], but not that a situation should be possible wherein  p  and  pq  hold but  Z*  q  doesn't [at all].*o.,,55ԌMy reply is that, if the actual situation  was a logically privileged one, other situations wouldn't matter. But it isn't. What cannot hold in the actual situation, whatever it may be, cannot hold either in a possible but nonactual situation.  ZI What is right, though, is that the rule of MP , pq, p q, allows us to draw  q   Z@ from the truthful assertability of  pq  and  p , whereas CA does more than that. Thus, if we have a connective `B' meaning `It is truthfully assertable that' (with the rule p  Bp,  Z( even though we do not have  pBp), MP only requires a qualified version of CA , namely  Z ( T8 ):  Z  ddnn ( T8 )  BpUB(pq)Bq  nndd  Z ( T8 ) is equivalent to ddnn  B(pqUp)Bq ; whereas [unqualified] CA requires  Z ( T9 ), namely:  ZQ ( T9 ) nnnn  B(pqUpq)  nndd  Z ( T8 ) is weaker. But as for rendering deliquescent any system with a fullfledged T  Z schema or an unqualified Comprehension principle, ( T8 ) would be enough. Thus weakening  Z  CA in such a way would be of no avail.  Z The comparison with DS seems to me wrong. No relevant similarity. If there are  Z true contradictions " and, as Priest and I contend, some of them exist necessarily " then DS  Z is not a correct deductive inference rule, whereas MP (for implication `') is.  ZV Finally, against both Priest's argument and that of the authors of RLR , it must be  ZH emphasized that CA is more basic, more general. It is a principle of sentential logic. Admittedly, sentential logic is also liable to feedback from its applications; so there are reasons to qualify some principle of the sentential calculus in virtue of considerations pertaining to its applications in a number of fields. But there must be very very strong reasons for that. And whenever possible a distinction ought to be offered by which the junked principles can be retained under some reading (e.g. when we reject principles involving negation, a distinction between weak and strong negation allows us to keep all classical  Z principles for strong negation). Sacrificing CA just for the sake of coping with Curry's  Z paradox seems to me as ad hoc as anything can be in logic.    Z %6." Motion )aUKUK Traditionally, Zeno's paradox of the arrow has been associated with truth at intervals, not instants. Spinoza put it like that: there is no fixed unique position that the travelling body occupies at an interval, for the interval is made up of infinitely many subintervals, and the body is not at the same position at them all. However, Priest argues for the contradictoriness of motion on the basis of instant Z2& semantics (pp. 221ff). His version of the arrow argument hinges on the spread hypothesis ,  Z#'  SH , (ibid.), namely:  Z(  SH A body cannot be localised to a point it is occupying at an instant of time, but only to those points it occupies in a small neighbourhood of that time.# Let us modify the wording by replacing `point' and `points' with `place', or `region', or the like (a body cannot be contained in a point).+o.,,55Ԍ Z What is the rationale for SH ? Priest argues that the difference between motion and  Z notmotion is that something like SH obtains for the former. A world wherein there would be a sequence of states cinematographically describable as if there were motion in it would all the same be a motionless world. I agree. A body is not moving if it is now here, and only here, then there and only there, never really passing from here to there " never in a situation which can be described as intermediary between being here and being there.  d Yet there are problems. Let us suppose b is travelling from its initial position p 1 to  d its destination p n. At each instant i it occupies not just a position p i but also positions which  d are in a neighbourhood of p i " and which partly overlap p i. Yet, since no degrees of truth  d are taken into account, b is equally at all those places. And since Priest tells us that the  d spread is bound to be small, for each point outside the series of stretches b occupies at i it  d is downright and wholly false that such a point lies in one of the position b occupies at i .  d There is a clearcut, crisp, trenchant boundary separating b 's series of positions at i from the  d positions it does not have at i [at all]. All of that seems to me implausible. The rationale for taking motion to be contradictory was that we cannot ascribe to the travelling body a unique position at an interval. With instants that is not clear " although probably the best way to understand what happens  at an instant is a derivative one. Since Priest himself allows of a consideration of in Z. tervals, let me henceforth regard SH with a further modification, reading `interval' for `instant'.  d Now, b is travelling (with uniform speed) and its travel begins at noon and ends at  d 13pm. Let b be of length l . At the interval I , 12:25"12:35, it occupies a number of partly  d| overlapping positions, the stretch they form being that between points x and z . Let p l be a  dw position of length l such that the distance between x and the first point of p l equals the  dr distance between the last point of p l and z . Clearly p l is central. So at I as a whole b can  dm more properly be said to be at p l than at any position lying outside p l. To see this more  dh clearly compare what happens at I with what happens at intervals 12:2312:28 and 12:33 dc 12:38. Positions corresponding to only one of those intervals are less typical of b at I than  d^ the central position p l. Now, in accordance with SH , at I b has also positions (partly) over dY lapping the set of positions at some other intervals. It is clear that b is not to the same extent  dT in all of them, but that the lesser the overlapping between position p and position p l the less  dO true it is that b is at p at I . Yet, since the travel is (let us assume) uninterrupted, and there  dJ is no cut, probably b to some extent occupies at each subinterval of its travelling time each of the positions in the whole span of its trajectory " but to infinitely many degrees. Even should such a conjecture be downright false, there would still be no cut, no interruption,  d'# since the set of positions at I would partly overlap with that of positions at a contiguous interval " but unlike what happens with Priest's instant account, there would be differences of degree. It seems to me that something along those lines would be more attractive than the jumps which after all Priest countenances, for within his original account, when moving, the body does not gradually decrease its presence at some positions, gradually increasing its presence at other positions, but all of a sudden, at each instant, completely loses certain positions and completely acquires new ones, at all of which it lies, at such an instant, to the same extent./+o.,,55ԌWe can put such a consideration in a different way. It was Spinoza too who wondered whether the body both acquires and loses a position at the same time. Motion can be  d taken to be just that. At each interval during its travel b acquires some position. Yet since it does not remain at those positions, at that time interval it is already leaving them, or at least it is beginning to leave them. So it is not entirely at any position. Still, at the considered interval some of them are being acquired rather than left, and conversely. With truth degrees the story becomes smoother and more plausible. I am not going to discuss some other sides of Priest's treatment of motion, like his remarks on the instant of change (pp. 200ff) " which could not be maintained without modification if strong negation is posited " or his elaboration on Leibniz's continuity principle (pp. 207ff) or his rejection of symmetry " the set of positions at an instant extending only on one side, to those of the past " which seems to me very Bergsonian " in order not to infringe the principle that what happens until a moment is independent of what happens afterward, a principle which of course Leibnizians and many other philosophers reject. To sum up. I think Priest is right when he claims that without contradictions there would be no motion (although he only implicitly uses a principle to the effect that in so far as a body has a position, it does not have other positions). But with just three truthvalues a contradictorial account seems to me incredible and committed to a leap view of continuous motion.    Z y7." Juridical and deontic logic )a Chapter 13 (pp. 227ff) is given over to discussing legal and moral dilemmas and the contradictions they are supposed to yield. I think that Priest is right when he claims that there exist such dilemmas and they entail the existence of true contradictions. Yet his arguments could be strengthened and improved upon. One of the reasons his arguments on this subject are somehow weak is that he seems to share the view of such people as oppose the existence of moral dilemmas, namely  Z that an overridden duty is no duty, or only a prima facie duty, or the like. Thus, if one law is of higher rank than another, or later, or can be plausibly interpreted as containing exceptive clauses which accommodate the law with which it clashes, then (pp. 2334) there is only an apparent conflict. What Priest claims is that there is no guarantee that all apparent legal conflicts can be solved in any of those ways. I agree. There is in fact a lot of evidence that they cannot. Legal disputes will spring to the mind which show to what a point a claim of hierarchical precedence is doubtful in a number of cases. Yet the most important point is not that, but the fact that even the overridden claim or right is all the same a legal claim or right. True, jurists are so accustomed to reason in the classical terms of all or nothing that they fancy that only a complicated casuistry can decide what claims hold in the end, and which ones do not, the latter being then looked upon as no claims at all. They are wrong. Their wrongness has tremendously serious practical consequences, since it further reinforces the erroneous rule of all or nothing . In many cases, it is not a question of black and white. This is clear in international disputes, e.g. concerning border demarcations. And many legal paradoxes " which give rise toF+o.,,55 slippery slope arguments " invite a natural and sensible solution by avoiding hard lines, by choosing fringes, transitions, gradations. Even if, all in all, country A has a stronger claim to this territory than country B, it does not follow that B's claim is [altogether] null and void. Some compromise may be negotiated which somehow reflects the different (grounded) claims instead of giving all to A and nothing to B. Many legal disputes ought to have sensible solutions by adopting scales of graded allocations " of ownership, or guilt, or whatever " rather than the dry allornothing. Juridic progress since the 18th century goes in that direction. It used to be the case that almost every infringement of the law entailed maximal penalty " the gallows or the galleys ", whereas our more civilized ways do in effect introduce a notion of degrees of guilt. The reader has sensed what is the gist of my objection. Again. Ignoring degrees as the source of the true contradictions places us in a very difficult situation. If we want to prove that there are legal conflicts and we share the idea that inferior claims are no claims at all, we need to find cases where it can be shown that no claim is higher or of superior ranking. Although I am sure such cases exist, and are frequent, each of them will be contentious. Playing with where is the burden of the proof is not that interesting. The most important thing to say is that even when in fact one of the claims is overridden, it may be  ZT a good, bona fide claim, giving the claimant a partial right. This is more evidently so in the case of moral conflicts. Even if, all in all, a course of action, A, is better and more dutiful than B, it does not follow that we are under no obli Z gation at all to do B, that refraining from doing B is completely justified just because B clashes with a greater obligation, that of doing A. The second reason why Priest's line of argument for moral and legal contradictions seems to me to be in need of an overhaul is that his choice of principles for juridical and  d deontic logic is not the best one. He adheres to two principles (where `d' means `It is a duty  d to do', `p' means that it is permissible)  dE  ddnn (1) dpUdqd(pUq)  d (2) pq,dp dq nndd He rejects:  d  ddnn (3) dppp nndd And even (at least implicitly) weaken forms, like  dx#  ddnn (3') dp8pp nndd I deem such a choice unfortunate. But I hasten to add that deontic logic is tricky and that such principles among those I now reject which are espoused in Priest's approach once seemed to me right.  d8( The problem with (1) ( aggregation ) " which Priest discusses on pp. 2389 " is that it may be to degree d obligatory to do p, obligatory to degree d' to do q, but not obligatory at all to do both, if doing both is altogether impossible (perhaps not metaphysically impossible in the sense of an abstract possibility but concretely impossible). This is clear in+o.,,55 the case of moral dilemmas. I am obliged to rescue Julia, also to rescue Mariana, but not both, which may be utterly impossible. Perhaps Julia's claim is higher, perhaps both claims are equal. Whatever I do " since I have not had moral luck " I fail an obligation. But, please, do not blame me for failing to rescue both Julia and Mariana. Do not blame me for failing to help hungry people in Sudan, and in Ethiopia, and in Peru, and in Mozambique, and in Tchad, and in Haiti, and8 Blame me for each of those failings separately, not for failing to do the impossible. Blame the famous young man of Sartrean memory for failing his patriotic duty if he gives preference to his mother, or his filial duty otherwise. Do not blame him for this: failing to comply both with his patriotic and his filial duties.  dV As for (2), or the closure rule, it gives rise to paradoxes such as the good Samaritan, which Priest thinks can be solved through scope distinctions. I (now) disagree. Many of those distinctions become unbelievable epicycles, while new counterexamples arise which  d3 challenge the principle. Yet if we jettison (2) we need something in its place. The main idea is that you are not allowed to do A if doing A prevents someone from fulfilling his duty, or from enjoying his rights. So a causal connection seems to me to be involved here, with a resulting principle of nonhindrance " or something like that.  dw As for (3), or at least (3'), imagine that they fail " completely, i.e. that, e.g., Jonathan must do A but he is not permitted at all to do A. That means that Jonathan both is  dc obliged to A and is completely obliged not to A (if, as we commonly think,  pp  means  d^   d p ; anyway the principle is discussed by Priest in primitive notation " p. 243).  d  Priest's argument against (3) is that it multiplies contradictions. Since he adheres to the maxim of avoiding contradictions as far as possible (see below, 9), his line here is parallel to his distrust towards the exclusion principle we have gone into above. If Jonathan is completely obliged not to A and is obliged to A, he faces two conflicting obligations in such a way that one of them is fully binding. Yet if one of them is fully and entirely binding, the other is not just overridden, but totally overridden, and so no  Z obligation at all. Imagine what it would signify both to completely forbid a course of action and yet to make it obligatory.  dS Moreover, without (3) there is no good reason for thinking that moral or legal conflicts entail true contradictions. Priest broaches this subject (pp. 2301) and answers that  d? there may be other reasons, without (3), why legal conflicts give rise to contradictions. E.g.  d:! if X enjoys legal priority " in virtue of some legal disposition " and yet Y also enjoys  d5" priority " in virtue of a different disposition ", we can infer that Y does not enjoy priority  d0# (since X does) and likewise X does not enjoy priority (since Y does). Each of them both has and lacks priority. But why? Doubtless a principle is being assumed, something like this: `If somebody else has priority, you do not have priority'. But what is the rationale? And what is its general formulation " applying to other matters, not just to crossroad driving priority? I can  de( only figure out variations of (3). The idea is that, since X has a right to cross before Y , X  d`) is not entirely bound not to cross before Y does " i.e. X is not wolly bound to defer to Y 's  d[* priority; and so, since Y has [to some extent] priority, i.e. the right to cross before X does,[*o.,,55  d and X must (up to a point) defer to such a right, X both has and does not have the duty to  d give way to Y .    Z q 8." Other grounds for true contradictions  Z: )a Although Priest tends to focus on a priori grounds for dialetheias  " except for motion and moral and legal dilemmas " at one point at least he broaches a different reason, namely complying with only some among a variety of criteria for satisfying a predicate. He offers two illustrations, one about temperature, the other on left vs right in politics. The former seems to me extremely dubious but I do not want to discuss it. As for the latter, the  d idea is that if being leftwing in politics is complying with conditions c 1, 8, c n, and being  d rightwing is complying with notc 1, and, 8, and notc n, then a group G which for some 1% A of premises a conclusion can be validly deduced to the effect that  pV.qU q , with some  Z5& constraints being imposed which avoid that irrelevant contradictions  qU q  creep in (p. 150). When such constraints are complied with, the contradictions involved are crucial. Then  Z( the quasivalid reasoning allows us to draw conclusion  p  forthright from set A. And the rationale is that more often than not true contradictions fail to arise. As Priest puts it (p. 144):)o.,,55Ԍ R The reason is a simple one: the statistical frequency of dialetheias in normal discourse is low. Dialetheias appear to occur in a quite limited number of domains: certain logico R mathematical contexts, certain legal and dialectical contexts, and may be a few others.A  My first comment on such an argument is that, if the kind of examples of true contradictions which were provided above, in 8, is right, then true contradictions pop up in all domains. Not a few others . No domain exists in which true contradictions do not arise. My second comment is that, if contradictions are admitted in the field in which they were supposed to be least likely to arise and most damaging " mathematics " there is no good reason for us to be coy about them in other domains. Of course, it just might be the case that contradictions were true only where they were expected the least to arise. Some highly improbable things happen sometimes. Yet very often when situations of some kind emerge even where they were the least expected, they are likely to occur elsewhere, in many other domains. E.g. actual infinities were supposed to be ruled out in virtue of Euclides' principle that the whole is greater than any part thereof. Once they arose in mathematics, with the calculus, they had to be admitted in all domains " although nowadays some people think that quantum mechanics has again dislodged them from physics, it remains to be seen how long people are going think that. My 3d comment is that, if contradictions are not bad " in general " there is no  Z reason to be afraid of them. If they arise in the sanctum sanctorum, mathematics, surely it is not irrational to have a contradictory belief. Then when people say that it rains and it does not rain, that the man yonder is and is not bald, that this paper is and is not white, that such a course of action is and is not dangerous, etc., why are we bound to construe what they say in devious ways or to scorn them for their purported irrationality? My 4th comment is that empirical evidence shows an enormous amount of utterances which are literally contradictory. Philosophers used to allege that, duly (charitably) construed, they were not. But such an exegetical approach was enforced by the view of contradictions as horrible, awful, irrational, utterly rejectable. If there are true contradictions " and in mathematics! " surely it is not irrational to have contradictory beliefs. Thus no need for charity here. There may be special and cogent reasons why some apparently contradictory utterances are, upon consideration, taken not to be genuinely contradictory. But the huge amount of literal contradictions people utter in everyday communication seems to render implausible the idea that all or most of them deserve to be paraphrased away in a charitable manner. Priest advises us " ibid " to `consider a random sample of the assertions [we have] met in the last few days and see what percentage might reasonably be thought to be dialetheic'. My own " fallible " assessment yields a high percentage " esp. on radio interviews, very often when academics have to answer questions. (Illformulated questions, which debar the interviewed person from a simple `Yes' or `No' answer? Maybe. Yet, 8) In addition to the just considered argument that contradictions are infrequent, Priest  Z% offers a second argument (p. 1445) to the effect that they are unlikely and so ( M ) is  Z& broadly reliable: the sheer fact that people reason using DS . If quasivalid reasonings were widely unreliable, a lot of damage would surely follow.  Z) Nevertheless, the argument assumes that uses of DS involve natural or weak negation rather than strong negation. Now, in spoken language, `not' " with perhaps a prosodic or suprasegmental signal, which stands for the modifier `at all' " may also express strong negation. It depends on the context. Written language lacks prosodic resources " only+o.,,55 a pale reflection of them is available, but with nothing like the richness of speech. Perhaps this is one of the reasons which have led to overlooking the difference between strong and natural negation, and so that between overcontradictions and simple contradictions.    Z "10." Conclusion )a The reader has rightly realized that, despite my objections, I share most of G. Priest's views and many of his arguments " with mitigations. It is very probable that the reader disagrees with us both, finding all contradictions inadmissible. What cannot be said, though, is that the subjects G. Priest studies in his book are of no importance for contemporary philosophy. In fact, I cannot see any subject more important than the question of whether or not there are true contradictions. Priest's book can be ignored by no one. Fervent adherents of Aristotelian logic are invited to take it seriously, and to discuss it rationally " not to rend their garments.