Popper's logical systems were an attempt to "reform the teaching of elementary logic", but were regarded by their own author as "bad and ill-fated". However, the problem raised by Popper was, and still is, a real one. In fact we show that the popular approaches in terms of natural deduction and analytic tableaux are unsatisfactory. Then we present a system of classical logic which combines the virtues of both and can be generalized to a wide range of non-classical logics.
File in questo prodotto:
Non ci sono file associati a questo prodotto.