Managing Informal Mathematical Knowledge: Techniques from Informal Logic

  • Andrew Aberdein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)


Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical knowledge.


Mathematical Knowledge Mathematical Proof Deductive Inference Informal Logic Embed Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aberdein, A.: The informal logic of mathematical proof. In: Hersh, R. (ed.) 18 Unconventional Essays about the Nature of Mathematics, Springer, New York (2006)Google Scholar
  2. Govier, T.: Problems in Argument Analysis and Evaluation, Foris, Dordrecht (1987)Google Scholar
  3. Johnson, R.: The Rise of Informal Logic, Vale, Newport News, VA (1996)Google Scholar
  4. Jones, V.: A credo of sorts. In: Dales, H.G., Oliveri, G. (eds.) Truth in Mathematics, Clarendon, Oxford (1998)Google Scholar
  5. Kirschner, P.A., Buckingham Shum, S.J., Carr, C.S. (eds.): Visualizing Argumentation: Software Tools for Collaborative and Educational Sense-Making. Springer, London (2003)Google Scholar
  6. Kohlhase, M.: OMDoc: An open markup format for mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000),
  7. Lakatos, I.: Proofs and Refutations: The Logic of Mathematical Discovery. In: Worrall, J., Zahar, E. (eds.), Cambridge University Press, Cambridge (1976)Google Scholar
  8. Lamport, L.: How to write a proof. American Mathematical Monthly 102(7), 600–608 (1995)MATHCrossRefMathSciNetGoogle Scholar
  9. Littlewood, J.E.: Littlewood’s Miscellany. In: Bollobás, B. (ed.), Cambridge University Press, Cambridge (1986)Google Scholar
  10. Newman, S., Marshall, C.: Pushing Toulmin too far: Learning from an argument representation scheme, Xerox PARC technical report no. SSL-92-45 (1992),
  11. Reed, C., Rowe, G.: Toulmin diagrams in theory & practice: Theory neutrality in argument representation. In: Hitchcock, D., Farr, D. (eds.) The Uses of Argument: Proceedings of a Conference at McMaster University, OSSA, Hamilton, ON, 18–21 May 2005, pp. 18–21 (2005)Google Scholar
  12. Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (1958)Google Scholar
  13. Toulmin, S., Rieke, R., Janik, A.: An Introduction to Reasoning. Macmillan, New York (1979)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Andrew Aberdein
    • 1
  1. 1.Florida Institute of TechnologyHumanities and CommunicationMelbourneU.S.A.

Personalised recommendations