Skip to main content

Visualization in Logic and Mathematics

  • Chapter

Part of the book series: Synthese Library ((SYLI,volume 327))

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allwein, G. and Barwise, J. (eds) (1996). Logical Reasoning with Diagrams, Oxford University Press.

    Google Scholar 

  • Antonietti, A., Angelini, C. and Cerana, P. (1995). L’Intuizione Visiva, Franco Angeli, Milano.

    Google Scholar 

  • Barwise, J. and Etchemendy, J. (1996). Visual information and valid reasoning, in G. Allwein and J. Barwise (eds), Logical Reasoning with Diagrams, Oxford University Press, pp. 3–25.

    Google Scholar 

  • Brown, J. (1997). Proofs and pictures, British Journal for Philosophy of Science 48: 161–180.

    Google Scholar 

  • Butterworth, B. (1999). What Counts, The Free Press, New York.

    Google Scholar 

  • Davis, P. (1993). Visual theorems, Educational Studies in Mathematics 24: 333–344.

    Google Scholar 

  • Deheane, S. (1997). The Number Sense, Oxford University Press, New York.

    Google Scholar 

  • Denis, M. (1989). Image et Cognition, Presses Universitaires de France, Paris.

    Google Scholar 

  • du Bois Reymond, P. (1875). Versuch einer Classification der willkürlichen Functionen reeller Argumente nach ihren Aenderungen in den kleinsten Intervallen, Journal für die reine und angewandte Mathematik, pp. 21–37.

    Google Scholar 

  • Evans, R. (1991). The return of the visual, in J. Johnson and M. Loomes (eds), The Mathematical Revolution Inspired by Computing, Oxford University Press, pp. 33–46.

    Google Scholar 

  • Fomenko, A. (1994). Visual Geometry and Topology, Springer Verlag, Berlin.

    Google Scholar 

  • Giaquinto, M. (1992). Visualizing as a means of geometrical discovery, Mind and Language 7: 382–401.

    Google Scholar 

  • Giaquinto, M. (1994). Epistemology of visual thinking in elementary real analysis, British Journalfor Philosophy of Science 45: 789–813.

    Google Scholar 

  • Glasgow, J., Narayanan, N. H. and B. Chandrasekaran (eds) (1995). Diagrammatic Reasoning. Cognitive and Computational Perspectives, AAAI Press/The MIT Press.

    Google Scholar 

  • Hadamard, J. (1949). The Psychology of Invention in the Mathematical Field, Princeton University Press, Princeton. New edition with a preface by P. Johnson-Laird, 1996.

    Google Scholar 

  • Hilbert, D. (1894). Grundlagen der Geometrie. Unpublished lectures, Niedersächsische Staats-und Universitätsbibliothek, Cod. Ms. Hilbert, 594.

    Google Scholar 

  • Hilbert, D. (1899). Grundlagen der Geometrie, 1st edn, Teubner.

    Google Scholar 

  • Hilbert, D. (1902). Grundlagen der Geometrie. Unpublished lectures, Mathematisches Institut, Göttingen.

    Google Scholar 

  • Hoffman, D. (1987). The computer-aided discovery of new embedded minimal surfaces, The Mathematical Intelligencer 9: 8–21.

    Google Scholar 

  • Kaufmann, G. (1979). Visual Imagery and its Relation to Problem Solving, Universitetsforlaget, Bergen.

    Google Scholar 

  • Kosslyn, S. M. (1980). Image and Mind, Harvard University Press.

    Google Scholar 

  • Kosslyn, S. M. (1983). Ghosts in the Mind’s Machine, Norton.

    Google Scholar 

  • Larkin, J. and Simon, H. (1987). Why a diagram is (sometimes) worth ten thousand words, Cognitive Science 11: 65–99.

    Google Scholar 

  • Lemon, O. and Pratt, I. (1997). Spatial logic and the complexity of diagrammatic reasoning, Graphics and Vision 6: 89–108.

    Google Scholar 

  • Needham, T. (1997). Visual Complex Analysis, Clarendon Press, Oxford.

    Google Scholar 

  • Nelsen, R. B. (1993). Proofs Without Words, The Mathematical Association of America.

    Google Scholar 

  • Nelsen, R. B. (2000). Proofs Without Words II, The Mathematical Association of America.

    Google Scholar 

  • Netz, R. (1999). The Shaping of Deduction, Cambridge University Press, Cambridge.

    Google Scholar 

  • Palais, R. (1999). The visualization of mathematics: towards a mathematical exploratorium, Notices of the AMS 46: 647–658.

    Google Scholar 

  • Pasch, M. (1882/1926). Vorlesungen über neuere Geometrie. Reprint of the 1926 edition with M. Dehn by Springer, 1976.

    Google Scholar 

  • Poincaré, H. (1898). L’oeuvre mathématique de Weierstrass, Acta Mathematica 22: 1–18.

    Google Scholar 

  • Reichenbach, H. (1956). The Philosophy of Space and Time, Dover. First German edition 1927.

    Google Scholar 

  • Shepard, R. and Cooper, L. (eds) (1982). Mental Images and their Transformations, MIT Press, Cambridge (Mass.).

    Google Scholar 

  • Shin, S.-J. (1994). The Logical Status of Diagrams, Cambridge University Press.

    Google Scholar 

  • Stenning, K. (2000). Distinctions with differences: comparing criteria for distinguishing diagrammatic from sentential systems, in M. Anderson, P. Cheng and V. Haarslev (eds), Theory and Applications of Diagrams, Springer, pp. 132–148.

    Google Scholar 

  • Tye, M. (1991). The Imagery Debate, MIT Press, Cambridge (Mass.).

    Google Scholar 

  • Volkert, K. (1986). Die Krise der Anschauung, Vandenhoeck und Ruprecht, Göttingen.

    Google Scholar 

  • von Koch, H. (1906). Une méthode géométrique é1émentaire pour l’étude de certaines questions de la théorie des courbes planes, Acta Mathematica 30: 145–174.

    Google Scholar 

  • Zimmerman, W. and Cunningham, S. (eds) (1991). Visualization in Teaching and Learning Mathematics, MAA.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer

About this chapter

Cite this chapter

Mancosu, P. (2005). Visualization in Logic and Mathematics. In: Mancosu, P., Jørgensen, K.F., Pedersen, S.A. (eds) Visualization, Explanation and Reasoning Styles in Mathematics. Synthese Library, vol 327. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3335-4_2

Download citation

Publish with us

Policies and ethics