We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a (...) corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic. (shrink)

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.

Theories of diagrams and diagrammatic reasoning typically seek to account for either the formal semantics of diagrams, or for the advantages which diagrammatic representations hold for the reasoner over other forms of representation. Regrettably, almost no theory exists which accounts for both of these issues together, nor how they affect one another. We do not attempt to provide such an account here. We do, however, seek to lay out larger context than is generally used for examining the processes of using (...) diagrams in reasoning or communication. A context in which detailed studies of sub-problems, such as the formal semantics or cognitive impact of specific diagrammatic systems, may be embedded.Accounts of the embedding of sentential logics in the computational processes of reasoners and communicators are relatively well developed from several decades of research in AI. Analogies between the sentential and the graphical cases are quite revealing about both similarities and differences. To provide a structure for the 'grand context' of diagrammatic representation and reasoning, and to clarify the relations between its component problems, we examine carefully these analogies and the decomposition they provide of subproblems for analysing diagrammatic reasoning. (shrink)