A non-judgmental reconstruction of drunken logic

We investigate the extension of previous work by Krishnaswami et al. in [6] on Handwaving Logic, a logic that can be effectively modeled by Fairtlough and Mendler’s Lax Logic [4], towards trying to achieve a reasonable formalization of ”drunken logic.” More advanced formalizations of drunken logic fail to be modeled effectively by lax logic, and we argue that much more study deserves to be paid to this and other concerns which we group together under the umbrella of Chemically Assisted Reasoning (CAR but don’t drink and drive). However, unlike various “judgmental” reconstructions, for instance of modal and lax logic [8], this will not be a judgmental reconstruction. We’re not here to judge, man. Section 1 briefly re-presents handwaving logic. Section 2 discusses a simplistic representation of drunken logic that can bemodeled by Lax Logic, whereas Section 3 shows how this modeling behavior breaks down for a more precise formulation. Section 4 concludes after arguing (drunkenly!) for more investigation into this and other concerns of Chemically Assisted Reasoning.