Конечно, возможна и другая ситуация, когда и некоторая формула, и ее отрицание не являются теоремами этой теории (т.е. ложны). Про теории подобного рода говорим, что они “параполны”.
Наконец, возможна иная ситуация, когда наша теория и паранепротиворечива, и параполна. Это случай так называемой паранормальной теории.
Каковы же условия построения подобных паранепротиворечивых теорий? Оказывается, их много. И в большинстве случаев они основываются на использовании неклассических логических систем с так называемым “невзрывным” выводом. Подобных систем в настоящее время создано уже достаточно, чтобы возникла проблема выбора такой паранепротиворечивой системы, которая могла бы быть пригодной для целей логической герменевтики.
Если следовать мнению Д.Фоллесдаля, то
На пути подхода к решению данной проблемы стоит подчеркнуть, что одна из первых паранепротиворечивых логических систем — система дискурсивной логики Станислава Яськовского — возникла как раз из отказа от подобного требования{118}
.Дискуссивные теории Станислава Яськовского, о которых заведомо нельзя сказать, что они включают тезисы, выражающие гипотезы, согласующиеся друг с другом. По мнению Яськовского, даже совокупности надписей, не имеющих никакого интуитивного значения вообще, можно превратить в дедуктивную систему. Но даже отвлекаясь от такого крайнего, но теоретически допустимого и вполне возможного случая, следует иметь в виду, что профессиональные логики привыкли рассматривать лишь такие дедуктивные системы, которые являются символическими интерпретациями непротиворечивых теорий. Однако, если мы хотим включить в дискурс тезисы, выдвигаемые несколькими участниками дискуссии, и более того, если объединить их в единую систему, то следует быть реалистами и учесть, что скорее всего подобные тезисы не будут теоремами теории, сформулированной в едином символическом языке, свободном от терминов, чье значение неопределенно или как-то отличается от общепринятых. Для того, чтобы постичь природу утверждений в такой системе, лучше всего было бы предварить каждый тезис оговоркой: “
Главный эпистемологический результат такой постановки проблемы заключается в том, что логика подобного дискурса истолкования оказывается дискурсивной логикой Яськовского, в которой вместо “
Особенность истолкования при этом состоит в том, что многие умозаключения привычного вида оказываются не имеющими силы. Например, умозаключения типа “