Евгений,я не совсем понял,что вы имеете ввиду под "нашими теориями"?Наши - это философские?Или исторические?Или какие?Если философских - полностью согласен,потому что аппарат логики в филососких вопросах принципиально недостаточен.А касательно научных (прежде всего - естественнонаучных, хотя и для многих гуманитарных это тоже верно) теорий - это не только возможно,но и активно используется сегодня.Особенность логики заключается именно в том,что "семантика",то есть содержание понятий, для нее совершенно несущественно.Для нее важно соблюдение формальных правил - и именно на это соответствие форме мат логика (а это лишь продолжение обычной формальной логики) может очень успешно проверять любую теорию,построенную на доказательстве.Другой вопрос - разумеется,этот метод не единственный и не абсолютно достоверный.Часто абсолютно логически непротиворечивая теория оказывается абсолютно неверной в эмпирической проверке - это значит,что каких-то элементов в системе не доставало.И тогда требуется продолжение исследований.
