Managing Informal Mathematical Knowledge: Techniques from Informal Logic

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


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.

Author's Profile

Andrew Aberdein
Florida Institute of Technology


Added to PP

257 (#35,941)

6 months
36 (#39,967)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?