Abstract
In an article in the Journal of Philosophical Logic in 1996, “Towards a Model Theory of Venn Diagrams,” (Vol. 25, No. 5, pp. 463–482), Hammer and Danner proved the full completeness of Shin’s formal system for reasoning with Venn Diagrams. Their proof is eight pages long. This note gives a brief five line proof of this same result, using connections between diagrammatic and sentential representations.
Similar content being viewed by others
References
Barwise, J. and Etchemendy, J. (1996): Heterogeneous logic, in Allwein, G. and Barwise, J. (eds.), Logical Reasoning with Diagrams, New York: Oxford University Press.
Hammer, E. and Danner, N. (1996): Towards a model theory of Venn diagrams, J. Philos. Logic, 25, 5, 463–482.
Hammer, E. and Danner, N. (1996): Towards a model theory of Venn diagrams, in Allwein, G. and Barwise, J. (eds.), Logical Reasoning with Diagrams, New York: Oxford University Press.
Shin, S.-J. (1994): The Logical Status of Diagrams, Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Miller, N. A Brief Proof of the Full Completeness of Shin’s Venn Diagram Proof System. J Philos Logic 35, 289–291 (2006). https://doi.org/10.1007/s10992-005-9016-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-005-9016-5