SHOE Archives

Societies for the History of Economics

SHOE@YORKU.CA

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
[log in to unmask] (E. Roy Weintraub)
Date:
Fri Dec 29 08:37:11 2006
Content-Type:
text/plain
Parts/Attachments:
text/plain (36 lines)
Barkley Rosser wrote:  
> Well, you are correct that the use  
> of axioms in 20th century math and physics  
> involved matters far from obvious, but   
> from a history of thought perspective the  
> concept of an axiom does date back (at least?)  
> to Euclid, for whom they were assumptions  
> thought to be obvious from internal analysis,  
> even if later his axioms (or at least some  
> of them) came to be viewed as synthetic   
> propositions capable of empirical testing.  
>  
>    
  
   
Be very careful about using Euclid to make such a case. The Elements   
were primarily a teaching device, demonstrating for the children the   
rules of deductive inference. The geometric "results" were generated by   
the system in the same way that we teach the fundamental theorem of   
calculus using Rolle's Theorem, and "leading up" to that through   
formalisms about real numbers, functions, etc. This way of teaching (per   
Lakatos's Proofs and Refutations) confounds doing mathematics with   
teaching it to students. This was the reconstruction of geometry that   
Hilbert saw as symmetric with physics -- the theorems or rather   
conjectures come first, the demonstrations or proofs, as Hardy once   
noted, are primarily "rhetorical froth designed to affect psychology".    
Axiomatization as a "research program" involves seeking interesting   
axiomatizations that entail the desired result, be it the Pythagorean   
Theorem or Maxwell's Equations. It is thus a category mistake to ask   
whether one "believes the axioms", or whether the axioms are   
"realistic"; one might though inquire if, for the desired theorem the   
axioms suffice, or are redundant, or inconsistent, etc.  
  
E. Roy Weintraub  
  

ATOM RSS1 RSS2