Managing informal mathematical knowledge: Techniques from informal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4108 LNAI, Issue , 2006, Pages 208-221

  Aberdein, Andrew ^a  

^a FLORIDA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL TECHNIQUES;

INFORMAL LOGIC; MATHEMATICAL KNOWLEDGE;

INFORMATION MANAGEMENT;

EID: 33749561933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11812289_17     Document Type: Conference Paper

References (13)

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