Abstract
A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.
Similar content being viewed by others
References
V. Polythress and H. Sun. A Method to Contruct Convex, Connected Venn Diagrams for Any Finite Number of Sets. Pentagon, 1972.
Sun-Joo Shin. The Logical Status of Diagrams. Cambridge University Press, 1995.
Sun-Joo Shin. A Situation-Theoretic Account of Valid Reasoning with Venn Diagrams. In J. Barwise et al., (eds), Situation Theory and Its Applications, Vol. 2. Stanford: CSLI, 1991.
More Trenchard. On the Construction of Venn Diagrams, Journal of Symbolic Logic 24 (1959), 303–304.
Author information
Authors and Affiliations
Additional information
The authors are grateful to Jon Barwise and an anonymous referee for valuable comments and suggestions.
Rights and permissions
About this article
Cite this article
Hammer, E., Danner, N. Towards a model theory of diagrams. J Philos Logic 25, 463–482 (1996). https://doi.org/10.1007/BF00257381
Issue Date:
DOI: https://doi.org/10.1007/BF00257381