Authors
Andrew Aberdein
Florida Institute of Technology
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,586
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Problems in Argument Analysis and Evaluation.Trudy Gover - 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.

Add more references

Citations of this work BETA

Mathematics and Argumentation.Andrew Aberdein - 2009 - Foundations of Science 14 (1-2):1-8.
Mathematical Arguments in Context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.

View all 6 citations / Add more citations

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 - Holt, Rinehart and Winston.

Analytics

Added to PP index
2011-08-05

Total views
52 ( #183,315 of 2,348,594 )

Recent downloads (6 months)
1 ( #512,295 of 2,348,594 )

How can I increase my downloads?

Downloads

My notes