We study inconsistency and unsatis ability and their relation to soundness, completeness, paraconsistency and conservative extension in generic logical systems (formalized as institutions equipped with an entailment system).