Managing Informal Mathematical Knowledge: Techniques from Informal Logic

Lecture Notes in Artificial Intelligence 4108:208--221 (2006)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

How to think about informal proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Informal Logic.Leo Groarke - 1996 - Stanford Encyclopedia of Philosophy.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Fallacies in Mathematics.Andrew Aberdein - 2007 - Proceedings of the British Society for Research Into Learning Mathematics 27 (3):1-6.
Towards a theory of mathematical argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Logic.Robert Baum - 1975 - New York: Holt, Rinehart and Winston.

Analytics

Added to PP
2011-08-05

Downloads
362 (#48,727)

6 months
73 (#52,388)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrew Aberdein
Florida Institute of Technology

References found in this work

Problems in Argument Analysis and Evaluation.Trudy Govier - 2018 - Windsor: University of Windsor.
Proofs and Refutations. The Logic of Mathematical Discovery.I. Lakatos - 1977 - Tijdschrift Voor Filosofie 39 (4):715-715.
Proofs and Refutations: The Logic of Mathematical Discovery.I. Lakatos, John Worrall & Elie Zahar - 1977 - British Journal for the Philosophy of Science 28 (1):81-82.

View all 6 references / Add more references