О выявлении противоречий в формальных теориях. II

В продолжение статьи [1] рассматриваются логические исчисления, в которых возможны доказательства противоречивости. Строится классический язык первого порядка LPCont, языком-объектом которого является PCont, а формализованным метаязыком - классическая логика. Рассматриваются некоторые расширения языка LPCont, а также устанавливается его связь с логикой $B_3$ Д.А. Бочвара [2]. В заключение затрагиваются некоторые более широкие аспекты логики противоречивых систем (в частности, проблема логических парадоксов).