Секвенциальное исчисление формул с временными параметрами.

Аннотация

В стандартной семантике истинностные оценки формул классической логики абсолютны в том смысле, что они не зависят от времени, ситуации и каких-либо других обстоятельств. В частности импликация считается ложной, если и только если ее антецедент истинен, а консеквент ложен независимо от того, как и при каких условиях зафиксированы истинностные значения антецедента и консеквента. Семантическое утверждение: ’’Конъюнкция истинна, если и только если все ее члены одновременно истинны” - это всего лишь образное или неточное выражение условия истинности конъюнкции. Это условие не предполагает никакой "одновременности”. Для истинности конъюнкции необходимо и достаточно, чтобы все ее члены принимали одинаковое значение "истинно", и в данном случае безразлично, происходит это одновременно или нет. Аналогично обстоит дело с дизъюнкцией и отрицанием. Семантический "возможный мир классической логики" - лучший из возможных миров, ибо он лишен времени, един и неделим.