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

[Steven Obua]

Neil,

>Intuitively,
>the user of full classical logic would do the same---thereby showing, I
>think, that s/he pays only lip service to EFQ, and works instinctively
>within the more insightful confines of CR.
>
>  
>
So, when I do a classical proof by contradiction, assuming locally the 
negation of what I really want to prove, am I then using in this local 
context a paraconsistent logic?

-- 
Steven Obua
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
D-85748 Garching

Tel: ++49 (0)89 / 289-17328
EMail: obua at in.tum.de
Raum: 01.11.059