A Structuralist Account of Logic

The lynch-pin of the structuralist account of logic endorsed by Koslow is the definition of logical and modal operators with respect to implication relations, i.e. relative to implication structures. Logical operators are depicted independently of any possible semantic or syntactic limitations. It turns out that it is possible to define conjunction as well as other logical operators much more generally than it has usually been, and items on which the logical operators may be applied need not be syntactic objects and need not have truth values. In this paper I analyse Koslow’s structuralist theory and point out certain objectionable aspects to as well as reasons why such a theory does not fulfil the (possibly unjustified) expectation of getting defined a universal logical structure