“Unless” is “Or”, Unless “¬A Unless A” is Invalid

  • Roy Cook


The topic of this essay is a methodological principle at work within both pedagogical and theoretical contexts – one which is widely accepted, albeit for the most part implicitly and uncritically. The assumption in question is that the translation of informal, natural language claims into one or another formal language is logic neutral. This assumption underwrites our standard logical practices – evidenced both within the classroom and within the peer- reviewed research paper – whereby we first formalize natural language claims into a favored artificial language and only then pronounce judgement on this single, univocal formalization from the perspective of this-or-that logic.