Abstract
The question is posed: in which respects and to what extent are logical systems which employ diagrammatic representations “formal”? I propose to characterize “formal” rules to be those which are reducible to simple constructive operations on the representations themselves. Formal systems, then, are those which employ such formal rules. It is argued that “formality” thus characterized underlies a particular strategy for meeting a certain epistemological challenge. Some diagrammatic and heterogeneous logical systems are tested for formality, and it is suggested that any robust heterogeneous system is unlikely to be formal. The analysis of this paper, then, provides a principled account of how some diagrammatic systems differ significantly from linguistic ones.
The author would like to thank Johan van Benthem, John Etchemendy, Krista Lawlor, Keith Stenning, and two anonymous referees for helpful comments on an earlier draft. The author also gratefully acknowledges the financial assistance of the Social Sciences and Humanities Research Council of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Etchemendy, J.: Hyperproof. CSLI Publications, Stanford (1994)
Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Glasgow, J., Narayanan, N., Chandrasekaran, B. (eds.): Diagrammatic Reasoning: Cognitive and Computational Perspectives. AAAI/MIT Press (1995) 211–234
Barwise, J., Etchemendy, J.: Language, Proof, and Logic. CSLI Publications, Stanford (1999)
Hammer, E.: Reasoning with Sentences and Diagrams. Notre Dame Journal of Formal Logic 35 (1994) 73–87
Hammer, E.: Logic and Visual Information. CSLI Publications and FoLLI, Stanford (1995)
Hilbert, D.: On the Infinite. Translated in: Benacerraf, P., Putnam, H. (eds.): Philosophy of Mathematics, Selected Readings. Cambridge University Press (1987) 183–201
Lemon, O.: Book review of Hammer, E.: Logic and Visual Information. Journal of Logic, Language, and Information 6 (1997) 213–216
appear]Lemon, O.: Comparing the Efficacy of Visual Languages. In: Barker-Plummer, D., Beaver, D., van Benthem, J., Scottodi Luzio, P. (eds.): Logic, Language, and Diagrams. CSLI Publications, Stanford (to appear)
Lemon, O., Pratt, I.: Spatial Logic and the Complexity of Diagrammatic Reasoning. Machine Graphics and Vision 6 (1997) 89–108
Luengo, I.: A Diagrammatic Subsystem of Hilbert’s Geometry. In: Allwein, G., Barwise, J. (eds.): Logical Reasoning with Diagrams. Oxford University Press (1996) 149–176
appear]Scotto di Luzio, P.: Patching Up a Logic of Venn Diagrams. In: Copestake, A., Vermeulen, K. (eds.): Selected Papers from the Sixth CSLI Workshop on Logic, Language, and Computation. CSLI Publications, Stanford (to appear)
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
di Luzio, P.S. (2000). Logical Systems and Formality. In: Anderson, M., Cheng, P., Haarslev, V. (eds) Theory and Application of Diagrams. Diagrams 2000. Lecture Notes in Computer Science(), vol 1889. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44590-0_14
Download citation
DOI: https://doi.org/10.1007/3-540-44590-0_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67915-8
Online ISBN: 978-3-540-44590-6
eBook Packages: Springer Book Archive