Abstract:This paper describes the paraconsistent circumscription by application of circumscription in a paraconsistent logic.It turns out that the paraconsistent circumscription can be characterized by the minimal semantics which is nonmonotonic and paraconsistent.It brings them advantages in two respects:nonmonotonic logic would be nontrivial while there was a contradiction,and paraconsistent logic would be equivalent to classical logic while there was no effect of a contradiction.