[FOM] Question of the Day: What is a Logic?

[hendrik@topoi.pooq.com]

On Fri, Oct 06, 2006 at 01:48:32AM +0200, Arnon Avron wrote:
> 
>  To sum up: Classical logic is the primary logic. It is the
> metalogic of all other logics (yes, even of intuitionistic logic!),

Most of the proof theory I've seen uses constructive metalogic, even 
when it is discussing a classical logic.  Of course this doesn't 
contradict what you've said.

-- hendrik