[FOM] interpretation

[praatika@mappi.helsinki.fi]

I am not sure about this, but I sense that there may be some confusion, in 
the discussion between Friedman and Buckner, between two notions, 
intepretation in the model-theoretical sense, and relative 
interpretability, which is a proof-theoretical relation between formalized 
theories (though these notions are not totally unrelated). The latter 
(unlike the former) is not that elementary notion, although quite familiar 
for mathematical logicians. (Dean: there is a good introduction to this 
notion in the appendix Feferman's 2000 Erkenntnis paper "Does reductive..." 
(see his homepages); also Enderton's book contains a good exposition).

Best

Panu


Panu Raatikainen

PhD., Docent in Theoretical Philosophy
Fellow, Helsinki Collegium for Advanced Studies
University of Helsinki
 
Address: 
Helsinki Collegium for Advanced Studies
P.O. Box 4
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm