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

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Fri Oct 6 17:05:50 EDT 2006

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

More information about the FOM mailing list