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

Steven Obua 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?

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

More information about the FOM mailing list