[FOM] Question of the Day: What is a Logic?
obua at in.tum.de
Mon Oct 9 04:52:46 EDT 2006
>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?
Technische Universität München
Institut für Informatik
Tel: ++49 (0)89 / 289-17328
EMail: obua at in.tum.de
More information about the FOM