[FOM] First Order Logic

[Panu Raatikainen]

Let me ask a clarificatory question:

Is it Harvey's (or anyone's) view that compactness in itself is a  
desirable property of a logic? And if so, why more exactly?


All the Best

Panu
-- 
Panu Raatikainen

Ph.D., University Lecturer
Docent in Theoretical Philosophy

Theoretical Philosophy
Department of Philosophy, History, Culture and Art Studies
P.O. Box 24  (Unioninkatu 38 A)
FIN-00014 University of Helsinki
Finland

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/