Gregory Wheeler at Choice & Inference has a very funny post HERE which concludes:
New Apps, a second generation philosophy tabloid, is characterized by the BUM system KDB, which is Deontic Leiter Logic in a single-agent format, or Shame Game Logic in multi-agent form. This is Leiter Logic but with a commitment to moralizing about other people’s obligations or perceived failings, either as individuals or as abstract categories.
Ha! The good news is that KDB is proven sound and complete in Chellas (1980).
The bad news is that the results concern propositional KDB which is not expressively rich enough to get any kind of meaningful self-reference. What about all the times I publicly moralize about my own obligations and perceived failings, both as an individual and abstract category? What about the times I've moralized about my penchant for moralizing about obligations and failings? I'm not a good enough logician to know if higher-order KDB can handle this without paradox. . .
In any case, I think it is clear that Wheeler has done us an injustice. At least more expressively rich versions of KDB should be called "NewApps Logics" and the stuff over at Leiter Reports (KB) "Alethic NewApps Logic." Additionally, I must insist on my share of residuals when the military-industrial complex makes nefarious use of the framework.
Seriously though, when I signed up for this philosophy tabloid business I thought I was going to be able to write posts about Elvis sightings, gigantic grasshoppers, and batboy's Idaho lair, etc. What happened? I blame John Protevi.
Recent Comments