The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof

Philosophia Mathematica 21 (2):247-254 (2013)

Jody Azzouni
Tufts University
The relationship is explored between formal derivations, which occur in artificial languages, and mathematical proof, which occurs in natural languages. The suggestion that ordinary mathematical proofs are abbreviations or sketches of formal derivations is presumed false. The alternative suggestion that the existence of appropriate derivations in formal logical languages is a norm for ordinary rigorous mathematical proof is explored and rejected
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/nkt007
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,401
Through your library

References found in this work BETA

The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 80--133.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.

View all 6 references / Add more references

Citations of this work BETA

Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.

Add more citations

Similar books and articles


Added to PP index

Total views
89 ( #88,183 of 2,255,369 )

Recent downloads (6 months)
2 ( #756,175 of 2,255,369 )

How can I increase my downloads?


My notes

Sign in to use this feature